[concurrency-interest] looking for code with benign data races
kav at it.edu
Mon Nov 21 11:17:21 EST 2011
Take a look at ConcurrentSkipListMap.
It has a non volatile randomSeed field.
On Mon, Nov 21, 2011 at 16:52, Beverly Sanders <sanders at cise.ufl.edu> wrote:
> We have a JPF-based tool that can analyze programs with data races and
> would appreciate pointers to Java programs that contain intentional and/or
> known data races that are considered to be benign. We know about the one
> in java.lang.String.
> Many thanks
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
More information about the Concurrency-interest