执行E由元组
描述,包括:
P - a program
A - a set of actions
po - program order, which for each thread t, is a total order over all actions performed by t in A
so - synchronization order, which is a total order over all synchronization actions in A
W - a write-seen function, which for each read r in A, gives W(r), the write action seen by r in E.
V - a value-written function, which for each write w in A, gives V(w), the value written by w in E.
sw - synchronizes-with, a partial order over synchronization actions
hb - happens-before, a partial order over actions
这组 Action 是什么?该定义与特定线程t
相关吗?或者覆盖程序启动的所有线程?
最佳答案
在元组 E
中,A
是由程序 P 的执行提交的所有线程间操作的集合
.
关于java - JMM中的执行定义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25972394/