线程理论：（一）Java内存模型、volatile