volatile 关键字能保证 Java 内存模型中的哪些特性？它能否保证有序性？

回答思路

1. 明确 volatile 保证可见性：修改对读线程立即可见
2. 明确 volatile 禁止指令重排，保证有序性（happens-before 规则）
3. 指出 volatile 不保证原子性，复合操作（如 i++）仍非线程安全
4. 举例说明典型应用场景（状态标志、双重检查锁中的变量）