Memory Model

沿用 counter + ready 的例子，理解 Java volatile 提供的可见性和有序性保证，并说明 Go 和 Python 没有对应的 volatile 关键字。