Mostly-Concurrent Mark & Sweep GC のアルゴリズム