Ported Back to Java

I’ve ported the Promela algorithm back to Java. The unit tests that I have outside the system all pass, but of course that doesn’t mean anything without a unit testing framework that takes concurrency into account.

Now I’m putting the algorithm into the system, but to make that work, I first have to write the instrumentation strategy that replaces invokestatic instructions to monitorEnter, monitorExit, isOldThread, and setOldThread with inlined bytecode, as previously explained.


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Concurrent Unit Testing. Bookmark the permalink.

Leave a Reply