English

LOCKE Detailed Specification Tables

Hardware Architecture 2012-03-27 v1
Authors: Lucia G. Menezo , Valentin Puente , Jose-Angel Gregorio
View on arXiv ↗ PDF ↗

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.

Cite

@article{arxiv.1203.5349,
  title  = {LOCKE Detailed Specification Tables},
  author = {Lucia G. Menezo and Valentin Puente and Jose-Angel Gregorio},
  journal= {arXiv preprint arXiv:1203.5349},
  year   = {2012}
}

Comments

3 pages

Related papers

View all related →
Hardware Architecture · Computer Science
Asynchronous logic circuits and sheaf obstructions
Michael Robinson
2010-08-17
Cryptography and Security · Computer Science
CAKE: Sharing Slices of Confidential Data on Blockchain
Edoardo Marangone, Michele Spina, Claudio Di Ciccio, Ingo Weber
2024-05-08
Distributed, Parallel, and Cluster Computing · Computer Science
Peformance Prediction for Coarse-Grained Locking: MCS Case
Vitaly Aksenov, Daniil Bolotov, Petr Kuznetsov
2021-10-13
Software Engineering · Computer Science
Tracing and Explaining Execution of CLP(FD) Programs
Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu, Mats Carlsson
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
A Proof of Correctness for the Tardis Cache Coherence Protocol
Xiangyao Yu, Muralidaran Vijayaraghavan, Srinivas Devadas
2015-05-26
Networking and Internet Architecture · Computer Science
Flow Correlator: A Flow Table Cache Management Strategy
Luke McHale, Paul V Gratz, Alex Sprintson
2023-05-05
Distributed, Parallel, and Cluster Computing · Computer Science
Cache Where you Want! Reconciling Predictability and Coherent Caching
Ayoosh Bansal, Jayati Singh, Yifan Hao, Jen-Yang Wen +2
2021-06-29
Distributed, Parallel, and Cluster Computing · Computer Science
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Alfons Laarman, Jaco van de Pol, Michael Weber
2010-05-06
Information Theory · Computer Science
Secure Coded Caching with Colluding Users
Kangning Ma, Shuo Shao
2019-10-21
Hardware Architecture · Computer Science
Phase-Priority based Directory Coherence for Multicore Processor
Gongming Li, Hong An
2013-05-15
Databases · Computer Science
Towards a visually interpretable analysis of Two-Phase Locking membership
Davide Martinenghi
2025-01-14
Logic in Computer Science · Computer Science
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems
Nick Mertin, K. Ritsuka, Karen Rudie
2023-02-02
Logic in Computer Science · Computer Science
A History of BlockingQueues
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
2012-09-12
Systems and Control · Electrical Eng. & Systems
Interlacing in Controllers Implementation: Frequency Analysis
Julian Salt
2025-10-24
Quantum Physics · Physics
Chordal Graphs and Distinguishability of Quantum Product States
Comfort Mintah, David W. Kribs, Michael Nathanson, Rajesh Pereira
2023-05-18
Distributed, Parallel, and Cluster Computing · Computer Science
Performance Prediction for Coarse-Grained Locking
Vitaly Aksenov, Dan Alistarh, Petr Kuznetsov
2021-10-13
Software Engineering · Computer Science
ALICE: An Advanced Logic for Interactive Component Engineering
Borislav Gajanovic, Bernhard Rumpe
2014-10-17
Distributed, Parallel, and Cluster Computing · Computer Science
FLeeC: a Fast Lock-Free Application Cache
André J. Costa, Nuno M. Preguiça, João M. Lourenço
2024-06-17
Logic in Computer Science · Computer Science
Verification of a lazy cache coherence protocol against a weak memory model
Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar +2
2017-05-24
Logic in Computer Science · Computer Science
L2C2: Logic-based LSC Consistency Checking
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2010-02-17
Databases · Computer Science
Models for Storage in Database Backends
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri +2
2024-03-19
Optimization and Control · Mathematics
Adaptive Switching Controllers for Tracking using Persistent Excitation
Harald Voit, Anuradha Annaswamy
2012-08-22
Distributed, Parallel, and Cluster Computing · Computer Science
Lock-free dynamic hash tables with open addressing
Hui Gao, Jan Friso Groote, Wim H. Hesselink
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom
Divjyot Sethi, Muralidhar Talupur, Sharad Malik
2014-07-29
Distributed, Parallel, and Cluster Computing · Computer Science
Distributed Locking: Performance Analysis and Optimization Strategies
Andre Rodriguez, William Osborn
2025-04-07
R2 v1 2026-06-21T20:39:12.147Z