Software

Cooperative Concurrency for a Multicore World

Free registration required

Executive Summary

Multi-threaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, these presenters argue that yield annotations in the source code should document all thread interference, and they present a type system for verifying the absence of undocumented interference.

  • Format: Webcast
  • Size: 0 KB