2026-05-15T02:19:17Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00227157 2025-01-19T12:15:25Z 1164:1867:11128:11311

永続メモリオブジェクトに対するエラー伝播保護機構 奥田, 健二郎 山田, 浩史 実装技術 不揮発性メモリは，電源断後にも情報を永続化することが可能なメモリでありソフトウェアでの活用手法が研究されている．しかしソフトウェアが永続化したメモリオブジェクトに伝播したエラーは永続化するという問題がある．永続化したエラーが原因となって一度ソフトウェアがフェイラに遭遇した際に，ソフトウェアが再起動を行った後にも参照され再びソフトウェアがクラッシュするという深刻な問題を引き起こす．これまでに，ソフトウェアがフェイラに遭遇した場合に，チェックポイント・ロールバックによってフォールトが発生する前の時点まで永続化オブジェクトの状態を巻き戻す研究や，パリティとチェックサム，揮発性メモリ上のバッファを介した永続オブジェクトの更新によってハードウェア障害や永続メモリオブジェクト更新時のソフトウェバグを検知して修正する研究がなされている．しかし，これらはメモリオブジェクトをエラー伝播から保護することができない．そこで本研究では，永続メモリオブジェクトをエラー伝播から保護する機構を提案している．ソフトウェアが使用する永続メモリオブジェクトを read-only で管理しエラーが書き込まれないようにする．ただし，ソフトウェアの正常な永続メモリオブジェクト更新の際にはオブジェクトを一時的に writable で管理して更新を妨げないようにする．本研究では提案手法を memcached-pmem および CCEH 上に実装した. 提案手法による保護機能を確認するためフォールトインジェクションを行って永続メモリオブジェクトへ不正な更新を行う実験を行い，オブジェクトが確かに保護されていることを確認した．またマイクロベンチマークによって memcached-pmem ではオーバヘッドが最大で 2.7%，またマクロベンチマークによって CCEH ではオーバヘッド最大で 35.8% になることを確認した． 情報処理学会 2023-07-27 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/227157 2188-8795 AN10444176 研究報告システムソフトウェアとオペレーティング・システム（OS） 2023-OS-160 15 1 15 https://ipsj.ixsq.nii.ac.jp/record/227157/files/IPSJ-OS23160015.pdf application/pdf 1.3 MB 2025-07-27