Computing Publications

Publications Home » Modelling and validation of share...

Modelling and validation of shared memory coherency protocols

Andrew Bennett, A. J. Field, Peter G. Harrison

Journal Article
Performance Evaluation
Volume 27
pp.541–563
October, 1996
Elsevier
DOI 10.1016/S0166-5316(96)90045-0
Abstract

We present an analytical model of a cache coherent shared-memory multiprocessor and compare the results obtained with those from an execution-driven simulation of the same system.

Keywords
AESOP
PDF of full publication (313 kilobytes)
(need help viewing PDF files?)
Postscript of full publication (249 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.