Publication | Closed Access
Scope consistency
192
Citations
32
References
1996
Year
Unknown Venue
EngineeringComputer ArchitectureMemory Model (Programming)Software AnalysisFormal VerificationData ConsistencyParallel ComputingLazy Release ConsistencyConcurrent ProgrammingComputer EngineeringComputer ScienceConsistency TechnologyEntry ConsistencyRelease ConsistencyProgram AnalysisFormal MethodsParallel ProgrammingConcurrent Data StructureSystem Software
Systems that maintain coherence at large granularity, such as shared virtual memory systems, suffer from false sharing and extra communication. Relaxed memory consistency models have been used to alleviate these problems, but at a cost in programming complexity. Release Consistency (RC) and Lazy Release Consistency (LRC) are accepted to offer a reasonable tradeoff between performance and programming complexity. Entry Consistency (EC) offers a more relaxed consistency model, but it requires explicit association of shared data objects with synchronization variables. The programming burden of providing such associations can be substantial.
| Year | Citations | |
|---|---|---|
Page 1
Page 1