标签：mil thread cell 依赖关系 val 单线程 一个 情况 之间
如果两个操作访问同一个变量，且这两个操作中有一个为写操作，此时这两个操作之间就存在数据依赖性。数据依赖分下列三种类型：
|
名称 |
代码示例 |
说明 |
|
写后读 |
a = 1;b = a; |
写一个变量之后，再读这个位置。 |
|
写后写 |
a = 1;a = 2; |
写一个变量之后，再写这个变量。 |
|
读后写 |
a = b;b = 1; |
读一个变量之后，再写这个变量。 |
上面三种情况，只要重排序两个操作的执行顺序，程序的执行结果将会被改变。
前面提到过，编译器和处理器可能会对操作做重排序。编译器和处理器在重排序时，会遵守数据依赖性，编译器和处理器不会改变存在数据依赖关系的两个操作的执行顺序。
注意，这里所说的数据依赖性仅针对单个处理器中执行的指令序列和单个线程中执行的操作，不同处理器之间和不同线程之间的数据依赖性不被编译器和处理器考虑。
s-if-serial语义的意思指：不管怎么重排序（编译器和处理器为了提高并行度），（单线程）程序的执行结果不能被改变。编译器，runtime 和处理器都必须遵守as-if-serial语义。
为了遵守as-if-serial语义，编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序会改变执行结果。但是，如果操作之间不存在数据依赖关系，这些操作可能被编译器和处理器重排序。
volatile 关键字，禁止重排序
标签：mil thread cell 依赖关系 val 单线程 一个 情况 之间
原文地址：https://www.cnblogs.com/pickKnow/p/11023768.html
