onr:"swepub:oai:DiVA.org:uu-510264"
Search: onr:"swepub:oai:DiVA.org:uu-510264" > When Concurrency Ma...
- 1 of 1
- Previous record
- Next record
- To hitlist
When Concurrency Matters : Behaviour-Oriented Concurrency
- Cheeseman, Luke (author)
- Parkinson, Matthew J. (author)
- Clebsch, Sylvan (author)
- show more...
- Kogias, Marios (author)
- Drossopoulou, Sophia (author)
- Chisnall, David (author)
- Liétar, Paul (author)
- show less...
- (creator_code:org_t)
- Association for Computing Machinery (ACM), 2023
- 2023
- English.
- In: Proceedings of the ACM on Programming Languages. - : Association for Computing Machinery (ACM). - 2475-1421. ; 7:OOPSLA2, s. 1531-1560
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- Expressing parallelism and coordination is central for modern concurrent programming. Many mechanisms exist for expressing both parallelism and coordination. However, the design decisions for these two mechanisms are tightly intertwined. We believe that the interdependence of these two mechanisms should be recognised and achieved through a single, powerful primitive. We are not the first to realise this: the prime example is actor model programming, where parallelism arises through fine-grained decomposition of a program’s state into actors that are able to execute independently in parallel. However, actor model programming has a serious pain point: updating multiple actors as a single atomic operation is a challenging task. We address this pain point by introducing a new concurrency paradigm: Behaviour-Oriented Concurrency (BoC). In BoC, we are revisiting the fundamental concept of a behaviour to provide a more transactional concurrency model. BoC enables asynchronously creating atomic and ordered units of work with exclusive access to a collection of independent resources. In this paper, we describe BoC informally in terms of examples, which demonstrate the advantages of exclusive access to several independent resources, as well as the need for ordering. We define it through a formal model. We demonstrate its practicality by implementing a C++ runtime. We argue its applicability through the Savina benchmark suite: benchmarks in this suite can be more compactly represented using BoC in place of Actors, and we observe comparable, if not better, performance.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Computing Science
- Datalogi
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- Proceedings of the ACM on Programming Languages (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Cheeseman, Luke
- Parkinson, Matth ...
- Clebsch, Sylvan
- Kogias, Marios
- Drossopoulou, So ...
- Chisnall, David
- show more...
- Wrigstad, Tobias ...
- Liétar, Paul
- show less...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Proceedings of t ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
