New Transient Request with Loose Ordering for Token Coherence Protocol

토큰 코히런스 프로토콜을 위한 경서열 트렌지언트 요청 처리 방법

  • 박윤경 (한국전자통신연구원, 충남대 정보통신공학과) ;
  • 김대영 (충남대 정보통신공학과)
  • Published : 2005.10.01

Abstract

Token coherence protocol has many good reasons against snooping/directory-based protocol in terms of latency, bandwidth, and complexity. Token counting easily maintains correctness of the protocol without global ordering of request which is basis of other dominant cache coherence protocols. But this lack of global ordering causes starvation which is not happening in snooping/directory-based protocols. Token coherence protocol solves this problem by providing an emergency mechanism called persistent request. It enforces other processors in the competition (or accessing same shared memory block, to give up their tokens to feed a starving processor. However, as the number of processors grows in a system, the frequency of starvation occurrence increases. In other words, the situation where persistent request occurs becomes too frequent to be emergent. As the frequency of persistent requests increases, not only the cost of each persistent matters since it is based on broadcasting to all processors, but also the increased traffic of persistent requests will saturate the bandwidth of multiprocessor interconnection network. This paper proposes a new request mechanism that defines order of requests to reduce occurrence of persistent requests. This ordering mechanism has been designed to be decentralized since centralized mechanism in both snooping-based protocol and directory-based protocol is one of primary reasons why token coherence protocol has advantage in terms of latency and bandwidth against these two dominant Protocols.

Keywords

References

  1. Mark S. Papmarcos and Janak H. Patel, A Low-Overhead Coherence Solution for Multiprocessors with Private Cache Memories, ISCA Volume 12, Issue 3, pp. 348-354, 1984 https://doi.org/10.1145/800015.808204
  2. Milo M. K. Martin et al, Token Coherence: A New Framework for Shared-Memory Multiprocessors, IEEE Micro Vol. 23, No. 6, pp. 108-116, Nov/Dec 2003 https://doi.org/10.1109/MM.2003.1261394
  3. Milo M. K. Martin et al, Token Coherence: Decoupling Performance and Correctness, ISCA Volume 31 Issue 2, pp. 182 -193, 2003 https://doi.org/10.1145/859618.859640
  4. Milo M.K. Martin, Token Coherence, University of Wisconsin-Madison, 2003
  5. George Coulouris et al, Distributed Systems: Concepts and Design 3rdEd., Chapter 10 Time and Global States, Addison-Wesley, 2001