your example
> What if a remote put is done to my window but I have also performed stores to
> other parts of that same window? To bring in the remote data, I may need to
> invalidate my cache. But to make my stores visible, I may need to flush my
> cache!
is forbidden in the drafts since June meeting, see
- Fig. 4.1 on page 96 in the June meeting draft or
- Fig. 4.3 on page 23 in Marc's latest version or
or the text on page 22, lines 28-30:
"During the public epoch... However, local stores are forbidden."
Rolf
Rolf Rabenseifner (Computer Center )
Rechenzentrum Universitaet Stuttgart (University of Stuttgart)
Allmandring 30 Phone: ++49 711 6855530
D-70550 Stuttgart 80 FAX: ++49 711 6787626
Germany rabenseifner@rus.uni-stuttgart.de