TY - GEN
T1 - Brief announcement
T2 - 36th ACM Symposium on Principles of Distributed Computing, PODC 2017
AU - Dickerson, Thomas
AU - Gazzillo, Paul
AU - Herlihy, Maurice
AU - Koskinen, Eric
N1 - Publisher Copyright:
© 2017 Association for Computing Machinery.
PY - 2017/7/26
Y1 - 2017/7/26
N2 - Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. This brief announcement introduces Proust, a framework for the design and implementation of transactional data structures. Proust is designed to maximize reuse of existing well-engineered libraries by providing transactional "wrappers" to make existing thread-safe concurrent data structures transactional. Proustian objects are also integrated with an underlying STM system, allowing them to take advantage of well-engineered STM conflict detection mechanisms. Proust generalizes and unifies prior approaches such as boosting and predication.
AB - Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. This brief announcement introduces Proust, a framework for the design and implementation of transactional data structures. Proust is designed to maximize reuse of existing well-engineered libraries by providing transactional "wrappers" to make existing thread-safe concurrent data structures transactional. Proustian objects are also integrated with an underlying STM system, allowing them to take advantage of well-engineered STM conflict detection mechanisms. Proust generalizes and unifies prior approaches such as boosting and predication.
UR - http://www.scopus.com/inward/record.url?scp=85027886356&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85027886356&partnerID=8YFLogxK
U2 - 10.1145/3087801.3087866
DO - 10.1145/3087801.3087866
M3 - Conference contribution
AN - SCOPUS:85027886356
T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
SP - 251
EP - 253
BT - PODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing
Y2 - 25 July 2017 through 27 July 2017
ER -