用于实时系统的 Carp 开发

我在 Carp 中编写生产代码——一种为实时任务构建的静态类型 Lisp，其中垃圾收集器暂停是完全不可接受的。我关心必须在每一帧和每个音频缓冲区上满足截止日期的软件：游戏逻辑、合成引擎和 DSP、物理循环和密集数值内核。Carp 结合了 Lisp 的表达能力和手动内存控制的可预测性，我依赖其所有权模型来保证：在最糟糕的时刻不会有隐藏的暂停。实际上，这意味着我设计您的数据，以便借用和移动在编译时进行检查，结果的行为就像精心编写的 C，但没有其陷阱。具体我交付的内容取决于您的目标。我可以从一个空的代码库开始一个项目，设置构建并发展出一个干净的模块化结构。我可以将一个工作原型进行加固——修复所有权错误，删除意外复制并分析热点，直到数字稳定。我编写绑定，以便 Carp 可以与您的 C 库、音频后端或图形层进行干净的交互。每个工作都附带可读的源代码、深思熟虑的注释、小型测试套件和关于我们所做内存决策的简短说明，以便您的团队在我之后能够维护代码。在多年的低延迟系统工作中，我已经习惯于将确定性视为一种属性，而不是运气。如果您有一个实时想法，管理运行时不断限制，Carp 几乎可以肯定是正确的工具，我可以帮助快速证明这一点。请告诉我您的帧预算或缓冲区大小——我会诚实地告诉您我是否能达到。