Cool, looking forward to both the release of you tool as well as your report for commons transaction :)
Cheers and thanks Oliver 2005/10/25, Mayur Naik <[EMAIL PROTECTED]>: > Hi Oliver, > > The tool is still a research prototype but I intend to release it in > the near future. I took a quick look and it seems like my tool might > not be very useful on the commons transaction code because that code > uses sophisticated locking primitives which the current version of my > tool does not handle and hence will produce lots of false alarms > (though we have plans to extend it to handle those primitives). > Nevertheless, I will run my tool on that code in the near future and > get back to you if I find any issues. > > Best, > -- Mayur > > On 10/23/05, Oliver Zeigermann <[EMAIL PROTECTED]> wrote: > > Hi Mayur, > > > > that really sounds like a cool tool. You results are also quite > > impressive. I actually can not comment on them, but would like to know > > if your tool is available anywhere? > > > > If not - and I suppose so - could you also run it on the commons > > transaction code where any race condition really would be very > > harmful. I already know of one that has been fixed in CVS, but not in > > a final release. > > > > Thanks in advance > > > > Oliver > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]