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

Rémi Forax forax at univ-mlv.fr
Mon Nov 21 12:43:36 EST 2011


java.lang.Class has also this kind of data-races.

Rémi

On 11/21/2011 05:17 PM, Kasper Nielsen wrote:
> 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
>>
> _______________________________________________
> 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