Non-Blocking Concurrent Imperative Programming with Session Types

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	arXiv.org (Jan 18, 2017), p. n/a
1. Verfasser:	Silva, Miguel
Weitere Verfasser:	Florido, Mário, Pfenning, Frank
Veröffentlicht:	Cornell University Library, arXiv.org
Schlagworte:	Semantics Concurrency Programming languages Imperative programming Message passing
Online-Zugang:	Citation/Abstract Full text outside of ProQuest
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Beschreibung
Abstract:	Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-blocking) output; we extend it here with non-blocking input. A key idea is to postpone message reception as much as possible by interpreting receive commands as a request for a message. We implemented our ideas as a translation from a blocking intermediate language to a non-blocking language. Finally, we evaluated our techniques with several benchmark programs and show the results obtained. While the abstract measure of span always decreases (or remains unchanged), only a few of the examples reap a practical benefit.
ISSN:	2331-8422
DOI:	10.4204/EPTCS.238.7
Quelle:	Engineering Database