[concurrency-interest] looking for code with benign data races

Kasper Nielsen kav at it.edu
Mon Nov 21 11:17:21 EST 2011


Hi Beverly

Take a look at ConcurrentSkipListMap.
It has a non volatile randomSeed field.

- Kasper

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
> --Beverly
>
>
>
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest
>



More information about the Concurrency-interest mailing list