[kaffe] Runtime race checking in Kaffe

Dalibor Topic robilad at kaffe.org
Sun May 7 13:21:03 PDT 2006


On Thu, 2006-04-27 at 02:16 +0300, TAYFUN ELMAS wrote:
> Hi,

Hi Tayfun,

> In addition the subject of the research project was asked. Sorry for this late answer. I have been implementing a runtime race checking algorithm in Kaffe. Now I have a running implementation that can detect race conditions precisely and efficiently. And I am working on improving its performance more. I can not give details for the project as it has not been published yet, but I will give further information on the results as soon as possible. Kaffe helped me very much in the implementation (I could not even compile Sun's Hotspot JVM). Thanks for all your help.
> 
> PS: I would like to add the last version of the implementation in the main branch of Kaffe, if possible (after the work is published).

That sounds great, such code would be very nice to have.

cheers,
dalibor topic





More information about the kaffe mailing list