Automating Non-Blocking Synchronization In Concurrent Data Abstractions
Automating Non-Blocking Synchronization In Concurrent Data Abstractions
复制标题
DOI:
10.1109/ase.2019.00074
复制
发表时间:
2019-11
期刊:
影响因子:
--
通讯作者:
Jiange Zhang;Qing Yi;D. Dechev
中科院分区:
文献类型:
--
作者:
Jiange Zhang;Qing Yi;D. Dechev
This paper investigates using compiler technology to automatically convert sequential C++ data abstractions, e.g., queues, stacks, maps, and trees, to concurrent lock-free implementations. By automatically tailoring a number of state-of-the-practice synchronization methods to the underlying sequential implementations of different data structures, our automatically synchronized code can attain performance competitive to that of manually-written concurrent data structures by experts and much better performance than heavier-weight support by software transactional memory (STM).