Modelling and validation of shared memory coherency protocols

DOI10.1016/0166-5316(96)00011-9MaRDI QIDQ3122439zbMATH OpenOpenAlexFDO

Authors Andrew J. Bennett, Tony Field, Peter G. Harrison

Publication date 27 February 1997

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-5316(96)00011-9

zbMATH Keywords

Shared-memorySimulationValidation

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 1444330
• scientific article; zbMATH DE number 1290293
• Characterising and modelling shared memory accesses in multiprocessor programs
• Formal verification of complex coherence protocols using symbolic state models

Cited in

(3)

• Empirical models of miss rates
• scientific article; zbMATH DE number 1290293 (Why is no real title available?)
• Characterising and modelling shared memory accesses in multiprocessor programs

This page was built for publication: Modelling and validation of shared memory coherency protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3122439)