問題 (2):  Migration Safe Point

実行中断されたスレッドの状態が一貫していることは期待できない。
状態: プログラムカウンタ, スタック, フィールド
バイトコード命令の実行途中で中断されてinconsistentに...
migration safe point で実行中断されねばならない。
e.g. バイトコード命令の境界

現在の解決策
nonpreemptive(cooperative)なスレッドのスケジューラを用いる。
i.e. green threads
将来の解決策
code patching や polling (デバッガの技法) で、preemptive スケジューラでも migration safe point での中断を保証。
ResearchVM(Sun)はすでにGC safe pointでの中断を達成。