搜索结果: 1-1 共查到“数据结构 independence”相关记录1条 . 查询时间(0.084 秒)
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...