For my 590 research class, Corky asked me to write a short report about the synchronization points during Java VM initialization and termination. That’s what I worked on last weekend. It’s available on my research page now: Synchronization During Java VM Initialization and Termination.
Since then, I’ve had to deal with an upset stomach and with moving the DrJava site from Sourceforge to CS.net. Sourceforge is limiting our quota to 100 MB, and we were using over 600 MB. I was able to cut it down to approximately 180 MB, but without sacrificing the Javadocs and Klover, we can’t get below 100 MB. So we moved.
On the concurrent unit testing project, I’ve tried to somehow record the sync points during termination in a better way. That’s taken care off now: When the main
method is exited, I enable a flag to transfer every sync point immediately. There’s one caveat: With an empty main
method, Java never enters it, so it’s never exited. That means that for a program with an empty main
method, no sync points during termination are recorded. I can live with that, though.
I’ve also renamed a number of important classes: The former edu.rice.cs.cunit.tm
package (tm
stands for “Thread Monitor”) is now called edu.rice.cs.cunit.record
. The old class ThreadMonJPDA
in that package is now called Record
. That fits better with the edu.rice.cs.cunit.replay
package and the Replay
class.
I’ve been wanting to port the verified Promela algorithm back to Java, but after throwing up multiple times, I’ve been too weak for that.