synchronized内部代码是否保证有序性

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内部代码依然会指令重排序

但因为刚接触多线程编程，我也不能很确定这种模拟与推断是否正确，欢迎大家讨论，欢迎大牛来指点