Behaviour-Oriented Concurrency in Verona: Simple, Safe and Speedy
Decanato - Facoltà di scienze informatiche
Data: 29 Settembre 2023 / 09:00 - 10:00
USI East Campus, Room D1.13
Speaker: Tobias Wrigstad, Uppsala University
Abstract: Behaviour-oriented Concurrency is a new concurrency paradigm inspired by the actor model, join calculus and structural lock correlation. Programs in behaviour-oriented concurrency are expressed as tasks joining on data organised into isolated regions. Akin to actor-based concurrency, data is always accessed by a single thread of control, but in contrast to actor-based concurrency, data is decoupled from specific threads of control. Through a combination of region isolation, which can be guaranteed statically and dynamically, and scheduling, behaviour-oriented concurrency guarantees data-race freedom and deadlock-freedom and can be implemented efficiently. In this talk, I will introduce behaviour-oriented concurrency, show how behaviour-oriented concurrency enables expression of different happens-before relations in programs, and show a type system for region isolation that guarantees data-race freedom. If time permits, I will also show how the same type system enables efficient memory management with performance control.
Host:Prof. Matthias Hauswirt