关于服务
翻译我将开发高性能的 Terra 和 Lua 系统,以及为您的任务生成代码的生成器。Terra 是 Lua 的静态类型低级伴侣:Lua 用于元编程,而 Terra 通过 LLVM 生成本机机器代码。因此,您获得了 C 级的速度和脚本语言的灵活性。当您需要在运行时生成专用代码、融合热循环或嵌入领域语言而不增加解释器开销时,这种组合是无价的。
我所做的:
— 用于数值计算的 JIT 内核:矩阵运算、信号处理、仿真循环,专门针对数据形状、类型和目标处理器。
— 代码生成器:从您的模式、模板和配置生成优化的 Terra 函数的 Lua 元程序。
— 嵌入式 DSL:干净的高级语法直接编译为本机 Terra,具有分阶段和部分评估。
— 互操作性和绑定:将 Terra 连接到 C/C++ 库,通过 Lua 或纯 C ABI 访问,与 Node 或 Socket IO 服务集成。
— 优化:SIMD、循环展开、内存布局和缓存工作,以及确认加速的基准测试。
您将获得干净、文档齐全且经过测试的代码、可重现的构建脚本、基准报告和简要概述,以便您的团队可以自行开发生成器。正确性优先,然后是速度——每个内核都附带测试。描述您的任务、目标硬件和约束,我将提出一个快速且可维护的解决方案。
我所做的:
— 用于数值计算的 JIT 内核:矩阵运算、信号处理、仿真循环,专门针对数据形状、类型和目标处理器。
— 代码生成器:从您的模式、模板和配置生成优化的 Terra 函数的 Lua 元程序。
— 嵌入式 DSL:干净的高级语法直接编译为本机 Terra,具有分阶段和部分评估。
— 互操作性和绑定:将 Terra 连接到 C/C++ 库,通过 Lua 或纯 C ABI 访问,与 Node 或 Socket IO 服务集成。
— 优化:SIMD、循环展开、内存布局和缓存工作,以及确认加速的基准测试。
您将获得干净、文档齐全且经过测试的代码、可重现的构建脚本、基准报告和简要概述,以便您的团队可以自行开发生成器。正确性优先,然后是速度——每个内核都附带测试。描述您的任务、目标硬件和约束,我将提出一个快速且可维护的解决方案。