Archive for January, 2006

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

January 29th, 2006, 2:50 am by Mathias

Now I’ve written an instrumentor, MarkerInlineS…

Print This Print This   Email This Email This

Ported Back to Java

January 28th, 2006, 8:33 pm by Mathias

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

Print This Print This   Email This Email This

Synchronization During Java VM Initialization and Termination

January 27th, 2006, 1:21 am by Mathias

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

Print This Print This   Email This Email This

Kooprey Release

January 18th, 2006, 10:15 pm by Mathias

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

Print This Print This   Email This Email This

Message Channels

January 18th, 2006, 2:55 am by Mathias

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

Print This Print This   Email This Email This

Advance Only During First Iteration

January 16th, 2006, 4:33 pm by Mathias

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

Print This Print This   Email This Email This

After a Buffer Reload

January 16th, 2006, 4:12 am by Mathias

After a buffer reload, the thread that caused t…

Print This Print This   Email This Email This

How’s the Debugging Going?

January 16th, 2006, 3:47 am by Mathias

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

Print This Print This   Email This Email This

setOldThread and isOldThread">setOldThread and isOldThread

January 15th, 2006, 6:17 pm by Mathias

The instrumentation should actually be pretty e…

Print This Print This   Email This Email This

At the End is at the Beginning

January 15th, 2006, 5:40 pm by Mathias

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

Print This Print This   Email This Email This

Assertions Violated

January 15th, 2006, 3:05 pm by Mathias

Indeed, there exist schedules that let the sync…

Print This Print This   Email This Email This

Perforce Triggers and Windows

January 15th, 2006, 7:22 am by Mathias

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

Print This Print This   Email This Email This

Another Mistake?

January 15th, 2006, 6:58 am by Mathias

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

Print This Print This   Email This Email This

Giving It a Good SPIN

January 14th, 2006, 5:46 am by Mathias

I discussed earlier how synchronized blocks are…

Print This Print This   Email This Email This

Kooprey

January 9th, 2006, 11:10 pm by Mathias

We got a request for Kooprey from a colleague t…

Print This Print This   Email This Email This

Mock-Up

January 9th, 2006, 9:50 am by Mathias

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

Print This Print This   Email This Email This

In Java Bytecode…

January 9th, 2006, 3:53 am by Mathias

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

Print This Print This   Email This Email This

Right Direction, Not Right

January 9th, 2006, 12:03 am by Mathias

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

Print This Print This   Email This Email This

compactWait and compactThreadExit">compactWait and compactThreadExit

January 8th, 2006, 7:59 pm by Mathias

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

Print This Print This   Email This Email This

When a Thread Terminates

January 6th, 2006, 6:02 pm by Mathias

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

Print This Print This   Email This Email This