WEKO3
アイテム
システムコールのトランザクション化によるOSカーネルの信頼性向上
https://ipsj.ixsq.nii.ac.jp/records/2002121
https://ipsj.ixsq.nii.ac.jp/records/200212168dad33d-10de-4b3d-baa6-3aa2badf9728
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS25167010.pdf (3.3 MB)
2027年5月14日からダウンロード可能です。
|
Copyright (c) 2025 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, OS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-05-14 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | システムコールのトランザクション化によるOSカーネルの信頼性向上 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 東京農工大学 | ||||||||||
| 著者所属 | ||||||||||
| 東京農工大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Tokyo University of Agriculture and Technology | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Tokyo University of Agriculture and Technology | ||||||||||
| 著者名 |
水鳥,開斗
× 水鳥,開斗
× 山田,浩史
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | オペレーティングシステム(OS)はアプリケーションとハードウェアの実行を司り，OSカーネルがダウンしてしまうと稼働している全てのアプリケーションが動作不能に陥る．LinuxやWindowsといったOSカーネルに対する脆弱性の報告は今も後を絶たず，また，カーネルの脆弱性によりメモリ破壊が生じると，永続データの改ざんやシステム破壊などの未定義動作が生じうる．復旧には再起動を用いるのが一般的であるが，インメモリ処理を主体とするアプリケーションはその実行状態すべてを失うため，サービスのダウンタイムが長期化する．そこで本研究では，OSカーネルのメモリ破壊を防ぎ，継続動作を促進する機構を提案する．提案機構では，システムコールをトランザクション化し，最後にメモリオブジェクトへのアクセスをチェックする．アクセスチェック時にread/writeアクセス先があらかじめ定義されたオブジェクトのみだった場合にコミットし，そうでない場合には不正なアクセスがあったと判断してアボートする．アボート時にはそのシステムコールによる更新内容をロールバックすることでカーネルのメモリオブジェクトの整合性を保ち，システムコールのエラーとして返す．提案機構をxv6に実装した．実験の結果，不正なメモリアクセスを行うシステムコールの影響を無効化できた．また，xv6のテストプログラムであるusertestsを実行したところ，全体の実行時間は従来の約1.34倍であった． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10444176 | |||||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2025-OS-167, 号 10, p. 1-21, 発行日 2025-05-14 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8795 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
