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

摘要

While a program is running, a false release of resources can occur if the program is compiled with some optimizations, and if the program uses a garbage collector and a finalizer. You can avoid the false release by manually and correctly suppressing some compiler optimizations that shorten the lifetime of variables. We are convinced that introducing a new reserved word is the best solution for this problem, which suppresses the optimizations automatically while avoiding compiler dependency, low maintainability, and incorrect manual suppressing of the optimizations. Therefore we propose a new reserved world "strict_lifetime" and implemented it in GCC. We also provide a preliminary evaluation using Ruby compiled with the modified GCC.%コンパイラ最適化、CスタックをRoot SetとみなすGC、Finalizerの3つの要因が重なると、まだ使用中のリソースに対する誤解放が発生しうる。この誤解放は関数引数やローカル変数の生存期間を短くする最適化を適切に抑制すれば回避可能である。コンパイラ依存、保守性の低下、記述忘れを回避しつつ最適化抑制を行うには新しいキーワードが必要だと我々は主張する。新キーワードstrict_lifhimeを提案し、Sthct_lifetimeをGCCに実装した。CRubyを用いて予備評価をした結果も述べる。