Publication | Open Access
Memory consistency models
241
Citations
22
References
1993
Year
EngineeringMemory ConsistencyComputer ArchitectureMemory Model (Programming)Software AnalysisFormal VerificationData ConsistencyData ScienceSystems EngineeringParallel ComputingMemory ManagementConcurrent ProgrammingComputer EngineeringComputer ScienceConsistency TechnologyMemory Consistency ModelsProgram AnalysisFormal MethodsConsistency ModelsParallel ProgrammingConcurrent Data StructureSystem Software
This paper discusses memory consistency models and their influence on software in the context of parallel machines. In the first part we review previous work on memory consistency models. The second part discusses the issues that arise due to weakening memory consistency. We are especially interested in the influence that weakened consistency models have on language, compiler, and runtime system design. We conclude that tighter interaction between those parts and the memory system might improve performance considerably.
| Year | Citations | |
|---|---|---|
Page 1
Page 1