著者

小嶋 奨 福田 浩章

雑誌

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

巻号頁・発行日

vol.2016-OS-138, no.20, pp.1-7, 2016-08-01

---

Software Defined Network(SDN) はネットワークをソフトウェアで定義することによって制御する技術である.SDN はパケットの転送機能を有する複数のスイッチと,パケットのルーティングを管理するソフトウェアを物理的に分離する.そして,両者を共通プロトコルで接続することで,ネットワークの機能をコントローラーで一元管理し,プログラムで柔軟に変更することができるため注目されている.SDN はスイッチとそれを制御するコントローラで構成される.コントーラがスイッチを制御するための標準プロトコルである OpenFlow では,スイッチはパケットが保持する情報のうち OSI 基本参照モデルのレイヤ 4 以下の情報に従った機能しか利用することができない.しかし,ネットワーク機能にはレイヤ 5 以上の情報を用いる次世代ファイアウォールや,L7 ロードバランサの持つ機能が存在する.これらのレイヤ 5 以上の情報に従った機能を利用する方法は,パケットをコントローラに送ることや,専用機能を有するネットワーク機器を配置することで実現できる.しかし,前者ではコントローラに頻繁にパケットを送る必要があるため通信速度の低下が発生し,後者では SDN の利点であるネットワーク構築の柔軟性を欠くこととなってしまう.そこで,本稿では,コントローラを介さずにスイッチでパケットのレイヤ 5 以上の情報に従った動作を行うための機構を提案する.本機構により,コントローラとの通信で発生する速度の低下を低減することが期待できる.

著者

斎藤 直人 山田 浩史

雑誌

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

巻号頁・発行日

vol.2016-OS-138, no.1, pp.1-9, 2016-08-01

---

仮想化技術を利用したデータベース管理システム (DBMS) の統合が実運用されている.DBMS はトランザクションをログ先行書き込みで実現しているものが多く,ログ先行書き込みはストレージへシーケンシャルに書き込むことで高速化している.しかしながら,DBMS の統合を行うと,複数の DBMS で発生したログ書き込みが同じディスク上の各 VM イメージ内の DBMS ログファイルを往復しながら書き込まれるためシーケンシャルに書き込みを行えない.本研究では,複数 DBMS で発生したログ書き込みをハイパーバイザで制御し,シーケンシャルに行う手法を提案する.提案手法では,複数の VM の各ディスクイメージに保存されていた DBMS のログファイルを1つに統合する.そして,複数 DBMS からのログ書き込みを制御し,統合されたログファイルへシーケンシャルに書き込む.提案手法を Xen 4.2.1,MySQL 5.6.17 に実装し,4 つの DBMS で同時にワークロード TPC-C を実行した.結果,各 DBMS のスループットの平均で 23%向上し,提案手法の有効性が確認できた.

著者

村田 直郁 川島 英之 建部 修見

雑誌

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

巻号頁・発行日

vol.2016-OS-137, no.8, pp.1-11, 2016-05-23

---

分散データベース管理システムにおいて外部キー制約や二次索引,実体化ビューの管理を行うための高性能な処理方式として Read Atomic Multi-Partition(RAMP) トランザクションがある.RAMP トランザクションは隔離性を緩和することで高性能化を実現した研究であるが,それを先進的デバイスによって高性能化する技法は未開拓である.そこで,本研究では高性能インターコネクトである InfiniBand を利用し,Remote Direct Memory Access(RDMA) の機能を用いて RAMP トランザクションを高速化する手法を提案する.まず,RDMA-Write による GET/PUT オペレーションの高速化手法として GET+/PUT+方式を提案する.続いて,RDMA-Read による更なる GET オペレーションの高速化手法として GET*方式を提案する.提案手法の評価のため,プロトタイプ In-Memory Key-Value Store を実装する.Yahoo! Cloud Serving Benchmark を用いた実験において,従来方式と比べて最大 2.67 倍の高速化を達成することを示す.

著者

伊波 立樹 東恩納 琢偉 河野 真治

雑誌

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

巻号頁・発行日

vol.2016-OS-137, no.11, pp.1-8, 2016-05-23

---

当研究室では処理の単位を Code Gear,データの単位を Data Gear を用いて並列実行を行う Gears OS を開発している Gears OS では並列実行をするための Task を Code Gear と Data Gear の組で表現する.Task の依存関係は Code Gear を実行するために必要な Input Data Gear と Code Gear で作られる Output Data Gear によって決定し,それにそって並列実行を行う.依存関係の解決などの Meta Computation の実行は Meta Code Gear で行われる.Meta Code Gear は Code Gear に対応しており,Code Gear が実行した後にそれに対応した Meta Code Gear が実行される.本論文では Gears OS のプロトタイプとして並列処理機構を設計し,CbC(Continuation based C) で実装する.

著者

Hiroshi Mine Taku Shimosawa Soki Sakurai Tadashi Takeuchi

雑誌

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

巻号頁・発行日

vol.2016-OS-137, no.14, pp.1-8, 2016-05-23

---

With online video editing systems, file servers supporting standard file sharing protocol and achieving high I/O performance with real-timeness are required to reduce the overall system cost. AVFS is a file system optimized for the efficient storing and access of video files. Samba is a widely used file server application and enables client terminals to access files via a network. Since Samba is not adapted to efficiently process accesses to video files using features provided by AVFS, modifications of Samba such as the addition of deadline information to I/O requests are required to benefit from AVFS. In this paper, we propose rt-Samba, the Samba-AVFS cooperation method composed of a Samba VFS module and an I/O surrogate daemon using real-time features provided by AVFS. Using this method, I/O access performance is improved while keeping the amount of modifications in Samba low. Furthermore, the standard CIFS protocol is preserved, allowing the use of unmodified editing stations for accessing files. Evaluation results of a Linux file server implementation of our proposed method show that rt-Samba achieves 3 times higher read throughput and 1.1 times higher write throughput keeping the storage I/O stability compared to an original Samba server accessing files on Ext4.

著者

杉本 洋輝 光来 健一 山口 実靖

雑誌

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

巻号頁・発行日

vol.2016-OS-136, no.3, pp.1-7, 2016-02-22

---

仮想化環境下において,HDD へのアクセスは二重のキャッシュ (ホスト OS ページキャッシュ,ゲスト OS ページキャッシュ) を介して行われる.このような二重キャッシュ環境ではホスト OS ページキャッシュへのアクセスに通常とは逆向きの負の参照の時間的局所性が存在することが実 OS を用いた検証で確認されており,ホスト OS にて通常の参照の局所性を期待している LRU は効果的に機能しないことが確認されている.また,キャッシュ管理手法としては LRU より FIX (キャッシュ内容固定) の方が性能が高いことがシミュレーションにより確認されている.本稿では,仮想化環境においてキャッシュ対象領域を固定化するファイルシステムを構築し,仮想化環境における I/O 性能の向上手法について考察する.

著者

中川 岳 川田 裕貴 追川 修一

雑誌

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

巻号頁・発行日

vol.2016-OS-136, no.15, pp.1-6, 2016-02-22

---

プログラムの実行単位であるプロセスは,CPU 時間,メインメモリといった種々のリソースを消費する.その中でも,利用可能なメインメモリ量はシステムの安定性に与える影響が大きい.そのため,ユーザは大量にメインメモリを使用するプロセスを把握し,必要に応じてリソース制限を行うなどして,利用可能なメインメモリを一定以上に保つことが望ましい.しかしながら,プロセスはときにユーザの意図しない,大量かつ急速なメモリ消費を行う.既存のオペレーティングシステム (OS) のリソース管理機構では,このような大量のメモリ消費によるシステムの不安定化を未然に防ぐことは難しい.システムでメモリリソースの枯渇が起こった場合に,動作中のプロセスを停止することによって,利用可能なメモリ量を確保するメモリ管理戦略も存在する.しかしながら,この戦略には,不安定化の原因ではないプロセスを誤って停止する問題もある.そこで本発表では,プロセスのメモリ消費のふるまいに基づいた,プロセスのリソース管理を提案する.この提案手法では,プロセスのメインメモリ消費の速度に着目し,問題のあるメモリ消費の予兆を検出する.問題のあるメモリ利用を行ったプロセスについては,スケジューリングから一時除外し,それ以上のシステムの不安定化を防止する.この手法を用いれば,これまで対処が難しかった,ユーザが意図しない,大量かつ急速なメモリ消費を検出することができる.また,その問題のあるメモリ消費に伴うシステムの不安定化を未然に防止することができる.本発表では,その提案手法の設計について議論する.

著者

広渕 崇宏 高野 了成

雑誌

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

巻号頁・発行日

vol.2015-OS-135, no.5, pp.1-9, 2015-11-17

---

次世代不揮発性メモリはリフレッシュ電力が不要である反面,書き込み時の消費電力が DRAM よりも大きいとされる.そこで,STT-MRAM と DRAM を搭載した計算機を想定して,仮想マシンに対して動的にメモリ割り当てを最適化するハイパーバイザを試作した.仮想マシンに対して透過的に,書き込みが頻出するページを DRAM に配置し,消費電力を抑制することを目指す.提案ハイパーバイザは,DRAM および MRAM から仮想マシンのメモリを割り当てる機構,軽量なメモリアクセスのトレース機構,ページマイグレーションを判断するアルゴリズム,DRAM と MRAM 間でページをスワップする機構からなる.Qemu/KVM に対して提案ハイパーバイザを開発している.本稿では Work-in-Progress として,現状のプロトタイプ実装を紹介する.簡易な実験を行った結果,提案機構が書き込みの多いページを DRAM へ動的に再配置できることを確認した.

著者

和田 健 山田 浩史

雑誌

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

巻号頁・発行日

vol.2023-OS-158, no.9, pp.1-11, 2023-02-14

---

Reboot-based Recovery は,ソフトウェアの再起動によって,コンピュータシステムを不安定な状態からリカバリするためのシンプルかつ強力な方法である.Reboot-based Recovery は,Unikernel と呼ばれる新しいタイプのオペレーティングシステムへの適用という課題に直面している.Unikernel は,OS の機能がライブラリのようにアプリケーションにリンクするライブラリ OS である.アプリケーションと Unikernel が密接に結びつくために,Unikernel のみの再起動にアプリケーションの再起動を伴うことになり,Unikernel に関係のないメモリの内容を消去し,再構築してしまう.本論文では,Unikernel のみの Reboot-based Recovery を効率的に行う VampOS を紹介する.VampOS は,Unikernel コンポーネント間のインタラクションを記録し,再起動したコンポーネントにそれらを再実行させることで,リンクされたアプリケーションの実行状態を維持したまま,Unikernel のコンポーネント単位での Reboot-based Recovery を行う.ソフトウェア若化を行う最適化されていない VampOS のプロトタイプを Unikraft 0.8.0 に実装した.プロトタイプを用いた実験により,実行時のオーバヘッドは最大で 13.6 倍であるものの,意図的に挿入したメモリリークのバグの影響を僅かなダウンタイムで緩和することを示した.

著者

荻野 良太 福山 将英 川島 英之

雑誌

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

巻号頁・発行日

vol.2023-OS-158, no.20, pp.1-6, 2023-02-14

---

本研究では高性能ハッシュ索引である Optimistic Cuckoo Hashing(OCH)をセキュアに実行するために Intel SGX 内部で動作する OCH を提案する.提案手法を設計,実装し,SGX で評価した.その結果,提案手法は 1 スレッド時に 80 万 ops,4 スレッド時に 220 万 ops の性能を示した.しかし,256 スレッド時にはその性能が 40 万opsに低下した.比較のために Enclave を使用しない Optimistic Cuckoo Hashing を評価したところ,1 スレッド時には 50 万 ops,4 スレッド時で 170 万 ops,256 スレッド時で 3300 万 ops だった.この性能劣化の原因を追究すべく mutex,memory access 速度,Enclave へのデータ受け渡し速度等を調査し,Enclave 内での並列メモリアロケーションがボトルネックであることを突き止めた.

著者

小森 工 本田 晋也

雑誌

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

巻号頁・発行日

vol.2023-OS-158, no.16, pp.1-9, 2023-02-14

---

組込みソフトウェアの大規模化・複雑化に伴い,高い信頼性を保ちつつ豊富な機能を実装する手法が必要とされている.プロセッサごとに機能を分割して実装する方法はコストや面積,電力等の観点から不利であるため,仮想化技術を利用して同一のプロセッサ上で複数のソフトウェアを動作させる試みが幅広く研究されている.特に ARM 社の TrustZone 拡張は仮想化との相性が良く,アプリケーションプロセッサにおいて仮想化に応用した例は多いものの,マイクロコントローラに対して適用した例は少ない.本研究では TrustZone 機能を実装した ARMv8-M アーキテクチャ上で動作する仮想化環境である SafeG-M を提案する.提案手法は既存のリアルタイム OS に小規模な変更を加えることで実現され,評価実験においてわずかなオーバヘッドで動作することが示された.

著者

荻原 湧志 萬 礼応 大矢 晃久 川島 英之

雑誌

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

巻号頁・発行日

vol.2023-OS-158, no.3, pp.1-8, 2023-02-14

---

ロボット用ミドルウェアの代表格である ROS (Robot Operating System) において,Transform Library (TF) ライブラリは各座標系間の変換情報を有向森構造で管理し,効率的な座標変換情報の登録,座標変換の計算を可能にした.ROS の中核的なパッケージであるにも関わらず,TF ライブラリには次の三つの問題があることがわかった.まず,非効率な並行性制御により,TF の有向森構造へのアクセスが完全に逐次化され,アクセスするスレッドが増えるに従ってパフォーマンスが低下する問題がある (P1).次に,データの鮮度よりも時間的整合性を優先するため,座標変換を計算する際に最新のデータを参照しないという問題がある (P2).最後に,有向森構造の変更によって座標変換の計算時に意図しないエラーが生じるという問題がある (P3).本論文では,データベースの並行性制御法における 2PL 及び Silo を応用することにより,P1 と P2 を解決した.これらの手法は,読み取りのみのワークロードにおいて従来手法の最大 429 倍のスループットを示し,読み書きを組み合わせたワークロードにおいて従来手法の最大 1276 倍のデータ鮮度となることを示した.

著者

牧野 青希 橘 直雪 大越 匡 中澤 仁

雑誌

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

巻号頁・発行日

vol.2022-OS-154, no.4, pp.1-8, 2022-03-07

---

クラウドサーバ型コンピューティングの普及に伴い,アプリケーションプログラムの実行にサーバレスアーキテクチャ(Function as a Service, FaaS)を採用できるようになった.この FaaS プラットフォームでは,一つの物理マシンの上で複数のユーザアプリケーションをホストし,アプリケーション同士の隔離のために Docker 等の Linux コンテナ環境や仮想マシンを用いることが多い.しかし,コンテナや仮想マシンの構築処理(コールドスタート)によるオーバヘッドは大きく,AR/VR/MR,自動運転車など,常に低遅延性を要求する用途で問題となる.その対処としてコンテナ・仮想マシンを常に準備状態にすることは,より多くのメモリ空間を消費し続け,ホスト可能なアプリケーション数の減少につながる.この問題の回避のために,コンテナに代わって WebAssembly を採用する試みがあるが,コンテナに比べて処理速度に劣る.そこで本研究では,準備状態のコンテナ環境を減らしながら短い応答時間を安定して実現する方式として,コンテナと WebAssembly を切り替えながら処理を行う手法を提案する.提案手法では,構築を含めたコンテナの処理時間,WebAssembly の処理時間をそれぞれ記録し,より早く応答できる方式を推測・選択する.これにより,コンテナのコールドスタートの問題,WebAssembly の処理速度の問題を同時に解決する.この提案手法のプロトタイプ実装における評価実験では,コンテナのみ・WebAssembly のみでの実行方式に比べて,常に適切な切り替えを行えること,応答時間に対するコールドスタートによる影響が減少すること,また準備状態で待機するコンテナ数が減少することが確かめられた.

著者

野澤 真伸 今村 智史 河野 健二

雑誌

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

巻号頁・発行日

vol.2022-OS-155, no.7, pp.1-8, 2022-05-19

---

異種プログラミング言語を併用することで,それぞれの長所を活かしてアプリを実装する場合がある.その際,異種プログラミング言語間でデータ構造を共有する処理が必要となる.データ共有を行うためには,データ構造を特定のプログラミング言語やマシンアーキテクチャに依存しない中立なフォーマットを経由してやりとりすることが一般的である.中立なフォーマットへの/からの変換をシリアライズ/デシリアライズといい,特に不揮発性メモリのような高速ストレージを媒介してデータ共有を行う場合,そのオーバーヘッドは無視できない.本論文では異言語間でのデータ共有高速化の手法を提案する.異言語間でのデータ共有を行う場合,あらかじめデータ共有を行う言語やアーキテクチャが特定できる場合も多く,そのような状況に特化した方式を示す.例えば,数値計算の前処理を Julia で行い,その後の計算処理を Python で行う場合などがある.このような状況では,1) 汎用性の高い中立なフォーマットを用いる必要がないため,シリアライズ/デシリアライズが簡略化できることに加え,2) ランダムアクセスが高速であるという永続メモリの特性を活かしたシリアライズ/デシリアライズ処理が可能となる.提案手法を Python と Julia 間のデータ共有に用い,Python と Julia に実装された従来のシリアライズ/デシリアライズ処理と比較したところ,Python から Julia にデータを送信する場合は,配列のシリアライズとデシリアライズがそれぞれ 1.57 倍と 3.03×106 倍,辞書のシリアライズとデシリアライズが最大でそれぞれ 2.38 倍と 1.23 倍の高速化が可能であることがことが確認できた.また Julia から Python にデータを送信する場合は,配列のシリアライズとデシリアライズはそれぞれ 3.26 倍と 4.06×105 倍,辞書のシリアライズとデシリアライズは最大でそれぞれ 1.78 倍と 14.4 倍の高速化が可能であることが確認できた.

著者

青田 直大 河野 健二

雑誌

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

巻号頁・発行日

vol.2018-OS-142, no.3, pp.1-7, 2018-02-20

---

ファイルシステムにおけるテール ・ レイテンシ (tail latency) は,サービス品質を保証する上での障壁となることが知られている.現在のファイルシステムにおける最適化は,アクセス性能を平均的に向上させることを主目的としているため,アクセス状況によってはすべての最適化が無効となり,テール ・ レイテンシが増大する傾向にある.テール ・ レイテンシが増大する状況は,メタデータの管理手法,最適化の手法,アクセスパターンによって異なってくる.本研究では,btrfs,ext4,XFS,F2FS という 4 つのファイルシステムを対象に,テール ・ レイテンシが増大する要因を定量的に分析した結果を示す.

著者

菊地 隆文 名取 廣 河野 健二

雑誌

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

巻号頁・発行日

vol.2020-OS-150, no.15, pp.1-8, 2020-07-23

---

現代の情報サービスは,分散システムが基盤となっている.分散システムにおいて,大規模な障害が発生すると,サービスの停止につながる.したがって,分散システムの信頼性を向上させることは重要な課題である.分散システムにおける障害の発生要因の 1 つに,パケット処理のテイル・レイテンシがある.例えば,ハートビートの遅延は,リソースモニタリングの遅延や障害の誤検知を引き起こす.このようなパケットの遅延は,ソフトウェアが要因となり発生することが報告されている.高速なパケット処理を可能とする技術として,DPDK や XDP が挙げられるが,他の割込みによる遅延や既存のシステムへの統合などの課題が残る.本論文では,オペレーティングシステム内において,パケット処理のテイル・レイテンシを削減するシステムを提案する.ハードウェア割込みハンドラ内に,安全にユーザーコードをロードし,パケット処理を可能とすることで,テイル・レイテンシを引き起こす要因を回避する.本システムの有効性を示すため,I/O 負荷がある状態において,パケットのエコープログラムを用いてラウンドトリップタイムを測定した.その結果,DPDK や XDP といった既存の技術と比較して,パケット処理のテイル・レイテンシを削減できることを確認した.

著者

市川 遼 坂本 龍一 中村 宏 並木 美太郎

雑誌

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

巻号頁・発行日

vol.2020-OS-148, no.3, pp.1-7, 2020-02-20

---

メモリアクセスのパターンを解析することは,アプリケーションのパフォーマンス改善において非常に重要である.しかしメモリアクセスは頻繁に発行され,そのログが膨大になってしまうため,実行時間に影響を与えずにトレースを得ることは困難である.そこで本発表では,ハイパーバイザと Intel Optane DC Persistent Memory を用いたメモリトレースシステムを提案する.BitVisor を拡張した LVisor によって,Optane DCPM の持つ高速な大容量ストレージを解析用途に利用する方法を検討した.

著者

中尾 鷹詔 久保田 智規 吉田 英司

雑誌

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

巻号頁・発行日

vol.2020-OS-148, no.7, pp.1-6, 2020-02-20

---

近年,動画データの増大が著しく,どのようにサーバやクラウドに転送・蓄積するかが課題となっている.また,ディープラーニング技術の進化に伴い AI による画像解析の需要が高まっている.そこで,我々は動画像を解析可能かつより小さなデータサイズに符号化する手法を研究している.本稿では物体検出手法の一つである YOLOv3 を対象として,AI が物体を検出するのに必要な領域を解析し,不要な領域のみ画質を劣化させる高効率な動画像符号化方式を提案する.本手法を用いることで,人が解析することを想定した符号化方式と比べて圧縮率と検出率が向上することを確認した.

著者

横山 遼 坂本 龍一 中村 宏

雑誌

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

巻号頁・発行日

vol.2020-OS-148, no.9, pp.1-9, 2020-02-20

---

複数の物理マシンにまたがって動作するマイクロサービスによるアプリケーションで,通信オーバーヘッドが問題となっている.物理マシン間通信削減のためマイクロサービスを少数マシンに集約配置すると,リソース使用量に偏りが生じ一部のマシンがボトルネックとなりスループットが低下しうる.本研究ではリソース使用量の複数マシンへの配分と物理マシン間通信の削減をアプリケーションに合わせたバランスで行う,マイクロサービスの物理マシンへの最適配置アルゴリズムを提案する.その後,既存のマイクロサービスアプリケーションにも容易に導入可能な最適化システムおよび評価環境を実装した.ベンチマークを用いた性能評価では,マイクロサービス動作環境のデファクトスタンダードである Kubernetes スケジューラと比較してより均一なリソース使用量配分および通信時間削減を果たし,スループット・レイテンシ共に改善を果たした.

著者

渡部 聡也 後藤 秀樹 山中 直道 鄭 俊俊 毛利 公一

雑誌

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

巻号頁・発行日

vol.2020-OS-148, no.6, pp.1-6, 2020-02-20

---

近年,様々な製品は,高機能,高性能化が要求されており,内蔵する組込み機器の数が増加している.内蔵する組込み機器が増加することにより,消費電力の増加やコストの増加,製品の内部スペースの圧迫,ネットワークの複雑化といった問題がある.この問題を解決するための方法として,複数の組込み機器で動作するソフトウェアを 1 つの組込み機器に集約する方法がある.しかし,複数のソフトウェアを 1 つに集約するとメモリ空間の競合やデバイスの競合といった問題が発生するため,複数のソフトウェアが互いに影響を及ぼさないように動作させる必要がある.複数のソフトウェアを動かす方法として,仮想化が用いられるが,仮想化ではエミュレーションによるオーバヘッドが発生する.また,仮想化で使用する VMM は規模として大きくなるため組込み機器の限られたメモリ資源を圧迫してしまう.以上の背景から本論文では,マルチコアプロセッサを用いて,複数の組込みソフトウェアを起動してハードウェアを直接割当てることでオーバヘッドを減らす制御基盤ソフトを提案し,提案した基盤ソフト上で複数組込みソフトウェアを動作させる機能について述べる.