并发编程的可见性、原子性和有序性问题