skip to main content
10.1145/3409964.3461826acmconferencesArticle/Chapter ViewAbstractPublication PagesspaaConference Proceedingsconference-collections
extended-abstract

Semantic Conflict Detection for Transactional Data Structure Libraries

Published: 06 July 2021 Publication History

Abstract

The Transactional Data Structure Library (TDSL) methodology improves the programmability and performance of concurrent software by making it possible for programmers to compose multiple concurrent data structure operations into coarse-grained transactions. Like transactional memory, TDSL enables arbitrarily many operations on arbitrarily many data structures to appear to other threads as a single atomic, isolated transaction. Like concurrent data structures, the individual operations on a TDSL data structure are optimized to avoid artificial contention. We introduce techniques for reducing false conflicts in TDSL implementations. Our approach allows expressing the postconditions of operations entirely via semantic properties, instead of through low-level structural properties. Our design is general enough to support lists, deques, ordered and unordered maps, and vectors. It supports richer programming interfaces than are available in existing TDSL implementations. It is also capable of precise memory management, which is necessary in low-level languages like C++.

References

[1]
Nachshon Cohen, Maurice Herlihy, Erez Petrank, and Elias Wald. 2017. The Teleportation Design Pattern for Hardware Transactional Memory. In Proceedings of the 21st International Conference on Principles of Distributed Systems. Lisbon, Portugal.
[2]
Pascal Felber, Vincent Gramoli, and Rachid Guerraoui. 2017. Elastic Transactions. J. Parallel and Distrib. Comput., Vol. 100 (Feb. 2017), 103--127. Issue C.
[3]
Maurice Herlihy, Nir Shavit, Victor Luchangco, and Michael Spear. 2021. The Art of Multiprocessor Programming, 2nd edition. Morgan Kaufmann.
[4]
Maurice P. Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer III. 2003. Software Transactional Memory for Dynamic-sized Data Structures. In Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing. Boston, MA.
[5]
Maurice P. Herlihy and J. Eliot B. Moss. 1993. Transactional Memory: Architectural Support for Lock-Free Data Structures. In Proceedings of the 20th International Symposium on Computer Architecture. San Diego, CA.
[6]
Maurice P. Herlihy and Jeannette M. Wing. 1990. Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, Vol. 12, 3 (1990), 463--492.
[7]
Nir Shavit and Dan Touitou. 1995. Software Transactional Memory. In Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. Ottawa, ON, Canada.
[8]
Alexander Spiegelman, Guy Golan-Gueta, and Idit Keidar. 2016. Transactional Data Structure Libraries. In Proceedings of the 37th ACM Conference on Programming Language Design and Implementation. Santa Barbara, CA.
[9]
Pantea Zardoshti, Tingzhe Zhou, Pavithra Balaji, Michael Scott, and Michael Spear. 2019. Simplifying Transactional Memory Support in C
[10]
. ACM Transactions on Architecture and Code Optimization, Vol. 16, 3 (July 2019), 25:1--25:24.
[11]
Deli Zhang, Pierre Laborde, Lance Lebanoff, and Damian Dechev. 2018. Lock-Free Transactional Transformation for Linked Data Structures. ACM Transactions on Parallel Computing, Vol. 5, 1 (June 2018).
[12]
Tingzhe Zhou, Victor Luchangco, and Michael Spear. 2017. Hand-Over-Hand Transactions with Precise Memory Reclamation. In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Washington, DC.

Cited By

View all
  • (2022)Managerial Conflict Among the Software Development TeamProceedings of International Conference on Information Technology and Applications10.1007/978-981-16-7618-5_29(331-341)Online publication date: 21-Apr-2022

Index Terms

  1. Semantic Conflict Detection for Transactional Data Structure Libraries

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    SPAA '21: Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures
    July 2021
    463 pages
    ISBN:9781450380706
    DOI:10.1145/3409964
    • General Chair:
    • Kunal Agrawal,
    • Program Chair:
    • Yossi Azar
    Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 06 July 2021

    Check for updates

    Author Tags

    1. concurrent data structures
    2. synchronization
    3. transactional memory

    Qualifiers

    • Extended-abstract

    Funding Sources

    • National Science Foundation

    Conference

    SPAA '21
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 447 of 1,461 submissions, 31%

    Upcoming Conference

    SPAA '25
    37th ACM Symposium on Parallelism in Algorithms and Architectures
    July 28 - August 1, 2025
    Portland , OR , USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)6
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 15 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)Managerial Conflict Among the Software Development TeamProceedings of International Conference on Information Technology and Applications10.1007/978-981-16-7618-5_29(331-341)Online publication date: 21-Apr-2022

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media