Occam 和 CSP 的工程师：并行系统和传输器

我是一名并发计算工程师，已经使用 Occam 语言多年，该语言源于 Hoare 的通信顺序过程理论。我通常接到两种类型的任务。要么是一个旧的传输器系统仍在控制一个安装、扫描仪或测试台，而没有人能再理解它的代码。要么是一个新项目正在规划中，需要可以证明正确的无死锁并行性，而不是通常的线程和互斥锁的纠缠。我接受这两种工作。对于遗留系统，我阅读 Occam 2 源代码，在纸上重建过程网络，描述每个通道和 PAR 及 ALT 构造，然后在传输器仿真器上维持操作，或将逻辑重写为 occam-pi、C 语言与 CSP 库，或转为 Go 通道，保持精确的同步语义。对于新系统，我将一切建模为通过类型化通道通信的顺序过程，证明没有死锁和活锁，并交付干净、注释良好的代码和测试环境。典型的交付包括文档化的过程图、版本控制下的工作源代码、构建和仿真，以及关于并发模型的简要报告，以便您的团队可以轻松维护。对我来说，正确性比巧妙的技巧更重要：通道在没有充分理由的情况下保持无缓冲，ALT 保护被检查，共享状态我设计得根本不存在。无论我需要复活一个顽固的传输器模块，还是从头构建一个并行仿真，我都会从分析到测试交付全程跟进。描述系统的功能、运行所需的硬件或运行时，以及多少旧代码幸存，我会在开始之前诚实评估工作范围。