1.2.6 如何保证程序的可见性、原子性和有序性?