搜索结果: 1-1 共查到“知识库 数据结构 independence”相关记录1条 . 查询时间(0.103 秒)
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...