Monthly Archives: January 2006

Added Instrumentor for Inlining monitorEnter, monitorExit, isOldThread, and setOldThread

Now I’ve written an instrumentor, MarkerInlineS… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Ported Back to Java

I’ve ported the Promela algorithm back to Java…. Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Synchronization During Java VM Initialization and Termination

For my 590 research class, Corky asked me to wr… Continue reading

Share
Posted in Concurrent Unit Testing, DrJava, Graduate School, xajavac | Leave a comment

Print This Print This   Email This Email This

Kooprey Release

I’ve compiled my source code again to make sure… Continue reading

Share
Posted in Research | Leave a comment

Print This Print This   Email This Email This

Message Channels

I picked up my search for a way to correctly im… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Advance Only During First Iteration

After I had got up, I had realized that the pro… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

After a Buffer Reload

After a buffer reload, the thread that caused t… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

How’s the Debugging Going?

I don’t really read any comics. I rarely did on… Continue reading

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

setOldThread and isOldThread

The instrumentation should actually be pretty e… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

At the End is at the Beginning

I’ve realized that the index in the schedule ha… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Assertions Violated

Indeed, there exist schedules that let the sync… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Perforce Triggers and Windows

I’ve spent a few hours trying to learn about Pe… Continue reading

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Another Mistake?

I haven’t actually verified it, but I have a gu… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Giving It a Good SPIN

I discussed earlier how synchronized blocks are… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Kooprey

We got a request for Kooprey from a colleague t… Continue reading

Share
Posted in Research | Leave a comment

Print This Print This   Email This Email This

Mock-Up

I’ve written a mock-up test of the algorithm wi… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

In Java Bytecode…

I think I found a way how to fulfill both requ… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Right Direction, Not Right

I’m writing my little unit tests now, and in so… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

compactWait and compactThreadExit

Ok, now I have a strategy that inserts calls to… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

When a Thread Terminates

I’m still dealing with this deadlock problem. I… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This