1991 · 75 citations · 25 references
Cluster ComputingEngineeringConsistency ProtocolComputer ArchitectureComputational ComplexityConcurrent SystemFormal VerificationData ConsistencyConcurrency (Computer Science)Parallel ComputingFalse SharingConcurrent ProgrammingComputer EngineeringComputer ScienceConsistency TechnologyProgram AnalysisDelayed ConsistencyMiss RateParallel ProgramsFormal MethodsParallel Performance EvaluationParallel ProgrammingConcurrent Data Structure
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-coming invalidations or updates are delayed. Delayed coherence can reduce processor blocking time as well as the effects offalse sharing. In this paper, we introduce several implementations of delayed consistency for cache-based systems in the framework of a weakly ordered consistency model. A performance comparison of the delayed protocols with the corre sponding On-the-Fly (non-delayed) consistency protocol is made, through execution-driven simulations of four parallel algorithms. The results show that,for parallel programs in which false sharing is a problem, significant reductions in the data miss rate of paraUel programs can be obtained with just a small incre ase in the cost and complexity of the cache system.
25
Lockup-free instruction fetch/prefetch cache organization
David Kroft · 1998 · 561 citations · Full text