Category Archives: Concurrent Unit Testing

My work on unit testing for concurrent programs.

The concutest.org Domain

Posted on January 8, 2024 by Mathias

I am going to let the renewal of the concutest.org domain lapse in November 2024. All content will continue to be available at https://ricken.us/research/concutest/index.shtml If you notice that something is not working at the new address, please let me know.

Posted in Concurrent Unit Testing, Research | Leave a comment

Print This Post Email This

Giving ConcJUnit with JUnit 4.12 Another Shot

Posted on July 11, 2016 by Mathias

On Friday, I started working on integrating my ConcJUnit changes into JUnit 4.12. I had started that work at the end of 2014, but I never got around to finishing it. The JUnit unit tests pass now, but there are … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Post Email This

Getting My Perforce Back

Posted on December 10, 2014 by Mathias

About a week ago, I received an email from a user of Concutest, asking whether I would update it to be based on JUnit 4.12 soon. I hadn’t worked on Concutest in a while, and I also hadn’t followed along … Continue reading →

Posted in Concurrent Unit Testing | 1 Comment

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

<clinit> in The Thread of First Use

Posted on February 16, 2010 by Mathias

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

Posted in Concurrent Unit Testing | 1 Comment

Print This Post Email This

<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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This

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

Print This Post Email This