长整型在32位系统上非原子读写,因CPU一次仅处理32位,导致64位变量被拆分为高低32位两次操作,多线程并发时可能读到“撕裂”中间态;Java中volatile long或AtomicLong可保证原子性。
长整型(如
或
)在 32 位系统上通常不是原子读写,因为 cpu 寄存器宽度为 32 位,一次只能处理 32 位数据。当多个线程并发读写同一个 64 位变量时,可能先写入低 32 位、再写入高 32 位,中间被其他线程读取,造成“撕裂”——即读到高 32 位是旧值、低 32 位是新值(或反之),结果是一个既非旧值也非新值的非法中间态。这是典型的并发数据竞争问题,必须从硬件特性、jvm/语言语义和同步机制三方面协同排查。
确认是否真存在 64 位非原子操作场景
不是所有 long 操作都一定撕裂。需先验证当前环境是否满足“非原子性触发条件”:
运行在纯 32 位 JVM(如 32 位 HotSpot)且未启用
影响对象头布局时,普通
字段默认不保证原子性;Java 语言规范仅对
和
强制要求原子读写
使用 C/C++ 时,若未用
(C11)、
(C++11)或平台特定汇编(如 x86 的
),普通
赋值/读取即为两步 32 位操作
检查编译器优化:某些编译器可能将看似独立的 long 操作合并或重排,加剧撕裂可见性;加
可抑制重排,但不解决原子性
复现与观测撕裂现象
撕裂本身无日志、不抛异常,需主动构造可观测条件:
用两个线程持续写入固定 long 值(如线程 A 写
,线程 B 写
),另一组线程循环读取并校验:若读到
或
等混合值,即为撕裂证据
在 Java 中可配合 JOL(Java Object Layout)工具查看对象内字段偏移,确认 long 字段未对齐到 8 字节边界(不对齐会加剧跨 cache line 问题,间接放大撕裂概率)
开启 JVM 参数
(需 hsdis),观察关键 long 操作是否被编译为两条
指令(如
+
)
修复与规避策略
核心原则:避免裸 long 共享,强制使用原子语义或同步边界:
Java:一律用
替代普通
字段;若需 volatile 语义(如状态标志),声明为
—— JVM 保证其读写原子性(JLS §17.7)
C/C++:使用
并指定
(性能最优);禁用
等可能导致浮点寄存器参与整数运算的编译选项
底层规避:确保 long 变量地址 8 字节对齐(如 GCC 的
),并在单核 CPU 上绑定线程(减少跨核 cache 同步复杂度),但这只是降低概率,不能替代原子化
监控与上线后防护
生产环境无法依赖复现,需建立防御性检测机制:
在关键 long 字段(如计数器、时间戳、ID 生成器)的 setter/getter 中加入断言校验:例如 ID 应为单调递增,若发现“回退”或“跳跃异常”,记录堆栈并告警
利用 JVMTI 或字节码插桩(如 Byte Buddy)对所有非 volatile long 字段访问埋点,在压测中统计“可疑中间值出现频次”
数据库层联动:若该 long 是主键或版本号,应用层写入前生成校验哈希(如
),落库时一并保存;读取后比对哈希,可捕获撕裂导致的逻辑错乱
longint64_t-XX:+UseCompressedOopslongvolatile longAtomicLong_Atomic longstd::atomic_int64_tcmpxchg8blong longvolatile0x00000001_00000001L0xffffffff_ffffffffL0x00000001_ffffffffL0xffffffff_00000001L-XX:+UnlockDiagnosticVMOptions -XX:+PrintAssemblymovmov %eax,0x8(%ecx)mov %edx,0xc(%ecx)AtomicLonglongvolatile longstd::atomicmemory_order_relaxed-mno-80387__attribute__((aligned(8)))SHA256(longValue + salt)