[kaffe] patch for mauve thread tests

Timothy Stack stack at cs.utah.edu
Thu Oct 17 09:34:55 PDT 2002


hi,

The most recent mauve has some thread tests that kaffe fails, the 
following patch should fix the following problems:

     The "started" field wasn't being set for the main thread

     The "group" field wasn't being cleared after the thread died.

     The setPriority() method should throw an IllegalArgumentException
     if the parameter is outside the range [MIN_PRIORITY, MAX_PRIORITY],
     and not the ThreadGroup's max priority.  If the parameter was
     greater than the group's max priority it should be set the priority
     to the group's maximum.

Unfortunately, kjc is causing the other failures.  Specifically, the
code it generates for the first part of the daemon test:

     Thread current = Thread.currentThread();

     boolean status = current.isDaemon();
     boolean illegal_exception = false;
     try
     {
	current.setDaemon(!status);
     }
     catch (IllegalThreadStateException itse)
     {
	illegal_exception = true;
     }

Looks like this:

.method public test(Lgnu/testlet/TestHarness;)V
     .limit stack 3
     .limit locals 9
.line 48
     invokestatic java/lang/Thread/currentThread()Ljava/lang/Thread;
     astore 4
.line 50
     aload 4
     invokevirtual java/lang/Thread/isDaemon()Z
     istore 5
.line 51
     iconst_0
     istore 6
.line 54
.catch java/lang/IllegalThreadStateException from Label1 to Label2 using 
Label3
Label1:
     aload 4
     iload 5
     iconst_1
     ixor
     invokevirtual java/lang/Thread/setDaemon(Z)V
Label2:
     goto Label4
.line 56
Label3:
     astore 5
.line 58
     iconst_1
     istore 6
.line 60
Label4:
     aload_1
     aload 4
     invokevirtual java/lang/Thread/isDaemon()Z
     iload 5
     if_icmpeq Label5
     iconst_0
     goto Label6
Label5:

Notice how slot five is used to store result of the first isDaemon(),
however, the exception handler will store the exception in slot five.
Oh, for a real verifier.

tim stack



Index: kaffe/kaffevm/thread.c
===================================================================
RCS file: /cvs/kaffe/kaffe/kaffe/kaffevm/thread.c,v
retrieving revision 1.45
diff -u -r1.45 thread.c
--- kaffe/kaffevm/thread.c	3 Oct 2002 07:11:24 -0000	1.45
+++ kaffe/kaffevm/thread.c	17 Oct 2002 16:21:21 -0000
@@ -239,6 +239,7 @@
  	unhand(tid)->interrupting = 0;
  	unhand(tid)->target = 0;
  	unhand(tid)->group = standardGroup;
+ 
unhand(tid)->started = 1;

  	initThreadLock(tid);

Index: libraries/javalib/java/lang/Thread.java
===================================================================
RCS file: /cvs/kaffe/kaffe/libraries/javalib/java/lang/Thread.java,v
retrieving revision 1.38
diff -u -r1.38 Thread.java
--- libraries/javalib/java/lang/Thread.java	3 Jul 2002 22:33:14 -0000	1.38
+++ libraries/javalib/java/lang/Thread.java	17 Oct 2002 16:21:22 -0000
@@ -194,12 +194,16 @@
   */
  /* Not private for now so GCJ won't optimize it away */
  void finish() {
+ 
ThreadGroup tg;
+ 

  	synchronized(this) {
  		dying = true;
  		notifyAll();     // in case somebody is joining on us
+ 
	tg = this.group;
+ 
	this.group = null;
  	}
- 
if (group != null) {
- 
	group.remove(this);
+ 
if (tg != null) {
+ 
	tg.remove(this);
  	}
  	Application.removeResource(this);
  }
@@ -332,7 +336,7 @@
  }

  public final synchronized void setDaemon(boolean on) {
- 
if (started && !dying) {
+ 
if (started) {
  		throw new IllegalThreadStateException("Active Thread");
  	}
  	daemon = on;
@@ -345,8 +349,11 @@
  public final void setPriority(int newPriority) {
  	checkAccess();

- 
if (newPriority < MIN_PRIORITY || newPriority > group.getMaxPriority()) {
- 
	throw new IllegalArgumentException();
+ 
if (newPriority < MIN_PRIORITY || newPriority > MAX_PRIORITY) {
+ 
	throw new IllegalArgumentException("Priority: " + newPriority);
+ 
}
+ 
if (newPriority > this.group.getMaxPriority()) {
+ 
	newPriority = this.group.getMaxPriority();
  	}
  	setPriority0(newPriority);
  }





More information about the kaffe mailing list