Category Archives: Concurrent Unit Testing

My work on unit testing for concurrent programs.

Java 7 for DrJava and Concutest

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 Print This   Email This Email This

Paging Stuff Back Into My Brain

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 Print This   Email This Email This

No Nifty Assignment for the Educators Symposium

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 Print This   Email This Email This

Beethoven and Brainstorming

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 Print This   Email This Email This

Short Summary

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 Print This   Email This Email This

Soot May-Happen-in-Parallel Analysis

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 Print This   Email This Email This

Back and Wanting More

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 Print This   Email This Email This

Short, Non-Technical Talks Are Hard

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 Print This   Email This Email This

<clinit> in The Thread of First Use

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

Print This Print This   Email This Email This

<clinit> in Which Thread?

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

The Free Java Book

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 Print This   Email This Email This

Java Bug 4396719 Work-Around?

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 Print This   Email This Email This

Soot Build Instructions

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 Print This   Email This Email This

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

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 Print This   Email This Email This

More Details on Soot and -allow-phantom-refs

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 Print This   Email This Email This

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

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 Print This   Email This Email This

Another Possible Improvement

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 Print This   Email This Email This

Another Possible Problem

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

Print This Print This   Email This Email This

New Release of ConcJUnit: 20100112

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

Print This Print This   Email This Email This

Submitted Publication Version of SIGCSE 2010 Paper

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

Print This Print This   Email This Email This