A runtime system for . . .

This paper investigates an alternative: a software runtime system that allows threads to speculatively execute lock-based critical sections in parallel, and does not require that programs be written in type-safe languages, nor does it require any form of garbage collection.