Stav dette: Optimistic barrier synchronization / David M. Nicol.