Correctness of a directory-based cache coherence protocol: Early experience Export

@proceedings{citeulike:3561722, abstract = {Cache coherence protocols of increasing complexities call for automated verification tools which are both efficient and reliable. Most current approaches can only verify protocols at a high level of abstraction and the model size is limited to a small number of interacting processes. By using a simple full-map directory scheme as example, we present a verification technique which is extremely efficient and is independent of the model size. Several non-obvious problems affecting the correctness of a protocol design are identified by the verification procedure}, author = {Pong, F. and Dubois, M.}, booktitle = {Parallel and Distributed Processing, 1993. Proceedings of the Fifth IEEE Symposium on}, citeulike-article-id = {3561722}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/SPDP.1993.395553}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=395553}, doi = {10.1109/SPDP.1993.395553}, journal = {Parallel and Distributed Processing, 1993. Proceedings of the Fifth IEEE Symposium on}, keywords = {cache, coherence}, pages = {37--44}, posted-at = {2008-11-17 21:04:46}, priority = {2}, title = {Correctness of a directory-based cache coherence protocol: Early experience}, url = {http://dx.doi.org/10.1109/SPDP.1993.395553}, year = {1993} }

TY - CONF ID - citeulike:3561722 L3 - citeulike-article-id:3561722 N2 - Cache coherence protocols of increasing complexities call for automated verification tools which are both efficient and reliable. Most current approaches can only verify protocols at a high level of abstraction and the model size is limited to a small number of interacting processes. By using a simple full-map directory scheme as example, we present a verification technique which is extremely efficient and is independent of the model size. Several non-obvious problems affecting the correctness of a protocol design are identified by the verification procedure JF - Parallel and Distributed Processing, 1993. Proceedings of the Fifth IEEE Symposium on EP - 44 TI - Correctness of a directory-based cache coherence protocol: Early experience T2 - Parallel and Distributed Processing, 1993. Proceedings of the Fifth IEEE Symposium on SP - 37 KW - cache KW - coherence AU - Pong, F AU - Dubois, M PY - 1993/// UR - http://dx.doi.org/10.1109/SPDP.1993.395553 ER -