On the decidability of shared memory consistency veri~cation

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487915 ◽

2005 ◽

Cited By ~ 2

Author(s):

A. Sezgin ◽

G. Gopalakrishnan

Keyword(s):

Shared Memory ◽

Memory Consistency

Download Full-text

Retrospective: memory consistency and event ordering in scalable shared-memory multiprocessors

25 years of the international symposia on Computer architecture (selected papers) - ISCA '98 ◽

10.1145/285930.285957 ◽

1998 ◽

Cited By ~ 4

Author(s):

Kourosh Gharachorloo

Keyword(s):

Shared Memory ◽

Retrospective Memory ◽

Memory Consistency ◽

Shared Memory Multiprocessors ◽

Event Ordering

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

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

Scalability Analysis of Memory Consistency Models in NoC-Based Distributed Shared Memory SoCs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2012.2235914 ◽

2013 ◽

Vol 32 (5) ◽

pp. 760-773 ◽

Cited By ~ 6

Author(s):

A. Naeem ◽

A. Jantsch ◽

Zhonghai Lu

Keyword(s):

Shared Memory ◽

Distributed Shared Memory ◽

Memory Consistency ◽

Scalability Analysis ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Memory consistency and event ordering in scalable shared-memory multiprocessors

[1990] Proceedings. The 17th Annual International Symposium on Computer Architecture ◽

10.1109/isca.1990.134503 ◽

2002 ◽

Cited By ~ 267

Author(s):

K. Gharachorloo ◽

D. Lenoski ◽

J. Laudon ◽

P. Gibbons ◽

A. Gupta ◽

...

Keyword(s):

Shared Memory ◽

Memory Consistency ◽

Shared Memory Multiprocessors ◽

Event Ordering

Download Full-text

STUDY OF MEMORY ORGANIZATION AND MULTIPROCESSOR SYSTEM -USING THE CONCEPT OF DISTRIBUTED SHARED MEMORY, MEMORY CONSISTENCY MODEL AND SOFTWARE BASED DSM

International Journal of Advanced Research in Computer Science ◽

10.26483/ijarcs.v8i7.4406 ◽

2017 ◽

Vol 8 (7) ◽

pp. 1069-1073

Author(s):

Dhara Kumari ◽

Keyword(s):

Shared Memory ◽

Distributed Shared Memory ◽

Multiprocessor System ◽

Memory Organization ◽

Memory Consistency ◽

Consistency Model ◽

Memory Consistency Model

Download Full-text

A unified theory of shared memory consistency

Journal of the ACM ◽

10.1145/1017460.1017464 ◽

2004 ◽

Vol 51 (5) ◽

pp. 800-849 ◽

Cited By ~ 49

Author(s):

Robert C. Steinke ◽

Gary J. Nutt

Keyword(s):

Shared Memory ◽

Unified Theory ◽

Memory Consistency

Download Full-text

Complete implementations for shared memory consistency conditions

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 ◽

10.1145/224964.225011 ◽

1995 ◽

Author(s):

Jerry James ◽

Ambuj Singh

Keyword(s):

Shared Memory ◽

Memory Consistency ◽

Consistency Conditions

Download Full-text

Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies

SIAM Journal on Computing ◽

10.1137/s0097539794278396 ◽

1998 ◽

Vol 27 (1) ◽

pp. 65-89 ◽

Cited By ~ 13

Author(s):

Hagit Attiya ◽

Soma Chaudhuri ◽

Roy Friedman ◽

Jennifer L. Welch

Keyword(s):

Shared Memory ◽

Memory Consistency ◽

Consistency Conditions

Download Full-text

Performance evaluation of memory consistency models for shared-memory multiprocessors

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

10.1145/106972.106997 ◽

1991 ◽

Cited By ~ 93

Author(s):

Kourosh Gharachorloo ◽

Anoop Gupta ◽

John Hennessy

Keyword(s):

Performance Evaluation ◽

Shared Memory ◽

Memory Consistency ◽

Shared Memory Multiprocessors ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text