RE: [Javapathfinder-user] necessary locks

[Willem V. <wv...@em...>]

Hi Dusty,

Use the RaceDetector listener in the tools directory - it will tell you
if there is a race violation possible on the queue without the locks.=20

Bye,
Willem

--
Willem C. Visser                 Automated Software Engineering Group
RIACS/NASA Ames Research Center            wv...@em...
M/S 269-2                                     http://ase.arc.nasa.gov
Moffett Field, CA 94035                (650)604-3515 fax 4036  rm 235


> -----Original Message-----
> From: jav...@li...
> [mailto:jav...@li...] On Behalf Of
> Dusty Phillips
> Sent: Saturday, November 19, 2005 2:00 PM
> To: Jav...@li...
> Subject: [Javapathfinder-user] necessary locks
>=20
> Hello,
>=20
> I'm just starting to understand how to use Java Pathfinder (got the
> cvs version working). So far I've been implementing a model and
> running it in JPF without writing extra properties or using the Verify
> class, though I intend to add these eventually.
>=20
> I was wondering if it would be possible using JPF to test whether or
> not a specific lock is needed. For example, I've implemented a
> concurrently accessible queue with synchronized methods for offering
> and polling objects. From the design of the rest of the model, I can't
> tell if this queue is ever actually accesed concurrently. I think that
> at worst, it may be written by one process while another process is
> reading it. Is there some way to write a property to test whether or
> not this happens?
>=20
> This isn't a deadlock issue, so I don't think the default deadlock
> property will do what I want. I'm not sure where to start when it
> comes to writing properties or otherwise customizing JPF.
>=20
> Thank you,
>=20
> Dusty
>=20
>=20
> -------------------------------------------------------
> This SF.Net email is sponsored by the JBoss Inc.  Get Certified Today
> Register for a JBoss Training Course.  Free Certification Exam
> for All Training Attendees Through End of 2005. For more info visit:
> http://ads.osdn.com/?ad_idv28&alloc_id=16845&op=CCk
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user