高速かつ安全なオペレーティングシステム発展機構の研究・実装

快速安全操作系统开发机制的研究与实现

• 批准号: 10139213
• 负责人: 多田 好克
• 金额: $ 1.28万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139213/
• 关键词: カーネルの発展性; カーネルの拡張性; lkm:loadable kernel module; plkm:protected lkm; et:external thread; カーネル外カーネルスレッド

カーネル外で動作するカーネルモードスレッド(et:external thread)を提案し、その仕組みをlkm(loadable kernel module)として実現した。Unixカーネルとetとは、メタスケジューラによってCPU横取り可能のラウンドロビンスケジューリングを施される。そのため、lkmでは記述できなかった周期的な処理が、etを使ってサーバと同様の方法で記述可能となった。また、etはUnixシステムの外部で動作するため、少ないプローブ効果でUnixシステムの振舞いを観測することができ、etを使って動的にUnixシステムのチューニングを行うことも考えられる。また、本年度はetを活用するために必要なライブラリを整備した。特に・etの制御の放棄や終了のための基本的な関数・Unixのコンソールへの出力用関数・ユーザプロセスとデータの授受をするためのテバイスドライバを作成した。本年度の研究では、etを使ったカーネルの可視化も試みた。システムに存在するプロセスの状態を色を使って動的に表示するプログラムや、指定したプロセスの仮想アドレスのマッピング状態を表示するプログラムを作成した。これらのプログラムは、1)etを使ってカーネルの状態情報を取得する、2)テバイスドライバを通して情報をユーザプロセスに渡す、3)ユーザプロセスがXウィンドに描画する、という手順で可視化を行う。今までの可視化システムの実現法と違い、情報の取得は、ほぼ、実時間で行えるため、より実際の状態に近い断面が可視化できるようになったと考えられる。

The kernel module (or loadable kernel module) is implemented when the external thread is active. The Unix server is configured to enable the CPU to access the server's server and to enable the server to access the server.そのため、lkmでは记述できなかった周期的な处理が、etを使ってサーバと同様の方法で记述可能となった。The external actions of Unix systems are not easy to detect. The external actions of Unix systems are easy to detect. This year, we will continue to improve the quality of our products. The basic parameters of Unix's system are: This year's research is aimed at helping to visualize the future of the company. The status of a list exists, the status of the list is colored, the status of the list is specified, and the status of the list is displayed. 1) Get the status information of the product, 2) Get the status information, 3) Get the status information, and visualize it. Now, the visualization system is implemented according to the method, the information is obtained, the time is determined, and the status of the system is visualized.