Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership

Mischael Schill, Sebastian Nanz, Bertrand Meyer

In shared-memory concurrent programming, shared resources can be protected using synchronization mechanisms such as monitors or channels. The connection between these mechanisms an…