Summary: Sufficient System Requirements for
Supporting the PLpc Memory Model \Lambda
Sarita V. Adve y , Kourosh Gharachorloo z ,
Anoop Gupta z , John L. Hennessy z , and Mark D. Hill y
y Computer Sciences Department
University of Wisconsin
Madison, Wisconsin 53706
z Computer System Laboratory
Stanford University
Stanford, CA 94305
University of Wisconsin­Madison Computer Sciences Technical Report #1200
Stanford University Technical Report CSL­TR­93­595
Abstract
The paper, Programming for Different Memory Consistency Models [GAG + 92], defines the PLpc
memory model. This companion note formalizes the system requirements for PLpc along with a proof
that shows these requirements are sufficient for supporting this model. In addition, we prove the
correctness of the conditions presented in the original paper [GAG + 92] for porting PLpc programs to
the various hardware­centric models. The reader should be familiar with the material in the original
paper on PLpc [GAG + 92] before reading this supplement.
1 Introduction

Source: Adve, Sarita - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences