java synchronized 锁 - synchronized锁的是对象还是代码？

对于"synchronized详解-锁的是对象还是代码"问题，如果你没有想过这个问题，那么现在就要想一下了，因为他对于真正理解synchronized很重要。先把答案公布了：synchronized锁的是对象

下面用代码证明结论：

private static void startModifyThread(final List<String> list) {
    Thread modifyThread = new Thread(new Runnable() {
        @Override
        public void run() {
            for (int i = 0; i < 100; i++) {
                System.out.println("item " + i);
                list.add("item " + i);
                try {
                    Thread.sleep((int) (Math.random() * 10));
                } catch (InterruptedException e) {
                }
            }
        }
    });
    modifyThread.start();
}

private static void startIteratorThread(final List<String> list) {
    Thread iteratorThread = new Thread(new Runnable() {
        @Override
        public void run() {
            while (true) {
                for (String str : list) {
                    System.out.println("--- " + str);
                }
            }
        }
    });
    iteratorThread.start();
}

public static void main(String[] args) {
    final List<String> list = Collections.synchronizedList(new ArrayList<String>());
    startIteratorThread(list);
    startModifyThread(list);
}

运行上面的代码，你会得到报错：

Exception in thread "Thread-0" java.util.ConcurrentModificationException
    at java.util.ArrayList$Itr.checkForComodification(ArrayList.java:859)
    at java.util.ArrayList$Itr.next(ArrayList.java:831)

如果在遍历的同时容器发生了结构性变化，就会抛出该异常，同步容器并没有解决这个问题，如果要避免这个异常，需要在遍历的时候给整个容器对象加锁，比如，上面的代码，startIteratorThread可以改为：

private static void startIteratorThread(final List<String> list) {
    Thread iteratorThread = new Thread(new Runnable() {
        @Override
        public void run() {
            synchronized(list){
 	        while (true) {
            	    for (String str : list) {
                        System.out.println("--- " + str);
            	    } 
                }
            }
        }
    });
    iteratorThread.start();
}

运行修改后的代码发现，程序正常运行了

startIteratorThread方法的代码run加了锁，startIteratorThread方法没有加锁。如果synchronized的是代码，也就是锁的是下面的代码：

(1)for (String str : list) {
}
那么
(2)for (int i = 0; i < 100; i++) {
System.out.println("item " + i);
    list.add("item " + i);
    try {
         Thread.sleep((int) (Math.random() * 10));
    } catch (InterruptedException e) {
    }
} 

代码会继续执行，起码(1)、(2)交替执行，查看结果：

-- item 0
--- item 0
--- item 0
--- item 0
--- item 0
--- item 0
--- item 0

说明一直走的是(2)，证明synchronized锁的是代码这个结论是错误的。如果按照synchronized锁的是对象来推论，(2)把list加锁了，(1)使用list时发现list已经被加锁了，要等list锁释放后才能使用，所以(1)所在的线程一直等待，知道(2)所在的线程释放list，结合运行结果可知，synchronized锁的是对象

参考： 参考