补充:JMM，happens-before，hashset结构