多线程状态相关问题

Question

我得到了以下代码 sn-p:

public class ThreadTest{

  private static class Thread01 extends Thread{
    private Thread02 _th2; 
    public int foo = 0;

    public void setThrd02(Thread02 thrd2){
       _th2 = thrd2;
    }

    public void run(){
      try{
        for(int i=0;i<10;i++) foo += i;

        synchronized(this){this.notify();};

        synchronized(_th2){_th2.wait();};

        System.out.print(" Foo: " + _th2.foo);
      }catch(InterruptedException ie){ ie.printStackTrace();}    
    }
  }

  private static class Thread02 extends Thread{

    private final Thread01 _th1;
    public int foo = 0;

    public Thread02(Thread01 th1){
      _th1 = th1;
    }

    public void Run(){
       try{
         synchronized(_th1){_th1.wait();}
         foo = _th1.foo;

         for(int i=0;i<10;i++) foo += i;
         synchronized(this){this.notify();};
           }
       catch(InterruptedException ie){ie.printStackTrace();}

    }

  }

  public static void main(){
    Thread01 th1 = new Thread01();
    Thread02 th2 = new Thread02(th1);

    th1.setThrd02(th2);

    th1.start(); th2.start();
    th1.join(); th2.join();
  } 
}

我认为代码的假设和相应的目的就像 th2先运行，调用_th1.wait()变为等待状态； 然后th1计算foo并唤醒th2，th1进入等待状态； Th2 从 thread1 读取 foo 并更新为 110，然后唤醒 th1 和 th2 退出。 然后th1退出。

线程可能非常危险，因为线程 1 很可能先运行，而线程 2 将永远等待。

我不确定代码是否还有其他潜在问题。

可以解决问题的一种可能方法是，例如在线程1中

公共类 ThreadTest{

私有静态布尔更新=假； 私有静态布尔完成 = false;

私有静态 Thread01 扩展 Thread{

公共无效运行（）{ // 进行计算 而（完成）{ 等待（）; } // 输出结果 } }

私有静态 Thread02 扩展 Thread{ 公共无效运行（）{

而（假）{ 等待（）; }

foo = th1.foo; // 进行计算 // 类似于通知线程1的机制 } }

Answer 1

无法保证您的线程中的顺序。 Thread01 过去就足够了 synchronized(this){this.notify();}; 在 Thread02 之前 synchronized(_th1){_th1.wait();} 让两个线程无限期地等待。

注意：您在 _th1 和 _th2 上调用 wait 和 notify 的事实无关紧要。这里的线程将被视为任何其他对象。

Answer 2

@Alex 已经指出了 wait 和 notify 没有按照代码期望的顺序调用 (+1) 的问题。然而，由于这是一个面试问题，这段代码还有其他一些问题：

1. 糟糕的命名约定和代码格式，
2. 公共字段访问器，
3. 在 Thread 对象上同步（奇怪），
4. 捕获 InterruptedException 然后退出线程，
5. 无异常处理，
6. （个人偏好）不使用 Java 并发库。

我确定提出这个问题是为了让您陷入困境并找出并发性被破坏的原因，但是，恕我直言，该代码太可怕了，我什至都不会开始调试它 - 我只会把它扔掉.

Answer 3

以下可能是更好的解决方法

public class ThreadTest{
  private static volatile boolean updated = false; 
  private static volatile boolean finished = false;


   private static class Thread01 extends Thread{
    private Thread02 _th2; 
    public int foo = 0;

    public void setThread2(Thread02 th2){
        _th2 = th2;
    }

    public void Run(){          

        for(int i=0;i<10;i++) foo += i;
        System.out.print(" thread1 calcualtion " + foo + "\n");

        try{
        updated = true; 
        synchronized(this) {this.notify();};

        synchronized(_th2){
             while(!finished) 
                 _th2.wait();
             System.out.print("Foo: " + _th2.foo );    
          } 
    } 
    catch(InterruptedException ie){
        ie.printStackTrace();
    }
}
 }

  private static class Thread02 extends Thread{ 
    private final Thread01 _th1;
    public int foo = 0;

    public Thread02(Thread01 th1){
        _th1 = th1;
    }
    public void run(){
    try{
        synchronized(_th1){
            while(!updated) 
                _th1.wait();
        foo = _th1.foo; 
        } 
    for(int i=0;i<10;i++) foo +=i; 
    finished = true; 
    synchronized(this){ this.notify();}
    }catch(InterruptedException ie){
        ie.printStackTrace();
    }
}
 }

public static void main(String[] args) {
    // TODO Auto-generated method stub
    Thread01 th1 = new Thread01();
    Thread02 th2 = new Thread02(th1);

    th1.setThread2(th2);

    try{
    th1.start();
    th2.start();
    th1.join();
    th2.join();
    }catch(InterruptedException ie){
        ie.printStackTrace();
    }
}