Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency

@inproceedings{Jagadeesan2014BetweenLA,
  title={Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency},
  author={Radha Jagadeesan and James Riely},
  booktitle={ICALP},
  year={2014}
}
  • Radha Jagadeesan, James Riely
  • Published in ICALP 2014
  • Computer Science
  • Linearizability is the de facto correctness criterion for concurrent data structures. Unfortunately, linearizability imposes a performance penalty which scales linearly in the number of contending threads. Quiescent consistency is an alternative criterion which guarantees that a concurrent data structure behaves correctly when accessed sequentially. Yet quiescent consistency says very little about executions that have any contention. 

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 11 CITATIONS

    Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

    VIEW 13 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Decidability and Complexity for Quiescent Consistency

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Decidability and complexity for quiescent consistency and its variations

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    From Sequential Specifications to Eventual Consistency

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 17 REFERENCES

    Elimination Trees and the Construction of Pools and Stacks

    VIEW 10 EXCERPTS
    HIGHLY INFLUENTIAL

    Supporting Increment and Decrement Operations in Balancing Networks

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Distributed queues in shared memory

    • A. Haas, M. Lippautz, Henzinger, T.A
    • In: Conf. Computing Frontiers,
    • 2013
    VIEW 1 EXCERPT

    Data structures in the multicore age

    VIEW 2 EXCERPTS

    The Art of Multiprocessor Programming

    VIEW 3 EXCERPTS

    Diffracting trees