| 講演抄録/キーワード |
| 講演名 |
2008-08-01 09:00
複合要因によるリソース誤解放を回避するための新しいCキーワードの提案と予備評価 ○鮎川力也・権藤克彦(東工大) SS2008-21 |
| 抄録 |
(和) |
コンパイラ最適化、CスタックをRoot SetとみなすGC、Finalizerの3つの要因が重なると、まだ使用中のリソースに対する誤解放が発生しうる。この誤解放は関数引数やローカル変数の生存期間を短くする最適化を適切に抑制すれば回避可能である。コンパイラ依存、保守性の低下、記述忘れを回避しつつ最適化抑制を行うには新しいキーワードが必要だと我々は主張する。新キーワードstrict\_lifetimeを提案し、strict\_lifetimeをGCCに実装した。CRubyを用いて予備評価をした結果も述べる。 |
| (英) |
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. |
| キーワード |
(和) |
Garbage Collector / Optimization / / / / / / |
| (英) |
Garbage Collector / Optimization / / / / / / |
| 文献情報 |
信学技報, vol. 108, no. 173, SS2008-21, pp. 49-54, 2008年7月. |
| 資料番号 |
SS2008-21 |
| 発行日 |
2008-07-24 (SS) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
SS2008-21 |