文献

J-GLOBAL ID：201002225175046733   整理番号：10A1025958

AnTオペレーティングシステムにおけるLinuxのLKM形式ドライバのプロセス化手法

著者 (4件)： 島崎泰 (岡山大 大学院自然科学研究科) ,  山内利宏 (岡山大 大学院自然科学研究科) ,  乃村能成 (岡山大 大学院自然科学研究科) ,  谷口秀夫 (岡山大 大学院自然科学研究科)
資料名： 電子情報通信学会論文誌 D  (IEICE Transactions on Information and Systems (Japanese Edition))
巻： J93-D  号： 10  ページ： 1990-2000  発行年： 2010年10月01日 
JST資料番号： S0757C  ISSN： 1880-4535  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 様々な入出力機器の登場とともに,これらを制御するデバイスドライバの種類は増加している。このため,OSは多数のデバイスドライバが必要になり,OS開発の際,デバイスドライバの新規開発は大きな工数を要する。既存デバイスドライバを移植して開発工数を削減する場合,その品質を考慮して利用する必要がある。そこで,デバイスドライバをプロセスとして動作させることにより,OSの信頼性を高める手法が提案されている。本論文では,AnTオペレーティングシステムにおいて,LinuxのLKM形式ドライバをプロセスとして動作させる手法を述べる。更に,LKM形式のFDドライバ,Intel1GbEドライバ,及びRealtek1GbEドライバを取り上げ,プロセス化の工数と性能を評価した。(著者抄録)

シソーラス用語： *オペレーティングシステム ,  Linux ,  入出力制御 ,  再利用 ,  マイクロカーネル
準シソーラス用語： *デバイスドライバ

分類 (1件)： オペレーティングシステム  (JD03020J)

引用文献 (13件)：

• 奥野幹也, 片山徹郎, 最所圭三, 福田 晃, “UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現,”, 情処学論, vol.41, no.1, pp, 1755-1765, Jan.2000.
• Q.-L. Zhang, M.-Y. Zhu, and S.-Y. Chen,“Automatic generation of device drivers,” ACM SIGPLAN Notices, vol.38, no.6, pp. 60-69, June 2003.
• M. O’ Nils and A. Jantsch,“Operating system sensitive device driver synthesis from implementation independent protocol specification,” Proc. Design, Automation and Test in Europe Conference and Exhibition, pp. 563-567, March 1999.
• S. A. Thibault, R. Marlet, and C. Consel,“Domain-specific languages: From design to implementation application to video device drivers generation,” IEEE Trans. Softw. Eng., vol.25, no.3, pp. 363-377, May-June 1999.
• P. Chubb,“Get more device drivers out of the kernel!,” Linux Symposium 2004, vol.1, pp. 149-161, July 2004.

タイトルに関連する用語 (6件)： オペレーティングシステム ,  Linux ,  形式 ,  ドライバ ,  プロセス ,  手法