複合要因によるリソース誤解放を回避するための新しいCキーワードの提案と予備評価

摘要

コンパイラ最適化、CスタックをRootSetとみなすGC、Finalizerの3つの要因が重なると、まだ使用中のリソースに対する誤解放が発生しうる。 この誤解放は関数引数やローカル変数の生存期間を短くする最適化を適切に抑制すれば回避可能である。 コンパイラ依存、保守性の低下、記述忘れを回避しつつ最適化抑制を行うには新しいキーワードが必要だと我々は主張する。 新キーワードstrict_lifetimeを提案し、strict_lifetimeをGCCに実装した。 CRuby を用いて予備評価をした結果も述べる。