loading...
Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL
Nice, France April 22-April 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IPDPS.2003.1213518International Parallel and Distribute ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Mahadevan Subramaniam, "Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL," Parallel and Distributed Processing Symposium, International, pp. 290a, International Parallel and Distributed Processing Symposium (IPDPS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/IPDPS.2003.1213518,
author = {Mahadevan Subramaniam},
title = {Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL},
journal ={Parallel and Distributed Processing Symposium, International},
volume = {0},
year = {2003},
issn = {1530-2075},
pages = {290a},
doi = {http://doi.ieeecomputersociety.org/10.1109/IPDPS.2003.1213518},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Processing Symposium, International
TI - Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL
SN - 1530-2075
SP
EP
A1 - Mahadevan Subramaniam,
PY - 2003
KW - null
VL - 0
JA - Parallel and Distributed Processing Symposium, International
ER -
 
Mahadevan Subramaniam, University of Nebraska at Omaha
A table-driven approach for designing industrial strength cache coherence protocols based on relational database technology is described. Protocols are specified using several interacting multi-input, multi-output controller state machines represented as database tables. Protocol scenarios specified using SQL constraints are solved to automatically generate database tables, and to statically check protocol properties including absence of deadlocks and other protocol invariants. The debugged tables are mapped to hardware using SQL operations while preserving protocol properties. The approach is deployed at Fujitsu System Technology Division in the design of their next generation multiprocessor and has discovered several errors early in the design cycle.
Citation:
Mahadevan Subramaniam, "Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL," ipdps, pp.290a, International Parallel and Distributed Processing Symposium (IPDPS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions