Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/11864219_12 ◽

2006 ◽

pp. 164-178 ◽

Cited By ~ 4

Author(s):

Lisa Higham ◽

LillAnne Jackson ◽

Jalal Kawash

Keyword(s):

Memory Consistency ◽

Control Dependence ◽

Memory Consistency Models ◽

And Control ◽

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

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

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 ◽

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

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 ◽

Relaxed Memory

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

Automatically comparing memory consistency models

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 ◽

10.1145/3009837.3009838 ◽

2017 ◽

Cited By ~ 41

Author(s):

John Wickerson ◽

Mark Batty ◽

Tyler Sorensen ◽

George A. Constantinides

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 ◽

Relaxed Memory

Download Full-text

Obtaining Possible Execution Histories on Multiple Memory Consistency Models

XXV International Conference of the Chilean Computer Science Society (SCCC'05) ◽

10.1109/sccc.2005.1587870 ◽

2006 ◽

Author(s):

A.C.M.A. Melo ◽

N.S.B. Silva ◽

H.C. Mendes ◽

D.F. Aranha

Keyword(s):

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text

Integrating memory consistency models and communication systems

Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing ◽

10.1109/icapp.1995.472235 ◽

2002 ◽

Author(s):

F. Schon

Keyword(s):

Communication Systems ◽

Memory Consistency ◽

Memory Consistency Models ◽

Consistency Models

Download Full-text