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

Christian Vest Hansen karmazilla at gmail.com
Mon Nov 21 16:28:29 EST 2011


Hi Beverly,

There is a data-race bug in this code of mine:
https://github.com/chrisvest/stormpot/blob/master/src/main/java/stormpot/qpool/QueuePool.java#L81

Specifically, the slot.poison field might be cleared by the time the
exception is created.
I have held back from fixing it because I wanted to experiment with JPF
myself, but just have not gotten around to it.

On Mon, Nov 21, 2011 at 18:43, Rémi Forax <forax at univ-mlv.fr> wrote:

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



-- 
Venlig hilsen / Kind regards,
Christian Vest Hansen.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20111121/a4b2792b/attachment.html>


More information about the Concurrency-interest mailing list