University of Cambridge > > Logic and Semantics Seminar (Computer Laboratory) > When Concurrency Strikes

When Concurrency Strikes

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

  • UserMatthew Parkinson, Microsoft Research
  • ClockFriday 27 January 2023, 14:00-15:00
  • HouseSS03.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity