2026-03-15T11:19:07Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00214655 2025-01-19T16:31:49Z 6504:10735:10736

動的アップデートのための組み込み用仮想マシン 本多, 進之介 コンピュータシステム WSNにおける既存の研究では、マルチスレッドで共有リソースを利用する場合、アプリケーション側で排他制御を行う必要があるため共有リソースの安全は保証されない。これに対し先行研究では、排他制御をOSが行うことで安全を保証するR2OSを提案した。しかし、R2OSではメモリ操作が可能なため、安全に実行する仕組みが必要である。本論文では、OS上で動作するアプリケーションとメモリ操作を分離するための仮想マシンを提案する。仮想マシンは、R2OSが備える機能と設計思想をサポートすることで共有リソースの安全性を担保する。また、動的アップデートを可能にし、仮想マシンのプログラムを記述するだけで実装が可能となる。 conference paper 情報処理学会 2021-03-04 application/pdf 第83回全国大会講演論文集 1 2021 89 90 AN00349328 https://ipsj.ixsq.nii.ac.jp/record/214655/files/IPSJ-Z83-6H-07.pdf jpn