uwiger / locks

A scalable, deadlock-resolving resource locker
Mozilla Public License 2.0
204 stars 26 forks source link

Uw rts wrr crash #17

Closed uwiger closed 9 years ago

uwiger commented 9 years ago

Addresses Issue #15

A typo in locks_server:do_remove_agent() would change a pending read lock entry to a write lock entry (possibly containing multiple agents). This bug also shadowed the fact that lock upgrade wasn't performed at agent removal (since a read lock would be transformed to a write lock anyway, upgrade appeared to work.)

Also improved the 'mismatch' messages somewhat.