Loom: Bypassing Races in Live Applications with Execution Filters

We are developing Loom, a live-workaround system designed to quickly and safely bypass application races at runtime. Loom provides a flexible and safe language for developers to write execution filters that explicitly synchronize code. It then uses an evacuation algorithm to safely install the filters to live applications to avoid races. It reduces its performance overhead using hybrid instrumentation that combines static and dynamic instrumentation.

Read more…

Publications

Bypassing Races in Live Applications with Execution Filters

Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI ’10), October 2010

Abstract

PDF

 

Download Loom

We released Loom open-source at GitHub.

Columbia University Department of Computer Science