Asynchronous multicaches
Distributed computing(1990)
摘要
In previous multicache consistency mechanisms, processors have been required to synchronize with all caches when updating shared data. This synchronization occurs while invalidating inconsistent copies of the data. We present a simple cache consistency mechanism which demonstrates that this synchronization is unnecessary. In particular, we show that it is possible to buffer invalidation requests at the caches while guaranteeing that concurrent programs are correctly executed by the system. This offers increased processor utilization by allowing the caches to handle invalidation requests between accesses by their associated processors. In addition, buffering invalidation requests offers greater utilization of shared memory by speeding up store operations. Additional contributions of this paper are the development of a formal definition of consistency and of a technique for proving that a system is consistent.
更多查看译文
关键词
Asynchronous multicaches,Cache consistency mechanism
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络