Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Primer on Memory Consistency and Cache CoherenceAdvanced Topics in Coherence

A Primer on Memory Consistency and Cache Coherence: Advanced Topics in Coherence [In Chapters 7 and 8, we have presented snooping and directory coherence protocols in the context of the simplest system models that were sufficient for explaining the fundamental issues of these protocols. In this chapter, we extend our presentation of coherence in several directions. In Section 9.1, we discuss the issues involved in designing coherence protocols for more sophisticated system models. In Section 9.2, we describe optimizations that apply to both snooping and directory protocols. In Section 9.3, we explain how to ensure that a coherence protocol remains live (i.e., avoids deadlock, livelock, and starvation). In Section 9.4, we present token coherence protocols [12], a class of protocols that subsumes both snooping and directory protocols. We conclude in Section 9.5 with a brief discussion of the future of coherence.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Primer on Memory Consistency and Cache CoherenceAdvanced Topics in Coherence

Download PDF
18 pages

Loading next page...
 
/lp/springer-journals/a-primer-on-memory-consistency-and-cache-coherence-advanced-topics-in-6rJvkVlc7w
Publisher
Springer International Publishing
Copyright
© Springer Nature Switzerland AG 2020
ISBN
978-3-031-00636-4
Pages
191 –209
DOI
10.1007/978-3-031-01764-3_9
Publisher site
See Chapter on Publisher Site

Abstract

[In Chapters 7 and 8, we have presented snooping and directory coherence protocols in the context of the simplest system models that were sufficient for explaining the fundamental issues of these protocols. In this chapter, we extend our presentation of coherence in several directions. In Section 9.1, we discuss the issues involved in designing coherence protocols for more sophisticated system models. In Section 9.2, we describe optimizations that apply to both snooping and directory protocols. In Section 9.3, we explain how to ensure that a coherence protocol remains live (i.e., avoids deadlock, livelock, and starvation). In Section 9.4, we present token coherence protocols [12], a class of protocols that subsumes both snooping and directory protocols. We conclude in Section 9.5 with a brief discussion of the future of coherence.]

Published: Jan 1, 2020

There are no references for this article.