Fractal Coherence: Scalably verifiable cache coherence

Conference Paper

We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, the proposed family of cache coherence protocols can be formally verified correct for systems with an arbitrary number of cores, using existing, automated formal tools. We show, by designing and implementing a specific Fractal Coherence protocol, called TreeFractal, that Fractal Coherence protocols can attain comparable performance to traditional snooping and directory protocols. © 2010 IEEE.

Full Text

Duke Authors

Cited Authors

  • Zhang, M; Lebeck, AR; Sorin, DJ

Published Date

  • December 1, 2010

Published In

Start / End Page

  • 471 - 482

International Standard Serial Number (ISSN)

  • 1072-4451

International Standard Book Number 13 (ISBN-13)

  • 9780769542997

Digital Object Identifier (DOI)

  • 10.1109/MICRO.2010.11

Citation Source

  • Scopus