消息传递并发中资源管理的统一类型
Uniqueness Typing for Resource Management in Message-Passing Concurrency
摘要：
我们将通道视为消息传递编程范式中资源的主要形式。在资源稀缺的情况下，需要对这些渠道进行认真管理。为了研究这个问题，我们扩展了π演算与原语的通道分配和释放，并允许通道被重用，以传达不同类型的值。不可避免的是，增加的表达能力增加了运行时错误的可能性。我们定义了一个子结构类型系统，它结合了唯一性类型和仿射类型，以拒绝这些不良行为的程序。
英文摘要：
We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. Inevitably, the added expressiveness increases the possibilities for runtime errors. We define a substructural type system which combines uniqueness typing and affine typing to reject these ill-behaved programs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
