. 门=种 2w,4 rm 1E网门=程U为+三疗4a,,门 Figure 13.A selection of consitency axkomns over an execution [E,repl.obj,oper.rval;ro,vis, Auxiliary relations ameobj(e,f》←→cbe)=dbj门 LU有w1r4 Per-object (aka heopens-befure)order hbo [frof sameobi]Uvis]t Causality (aka happen-before)oeder hb=(roUvis]+ =可m加=长《青 EVENTUAL e∈E.(3 infiniely my∈E.ameobj(e,.fnA-e凸f》 THINA孩:ro Uvis is acyclic POCV (Per-Object Causal Visibility]:hbo C vis POCA (Per-Object Causal Arbimation):hhe C ar COCV (Cros-Ohject Causal Viibility):(hbn sameobj)C vis 2 COCA (Cros-Object Causal Arbitralion:hb U ar is acyehe Hengfeng Wei (hfwei&inju.edu.cn) 1-9 Set Theory (II):Relations 2019年12月03日 3/51. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Hengfeng Wei (hfwei@nju.edu.cn) 1-9 Set Theory (II): Relations 2019 年 12 月 03 日 3 / 51