| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [21 references]
https://hal.inria.fr/hal-01290070
Contributor : Hal Ifip <>
Submitted on : Thursday, March 17, 2016 - 3:25:42 PM
Last modification on : Thursday, May 27, 2021 - 1:54:05 PM
Long-term archiving on: : Sunday, June 19, 2016 - 2:20:59 PM
Contributor : Hal Ifip <>
Submitted on : Thursday, March 17, 2016 - 3:25:42 PM
Last modification on : Thursday, May 27, 2021 - 1:54:05 PM
Long-term archiving on: : Sunday, June 19, 2016 - 2:20:59 PM
File
326181_1_En_7_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License