异步会话级并发死锁防范的温和概述

虽然形式化的并发模型倾向于关注同步通信，但异步通信在实际中具有相关性。在本文中，我们将讨论基于会话类型的异步通信，以会话类型指定的两方协议结构的通信进程通道。在处理受会话类型约束的循环进程网络中进行的异步消息传递进程的死锁自由性保证方面存在挑战。我们提供了关于确保这种死锁自由性的最新工作的渐进式概述。我们提供了三个类型化进程框架的逐步呈现，概述了它们如何可用于保证具会话的函数式语言的并发具有死锁自由性。