Title :
A Protocol Independent Test Design for Quick Determination of Incoherency in CMPs´ Cache
Author :
Dalui, M. ; Sikdar, B.K.
Author_Institution :
Dept. of Comput. Sci. & Eng., Nat. Inst. of Technol., Durgapur, India
Abstract :
The data coherence in the cache systems of CMPs (Chip Multi-Processors) is to be more accurate and reliable. The conventional solutions for verification of cache coherence targeting small systems are not so effective in CMPs. The CMPs cache system further demands a protocol independent test logic. In this work, we propose an effective solution to the issue through introduction of highly efficient test logic (fault detection unit). The design is developed around a special class of Cellular Automata (CA) referred to as the SACA (single length single cycle attractor cellular automata). The SACA is introduced to identify the inconsistencies in cache line states of processors´ private caches catering the MSI/MESI/MOESI protocols. The SACA theory developed for the design enables protocol independent verification hardware logic to realize quick decision on the accurate cache coherency in CMPs.
Keywords :
cache storage; cellular automata; formal verification; logic design; microprocessor chips; multiprocessing systems; protocols; CMP cache; MESI protocol; MOESI protocol; MSI protocol; SACA automata; cache coherence; cache line state; chip multiprocessor; data coherence; fault detection unit; processor private cache; protocol independent test design; protocol independent test logic; protocol independent verification hardware logic; single length single cycle attractor cellular automata; Automata; Coherence; Computational modeling; Fault detection; Hardware; Program processors; Protocols; CMP; Cache coherence; Coherence controller; Fault detection; MESI; MOESI;
Conference_Titel :
Intelligent Systems Modelling & Simulation (ISMS), 2013 4th International Conference on
Conference_Location :
Bangkok
Print_ISBN :
978-1-4673-5653-4
DOI :
10.1109/ISMS.2013.92