Category Archives: Research

Research work.

Kooprey Release

Posted on January 18, 2006 by Mathias

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

Posted in Research | Leave a comment

Print This Post

Message Channels

Posted on January 18, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

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 →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

After a Buffer Reload

Posted on January 16, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

`setOldThread` and `isOldThread`

Posted on January 15, 2006 by Mathias

The instrumentation should actually be pretty e… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

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 →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Assertions Violated

Posted on January 15, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Another Mistake?

Posted on January 15, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Giving It a Good SPIN

Posted on January 14, 2006 by Mathias

I discussed earlier how synchronized blocks are… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Kooprey

Posted on January 9, 2006 by Mathias

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

Posted in Research | Leave a comment

Print This Post

Mock-Up

Posted on January 9, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

In Java Bytecode…

Posted on January 9, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Right Direction, Not Right

Posted on January 9, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

`compactWait` and `compactThreadExit`

Posted on January 8, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

When a Thread Terminates

Posted on January 6, 2006 by Mathias

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

The End is Important

Posted on January 5, 2006 by Mathias

When I implemented last night’s sketch, I reali… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Even Trickier

Posted on January 3, 2006 by Mathias

I’ve just realized there’s a potential problem … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Definitely Tricky

Posted on January 3, 2006 by Mathias

I just noticed that my algorithm still isn’t co… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Tricky Bit of Code

Posted on January 3, 2006 by Mathias

The wait algorithm is turning out to be trickie… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post

Don’t Know, But Managed Anyway

Posted on December 26, 2005 by Mathias

I’ve thought about where these sync points come… Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post