2 papers
cs.PF2019
Redundant Loads: A Software Inefficiency Indicator
Pengfei Su, Shasha Wen, Hailong Yang +2
Modern software packages have become increasingly complex with millions of lines of code and references to many external libraries. Redundant operations are a common performance li…
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…