When Concurrency Strikes

Add to your list(s) Download to your calendar using vCal

• Matthew Parkinson, Microsoft Research
• Friday 27 January 2023, 14:00-15:00
• SS03.

If you have a question about this talk, please contact Jamie Vicary.

Concurrent programming has been ubiquitously adopted to utilise the great potential provided by modern hardware. A multitude of concurrency paradigms have been proposed, often with the aim to offer atomicity, data-race freedom, flexible coordination across different resources, deadlock freedom, ordering guarantees, ease of programming, and efficient implementation. We believe that so far, none of these paradigms have reached the sweet-spot in the design that satisfies all these requirements.

We introduce Behaviour-Oriented Concurrency (BoC), a paradigm that enables asynchronously creating atomic and ordered units of work with exclusive access to a collection of independent resources. We argue that BoC satisfies all the requirements from above. We demonstrate the practicality of the approach by implementing a C++ runtime for BoC. We argue the applicability of this paradigm through the Savina benchmark suite. We demonstrate benchmarks in this suite can be more compactly represented using BoC in place of Actors, and we observe comparable, if not better, performance.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• SS03
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.