JVM将没有被volatile修饰的64为数据的读写操作划分为两次32位的操作,也就是long和double的非原子协定吗,多个线程共享一个long或者是double类型的变量是,可能读到一个"半个变量"的数值。
不过以上这种情况非常罕见,所以这两种类型不需要volatile修饰。
Java内存模型定了3个特性:原子性、可见性、有序性。
原子性,也就是说上几节我们讲到的几个操作都是原子的,要么全部成功,要么全部失败。
除了volatile关键字实现可见性以外,还有两个关键字实现了synchronized和final都具有可见性。
synchronized修饰的是同步块的可见行,业绩诉说对于一个变量执行unlock操作之前,必须先把此变量同步到主内存中。
final的可见性,指的是一旦构造器初始化完成,构造器没有将this引用传递出去,其他线程也能看到final修饰的字段值。
有序性,也就是说在本线程内观察,所有的操作都是有序的,如果一个现车观察另一个线程,多有的操作都是无序的。