Evaluation of relaxed memory consistency models for multithreaded multiprocessors

Proceedings of 1994 International Conference on Parallel and Distributed Systems ◽

10.1109/icpads.1994.590358 ◽

2002 ◽

Author(s):

Yong-Kim Chong ◽

Kai Hwang

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Reflective memory system based on a grid of buses that selectively uses relaxed memory consistency models

1997 21st International Conference on Microelectronics. Proceedings ◽

10.1109/icmel.1997.632974 ◽

2002 ◽

Author(s):

J. Protic ◽

V. Milutinovic

Keyword(s):

Memory System ◽

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Relaxed Memory Consistency Models

Encyclopedia of Parallel Computing ◽

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

2011 ◽

pp. 1736-1736

Author(s):

Christoph von Praun ◽

Christoph von Praun ◽

Jeremy T. Fineman ◽

Charles E. Leiserson ◽

Efstratios Gallopoulos ◽

...

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47958-3_4 ◽

2016 ◽

pp. 63-84 ◽

Author(s):

Tatsuya Abe ◽

Toshiyuki Maeda

Keyword(s):

Memory Consistency ◽

Program Logic ◽

Concurrent Program ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Implementation and evaluation of update-based cache protocols under relaxed memory consistency models

Future Generation Computer Systems ◽

10.1016/0167-739x(94)00067-o ◽

1995 ◽

Vol 11 (3) ◽

pp. 247-271 ◽

Author(s):

Håkan Grahn ◽

Per Stenström ◽

Michel Dubois

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

Journal of Information Processing ◽

10.2197/ipsjjip.25.244 ◽

2017 ◽

Vol 25 (0) ◽

pp. 244-255 ◽

Author(s):

Tatsuya Abe ◽

Toshiyuki Maeda

Keyword(s):

Memory Consistency ◽

Program Logic ◽

Concurrent Program ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

Dependable Software Engineering: Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47677-3_8 ◽

2016 ◽

pp. 118-135 ◽

Author(s):

Tatsuya Abe ◽

Tomoharu Ugawa ◽

Toshiyuki Maeda ◽

Kousuke Matsumoto

Keyword(s):

Model Checking ◽

Memory Consistency ◽

Software Model Checking ◽

State Explosion ◽

Software Model ◽

Memory Consistency Models ◽

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 ◽

Author(s):

Richard N. Zucker ◽

Jean-Loup Baer

Keyword(s):

Memory Consistency ◽

Performance Study ◽

Memory Consistency Models ◽

Consistency Models ◽

Download Full-text

Shared Memory Consistency Models: A Tutorial

10.21236/ada638015 ◽

1995 ◽

Author(s):

Sarita V. Adve ◽

Kourosh Gharachorloo

Keyword(s):

Shared Memory ◽

Memory Consistency ◽

Memory Consistency Models ◽

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

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 ◽

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