Specification and properties of a cache coherence protocol model
- 1 January 1987
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Predicate/Transition NetsPublished by Springer Nature ,1987
- Cache coherence protocols: evaluation using a multiprocessor simulation modelACM Transactions on Computer Systems, 1986
- Implementing a cache consistency protocolACM SIGARCH Computer Architecture News, 1985
- Cache evaluation and the impact of workload choiceACM SIGARCH Computer Architecture News, 1985
- An economical solution to the cache coherence problemPublished by Association for Computing Machinery (ACM) ,1984
- Dynamic decentralized cache schemes for mimd parallel processorsPublished by Association for Computing Machinery (ACM) ,1984
- Connection principles for multipath, packet switching networksACM SIGARCH Computer Architecture News, 1984
- A low-overhead coherence solution for multiprocessors with private cache memoriesPublished by Association for Computing Machinery (ACM) ,1984
- CEDARACM SIGARCH Computer Architecture News, 1983
- Cache MemoriesACM Computing Surveys, 1982