OSカーネル用アスペクト指向システムKLASY

• Item type: Trans(1)
• 公開日: 2007-06-15
• タイトル: OSカーネル用アスペクト指向システムKLASY
• タイトル / 言語: en
• タイトル: KLASY: System for Source-based Binary-level Dynamic Weaving
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京工業大学情報理工学研究科数理・計算科学専攻
• 著者所属: 東京工業大学情報理工学研究科数理・計算科学専攻
• 著者所属: 東京工業大学情報理工学研究科数理・計算科学専攻
• 著者所属: 東京工業大学情報理工学研究科数理・計算科学専攻
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
• 著者名: 柳澤, 佳里; 光来, 健一; 千葉, 滋; 石川, 零
• 著者名(英): Yoshisato, Yanagisawa; Kenichi, Kourai; Shigeru, Chiba; Rei, Ishikawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文ではC 言語で書かれたOS カーネル用の動的アスペクト指向システムKLASY を提案する．他の類似のシステムと異なり，KLASY は関数実行だけでなく構造体メンバへのアクセスを選択（ポイントカット）して，コード（アドバイス）を実行させることが可能である．この機能により開発者がアスペクト指向を用いてOS カーネルをプロファイリングしたり，デバッグしたりすることが容易になる．構造体メンバアクセスをポイントカットできるようにするため，KLASY は我々が改造したC コンパイラを用いてOS カーネルをコンパイルし，拡張シンボル情報を出力する．拡張シンボル情報を用いることで，KLASY のウィーバはOS 実行中に構造体メンバアクセスが行われる箇所のアドレスを探し，アドバイスを実行させるようにすることができる．その際に，ローカル変数などの実行時コンテキストも利用することができる．我々はKLASY をGNU C コンパイラを改造してLinux上に実装し，実験を行った．その結果，本システムのオーバヘッドは小さいことが分かった．また，KLASY を用いてシステムの性能劣化の原因を調査したケーススタディを通して，本システムが現実の問題に利用可能であると分かった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose KLASY, which is a dynamic aspect-oriented system for OS kernels written in C language. Instead of other similar systems, KLASY enables developers to select not only executions of functions but also accesses to structure-members as pointcuts. This feature helps developers to profile and debug OS kernels. To let developers to select accesses to members of structures, we modified a C compiler to generate extra symbol information. The extra symbol information enables a weaver of KLASY to investigate an address where the member of the structure is accessed at run-time. The weaver inserts a hook to make kernel execute an advice when a thread reaches the member access. At that time, execution context can be obtained in an advice body. We implemented KLASY by modifying the GNU C compiler on the Linux to do some experiments. The results of experiments has shown that KLASY has little overhead. Our case studies to investigate performance bottlenecks of Linux kernel has also shown that KLASY is available for real problems.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 48, 号 SIG10(PRO33), p. 176-188, 発行日 2007-06-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会