交换数组元素时的写屏障问题：OCaml为何生成两次caml_modify调用？

为什么会出现两个写屏障？ #

OCaml的GC采用三色标记算法，caml_modify是写屏障的实现，核心作用是维护GC的正确性：当修改一个老代堆对象（比如数组）的引用，使其指向新生代对象时，必须通过写屏障记录这个修改，防止GC在标记阶段漏掉对新生代对象的追踪。

你的代码里的两次数组赋值操作，编译器无法在编译期确定以下信息：

• 数组本身是否属于老代对象
• 被交换的两个元素v_i、v_j是否属于新生代对象

为了保证GC的安全性，编译器会对每一次堆对象的引用修改操作保守地插入写屏障，不管操作是交换还是普通赋值，因此会生成两次caml_modify调用。

你提到的“非浮点数组会在GC标记阶段被遍历”是正确的，但这和写屏障的职责不冲突：数组被遍历是GC标记阶段对已有引用的扫描，而写屏障是处理引用修改的动态行为，两者是GC机制的不同环节。

如何避免写屏障？ #

可以使用OCaml标准库提供的Array.unsafe_set原语，它会跳过写屏障的检查逻辑，替换普通的数组赋值后，就能消除caml_modify调用。

修改后的代码示例：

let swap_array_elements (arr:string array) (i:int) (j:int) =
  let v_i = arr.(i)
  and v_j = arr.(j) in
  Array.unsafe_set arr i v_j;
  Array.unsafe_set arr j v_i

注意事项 #

unsafe_set的“unsafe”并非虚指，使用时必须确保以下任一条件成立：

• 目标数组是新生代对象（即刚分配不久，还没进入老代）
• 被赋值的元素不是新生代对象

如果违反上述条件，可能导致GC漏标新生代对象，进而引发内存错误或程序崩溃。

内容的提问来源于stack exchange，提问作者repeat