arXiv · 1203.5349
LOCKE Detailed Specification Tables
Abstract
This document shows the detailed specification of LOCKE coherence protocol for each cache controller, using a table-based technique. This representation provides clear, concise visual information yet includes sufficient detail (e.g., transient states) arguably lacking in the traditional, graphical form of state diagrams.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Lucia G. Menezo, Valentin Puente, Jose-Angel Gregorio. 2012-03-22. LOCKE Detailed Specification Tables. https://arxiv.org/abs/1203.5349
Cite the original work for its findings. Save a collection to share your selection of sources.