<p>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.</p>

<p>Sent from Daniel's HTC Android</p>
<div class="gmail_quote"> 2011-11-8 8:50"Nathan Reynolds" <<a href="mailto:nathan.reynolds@oracle.com">nathan.reynolds@oracle.com</a>>д<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    When writing concurrent code what are some good tools to check for
    race conditions?<br>
    <br>
    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.<br>
    <br>
    <div><a href="http://psr.us.oracle.com/wiki/index.php/User:Nathan_Reynolds" target="_blank">Nathan
        Reynolds</a> | Consulting Member of Technical Staff |
      602.333.9091<br>
      <font color="red">Oracle</font> <a href="http://psr.us.oracle.com/" target="_blank">PSR Engineering</a> | Server
      Technology<br>
    </div>
    <br>
  </div>

<br>_______________________________________________<br>
Concurrency-interest mailing list<br>
<a href="mailto:Concurrency-interest@cs.oswego.edu">Concurrency-interest@cs.oswego.edu</a><br>
<a href="http://cs.oswego.edu/mailman/listinfo/concurrency-interest" target="_blank">http://cs.oswego.edu/mailman/listinfo/concurrency-interest</a><br>
<br></blockquote></div>