tonyliu AT cs DOT umass DOT edu
Computer Science Building Room 354
140 Governors Drive
University of Massachusetts
Amherst, MA 01003
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.
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.
Grace provides good scalability and performance
while eliminating a range of concurrency errors automatically.
Redline supports interactiveness of applications even when there are tons of
CPU-intensive, memory-intensive or IO-intensive workloads in the same system.