Lecture Notes in Computer Science, 1999, Volume 1685/1999, 745-752, DOI: 10.1007/3-540-48311-X_104

Implementing Snoop-Coherence Protocol for Future SMP Architectures

Wissam Hlayhel, Jacques Collet and Laurent Fesquet

View Related Documents

Abstract

Maintaining the coherence is becoming one of the most serious problems faced when designing today’s machines. Initially, this problem was relatively simple when the interconnection network of Symmetric MultiProcessors (SMP) was an atomic bus, which simplified the implementation of invalidation coherence protocols. However, due to the increasing bandwidth demand, atomic busses have been progressively replaced by split busses that uncoupled the request and response phases of a transaction. Split busses enable initiating new requests before receiving the response to those already in progress but make more complicated the preservation of the coherence. Indeed, a new request induces a conflict when it concerns a block address involved by another current request and when one of the requests is aWRITE miss. Several solutions exist to solve this problem. That one used in the SGI machine is based on a shared data bus which traces the completion of transactions. Unfortunately, it becomes impracticable in the recent machines which replace data busses by more efficient networks (again for bandwidth constrains), ultimately by a crossbar. This work describes and quantitatively evaluates two possible solutions to the coherence problem for the new architectures where all the data responses cannot be traced by each processor.

Fulltext Preview

Image of the first page of the fulltext document