搜索结果: 1-1 共查到“计算机科学技术 grain”相关记录1条 . 查询时间(0.031 秒)
Automatic Fine-Grain Locking Using Shape Properties
Concurrency Locking Protocol Synthesis Serializability Atomicity Reduction
2016/5/24
We present a technique for automatically adding fine-grain locking to an abstract data type that is implemented using a dynamic forest —i.e., the data structures may be mutated,even to the point of vi...