Non-Blocking Concurrent Imperative Programming with Session Types

• Tipo: Artigo em Revista Científica Internacional
• Data: 2017

Autores

Silva, M (Autor) Outra; Florido, M (Autor) FCUP; Pfenning, F (Autor) Outra

Revista

Título: Electronic Proceedings in Theoretical Computer Science, EPTCS

Vol. 238

Páginas: 64-72

ISSN: 2075-2180

Editora: Open Publishing Association

Indexação

ISI Web of Knowledge - 3 Citações

Scopus - 2 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 9