Java 理论与实践: JDK 5.0 中更灵活、更具可伸缩性的锁定机制