μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装
スポンサーリンク
概要
- 論文の詳細を見る
μITRON4.0仕様では新たに「ミューテックス」機能に関する規定が追加された.これは排他制御に伴う「優先度逆転現象」の防止に有効とされる優先度継承・上限プロトコルをサポートする排他制御機構である.同仕様では原義の優先度継承・上限プロトコルに忠実な「厳密な優先度制御規則」に加え「簡略化された優先度制御規則」が定義され,どちらを採用するかは実装依存としている.このような仕様の有効性及び妥当性の検証,制御規則の選択基準の提供を目的として,実カーネル上に両者の制御規則のミューテックスを実装し,優先度制御規則による性能の差異を定量的に評価した.結果,タスクによるミューテックスのロックがネストするような環境においては,簡略化規則の採用によってオーバーヘッド増加の抑制が可能であった.
- 社団法人電子情報通信学会の論文
- 2002-02-26
著者
関連論文
- 車両制御システムのためのセンサデータ統合管理方式の検討(データ工学,Web情報システム)
- 2.ソフトウェアとハードウェアの協調による組込みシステムの消費エネルギー最適化(未来を切り拓く最先端VLSIテクノロジー)
- 車載用通信プロトコル(スケーラブルCAN)開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (ディペンダブルコンピューティング)
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用 (コンピュータシステム)
- μITRON4.0仕様のオーバーランハンドラ機能の実装と評価
- SpecC言語に基づくシステムレベル設計手法
- アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析(ソフトウェア開発支援,システム開発論文)
- コンポーネントシステムを用いた組込みシステム向けアクセス制御機構(組込みシステム,システム開発論文)
- ITRONデバイスドライバ設計ガイドラインの移植性と評価
- SpecC言語に基づくシステムレベル設計手法
- SpecC言語に基づくシステムレベル設計手法
- 対称型マルチコアシステムのエンジン制御ソフトウェアへの適用
- Simultaneous Allocation and Binding Considering Multiplexers in High-Level Synthesis
- UMLモデルのC言語実装におけるTECSの適用事例
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- AndroidプラットフォームにおけるDalvikバイトコードのCPU負荷量の解析
- マルチプロセッサ対応RTOSを対象としたテストシナリオ記述法とテストプログラム生成ツール
- オフセット付きCANメッセージの正確な最大遅れ時間解析
- 交通事故シナリオに基づく予防安全システムのシミュレーション分析
- Integrated Scheduling in a Real-Time Embedded Hypervisor
- DUOS:車載ECU統合向けRTOSフレームワーク
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- RTOSのテスト自動生成システムに関する一考察
- マルチプロセッサ対応RTOSのテスト開発
- タスクマイグレーション手法のエンジン制御ソフトウェアへの適用
- 時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
- 車載ECU統合向け異種OS間通信ミドルウェア
- 実行トレースマイニングを用いたタスク内DVFSに有効なチェックポイント抽出手法
- DUOS:車載ECU統合向けRTOSフレームワーク
- 分散リアルタイムシステムの端点間処理における応答時間の確率的解析
- 車載ECU統合向け異種OS間通信ミドルウェア
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 3-215 コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育((25)高度専門技術者教育・社会人のための大学院工学教育,口頭発表論文)
- マルチプロセッサ環境におけるマイグレート可能タスクの導入
- μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装
- マルチプロセッサ環境におけるマイグレート可能タスクの導入
- μITRON4.0仕様リアルタイムOSにおけるミューテックスの実装
- ITRON仕様OSのマルチプロセッサ拡張におけるデッドロック回避の手法
- ITRON仕様OSのマルチプロセッサ拡張におけるデッドロック回避の手法
- 第18回実時間システム国際会議(RTSS'97)の参加報告
- 組込みシステムにおける低消費エネルギー志向の効率的なスラック時間の導出
- エンジン制御システムのためのリアルタイム性検証手法(システムソフトウェアの新しい潮流)
- RMA手法のエンジン制御システムへの適用に関する研究
- RMA手法のエンジン制御システムへの適用に関する研究
- リアルタイムOSと Java 実行環境の統合アーキテクチャJTRON2.1 仕様の策定とその評価
- I/Oブロッキングを考慮したスケジュール可能性の解析手法に関する研究
- リアルタイムシステムのための正規表現を用いたログ検索システムの構築とその評価
- 組み込みシステム開発環境の現状と動向
- コストと品質・信頼性のトレードオフを再考しよう(インタラクティブ・エッセイ)
- 再コメント (インタラクティブ・エッセイ)
- 組込みソフトウェア分野における産学間のギャップを埋めよう (インタラクティブ・エッセイ)
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- 中断可能なキューイングスピンロックのハードウェア実装と評価
- SpecCによるソフトウェア記述の実装記述への変換(仕様記述による実装)
- リアルタイムOS上でのQoS制御手法の検討 : 処理モード方式を用いたQoS制御とリアルタイムOSによるQoS制御支援機能
- リアルタイムOS上でのQoS制御手法の検討 : 処理モード方式を用いたQoS制御とリアルタイムOSによるQoS制御支援機能(実時間処理に関するワークショップ(RTP2003)情報処理学会システムLSI設計技術研究会との合同ワークショップ : OS,GC)
- クロス開発環境におけるホスト/ターゲット処理一体記述の提案とデバッグ環境への適用(システムソフトウェアの新しい潮流)
- I/Oブロッキングを考慮したスケジュール可能性の解析手法に関する研究
- リアルタイムシステムのための正規表現を用いたログ検索システムの構築とその評価
- ITRONデバッギングインタフェース仕様における標準化アプローチとその適応性に関する評価システムソフトウェアの新しい潮流
- ITRONデバイスドライバ設計ガイドラインの移植性と評価
- Mixed Fixed and Proportional Resource Share Allocation Algorithm
- エンジン制御システムの解析手法に関する研究
- マルチプロセッサ環境におけるマイグレート可能なタスクの導入
- オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張
- CANメッセージのオフセット決定手法
- バス調停の遅延時間見積もりのための確率的数学モデル
- バス調停の遅延時間見積もりのための確率的数学モデル
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- DEPSプロファイルの評価法とそれを利用したチェックポイント選定
- 組込み向け高信頼デュアルOSモニタのマルチコアアーキテクチャへの適用
- 組込み向け高信頼デュアルOSモニタのマルチコアアーキテクチャへの適用
- リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ
- リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構
- マルチプロセッサ環境におけるタイミング依存のシナリオを実行可能なシミュレーション機構
- 機能分散マルチプロセッサリアルタイムシステムにおけるマイグレート可能なグローバルタスクの導入
- 消費エネルギーを意識した可逆圧縮データ受信
- 消費エネルギーを意識した可逆圧縮データ受信
- マルチプロセッサ対応RTOSに対するAPIテストの実施
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- マルチプロセッサ対応RTOSに対するAPIテストの実施
- テストプログラム生成ツールのフロントエンドプロセッサの開発
- マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
- ハードウェアの振舞いを考慮したスピンロックのモデル検査
- ハードウェアの振舞いを考慮したスピンロックのモデル検査
- ストリーム処理を用いた車々間通信データのフィルタリング方式