周期タスクを対象とした最悪割り込み遅延予測(オペレーティングシステム・システムソフトウェア)
スポンサーリンク
概要
- 論文の詳細を見る
本研究では、周期実時間タスクを対象にプリエンプションがデータキャッシュに及ぼす遅延を計算する手法を提案する。I/Oを含まない周期タスクについて実行周期、実行時間、およびスタート時間が既知であればタスク実行中のプリエンプションのタイミングを正確に求めることができる.このタイミング情報を利用してデータキャッシュのプリエンプション遅延を計算する。任意のタイミングで発生するプリエンプションを考慮する必要がないため、最悪なプリエンプション発生パターンの組み合わせを求める必要はない。理論的に求めたプリエンプションのタイミングで実際にプリエンプションが発生することはめったにない。よって、理論上のプリエンプション遅延と実際のプリエンプション遅延に誤差が生じる。タスクの最悪実行時間が実際の最悪実行時間より常に大きいことを利用し、プリエンプション遅延に誤差が生じたとしても理論上の実行時間より実際の実行時間が短いことを示す。提案手法を実現するため、任意のタイミングでプリエンプション遅延が計算できるツールを実装、評価し、スケジュール可能性解析において有用であることを示す。
- 一般社団法人情報処理学会の論文
- 2008-11-20
著者
-
石川 裕
東京大学大学院情報工学系研究科
-
山本 啓二
東京大学大学院新領域創成科学研究科
-
山本 啓二
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
松井 俊浩
産業技術総合研究所 デジタルヒューマン研究センター
-
山本 啓二
東京大学大学院情報理工学系研究科
-
石川 裕
東京大学大学院情報理工学系研究科
-
松井 俊浩
産業技術総合研究所
-
松井 俊浩
産業技術総合研
関連論文
- 分散ページングによる大規模仮想メモリ空間(クラスタ,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2007))
- ファイルサーバー独立な並列ファイルキャッシュ機構(ファイルシステム,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- 分散制御用リアルタイム通信Responsive Link
- ソフトウェアによる精密ペーシング方式を用いたTCP通信性能の改善((フォトニック)IPネットワーク技術, (光)ノード技術, WDM技術, 一般)
- Gigabit Ethernet NIC の性能評価
- NUMA並列型クラスタ上での効率的なスケジューリング(並列プログラミング/スケジューリング,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- マルチコアクラスタ向け並列ファイルシステムアーキテクチャ(HPC-13:ファイルシステム,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- Etheretによるクラスタ上での分散共有メモリOpenMP Omni/SCASHの性能評価
- 6.SCore型クラスタ
- 621 バイオニック人工膵臓の開発に関する研究
- マルチコアSHにおける複数カーネル実行機構の設計と実装(OS-2:カーネルとネットワーク,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- GridMPI^ Version 1.0の概要(HPC-10: 通信ライブラリ)
- RHiNETの高速通信ライブラリPMv2による評価
- RHiNETの高速通信ライブラリPMv2による評価
- 並列アプリケーション実行におけるTCP/IP通信挙動の解析 (インターネットコンファレンス2003論文集)
- グリッド上のコレクティブ通信アルゴリズム
- ストリーミング配信に対するソフトウェアペーシング方式の効果(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- ギャップパケットを用いたソフトウェアによる精密ペーシング方式(ネットワーク)
- MPIライブラリと協調するTCP通信の実現(ネットワーク)
- IBM pSeriesにおけるGridMPIの実装と性能評価(通信ライブラリ, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- IBM pSeries における GridMPI の実装と性能評価
- GridMPIのためのTCP/IP輻輳制御実装方式の検討(OS-3:ネットワーク)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- シングルCPU用 ART-Linux 2.6 の設計と開発
- デジタルヒューマン技術による人間システムのモデル化
- Human, the Weakest Link(日常生活にとけこむディジタルヒューマン)
- 高い移植性を持つ最悪実行時間解析手法
- テラスケールコンピューティングのための遠隔スワップシステムTeramem
- 周期タスクを対象とした最悪割り込み遅延予測(オペレーティングシステム・システムソフトウェア)
- 移植性の高い実行時間予測手法の設計と実装(ARC-7:性能予測,2006年並列/分散/強調処理に関する『高知』サマー・ワークショップ(SWoPP 高知2006))
- 実行時間予測ツールの設計と実装(ARC-5: 性能予測, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- GridMPI^の性能評価(HPC-6 : 通信ライブラリ)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 柔軟な負荷分散を可能にする分散型シングルIPクラスタ(OS-1 : 実行基盤)
- プライベートアドレスを有するクラスタ群のための高性能MPI通信リレー機構
- 移植性の高い最悪実行時間予測ツールRETASの設計と実装
- 移植性の高い最悪実行時間予測ツールRETASの設計と実装
- ヒューマノイド・ロボットのための実時間分散情報処理(実時間処理,組込システム及び一般)
- ヒューマノイド・ロボットのための実時間分散情報処理(実時間処理,組込システム及び一般)
- 分散ページングによる大規模仮想メモリ空間(クラスタ,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2007))
- SCoreクラスタ計算環境
- SMP環境におけるLinuxスケジューラの評価
- SMP環境におけるLinuxスケジューラの評価
- SFロボットのビジュアルなヒューマンインタフェース : 機動戦士ガンダムとマルチメディアディスプレイ
- 複数カーネル実行機構を利用したアプリケーション実行環境の設計と実装
- 複数カーネル実行機構を利用したアプリケーション実行環境の設計と実装
- MPI通信モデルに適した非同期通信機構の設計と実装(クラスタソフトウェア)
- MP1通信モデルに適した通信APIの設計と実装(HPC-7 : 通信ライブラリ)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- GridMPI-通信遅延を考慮したMPI通信ライブラリの設計(HPC-7 : 通信ライブラリ)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- WAN上の複数クラスタによる単一MPIアプリケーションの性能評価
- 移植性の高い最悪実行時間予測ツールRETASの設計と実装
- 移植性の高い最悪実行時間予測ツールRETASの設計と実装
- RHiNETによる共有メモリプログラミングのサポート
- PC間ネットワークによる共有アドレス空間を持つ並列処理システム
- 分散並列モンテカルロ木探索フレームワークの提案
- 超並列オブジェクトベース言語OCoreの並列計算機上での実装
- NUMA並列型クラスタ上での効率的なスケジューリング(並列プログラミング/スケジューリング,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- P-BusにおけるOSカーネル間通信機構の設計と実装(OS-2:カーネルとネットワーク,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- カーネル機能拡張のための抽象化レイヤP-Busの実装(セッション2:システム構成法)
- PBus : 柔軟なカーネル機能拡張のためのインタフェース(OS-3 : OS実装)
- 大規模メモリ空間の利用を支援する遠隔スワップメモリシステム(HPC-7 : データ管理)
- オフィス移動ロボットJijo-2 の音声対話システム
- 事情通ロボットの音声対話インターフェース
- 並列分散リアルタイム制御用レスポンシブプロセッサ
- ブラインド信号分離におけるPCAフィルタの効果について
- Integration of Real-world Interaction Functions on the Jiio-2 Office Robot (特集 RWC研究--実世界知能の実現を目指して) -- (第2部 実世界知能研究推進センターの最新の研究成果)
- ブラインド信号分離におけるPCAフィルタの効果
- サブスペース法と空間逆フィルタを用いた音源分離
- 事情通ロボットにおけるヒューマンインタラクション機能
- オブジェクト指向型ロボットプログラミング言語EusLisp(新しいソフトウェアの実現,サイバー増大号)
- PC間ネットワークによる共有アドレス空間を持つ並列処理システム
- PC間ネットワークによる共有アドレス空間を持つ並列処理システム
- マルチコア向け複数カーネル実行機構におけるデバイス共有
- マルチコア向け複数カーネル実行機構におけるデバイス共有
- ファイルサーバー独立な並列ファイルキャッシュ機構(ファイルシステム,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2009))
- 光インタコネクションネットワークを用いたコンピューテングクラスタの構想
- マイクロホンアレイを用いた音声認識方向辞書の精度が認識率に及ぼす影響
- 事情通ロボットによるオフィス環境における知的作業支援 (セッション3:情報統合)
- Windows NTクラスタ上でのMyrinetによる通信の実現
- C++テンプレートを使ったデータ並列ライブラリの効率化手法
- 分散環境におけるシームレス並列コンピューティングシステムの構想
- EusLispの幾何モデリング機能を用いた組立状態推論 (原子力用知能ロボット)
- OS開発のためのメニーコアハードウェアシミュレータの設計と実装
- ハードウェア同期機構を用いた超軽量スレッドライブラリ
- 耐故障分散ロック機構の設計と検証
- 広域分散環境を提供するHPCIネットワーク・認証・ユーザ管理支援基盤の設計
- 広域分散環境を提供するHPCI先端ソフトウェア運用基盤の設計
- 広域分散環境を提供するHPCIシステムソフトウェア基盤の設計概要と共有ストレージ構築
- ハイバネート中の仮想マシンに対する透過的アクセス機構
- メニーコア環境におけるキャッシュアウェア・オペレーティングシステムに向けて
- メニーコア環境におけるキャッシュアウェア・オペレーティングシステムに向けて
- ItaniumプロセッサによるSCoreクラスタ構築に関する検討(高性能計算及び一般)
- リアルタイムLinuxのための軽量割込み処理
- 厳密な周期タスク実行を支援する実時間Linuxカーネルの実装(OS-2 : 資源管理,2006年並列/分散/協調処理に関する『高知』サマー・ワークショップ(SWoPP高知2006)-研究会・連続同時開催-)
- User Mode Linux上における高速通信機構(仮想化)
- YAMPIIもう一つのMPI実装(HPC-6 : 通信ライブラリ)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- RWCPにおけるクラスタ開発記(計算機クラスタ)
- SCoreの紹介とインスト一ルの基礎知識
- HPCIのためのネットワーク・認証基盤(ネットワーク研究開発テストベッド運用・利用,一般)
- 高性能分散計算環境のための認証基盤の設計
- パーシャルメッセージロギングを改善する耐故障性実現フレームワーク
- パーシャルメッセージロギングを改善する耐故障性実現フレームワーク