SumiTomohikoのWiki

• ocaml-3.11.0/byterun/major_gc.c

static int heap_is_pure;   /* The heap is pure if the only gray objects
                              below [markhp] are also in [gray_vals]. */

灰色のオブジェクトがすべてmarkhp以下であり、gray_valsの中にあれば、ヒープは純粋である。

• ocaml-3.11.0/markhp
• ocaml-3.11.0/gray_vals