Java中锁和synchronized为何能保证可见性？

根据JDK中对concurrent包的说明，一个线程的写结果保证对另外线程的读操作可见，只要 该写操作可以由happen-before原则推断出在读操作之前发生。