Category Archives: Concurrent Unit Testing

My work on unit testing for concurrent programs.

Java 7 for DrJava and Concutest

Posted on August 1, 2011 by Mathias

I worked on Java 7 support this weekend, and I’m almost done. I just discovered that Concutest is currently incompatible with Java 7, though, so I will need to disable the ConcJUnit option in DrJava when using Java 7. I … Continue reading →

Posted in Concurrent Unit Testing, DrJava | Leave a comment

 

Paging Stuff Back Into My Brain

Posted on October 20, 2010 by Mathias

I gave the second lecture as Corky’s substitute in COMP 311 today. We talked about object-oriented languages in general, and Java in particular. I didn’t talk about the historical perspective on OO (slide 5), and I only mentioned multiple inheritance … Continue reading →

Posted in Concurrent Unit Testing, Teaching | Leave a comment

 

No Nifty Assignment for the Educators Symposium

Posted on June 29, 2010 by Mathias

I started writing too late and I discovered I still have some strange source of nondeterminism in my supposedly deterministic single-threaded application, so I won’t be submitting a Nifty Assignment to the Educators Symposium at OOPSLA/SPLASH this year. Too bad. … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

 

Beethoven and Brainstorming

Posted on May 16, 2010 by Mathias

I went on a walk today, on the prettiest day so far, for some Beethoven and brainstorming. I think I came up with some more nice ties back to my Master’s thesis.

Posted in Concurrent Unit Testing, Pictures | Leave a comment

 

Short Summary

Posted on April 6, 2010 by Mathias

The last few days summed up: Happy Easter! Still working on propagating reachability-from information into the methods. That should allow me to do a simple run-once-run-many analysis. I noticed my scanner was broken too, not just the power supply. FedEx … Continue reading →

Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

 

Soot May-Happen-in-Parallel Analysis

Posted on April 1, 2010 by Mathias

I got Soot’s “may happen in parallel” (MHP) analysis to work, but only on a very small, completely unrealistic example which I used to test my “shared volatile” code (source below). Even for this, I needed to set the heap … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

 

Back and Wanting More

Posted on March 18, 2010 by Mathias

This is my second day back from my talks at SIGCSE and Purdue, and I’m already wanting more. We’re finalizing our Mint paper for PLDI, and I’m thinking about a nifty assignment for the SPLASH/OOPSLA Educators’ Symposium. I couldn’t really … Continue reading →

Posted in Concurrent Unit Testing, Teaching | Leave a comment

 

Short, Non-Technical Talks Are Hard

Posted on February 25, 2010 by Mathias

I just gave my talk Testing Concurrent Programs, A 7-Minute Jargon-Free Introduction to the students of the Thesis Writing Seminar of the School of Engineering here at Rice. It went very well, but I’ve got to say that this was … Continue reading →

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

 

<clinit> in The Thread of First Use

Posted on February 16, 2010 by Mathias

Question: In which thread does <clinit> run? Answer: <clinit> is being executed in whatever thread uses the class first. 123456789101112131415161718192021222324252627282930313233343536package testers; import java.awt.EventQueue; public class CLInit {     public static void main(String[] args) throws Exception {       … Continue reading →

Posted in Concurrent Unit Testing | 1 Comment

 

<clinit> in Which Thread?

Posted on February 16, 2010 by Mathias

Question: In which thread does <clinit> run? Answer tomorrow.

Posted in Concurrent Unit Testing | Leave a comment

 

The Free Java Book

Posted on February 15, 2010 by Mathias

Corky just informed me that there is a talk by Daniel L. Schuster at SIGCSE 2010 about Java, games, and the Free Java Book. I’ll definitely check out the talk and the book. I’ll also examine how concurrency is handled … Continue reading →

Posted in Concurrent Unit Testing, DrJava | Leave a comment

 

Java Bug 4396719 Work-Around?

Posted on January 31, 2010 by Mathias

It seems like I can get around the garbage collector bug if I use -XX:+UseConcMarkSweepGC JVM argument. Now I’m having more Soot problems, but they actually make sense. In addition to being cross-platform, DrJava is also “cross-JDK version”: We support … Continue reading →

Posted in Concurrent Unit Testing, DrJava | 1 Comment

 

Soot Build Instructions

Posted on January 30, 2010 by Mathias

While trying to create a call graph of DrJava using Soot, I ran into some problems that were supposed to have been fixed in the Soot nightly builds already. Unfortunately, the nightly builds I could find were all many months … Continue reading →

Posted in Concurrent Unit Testing | 1 Comment

 

A HotSpot Java Error, a Bus Error and a Segmentation Fault

Posted on January 30, 2010 by Mathias

When I run Soot to create a call graph of DrJava, I get the aforementioned HotSpot Java error on Windows with Java 1.6.0_18. On Mac OS X 10.4 with Java 1.5.0_19, I get a “Bus error” (Java exit status 138). … Continue reading →

Posted in Concurrent Unit Testing, Ramblings | Leave a comment

 

More Details on Soot and -allow-phantom-refs

Posted on January 29, 2010 by Mathias

In the previous post I mentioned that I’m trying to create a call graph of all of DrJava using Soot. Since DrJava is a cross-platform application, there are classes that get compiled and used only on certain operating systems. The … Continue reading →

Posted in Concurrent Unit Testing, DrJava | 1 Comment

 

Java Bug 4396719 – Mark Sweep stack overflow on deeply nested Object arrays

Posted on January 29, 2010 by Mathias

I’m trying to create a call graph of all of DrJava using Soot. DrJava is a cross-platform application that has some classes that get compiled and used only on certain operating systems; for example, the com.apple.eawt package is only used … Continue reading →

Posted in Concurrent Unit Testing, DrJava, Ramblings | 4 Comments

 

Another Possible Improvement

Posted on January 12, 2010 by Mathias

On the other hand, I think I can re-enable checking if the event thread has finished and generating EventThreadStillProcessingErrors in the “update” Runnable that sets the test thread group the event thread uses, at least in certain cases. It is … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

 

Another Possible Problem

Posted on January 12, 2010 by Mathias

I think I have just realized that this still isn’t good enough. Now we know that there aren’t any more events, but it is conceivable that a Runnable executing just before the token Runnable has started new threads. Those threads … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

 

New Release of ConcJUnit: 20100112

Posted on January 12, 2010 by Mathias

I’ve just made a new release of ConcJUnit: 20100112. This release contains an important addition that I had been thinking about for a while. ConcJUnit already detected failures and uncaught exceptions in the event thread, but since the event thread … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

 

Submitted Publication Version of SIGCSE 2010 Paper

Posted on December 4, 2009 by Mathias

I just submitted the publication version of our SIGCSE 2010 paper, Test-First Java Concurrency for the Classroom. Now I’m waiting for the copyright form to be sent, and I’m wondering why that’s not done automatically…

Posted in Concurrent Unit Testing | Leave a comment