深入解析synchronized实现原理，如何保证原子性、有序性和可见性？