Cooperative Concurrency for a Multicore World

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.

Provided by: University of Washington Topic: Software Date Added: Dec 2011 Format: Webcast

Watch Now

Find By Topic