BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:When Concurrency Strikes - Matthew Parkinson\, Microsoft Research
DTSTART:20230127T140000Z
DTEND:20230127T150000Z
UID:TALK192623@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:Concurrent programming has been ubiquitously adopted to utilis
 e the great potential provided by modern hardware. A multitude of concurre
 ncy paradigms have been proposed\, often with the aim to offer atomicity\,
  data-race freedom\, flexible coordination across different resources\, de
 adlock freedom\, ordering guarantees\, ease of programming\, and efficient
  implementation. We believe that so far\, none of these paradigms have rea
 ched the sweet-spot in the design that satisfies all these requirements.\n
 \n \nWe introduce Behaviour-Oriented Concurrency (BoC)\, a paradigm that e
 nables asynchronously creating atomic and ordered units of work with exclu
 sive access to a collection of independent resources. We argue that BoC sa
 tisfies all the requirements from above. We demonstrate the practicality o
 f the approach by implementing a C++ runtime for BoC. We argue the applica
 bility of this paradigm through the Savina benchmark suite. We demonstrate
  benchmarks in this suite can be more compactly represented using BoC in p
 lace of Actors\, and we observe comparable\, if not better\, performance.
LOCATION:SS03
END:VEVENT
END:VCALENDAR