[concurrency-interest] Checking for Race Conditions in Concurrent Code
fslzdd at gmail.com
Tue Nov 8 20:31:51 EST 2011
IBM Multicore Software Development Kit(MSDK) is a full-feature toolkit to
test, debug and profile Java multithreaded applications. It includes an
effective and efficient runtime data race detector that may meet your need.
Sent from Daniel's HTC Android
在 2011-11-8 上午8:50，"Nathan Reynolds" <nathan.reynolds at oracle.com>写道：
> When writing concurrent code what are some good tools to check for race
> I use Java Path Finder. It allows for testing the Java code without
> converting it into some abstract model. The challenge is writing useful
> tests which don't take forever to check all of the thread scheduling
> interleavings. So, I am wondering what other tools exist out there that
> will run very quickly and are very easy to map Java to model.
> Nathan Reynolds<http://psr.us.oracle.com/wiki/index.php/User:Nathan_Reynolds>| Consulting Member of Technical Staff | 602.333.9091
> Oracle PSR Engineering <http://psr.us.oracle.com/> | Server Technology
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Concurrency-interest