Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free

Micha Hergarden, Sung-Shik Jongmans

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

208 Downloads (Pure)

Abstract

Protocol programming languages are domain-specific languages that offer higher-level abstractions for programming of synchronization and communication protocols among participants. However, most implementations of protocol programming languages on shared memory architectures use pointer passing to exchange data in communications, so programs can still run into data races. We report on our ongoing efforts toward the first shared memory implementation of a protocol programming language that guarantees freedom of data races, without excessive copying, by leveraging the programming language Rust and its type system.

Original languageEnglish
Title of host publicationICOOOLPS '18
Subtitle of host publicationProceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
EditorsTod Millstein
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery (ACM)
Pages36-40
Number of pages5
ISBN (Print)9781450358040
DOIs
Publication statusPublished - 17 Jul 2018
EventEuropean Conference on Object Oriented Programming
July 16 - 21, 2018
- Amsterdam, Netherlands
Duration: 16 Jul 201821 Jul 2018
https://conf.researchr.org/home/ecoop-2018

Conference

ConferenceEuropean Conference on Object Oriented Programming
July 16 - 21, 2018
Abbreviated titleECOOP '18
Country/TerritoryNetherlands
CityAmsterdam
Period16/07/1821/07/18
Internet address

Keywords

  • Protocol languages
  • Reo
  • Rust

Fingerprint

Dive into the research topics of 'Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free'. Together they form a unique fingerprint.

Cite this