搜索结果: 1-1 共查到“Lock Placements”相关记录1条 . 查询时间(0.062 秒)
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making precise the interacti...