Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Concurrent Programming with Revisions and Isolation Types

Sebastian Burckhardt, Alexandro Baldassion, and Daan Leijen


Building applications that are responsive and can exploit parallel hardware while remaining simple to write, understand, test, and maintain, poses an important challenge for developers. In particular, it is often desirable to enable various tasks to read or modify shared data concurrently without requiring complicated locking schemes that may throttle concurrency and introduce bugs. We introduce a mechanism that simplifies the use of concurrent heterogeneous tasks. Programmers declare what data they wish to share between tasks by using isolation types, and execute tasks concurrently by forking and joining revisions. These revisions are isolated: they read and modify their own private copy of the shared data only. A runtime creates and merges copies automatically, and resolves conflicts deterministically, in a manner declared by the chosen isolation type. To demonstrate the practical viability of our approach, we developed an efficient algorithm and an implementation in the form of a C# library, and used it to parallelize an interactive game application. Our results show that the parallelized game, while simple and very similar to the original sequential game, achieves satisfactory speedups on a multicore processor.


Publication typeInproceedings
Published inProceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10)
AddressReno, NV

Newer versions

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, and Manuel Fahndrich. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version), 1 May 2015.

> Publications > Concurrent Programming with Revisions and Isolation Types