A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

Autor:	Heuvel, Bas van den, Pérez, Jorge A.
Rok vydání:	2024
Předmět:	Computer Science - Programming Languages Computer Science - Logic in Computer Science D.1.3 D.2.4 D.3.1
Zdroj:	EPTCS 414, 2024, pp. 1-20
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.414.1
Popis:	While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous communication in the context of session-based concurrency, the model of computation in which session types specify the structure of the two-party protocols implemented by the channels of a communicating process. We overview recent work on addressing the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks governed by session types. We offer a gradual presentation of three typed process frameworks and outline how they may be used to guarantee deadlock freedom for a concurrent functional language with sessions. Comment: In Proceedings ICE 2024, arXiv:2412.07570
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2412.08232 Zobrazit plný text záznamu View this record from Arxiv