⭐️编译器和处理器为了优化程序性能而对指令序列进行重新排序
?数据依赖性
如果两个操作访问同一个变量,且这两个操作中有一个为写操作,此时这两个操作之间就存在数据依赖性。
数据依赖类型有:1️⃣写(a=1)后读(b=a) 2️⃣写(a=1)后写(a=2)3️⃣读(a=b)后写(b=1)
这些依赖操作如果更改顺序则会造成程序结果错误。所以具有依赖关系的不可重排序。
?as-if-serial语义
不管怎么重排序,单线程的执行结果不能改变。也就是不能重排序具有依赖关系的操作。
?重排序对多线程的影响
这个还是看书吧,没什么好总结的
提取出来的一点是
if(flag){. //1
Int I = a*a; //2
}
操作一和操作二之间存在控制依赖性
这个时候,编译器和处理器会采用猜测执行来克服相关性对并行度的影响
即先开辟一个变量存储a*a 命名为temp
当flag判断为真后,直接将temp复制给i