Non-Blocking Concurrent Imperative Programming with Session Types

• Type: Article in International Scientific Journal
• Date: 2017

Authors

Silva, M (Author) Other; Florido, M (Author) FCUP; Pfenning, F (Author) Other

Journal

Title: Electronic Proceedings in Theoretical Computer Science, EPTCS

Vol. 238

Pages: 64-72

ISSN: 2075-2180

Publisher: Open Publishing Association

Indexing

ISI Web of Knowledge - 3 Citations

Scopus - 2 Citations

Other information

Authenticus ID: P-00M-FN4

DOI: 10.4204/eptcs.238.7

Abstract (EN): Concurrent C0 is an imperative programming language in the C family with session-typed messagepassing 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 9