Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!sdd.hp.com!caen!uwm.edu!bionet!agate!darkstar!rice.edu
From: pete@rice.edu (Pete Keleher)
Newsgroups: comp.os.research
Subject: (Incorrect) Shared Memory Programs Needed
Message-ID: <14828@darkstar.ucsc.edu>
Date: 22 Apr 91 08:55:45 GMT
Sender: usenet@darkstar.ucsc.edu
Organization: INRIA, Le Chesnay - France
Lines: 21
Approved: comp-os-research@jupiter.ucsc.edu


I'm looking for shared memory programs that don't perform correctly on
weakly-coherent memory. For example, a program that maintains an invariant
such as x >= (y/2). If x and y are defined as (x += 1; y = 2 * x), a
release consistent (a form of weak memory) implementation could propagate
the results of the two definitions in the reverse order, resulting in the
invariant being violated.

For those of you familiar with the release consistent model, I'm looking
for programs that are not "properly labeled", in the sense that some
synchronization information is conveyed by accesses to variables other than
system-visible synchronization constructs.

Any leads would be appreciated.


-- 
						Pete Keleher

INRIA, B.P. 105, 78153 Rocquencourt Cedex, France.  Tel.: +33 (1) 39-63-52-93;
fax: +33 (1) 39-63-53-30; e-mail: pete@rice.edu