Monthly Archives: January 2006

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

Posted on January 29, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Ported Back to Java

Posted on January 28, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Synchronization During Java VM Initialization and Termination

Posted on January 27, 2006 by Mathias

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 Post Print This Post   Email This Email This

Kooprey Release

Posted on January 18, 2006 by Mathias

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

Share
Posted in Research | Leave a comment

Print This Post Print This Post   Email This Email This

Message Channels

Posted on January 18, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Advance Only During First Iteration

Posted on January 16, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

After a Buffer Reload

Posted on January 16, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

How’s the Debugging Going?

Posted on January 16, 2006 by Mathias

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

setOldThread and isOldThread

Posted on January 15, 2006 by Mathias

The instrumentation should actually be pretty e… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

At the End is at the Beginning

Posted on January 15, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Assertions Violated

Posted on January 15, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Perforce Triggers and Windows

Posted on January 15, 2006 by Mathias

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

Another Mistake?

Posted on January 15, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Giving It a Good SPIN

Posted on January 14, 2006 by Mathias

I discussed earlier how synchronized blocks are… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Kooprey

Posted on January 9, 2006 by Mathias

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

Share
Posted in Research | Leave a comment

Print This Post Print This Post   Email This Email This

Mock-Up

Posted on January 9, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

In Java Bytecode…

Posted on January 9, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

Right Direction, Not Right

Posted on January 9, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

compactWait and compactThreadExit

Posted on January 8, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

When a Thread Terminates

Posted on January 6, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This