同步规则和happen-before规则