Question

在处理多线程程序时，我发现了非常奇怪的行为。

当Integer对象用作锁时，似乎多个线程可以处于同步块中。甚至认为这是不可预期的。

如果我在下面的程序中使用任何其他静态成员，如's'，'o'和'c'，则按预期工作。

代码 -

public class MyThread extends Thread{
    private static Integer ii=1;                        //Works fine
    private static Integer i=1;
    private static String s="1";                        //Works fine
    private static Object o= new Object();              //Works fine
    private static Class<MyThread> c= MyThread.class;   //Works fine

    public void run(){
        synchronized(i){
            System.out.print(i++ +" ");
            System.out.print(i+"   ");
        }
    }
    public static void main(String[] str) throws InterruptedException{
        for(int i=0;i<100;i++){
            MyThread t= new MyThread();
            t.start();
        }
        Thread.sleep(100);
        System.out.println();
        MyThread t= new MyThread();
        t.start();t.join();
        if(i!=102)
            System.out.println("fail");
    }
}

输出 -

2 3   3 4   5 6   8 9   9 10   10 11 12   12 13   13 14   14 15   16 17   1 17   15 17   12   17 18   18 20   20 21   21 22   7 22 6 23   4 23   23 24   24 25   25 26   23   22   19 27   26 27   27 28   28 29   29 30   30 31   31 32   32 33   33 34   34 35   35 36   36 37   37 38   38 39   39 41   40 41 42   42   42 43   43 44 45   45   45 48   47 48   46 48   48 49   49 50   50 51   51 52   52 53   53 54   54 55   55 56   56 57   57 58   58 59   59 60   60 61   61 62   62 63 64   64 65   64   65 66   66 67   68 69   69 70   67 70   70 71   71 72   72 73   73 75   74 76   75 76   76 77   77 79 80   78 80   80   80 83 84   82 85   85 86   86 87   87 88   88 89   89 90   81 94   93 94   92 94   91 94   90 94   84   94 96   96 98   98 99   84 99   97 99   95 99   99 100   100 101   
101 102

正如您所看到的，当它打印“10 11 12”时，有两个线程在同步块中执行。

我做错了什么或者我错过了什么？

是否与幕后的优化有关？因为如果我使用'ii'锁定一切都很完美。

当使用'i'时，它会打印'失败'，但很可靠。

以下是用于运行程序的java版本。 java -version java version“1.7.0_51”Java（TM）SE运行时环境（构建 1.7.0_51-b13）Java HotSpot（TM）客户端VM（内置24.51-b03，混合模式，共享）

您可以使用以下程序运行程序运行这一堆并查看结果。

public class MyThread extends Thread{
    private static Integer ii=1;
    private static Integer i=1;
    private static String s="1";
    private static Object o= new Object();
    private static Class<MyThread> c= MyThread.class;

    public void run(){
        synchronized(ii){
            System.out.print(i++ +" ");
            System.out.print(i+"   ");
        }
    }
    public static void main(String[] str) throws InterruptedException{
        for(int j=0;j<100;j++){
            for(int i=0;i<100;i++){
                MyThread t= new MyThread();
                t.start();
            }
            Thread.sleep(50);
            System.out.println();
            MyThread t= new MyThread();
            t.start();t.join();
            if(i!=102)
                System.out.println("fail");
            Thread.sleep(50);
            i=1;
            System.out.println();
        }
    }
}

Answer 1

此

i++

相当于

i = Integer.valueOf(i.intValue() + 1)

换句话说，i现在引用的是另一个对象，与您最初同步的对象不同。

如果一个线程在synchronized发生变化后碰到i块，它也会进入，因为它在另一个对象上获取了监视器。

因为如果我使用'ii'锁定一切都很完美。

您不会在任何地方更改ii的引用。

Answer 2

这正是为什么要声明锁final的原因。这就是你如何用脚射击自己的一个例子。

Answer 3

我认为问题在于您通过在synchronized块中执行i++来更改'i'的值，这会导致分配给i的对象每次都不同（请在此处查看） Eclipse，在增量操作之前和之后查看变量的对象id）。

Answer 4

Integer是一个不可变的类。当您对其执行++之类的操作时，您将创建一个新实例。这可能导致线程在不同对象上同步，使他们能够同时访问synchronized块。

当Integer对象用作同步块中的锁时，可能出现并发问题

4 个答案: