LOCKE Detailed Specification Tables
Lucia G. Menezo, Valentin Puente, Jose-Angel Gregorio

TL;DR
This paper presents a detailed, table-based specification of the LOCKE coherence protocol, offering clear and comprehensive visual information including transient states, improving upon traditional state diagram representations.
Contribution
It introduces a novel table-based specification method for the LOCKE protocol, enhancing clarity and detail over traditional graphical state diagrams.
Findings
Provides a comprehensive table-based specification of LOCKE
Includes transient states in the protocol description
Improves clarity over traditional graphical representations
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsParallel Computing and Optimization Techniques · Cloud Computing and Resource Management · Fuel Cells and Related Materials
