14th International Conference on Distributed Computing Systems (1994)
June 21, 1994 to June 24, 1994
G. Hermannsson , Renaissance Technol. Corp., Stony Brook, NY, USA
Introduces optimistic lock synchronization using the group write consistency (GWC) model. GWC guarantees strict ordering of all shared writes in a processor group. In optimistic synchronization, if a lock-requesting processor can assume that the lock is free, execution of mutually exclusive code starts immediately. A wrong assumption results in rollback. Shared variable updates remain in the group until the lock manager grants the lock to the requesting processor. By evaluating the time needed for three processors to execute mutually exclusive code, GWC can out-perform weak, release, and even entry consistency. Simulations of task management using exclusive access to a shared queue, also show much faster mutual exclusion with GWC. Optimistic mutual exclusion may further halve total delays in accessing shared resources.<
synchronisation, distributed memory systems, shared memory systems, delays, resource allocation
G. Hermannsson and L. Wittie, "Optimistic synchronization in distributed shared memory," 14th International Conference on Distributed Computing Systems(ICDCS), Pozman, Poland, 1994, pp. 345-354.