著者

瀬貫 真菜 石黒 健太 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2022-OS-155, no.5, pp.1-9, 2022-05-19

---

マルチテナント型のクラウド環境において,ハイパーバイザは仮想マシンの隔離と安全性を保証しているものの,ハイパーバイザにも多くの脆弱性が報告されており,特にデバイスエミュレータはその温床となっている.デバイスエミュレータはその複雑さから修正パッチの開発が容易ではなく,脆弱性の発見からパッチの適用までに長い時間を要することが多い.本論文では,デバイスエミュレータを対象に一時的に脆弱性を防ぐ手法を提案する.デバイスエミュレータの脆弱性を突く攻撃では,通常の I/O 処理では行われることのない I/O 要求を行うことが多い.そこで,脆弱性を突く不正攻撃に特有の I/O 要求を拒否する I/O フィルタの仕組みを導入する.I/O フィルタでは,特定の脆弱性を突くための特徴的な I/O 要求が記述でき,その記述に合致する I/O 要求を拒絶する.このフィルタはデバイスの内部構造を理解することなく記述可能であるため,修正パッチの作成より容易であることが期待できる.実際に CVE-2015-3456 (VENOM),CVE-2016-7909 など 4 個の脆弱性を防ぐフィルタの記述が可能であり,通常時の仮想マシンの動作を阻害することはなく,実行時オーバーヘッドも最大 8% 程度であることを示す.

著者

藤山 哲雄 石黒 健 太田 秀樹

出版者

国際ジオシンセティックス学会 日本支部

雑誌

ジオシンセティックス技術情報 (ISSN:18846637)

巻号頁・発行日

vol.18, no.3, pp.28-33, 2002 (Released:2011-07-19)

参考文献数

5

著者

森 吉昭 内田 善久 中野 靖 吉越 洋 石黒 健 太田 秀樹

出版者

公益社団法人 土木学会

雑誌

土木学会論文集 (ISSN:02897806)

巻号頁・発行日

vol.2001, no.687, pp.233-247, 2001

被引用文献数

3

---

大型重機により現場転圧された粗粒材料の高応力下での圧縮性状について検討を加えた. フィルダムロックゾーンの築堤時実測沈下データを整理し, 大型ダムのような高応力下では転圧された粗粒材料が弾塑性的な圧縮変形挙動をとること, 圧縮変形量が粒子サイズ, 粒度分布, 間隙比などの影響を受けて変化することを明らかにした. 実堤体の材料定数を, 供試体の粒子サイズに制約を設けた室内試験結果によって直接評価できないことを指摘し, 現場材料と室内供試体の材料粒度の違いに関する変形パラメータの補正方法を示した後, これを用いてあるロックフィルダムの築堤, 湛水工程を再現した応力変形解析を実施した. 解析結果は実測値と概ね良好な一致を示し, 提案手法の実務レベルでの適用性が確認された.

著者

安野 直樹 石黒 健太 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2019-OS-145, no.15, pp.1-6, 2019-02-21

---

仮想化環境では物理 CPU の個数よりも多くの仮想 CPU を利用することが一般的になっている.ゲスト環境は仮想 CPU がプリエンプトされることは想定せずに実装されているため,仮想 CPU のプリエンプトにより仮想時間の不連続性が発生する.スピンロック中などに仮想時間がとぎれると Pause Loop Exit (PLE) というイベントが発生し,仮想マシンモニタに通知が行われる.現状の仮想化環境では PLE が多発することがあることが知られており,本研究では KVM を対象にその要因を定量的に分析する.その結果,1) プロセッサ間割込み (IPI) 処理におけるバリア同期,2) スピンロックの獲得待ち,3) タイムスタンプベースの待機処理.という 3 つのケースで PLE が多発していることを示す.さらに,KVM では PLE の多発を避けるように仮想 CPU スケジューリングを行っているものの,現状では十分に機能していないことを示す.