2

我正在进入 Java 多线程。我对 C/C++ pthreads 非常熟悉,但在 Javanotify()wait()函数方面存在问题。

我知道IllegalMoinitorStateException只有当一个不“拥有”(又名没有同步)的线程调用通知/等待时才会抛出一个。

在编写我的应用程序时,我遇到了这个问题。我用以下测试代码隔离了问题:

public class HelloWorld
{
    public static Integer notifier = 0;
    public static void main(String[] args){
        notifier = 100;
        Thread thread = new Thread(new Runnable(){
            public void run(){
                    synchronized (notifier){
                            System.out.println("Notifier is: " + notifier + " waiting");
                            try{
                                notifier.wait();
                                System.out.println("Awake, notifier is " + notifier);
                            }
                            catch (InterruptedException e){e.printStackTrace();}
                    }
            }});
        thread.start();
        try{
                Thread.sleep(1000);
            }
        catch (InterruptedException e){
                e.printStackTrace();
            }
        synchronized (notifier){
            notifier = 50;
            System.out.println("Notifier is: " + notifier + " notifying");
            notifier.notify();
        }
        }
    }

这输出:

    Exception in thread "main" java.lang.IllegalMonitorStateException
        at java.lang.Object.notify(Native Method)
        at HelloWorld.main(HelloWorld.java:27)

我相信我已经获得了通知对象的锁定。我究竟做错了什么?

谢谢!

编辑:

从这个可能的重复项(在 Integer 值上同步),似乎在 Integer 上同步不是一个好主意,因为很难确保您在同一个实例上同步。由于我正在同步的整数是全局可见静态整数,为什么我会得到不同的实例?

4

3 回答 3

5

因为notifier = 50;你正在调用notifier.notify();一个不同的对象。

于 2013-03-23T19:28:55.650 回答
0

notifier最初,当您在非主线程中调用 synchronized on 时,它引用的是堆上的对象,其内容0因此线程拥有该对象。wait现在,在使用非主线程后notifier.wait,控制权就交给了主线程。在获得对包含值 0 的 Integer 对象的锁定后,您可以在notifier包含值的堆内存上引用另一个对象,50因为notifier = 50;实际上等同于notifier = new Integer(50)这意味着Integer创建了一个新对象并将其引用传递给notifier. 现在,当线程看到notifier.notify它看起来主线程现在不再拥有它之前获得的原始对象。IllegalMonitorStateException投掷也是如此。

于 2013-03-23T19:43:41.520 回答
0

只是为了添加更多信息,您永远不应该在非最终对象上进行同步。

您需要在常量对象上进行同步。如果您在您分配的任何对象上同步(即更改对象),则该对象不是恒定的,一旦它分配了该对象并尝试通知它,您将获得IllegalMonitorStateException. 这也意味着因为它们在不同的对象上同步,多个线程将同时进入受保护的块,并且会发生竞争条件。

由于我正在同步的整数是全局可见静态整数,为什么我会得到不同的实例?

当您为 an 赋值时,Integer它会将其更改为不同的对象引用——即使它是static. 你没有改变同一个对象,因为Integer不能被变异。因此notifier = 50;将其分配给与 不同的对象notifier = 0;

例如,如果你想使用一个常量对象,你可以使用AtomicBoolean

  public static final AtomicInteger notifier = new AtomicInteger(0);
  ...
  synchronize (notifier) {
      notifier.set(50);
      ...
  }

在这里,AtomicInteger可以标记final,因为它始终是同一个对象。

有关更多信息,请参阅:为什么在布尔值上进行同步不是一个好习惯?

于 2013-03-24T11:16:21.530 回答