Showing cs.DCShow all
2 papers · 1 filter
cs.DC2023
Protecting Locks Against Unbalanced Unlock()
Vivek Shahare, Milind Chabbi, Nikhil Hegde
The lock is a building-block synchronization primitive that enables mutually exclusive access to shared data in shared-memory parallel programs. Mutual exclusion is typically achie…
cs.DC2016
Correctness of Hierarchical MCS Locks with Timeout
Milind Chabbi, Abdelhalim Amer, Shasha Wen +1
This manuscript serves as a correctness proof of the Hierarchical MCS locks with Timeout (HMCS-T) described in our paper titled "An Efficient Abortable-locking Protocol for Multi-l…