FMCAD2006分析.pptVIP

FMCAD 2006 FMCAD 2006 Scaling Formal Methods Toward Hierarchical Protocols in Shared Memory Processors Multicores are the future! Their caches are visibly central… Hierarchical Cache Coherence Protocols will play a major role in multi-core processors Protocol design happens in “the thick of things” (many interfaces, constraints of performance, power, testability). Future Coherence Protocols Cache coherence protocols that are tuned for the contexts in which they are operating can significantly increase performance and reduce power consumption [Liqun Cheng] Producer-consumer sharing pattern-a