A knowledge based analysis of cache coherence

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3308, Issue , 2004, Pages 99-114

  Baukus, Kai ^a   Van Der Meyden, Ron ^a,b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CACHE MEMORY; INFORMATION USE; MODEL CHECKING; SPECIFICATIONS;

CACHE COHERENCE; CACHE COHERENCY PROTOCOL; CONCURRENT SYSTEMS; CORRECT SOLUTION; KNOWLEDGE BASED; KNOWLEDGE BASED PROGRAMS; KNOWLEDGE-BASED APPROACH; MODEL CHECKER;

KNOWLEDGE BASED SYSTEMS;

EID: 35048850470     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30482-1_15     Document Type: Article

References (16)

1. James Archibald and Jean-Loup Baer. Cache coherence protocols: evaluation using a multiprocessor simulation model. ACM Transactions on Computer Systems (TOCS), 4(4):273-298, 1986.
2. E. Brinksma, J. Davies, R. Gerth, S. Graf, W. Janssen, B. Jonsson, S.Katz, G. Lowe, M. Poel, A. Pnueli, C. Rump, and J. Zwiers. Verifying sequentially consistent memory. Computing Science Reports 94-44, Eindhoven University of Technology, 1994.
3. E.M. Clarke, O. Grumberg, H. Hiraishi, S. Jha, D.E. Long, K.L McMillan, and L.A. Ness. Verification of the Futurebus+ cache coherence protocol. Formal Methods in System Design, 6:217-232, 1995.
4. Kai Engelhardt, Ron van der Meyden, and Yoram Moses. Knowledge and the logic of local propositions. In Itzhak Gilboa, editor, Theoretical Aspects of Rationality and Knowledge, Proceedings of the Seventh Conference (TARK 1998), pages 29-41. Morgan Kaufmann, July 1998.
5. Kai Engelhardt, Ron van der Meyden, and Yoram Moses. A program refinement framework supporting reasoning about knowledge and time. In Foundations of Software Science and Computation Structures, pages 114-129, 2000.
6. Kai Engelhardt, Ron van der Meyden, and Yoram Moses. A refinement theory that supports reasoning about knowledge and time for synchronous agents. In Proceedings LPAR 2001, pages 125-141, 2001.
7. Kai Engelhardt. Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. In John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors, Electronic Notes in Theoretical Computer Science, volume 70. Elsevier, 2002.
8. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning About Knowledge. MIT Press, 1995.
9. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199-225, 1997.
10. Peter Gammie and Ron van der Meyden. MCK - Model-checking the logic of knowledge. In Proc. Computer Aided Verification: 16th International Conference, CAV, pages 479 - 483. Springer LNCS No. 3114, 2004.
11. J. Handy. The Cache Memory Book. Academic Press, 1993.
12. Maurice P. Herlihy and Jeannette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 12(3):463-492, 1990.
13. Ron van der Meyden and Yoram Moses. On refinement and temporal annotations. In Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, Proceedings, pages 185-201, 2000.
14. Lily B. Mummert, Jeannette M. Wing, and M. Satyanarayana. Using belief to reason about cache coherence. In Proc. ACM Symposium on Principles of Distributed Computing, pages 71-80, 1994.
15. Gil Neiger. Simplifying the design of knowledge-based algorithms using knowledge consistency. Information and Computation, 119(2):283-293, 1995.
16. P. Sweazey and A. J. Smith. A class of compatible cache consistency protocols and their support by the IEEE futurebus. In Proceedings of the 13th Annual International Symposium on Computer architecture, pages 414-423. IEEE Computer Society Press, 1986.