Early error detection in industrial strength cache coherence protocols using SQL

Mahadevan Subramaniam

doi:10.1109/IPDPS.2003.1213518

Early error detection in industrial strength cache coherence protocols using SQL

Mahadevan Subramaniam

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	0769519261, 9780769519265
DOIs	https://doi.org/10.1109/IPDPS.2003.1213518
State	Published - 2003
Event	International Parallel and Distributed Processing Symposium, IPDPS 2003 - Nice, France Duration: Apr 22 2003 → Apr 26 2003

Publication series

Name	Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Other

Other	International Parallel and Distributed Processing Symposium, IPDPS 2003
Country/Territory	France
City	Nice
Period	4/22/03 → 4/26/03

ASJC Scopus subject areas

Computational Theory and Mathematics
Theoretical Computer Science
Software

Access to Document

10.1109/IPDPS.2003.1213518

Cite this

Subramaniam, M. (2003). Early error detection in industrial strength cache coherence protocols using SQL. In Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003 Article 1213518 (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IPDPS.2003.1213518

Early error detection in industrial strength cache coherence protocols using SQL. / Subramaniam, Mahadevan.
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 2003. 1213518 (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Subramaniam, M 2003, Early error detection in industrial strength cache coherence protocols using SQL. in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003., 1213518, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, Institute of Electrical and Electronics Engineers Inc., International Parallel and Distributed Processing Symposium, IPDPS 2003, Nice, France, 4/22/03. https://doi.org/10.1109/IPDPS.2003.1213518

Subramaniam M. Early error detection in industrial strength cache coherence protocols using SQL. In Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc. 2003. 1213518. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003). doi: 10.1109/IPDPS.2003.1213518

@inproceedings{a49804ee68004cddb667305359b8758d,

title = "Early error detection in industrial strength cache coherence protocols using SQL",

abstract = "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.",

author = "Mahadevan Subramaniam",

year = "2003",

doi = "10.1109/IPDPS.2003.1213518",

language = "English (US)",

series = "Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003",

note = "International Parallel and Distributed Processing Symposium, IPDPS 2003 ; Conference date: 22-04-2003 Through 26-04-2003",

}

TY - GEN

T1 - Early error detection in industrial strength cache coherence protocols using SQL

AU - Subramaniam, Mahadevan

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84947249426&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947249426&partnerID=8YFLogxK

U2 - 10.1109/IPDPS.2003.1213518

DO - 10.1109/IPDPS.2003.1213518

M3 - Conference contribution

AN - SCOPUS:84947249426

T3 - Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

BT - Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - International Parallel and Distributed Processing Symposium, IPDPS 2003

Y2 - 22 April 2003 through 26 April 2003

ER -

Early error detection in industrial strength cache coherence protocols using SQL

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this