3.9 Happens-Before模型