Java并发编程6--重排序

重排序是指 编译 器和 处 理器 为 了 优 化程序性能而 对 指令序列 进 行重新排序的一种手段。 1.数据依赖性  如果两个操作 访问 同一个 变 量，且 这 两个操作中有一个 为 写操作，此 时这 两个操作之 间就存在数据 依赖性。 数据依赖的类型

上面 3 种情况，只要重排序两个操作的 执 行 顺 序，程序的 执 行 结 果就会被改 变 编译 器和 处 理器在重排序 时 ，会遵 守数据依赖 性， 编译 器和 处 理器不会改 变 存在数据依 赖 关系的 两个操作的 执 行 顺 序。 数据依 赖 性 仅针对单 个处理器中执行的指令序列和单个线程中执 行的操作， 不同处 理器之 间 和不同线程之 间 的数据依 赖 性不被 编译 器和 处 理器考 虑 。 2.as-if-serial语义  as-if-serial语义 的意思是：不管怎么重排序（ 编译 器和 处 理器 为 了提高并行度），（ 单线 程） 程序的 执 行 结 果不能被改 变 。 编译 器、 runtime 和 处 理器都必 须 遵守 as-if-serial 语义 。 在 计 算机中， 软 件技 术 和硬件技 术 有一个共同的目 标 ：在不改 变 程序 执 行 结 果的前提下， 尽 可能提高并行度。 在不影响程序执行结果，保证数据依赖性的情况下，有些重排序是可以允许的。JMM会认为 这种重排序并不非法（not illegal），JMM允许这种重排序。 3.重排序对多线程程序的影响 在 单线 程程序中， 对 存在控制依 赖 的操作重排序，不会改 变执 行 结 果（ 这 也是 as-if-serial语义允 许 对 存在控制依 赖 的操作做重排序的原因）； 但在多 线 程程序中， 对 存在控制依 赖 的操作重排序，可能会改变程序的执 行 结 果。