著者

鮎川 力也 権藤 克彦 荒堀 喜貴

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D, 情報・システム (ISSN:18804535)

巻号頁・発行日

vol.95, no.2, pp.217-224, 2012-02-01

参考文献数

15

---

C言語のコンパイラ最適化器,ガベージコレクタ,及びファイナライザの相互作用によって誤解放の問題が生じ得る.この問題は.volatileなど,現在のC言語の機能では適切には解決できない.本論文では,この問題の適切な解決方法として新しい型修飾子strict_lifetimeを提案し,strict_lifetimeは保守性などの点で適切な解決方法であることを論じる.また,strict_lifetimeをGCCに実装し,CRubyに対する有効性を調査した結果,実装コストと実行コストが小さく,誤解放を防ぐ効果も高いという結果を得た.