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 提供了丰富的文档和示例供学习和参考。


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模型免费使用,一键生成无水印视频


实时语音翻译/同声传译工具
Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。


选题、配图、成文,一站式创作,让内容运营更高效
讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。


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


最强AI数据分析助手
小浣熊家族Raccoon,您的AI智能助手,致力于通过先进的人工智能技术,为用户提供高效、便捷的智能服务。无论是日常咨询还是专业问题解答,小浣熊都能以快速、准确的响应满足您的需求,让您的生活更加智能便捷。


像人一样思考的AI智能体
imini 是一款超级AI智能体,能根据人类指令,自主思考、自主完成、并且交付结果的AI智能体。
最新AI工具、AI资讯
独家AI资源、AI项目落地

微信扫一扫关注公众号