关于服务
翻译我在 Limbo 中开发应用和研究软件——这是 Inferno 操作系统的并发语言，由 Dis 虚拟机执行。多年来，我构建了设备驱动程序、网络服务、通过 Styx 协议交付的文件服务器，以及小型分布式工具，这些工具之所以保持可读性，正是因为并行性是通过通道和 CSP 模型而不是锁和共享内存来表达的。通常，工作从一份简短的项目说明开始：我将任务分解为通信进程，决定哪些消息通过哪些通道流动，并勾勒出工作如何并行化和重新组合。然后——在 Limbo 中小心地编写模块，具有小接口，并在托管的 Inferno 和代码将运行的目标平台上验证 Dis 字节码。我熟悉那些尴尬的地方：跨进程边界的垃圾收集引用、没有饥饿的 alt 构造、正确的超时和取消，以及在现代系统上构建 Dis 工具的怪癖。我还恢复停止编译的旧 Limbo 代码，记录它并留下可重现的构建。如果您有嵌入式任务、分布式原型、围绕 Inferno 的复古或教育项目，或者只是需要一个流利阅读该语言的人——我可以提供帮助。交付物包括带注释的源代码、模块签名、构建配方、测试平台以及通道连接方式的解释。我用简单的语言解释权衡，并保持设计足够紧凑，以便您的团队能够自行维护。
