有效的重新排序 - 根据新的 JMM

我只是想知道以下重新排序在新的 JMM 模型下是否有效

Original Code: 
     instanceVar1 = value ;//  normal read operation, no volatile
     synchronized(this) {
       instanceVar2 = value2; //normal read operation, no volatile   
     }
     instanceVar3 = value3;  //normal read operation, no volatile

上面的代码可以重新排序为以下执行。

Case 1:

     synchronized(this) {
       instanceVar2 = value2; //normal read operation, no volatile   
       instanceVar1 = value ;//  normal read operation, no volatile
     }
     instanceVar3 = value3;  //normal read operation, no volatile

另一个案例：

Case 2:

  synchronized(this) {
       instanceVar3 = value3;  //normal read operation, no volatile
       instanceVar2 = value2; //normal read operation, no volatile   
       instanceVar1 = value ;//  normal read operation, no volatile
     }

另一个案例：

Case 3: 

    instanceVar3 = value3;  //normal read operation, no volatile
    synchronized(this) {
       instanceVar2 = value2; //normal read operation, no volatile   
       instanceVar1 = value ;//  normal read operation, no volatile
     }

另一个案例：

Case 4: 

    instanceVar3 = value3;  //normal read operation, no volatile
    synchronized(this) {
       instanceVar2 = value2; //normal read operation, no volatile   
     }
    instanceVar1 = value ;//  normal read operation, no volatile

上述4种情况是否都是新JMM模型下对原始代码的有效重新排序？ 我根据我的理解对以上所有内容进行了重新排序http://gee.cs.oswego.edu/dl/jmm/cookbook.html http://gee.cs.oswego.edu/dl/jmm/cookbook.html

考虑如何通过监视器进入和退出来重新排序正常加载/存储：

情况 1 使用监视器输入重新排序正常加载/存储，这是有效的重新排序。

情况 2 通过监视器进入和监视器退出重新排序正常加载/存储，然后进行正常加载/存储，这是有效的重新排序。

看一个类似的例子：Roach 汽车旅馆和 Java 内存模型 http://jeremymanson.blogspot.co.uk/2007/05/roach-motels-and-java-memory-model.html。这表明访问可以移入同步块，但不能再次退出。

情况 3 和 4 对监视器输入重新排序，然后进行无效的正常加载/存储。