language: en

The weakest reasonable memory model

by Matteo Frigo

[Laurea, Universit a di Padova (1992) Dottorato di Ricerca, Universit a di Padova (1996) Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of Master of Science at the]

MASSACHUSETTS INSTITUTE OF TECHNOLOGY
October 1997

[c Matteo Frigo, MCMXCVII. All rights reserved. The author hereby grants to MIT permission to reproduce and distribute publicly paper and electronic copies of this thesis document in whole or in part, and to grant others the right to do so. Author . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Department of Electrical Engineering and Computer Science January 28, 1998 Certified by . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Charles E. Leiserson Professor of Computer Science and Engineering Thesis Supervisor Accepted by . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . PUT NAME HERE Chairman, Departmental Committee on Graduate Students]