Safe and Efficient Data Sharing for Message-Passing Concurrency - LNCS 8459: Coordination Models and Languages
Conference Papers Year : 2014

Safe and Efficient Data Sharing for Message-Passing Concurrency

Abstract

Message passing provides a powerful communication abstraction in both distributed and shared memory environments. It is particularly successful at preventing problems arising from shared state, such as data races, as it avoids sharing in general. Message passing is less effective when concurrent access to large amounts of data is needed, as the overhead of messaging may be prohibitive. In shared memory environments, this issue could be alleviated by supporting direct access to shared data; but then ensuring proper synchronization becomes again the dominant problem. This paper proposes a safe and efficient approach to data sharing in message-passing concurrency models based on the idea of distinguishing active and passive computational units. Passive units do not have execution capabilities but offer to active units exclusive and direct access to the data they encapsulate. The access is transparent due to a single primitive for both data access and message passing. By distinguishing active and passive units, no additional infrastructure for shared data is necessary. The concept is applied to SCOOP, an object-oriented concurrency model, where it reduces execution time by several orders of magnitude on data-intensive parallel programs.
Fichier principal
Vignette du fichier
326181_1_En_7_Chapter.pdf (370.39 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01290070 , version 1 (17-03-2016)

Licence

Identifiers

Cite

Benjamin Morandi, Sebastian Nanz, Bertrand Meyer. Safe and Efficient Data Sharing for Message-Passing Concurrency. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.99-114, ⟨10.1007/978-3-662-43376-8_7⟩. ⟨hal-01290070⟩
99 View
122 Download

Altmetric

Share

More