Regular Sequential Serializability and Regular Sequential Consistency

Mapping Intimacies ◽

10.1145/3477132.3483566 ◽

2021 ◽

Author(s):

Jeffrey Helt ◽

Matthew Burke ◽

Amit Levy ◽

Wyatt Lloyd

Keyword(s):

Sequential Consistency

Download Full-text

Sequential Consistency

Encyclopedia of Parallel Computing ◽

10.1007/978-0-387-09766-4_2049 ◽

2011 ◽

pp. 1810-1810

Author(s):

Jack Dongarra ◽

Piotr Luszczek ◽

Felix Wolf ◽

Jesper Larsson Träff ◽

Patrice Quinton ◽

...

Keyword(s):

Sequential Consistency

Download Full-text

Vulcan: Hardware Support for Detecting Sequential Consistency Violations Dynamically

2012 45th Annual IEEE/ACM International Symposium on Microarchitecture ◽

10.1109/micro.2012.41 ◽

2012 ◽

Author(s):

Abdullah Muzahid ◽

Shanxiang Qi ◽

Josep Torrellas

Keyword(s):

Sequential Consistency ◽

Hardware Support

Download Full-text

Using Timestamping and History Variables to Verify Sequential Consistency

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-44585-4_42 ◽

2001 ◽

pp. 423-435 ◽

Author(s):

Tamarah Arons

Keyword(s):

Sequential Consistency

Download Full-text

Categorical Coherence or Sequential Consistency: Breach of contract in SME financing

Academy of Management Proceedings ◽

10.5465/ambpp.2012.17295abstract ◽

2012 ◽

Vol 2012 (1) ◽

pp. 17295

Author(s):

Rodrigo Canales ◽

Jason Greenberg

Keyword(s):

Sequential Consistency ◽

Breach Of Contract ◽

Download Full-text

Proving sequential consistency by model checking

Sixth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2001.972815 ◽

2002 ◽

Author(s):

T. Braun ◽

A. Condon ◽

A.J. Hu ◽

K.S. Juse ◽

M. Laza ◽

...

Keyword(s):

Model Checking ◽

Sequential Consistency

Download Full-text

Verifying sequential consistency on shared-memory multiprocessors by model checking

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2003.1225053 ◽

2003 ◽

Vol 14 (8) ◽

pp. 730-741 ◽

Author(s):

S. Qadeer

Keyword(s):

Model Checking ◽

Shared Memory ◽

Sequential Consistency ◽

Shared Memory Multiprocessors

Download Full-text

Efficient sequential consistency using conditional fences

Proceedings of the 19th international conference on Parallel architectures and compilation techniques - PACT '10 ◽

10.1145/1854273.1854312 ◽

2010 ◽

Author(s):

Changhui Lin ◽

Vijay Nagarajan ◽

Rajiv Gupta

Keyword(s):

Sequential Consistency

Download Full-text

From causal consistency to sequential consistency in shared memory systems

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-60692-0_48 ◽

1995 ◽

pp. 180-194 ◽

Author(s):

Michel Raynal ◽

André Schiper

Keyword(s):

Shared Memory ◽

Memory Systems ◽

Sequential Consistency ◽

Causal Consistency

Download Full-text

A comparison of sequential consistency with home-based lazy release consistency for software distributed shared memory

Proceedings of the 18th annual international conference on Supercomputing - ICS '04 ◽

10.1145/1006209.1006252 ◽

2004 ◽

Author(s):

Vadim Iosevich ◽

Assaf Schuster

Keyword(s):

Shared Memory ◽

Distributed Shared Memory ◽

Sequential Consistency ◽

Release Consistency ◽

Software Distributed Shared Memory

Download Full-text

Detecting, Exposing, and Classifying Sequential Consistency Violations

2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2016.48 ◽

2016 ◽

Author(s):

Mohammad Majharul Islam ◽

Abdullah Muzahid

Keyword(s):

Sequential Consistency

Download Full-text