.png){kind=icon}
返回
Optimistic Transactional Boosting
.png){kind=icon}
PRE
AI
DOI：10.1109/TPDS.2017.2725837.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The last two decades witnessed the success of many efficient designs of concurrent data structures. A large set of them has a common base principle: each operation is split into a read-only traversal phase, which scans the data structure without locking or monitoring, and a read-write commit phase, which atomically validates the output of the traversal phase and applies the needed modifications to the data structure. In this paper we introduce Optimistic Transactional Boosting (OTB), an optimistic methodology for extending those designs in order to support the composition of multiple operations into one atomic execution by building a single traversal phase and a single commit phase for the whole atomic execution. As a result, OTB-based data structures are optimistic and composable. The former because they defer any locking and/or monitoring to the commit phase of the entire atomic execution; the latter because they allow the execution of multiple operations atomically. Additionally, in this paper we provide a theoretical model for analyzing OTB-based data structures and proving their correctness. In particular, we extended a recent approach that models concurrent data structures by including the two notions of optimism and composition of operations.
Keyword:
Composability
transactional memory
concurrent data structures
linearizability
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6
论文数:
5.2K
被引数:
1.1W
机构
暂无机构信息
引用论文
Forbidden Therapies: Santo Daime, Ayahuasca, and the Prohibition of Entheogens in Western Society
PREAI
分享收藏
Interventions for Sensory Over-Responsivity in Individuals with Autism Spectrum Disorder: A Narrative Review.png)
Children
OAAI
ChildrenIF0
OAAI分享收藏
查看更多内容