[concurrency-interest] looking for code with benign data races
forax at univ-mlv.fr
Mon Nov 21 12:43:36 EST 2011
java.lang.Class has also this kind of data-races.
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
>> Concurrency-interest mailing list
>> Concurrency-interest at cs.oswego.edu
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
More information about the Concurrency-interest