AGGREGATE CONSISTENCY MODELS

Ogre and Pythia: an invariance proof method for weak consistency models

ACM SIGPLAN Notices ◽

10.1145/3093333.3009883 ◽

2017 ◽

Vol 52 (1) ◽

pp. 3-18 ◽

Cited By ~ 3

Author(s):

Jade Alglave ◽

Patrick Cousot

Keyword(s):

Weak Consistency ◽

Consistency Models

Download Full-text

Efficiently and Completely Verifying Synchronized Consistency Models

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11936-6_20 ◽

2014 ◽

pp. 264-280

Author(s):

Yi Lv ◽

Luming Sun ◽

Xiaochun Ye ◽

Dongrui Fan ◽

Peng Wu

Keyword(s):

Consistency Models

Download Full-text

A performance study of memory consistency models

[1992] Proceedings the 19th Annual International Symposium on Computer Architecture ◽

10.1145/139669.139674 ◽

1992 ◽

Cited By ~ 19

Author(s):

Richard N. Zucker ◽

Jean-Loup Baer

Keyword(s):

Memory Consistency ◽

Performance Study ◽

Memory Consistency Models ◽

Consistency Models ◽

A Performance

Download Full-text

Strong Consistency Models for Replicated Data

Encyclopedia of Database Systems ◽

10.1007/978-1-4899-7993-3_1536-2 ◽

2016 ◽

pp. 1-5

Author(s):

Alan Fekete

Keyword(s):

Strong Consistency ◽

Replicated Data ◽

Consistency Models

Download Full-text

Strong Consistency Models for Replicated Data

Encyclopedia of Database Systems ◽

10.1007/978-0-387-39940-9_1536 ◽

2009 ◽

pp. 2854-2857

Author(s):

Alan Fekete

Keyword(s):

Strong Consistency ◽

Replicated Data ◽

Consistency Models

Download Full-text

Shared Memory Consistency Models: A Tutorial

10.21236/ada638015 ◽

1995 ◽

Cited By ~ 36

Author(s):

Sarita V. Adve ◽

Kourosh Gharachorloo

Keyword(s):

Shared Memory ◽

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Some Conceptual and Empirical Problems of Consistency Models

Cognitive Consistency ◽

10.1016/b978-1-4832-2828-0.50014-3 ◽

1966 ◽

pp. 257-297 ◽

Cited By ~ 10

Author(s):

ALBERT PEPITONE

Keyword(s):

Consistency Models

Download Full-text

Using temporal logics for specifying weak memory consistency models

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2018.096187 ◽

2018 ◽

Vol 8 (2) ◽

pp. 214

Author(s):

Maximilian Senftleben ◽

Klaus Schneider

Keyword(s):

Memory Consistency ◽

Temporal Logics ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Weaker Consistency Models/Eventual Consistency

Encyclopedia of Big Data Technologies ◽

10.1007/978-3-319-77525-8_181 ◽

2019 ◽

pp. 1793-1799

Author(s):

Faisal Nawab

Keyword(s):

Eventual Consistency ◽

Consistency Models

Download Full-text

An evaluation of memory consistency models for shared-memory systems with ILP processors

Proceedings of the seventh international conference on Architectural support for programming languages and operating systems - ASPLOS-VII ◽

10.1145/237090.237142 ◽

1996 ◽

Cited By ~ 37

Author(s):

Vijay S. Pai ◽

Parthasarathy Ranganathan ◽

Sarita V. Adve ◽

Tracy Harton

Keyword(s):

Shared Memory ◽

Memory Systems ◽

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text