This work was supported in part by NSF Institutional Infrastructure grant no. CDA-8822724, ONR research grant no. N00014-92-J-1801 (in conjunction with the DARPA Research in Information Science and Technology---High Performance Computing, Software Science and Technology program, ARPA Order no. 8930), and Brazilian CAPES and NUTES/UFRJ fellowships.

The only situation in which a block can move to the weak state as a result of a read request is if it is currently in the dirty state (i.e. it has a single writer).

Stale blocks are similar to weak blocks in our protocol.

Leonidas Kontothanassis
Mon Jul 24 22:40:09 EDT 1995