[Home]  [Publications]  [Projects]  [Software Release]  [Misc] 

Dthreads: Deterministic multithreaded library (SOSP 2011)

Dthreads is an efficient deterministic multithreading system for unmodified C/C++ applications. Dthreads enforces determinism even in the face of data races. Dthreads substantially outperforms a state-of-the-art deterministic runtime system (more than 3X) and matches and occasionally exceeds the performance of pthreads for most of evaluated applications. More...

Sheriff: False sharing detection and mitigation (OOPSLA 2011)

Sheriff-Detect can find instances of false sharing precisely (no false positives), efficiently (20% slower) and accurately(pinpointing objects). Sheriff-Protect mitigates false sharing problems automatically without user interventions. More...

Grace: Safe Multithreaded Programming for C/C++(OOPSLA 2009)

Grace provides good scalability and performance while eliminating a range of concurrency errors automatically. More...

Redline: First Class Support of Interactivity in Commodity Operating Systems (OSDI 2008)

Redline supports interactiveness of applications even when there are tons of CPU-intensive, memory-intensive or IO-intensive workloads in the same system. More...