• DocumentCode
    3111419
  • Title

    Split Private and Shared L2 Cache Architecture for Snooping-based CMP

  • Author

    Zhao, Xuemei ; Sammut, Karl ; He, Fangpo ; Qin, Shaowen

  • Author_Institution
    Flinders Univ., Adelaide
  • fYear
    2007
  • fDate
    11-13 July 2007
  • Firstpage
    900
  • Lastpage
    905
  • Abstract
    Cache access latency and efficient usage of on-chip capacity are critical factors that affect the performance of the chip multiprocessor (CMP) architecture. In this paper, we propose a SPS2 cache architecture and cache coherence protocol for snooping-based CMP, in which each processor has both private and shared L2 cache to balance latency and capacity. Our protocol is expressed in a new state graph form, through which we prove our protocol by formal verification method. Simulation experiments shows that the SPS2 structure outperforms private L2 and shared L2 structure.
  • Keywords
    cache storage; formal verification; memory architecture; microprocessor chips; shared memory systems; bus-based shared-memory multiprocessor; cache access latency; cache coherence protocol; chip multiprocessor architecture; formal verification method; snooping-based CMP; split private shared L2 cache architecture; state graph; Access protocols; Computer architecture; Delay; Formal verification; Hardware; Helium; Informatics; Sun; System performance; System-on-a-chip;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Information Science, 2007. ICIS 2007. 6th IEEE/ACIS International Conference on
  • Conference_Location
    Melbourne, Qld.
  • Print_ISBN
    0-7695-2841-4
  • Type

    conf

  • DOI
    10.1109/ICIS.2007.172
  • Filename
    4276497