package jvmtest4;
public class Main { private static int temp; private static volatile boolean flag; public static void main(String[] args) { temp = 0;flag = false; new Thread(new Runnable() { @Override public void run() { for (int i =0; i < 1000000; i++) { synchronized (Main.class) { flag = false; temp = 0; temp = 1; flag = true; } } } }).start(); new Thread(new Runnable() { @Override public void run() { for (int i =0; i < 1000000; i++) { if (flag){ synchronized (Lock.class){ if (temp == 0) System.out.println("NONONONONONO"); } } } } }).start(); } }
package jvmtest4; public class Lock { }
刚开始接触多线程编程,遇到一个问题,找不到答案。
synchronized内部代码是否保证有序性?
我们都知道进出锁住的代码块是串行的,因为只能有一个线程拿到锁,这就使得使用同一个锁的两个执行过程A和B之间,A看B的操作是有序的,B看A的操作也是有序的,是因为执行过程内部无论会不会指令重排序,结果都是一致的。
但问题是,被锁住的执行过程,内部会不会指令重排序?
为求答案,我想到了模拟以上代码的场景,根据结果,我的推断是:synchronized内部代码依然会指令重排序
但因为刚接触多线程编程,我也不能很确定这种模拟与推断是否正确,欢迎大家讨论,欢迎大牛来指点