Deterministic multithreading


An interesting paper appearing in ASPLOS proceedings provides a "deterministic" locking method Kendo enforces a deterministic interleaving of lock acquisitions and specially declared non-protected reads through a novel dynamically load-balanced deterministic scheduling algorithm. The algorithm tracks the progress of each thread using performance counters to construct a deterministic logical time…

Meaning of concurrent programs and IP


Most of the new draft of the Concurrent Programs paper has to do with trying to specify problems and solutions in synchronization via an atomic  "compare and swap" operation. Even these operations are surprisingly complicated once put under the microscope - or not so surprisingly complicated if you think about…