多线程中的原子性可见性有序性和安全性是怎么回事？