redun 是一个以有效性和表达力为目标的工作流框架,基于广受欢迎的 Python 编程语言构建而成。redun 的创新在于,它认为直接编写数据流是过于限制性的,这导致许多现代高级语言中常见的抽象概念(如控制流、组合性、递归、高阶函数等)被剥夺了。redun 的关键在于,它能够将工作流表达为惰性表达式,并通过调度器评估这些表达式,实现自动并行化、缓存和数据谱系记录。
由于 redun 采用了通用的工作流定义方式,它非常适合用于实现多种应用场景下的工作流,例如:
以下是一个使用 redun 编译 C 程序的小例子。示例中,每个任务中可以进行各种数据处理,比如读写 CSV、数据框、数据库和调用 API。
# make.py import os from typing import Dict, List from redun import task, File redun_namespace = "redun.examples.compile" @task() def compile(c_file: File) -> File: os.system(f"gcc -c {c_file.path}") return File(c_file.path.replace(".c", ".o")) @task() def link(prog_path: str, o_files: List[File]) -> File: o_files=" ".join(o_file.path for o_file in o_files) os.system(f"gcc -o {prog_path} {o_files}") return File(prog_path) @task() def make_prog(prog_path: str, c_files: List[File]) -> File: o_files = [compile(c_file) for c_file in c_files] prog_file = link(prog_path, o_files) return prog_file files = {"prog": [File("prog.c"), File("lib.c")], "prog2": [File("prog2.c"), File("lib.c")]} @task() def make(files : Dict[str, List[File]] = files) -> List[File]: progs = [make_prog(prog_path, c_files) for prog_path, c_files in files.items()] return progs
在这个示例中,除了使用 @task 装饰器,这段代码与典型的 Python 程序并无不 同。它是按照顺序执行的逻辑编写的。
所有工作流的执行记录都保存在一个数据库中,可通过 redun 的控制台进行查看和探索。这对于调试复杂的大型工作流以及了解如何复现和扩展过去的工作非常方便。
在任务执行时,redun 允许每个任务在不同的后端执行,例如在自己的进程中、Docker 容器中或 AWS Batch 任务中,这样用户只需进行轻量化的配置即可实现不同的运行环境。
redun 的特点在于构建并评估表达式图像来实现并行计算、缓存和数据谱系记录。这些功能使 redun 特别适合处理涉及多领域的科学计算管道。
redun 的设计是为了补充而不是替代其他工具。当一些问题超出 redun 的能力范围时,可以将 redun 与其他框架(如 pyspark、pytorch 等)结合使用,以实现各工具的最佳效能。
通过以上的介绍,希望能帮助你更好地理解 redun 及其应用优势。如需更详细的说明,redun 提供了丰富的文档和示例供学习和参考。


免费创建高清无水印Sora视频
Vora是一个免费创建高清无水印Sora视频的AI工具


最适合小白的AI自动化工作流平台
无需编码,轻松生成可复用、可变现的AI自动化工作流

大模型驱动的Excel数据处理工具
基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。


AI辅助编程,代码自动修复
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。


AI论文写作指导平台
AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。


AI一键生成PPT,就用博思AIPPT!
博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT 等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。


AI赋能电商视觉革命,一站式智能商拍平台
潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。


企业专属的AI法律顾问
iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。


稳定高效的流量提升解决方案,助力品牌曝光
稳定高效的流量提升解决方案,助力品牌曝光


最新版Sora2模型免费使用,一键生成无水印视频
最新版Sora2模型免费使用,一键生成无水印视频