Java内存模型与线程(四):long和double的特殊规则和原子性、可见性和有序性

JVM将没有被volatile修饰的64为数据的读写操作划分为两次32位的操作，也就是long和double的非原子协定吗，多个线程共享一个long或者是double类型的变量是，可能读到一个"半个变量"的数值。

不过以上这种情况非常罕见，所以这两种类型不需要volatile修饰。

Java内存模型定了3个特性：原子性、可见性、有序性。

原子性，也就是说上几节我们讲到的几个操作都是原子的，要么全部成功，要么全部失败。

除了volatile关键字实现可见性以外，还有两个关键字实现了synchronized和final都具有可见性。

synchronized修饰的是同步块的可见行，业绩诉说对于一个变量执行unlock操作之前，必须先把此变量同步到主内存中。

final的可见性，指的是一旦构造器初始化完成，构造器没有将this引用传递出去，其他线程也能看到final修饰的字段值。

有序性，也就是说在本线程内观察，所有的操作都是有序的，如果一个现车观察另一个线程，多有的操作都是无序的。