Academic
Keywords
Sequential Consistency

SC,Sequential Consistency,sequentially consistent,sequentially consist,sequential consistent

Sequential Consistency - SC
Publications: 455| Citation Count: 7,845
Stemming Variations: sequentially consistent, sequentially consist, sequential consistent
Cumulative Annual
    • Sequential consistency is a multiprocessor memory model of both practical and theoretical importance. Unfortunately, the general problem of verifying that a finitestate protocol implements sequential consistency is undecidable, and in practice, validating that a real-world, finitestate protocol implements sequential consistency is very time-consuming and costly...

    Tim Braunet al. Proving sequential consistency by model checking

    • Sequential consistency is a multiprocessor memory model of both practical and theoretical importance. Designing and implementing a memory system that efficiently provides a given memory model is a challenging and error-prone task, so automated verification support would be invaluable. Unfortunately, the general problem of deciding whether a finite-state protocol implements sequential consistency is undecidable...

    Anne E. Condonet al. Automatable verification of sequential consistency

    • Sequential consistency is a multiprocessor memory model of both practical and theoretical importance. Designing and implementing a memory system that efficiently provides a given memory model is a challenging and error-prone task, so automated verification support would be invaluable...

    Anne E. Condonet al. Automatable Verification of Sequential Consistency

    • Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number of processors, the number of addresses, and the number of distinguishable data values, and typically, automatic protocol verification analyzes only concrete instances of the protocol with small values (generally < 3) for the protocol parameters...

    Jesse D. Binghamet al. Automatic Verification of Sequential Consistency for Unbounded Address...

    • Sequential consistency is the most-widely used correctness condition for multiprocessor memory systems. High-performance shared memory multiprocessors such as the Kendall Square KSR1, the Stanford DASH, and the MIT Alewife employ a variety of techniques to improve memory system performance while providing sequential consistency...

    Phillip B. Gibbonset al. On testing cache-coherent shared memories

Sort by: