[論文レビュー] Communication model of emuStudio emulation platform

Peter Jakubco, Slavomír Šimoňák+1 more|arXiv (Cornell University)|Nov 30, 2010

Advanced Data Processing Techniques参考文献 2被引用数 4

ひとこと要約

本論文は、von Neumann型およびハーバード型アーキテクチャを含む多様なアーキテクチャをサポートする、emuStudioエミュレーションプラットフォーム向けのプラグインベース通信モデルを提示する。このモデルは、標準化されたインタフェースとコンテキストベースのモジュール間通信を用い、教育的および研究的用途に向けた柔軟で拡張可能なエミュレーションを可能にする。

ABSTRACT

Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer systems, configurable to the level of its components, represented by the plug-in modules of the platform. Development tasks still are in progress at the home institution of the authors. Currently the platform is exploited for teaching purposes within subjects aimed at machine-oriented languages and computer architectures. Versatility of the platform, given by its plug-in based architecture is a big advantage, when used as a teaching support tool. The paper briefly describes the emuStudio platform at its introductory part and then the mechanisms of inter-module communication are described.

研究の動機と目的

• 多様なコンピュータアーキテクチャをサポートする、柔軟で拡張可能なプラグインベースの通信モデルの設計。
• ユーザーがプラグインコンponentを選択・接続することで、エミュレートされたシステムを動的に構成できるようにすること。
• 機械語やコンピュータアーキテクチャの授業における教育的利用を可能にする、カスタマイズ可能でインタラクティブなエミュレーションの提供。
• CPU、メモリ、I/Oデバイスなどのプラグインモジュール間で相互運用性を実現する、標準化された再利用可能な通信プロトコルの確立。
• 将来の形式的検証や新しいコンピュータアーキテクチャへの拡張の基盤を提供すること。

提案手法

• 各コンponent（CPU、メモリ、I/Oデバイス）が標準化されたインタフェースを持つプラグインとして実装されるプラグインアーキテクチャを採用。
• モジュール間通信はコンテキスト交換を通じて実現：各プラグインは他モジュールとの相互作用を可能にするコンテキストオブジェクトを公開。
• データ転送にはJavaオブジェクト型を用い、デバイスコンテキストに定義された 'in' および 'out' 操作を介して双方向通信を実現。
• メインモジュールが仮想アーキテクチャの作成および接続ロジックを管理し、プラグインがシステム構造を直接変更できないようにする。
• メモリプラグインの間で一貫性を保つために、'read'、'write'、'showGUI' などの標準操作が定義されている。
• 本モデルはvon Neumannアーキテクチャを前提としているが、RAMマシンやBrainDuckといった抽象的実装を介してハーバードアーキテクチャもサポート。

実験結果

リサーチクエスチョン

• RQ1 プラグインベースのエミュレーションプラットフォームは、多様なコンピュータアーキテクチャにわたる動的かつユーザー設定可能なシステムエミュレーションをどのように達成できるか？
• RQ2 仮想化環境における異種プラグインコンponent間の信頼性があり拡張可能な相互作用を実現する通信メカニズムは何か？
• RQ3 標準化されたインタフェースモデルは、コンピュータアーキテクチャ分野における教育的および高度な研究的利用事例をどのようにサポートできるか？
• RQ4 モジュラーなエミュレーションフレームワークにおける拡張性と保守性を保証する設計原則は何か？
• RQ5 通信モデルは、実ハードウェアエミュレーションと抽象マシンモデルの両方をどの程度までサポートできるか？

主な発見

• emuStudioプラットフォームは、エミュレートされたコンピュータシステムの動的構成を可能にする、プラグインベースの通信モデルを成功裏に実装した。
• 通信モデルはコンテキスト交換を通じてコンponentsの接続を実現し、プラグインロジックとシステムトポロジー管理を分離した。
• プラットフォームは現在、8ビットアーキテクチャ（例：MITS Altair8800）および抽象マシン（例：RAMマシン、BrainDuck）をサポートしており、その多様性が裏付けられている。
• 'read'、'write'、'showGUI' などの標準操作により、メモリプラグイン間での一貫性ある振るまいが保証されている。
• データ型をJavaオブジェクトとして抽象化することで、'in' および 'out' 操作を介したデバイス間の双方向通信が実現されている。
• 本プラットフォームは、コンピュータアーキテクチャおよびマシン語プログラミングの授業で活用されており、教育的有効性が実証されている。