Archive for August, 2006

Screw Ups

August 29th, 2006, 6:06 am by Mathias

People screw up, and I definitely do, too. But …

Print This Print This   Email This Email This

External XML Annotations

August 27th, 2006, 11:42 pm by Mathias

There are several cases when you either cannot …

Print This Print This   Email This Email This

Unit Tests for Thread Checker

August 26th, 2006, 7:02 pm by Mathias

I’ve started writing unit tests for the thread …

Print This Print This   Email This Email This

New Annotatation Format

August 25th, 2006, 3:33 am by Mathias

I must admit I haven’t been able to do as much …

Print This Print This   Email This Email This

What I Don’t (and Probably Won’t) Do

August 22nd, 2006, 2:01 pm by Mathias

I mentioned earlier that the checker currently …

Print This Print This   Email This Email This

Talk about Thread Checker

August 22nd, 2006, 11:12 am by Mathias

Good, I didn’t oversleep again. I just talked t…

Print This Print This   Email This Email This

More Thread Checker

August 22nd, 2006, 3:49 am by Mathias

Today was pretty much a repeat from yesterday: …

Print This Print This   Email This Email This

Thread Checker Improvements

August 21st, 2006, 3:09 am by Mathias

I made a few small improvements to the dynamic …

Print This Print This   Email This Email This

Dynamic Thread Checker

August 19th, 2006, 2:00 am by Mathias

After spending some more time working on DrJava…

Print This Print This   Email This Email This

Ideas and Another Bug to Catch

August 16th, 2006, 12:24 pm by Mathias

I found another kind of concurrency problem tha…

Print This Print This   Email This Email This

First Cut of the “Doomed wait” Solution

August 16th, 2006, 3:34 am by Mathias

I made a small change to my random delay code t…

Print This Print This   Email This Email This

Delay Balance

August 16th, 2006, 1:48 am by Mathias

I’ve just finished the last instrumentor to del…

Print This Print This   Email This Email This

Another Concurrency Bug I Might Detect

August 16th, 2006, 12:41 am by Mathias

The first problem that execution with random de…

Print This Print This   Email This Email This

No Static Random in SyncPointBuffer

August 15th, 2006, 7:19 pm by Mathias

Last night I was doing some refactoring to chan…

Print This Print This   Email This Email This

Simple Test for Delay Testing

August 14th, 2006, 1:05 pm by Mathias

Even though I haven’t implemented inserting the…

Print This Print This   Email This Email This

Constants Not Configurable

August 12th, 2006, 12:03 pm by Mathias

I’ve tried to implement what I described below:…

Print This Print This   Email This Email This

Making Constants Configurable

August 11th, 2006, 12:40 pm by Mathias

There are several constants that a user is like…

Print This Print This   Email This Email This

Writing about the Summer School

August 11th, 2006, 8:07 am by Mathias

Here are a few links to other people’s blogs ab…

Print This Print This   Email This Email This

Thread.run, not Thread.start

August 5th, 2006, 4:45 pm by Mathias

I am reusing code written for the other instrum…

Print This Print This   Email This Email This

Only Change Counter at Thread Start and Exit?

August 4th, 2006, 11:42 pm by Mathias

Right now, I’m actually not so sure that I real…

Print This Print This   Email This Email This