| ... | ... | @@ -126,6 +126,8 @@ Tag不同，含义不同，如下。 |
|
|
|
|
|
|
|
首先，我们还需要一个变量叫`first_access`表示这个pointer的地方是否是第一次访问。其构造详情稍后详细描述。
|
|
|
|
|
|
|
|
那么对于不是first_access的行，意味着上一行和这一行是同一个地方，我们排序又是按照stamp排的。因此，如果这一行是读（is_write=0）那么value必然等于上一行的value。
|
|
|
|
|
|
|
|
对不同tag，约束不同：
|
|
|
|
- Memory：
|
|
|
|
- 若first_access且is_write=0, 则value=0.
|
| ... | ... | |
