Java内存模型以及happens-before规则