A linked list cache coherence protocol: verifying the bottom layer

Authors:
Gjessing; Krogdahl; Munthe-Kaas
Affiliations:
Dept. of Inf., Oslo Univ., Norway;Dept. of Inf., Oslo Univ., Norway;Dept. of Inf., Oslo Univ., Norway
Venue:
IPPS '91 Proceedings of the Fifth International Parallel Processing Symposium
Year:
1991

Citing 0
Cited 1

High-performance fractal coherence

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

High performance and correctness are crucially important in hardware development. This paper discusses aspects of correctness of a linked list cache coherence protocol. The protocol is tailored to execute as many operations as possible in parallel, achieving speed and avoiding the memory bottleneck. This makes it hard to verify that the protocol is correct. In the paper, a bottom layer of the protocol is identified and it is shown how the correctness of this layer can be established.