Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
poster

A wait-free NCAS library for parallel applications with timing constraints

Published: 12 February 2011 Publication History
  • Get Citation Alerts
  • Abstract

    We introduce our major ideas of a wait-free, linearizable, and disjoint access parallel NCAS library, called rtNCAS. It focuses the construction of wait-free data structure operations (DSO) in real-time circumstances. rtNCAS is able to conditionally swap multiple independent words (NCAS) in an atomic manner. It allows us, furthermore, to implement arbitrary DSO by means of their sequential specification.

    References

    [1]
    M. P. Herlihy. Wait-free synchronization. in ACM Transactions on Programming Languages and Systems, 11(1):124--149, January 1991.
    [2]
    M. P. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. in ACM Transactions on Programming Languages and Systems, 12(3):463--492, 1990.
    [3]
    A. Israeli and L. Rappoport. Disjoint-access-parallel implementations of strong shared memory primitives. in Proc. of the Symp. on Principles of Distributed Computing, pages 151--160, 1994.
    [4]
    S. Ramamurthy. A lock-free approach to object sharing in real-time systems. PhD thesis, Univ. of North Carolina at Chapel Hill, 1997.

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 46, Issue 8
    PPoPP '11
    August 2011
    300 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/2038037
    Issue’s Table of Contents
    • cover image ACM Conferences
      PPoPP '11: Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
      February 2011
      326 pages
      ISBN:9781450301190
      DOI:10.1145/1941553
      • General Chair:
      • Calin Cascaval,
      • Program Chair:
      • Pen-Chung Yew

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 12 February 2011
    Published in SIGPLAN Volume 46, Issue 8

    Check for updates

    Author Tags

    1. composition
    2. data structures
    3. disjoint-access parallel
    4. linearizable
    5. wait-free

    Qualifiers

    • Poster

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 148
      Total Downloads
    • Downloads (Last 12 months)6
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 12 Aug 2024

    Other Metrics

    Citations

    View Options

    Get Access

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media