JMM中的执行定义

Question

执行E由元组< P、A、po、so、W、V、sw、hb >描述，包括：

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

这套行动是什么？该定义是否与专门化线程t有关？或者一个覆盖所有线程，哪个程序启动？

Answer 1

在元组E中，A是程序P的执行所提交的所有线程间操作的集合。