組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
スポンサーリンク
概要
- 論文の詳細を見る
本研究室ではOSの保守性や開発効率を、主に保護利用してを向上させるため,マイクロカーネル構成を採用した組込向けマイクロカーネルOS Lambdaの設計,実装を行っている。組込システムでは様々なプロセッサが使用され、また、様々な条件をアプリケーションが要求するために、保護、とくにメモリ保護の実装に注意を払う必要がある。本稿ではこれらのことを考慮し、組込向けメモリ保護フレームワークの提案を行い、またLambdaのメモリ管理の実装について説明する。
- 2002-02-14
著者
-
中西 恒夫
奈良先端科学技術大学院大学情報科学研究科
-
久住 憲嗣
九州大学システムlsi研究センター
-
中西 恒夫
九州大学大学院システム情報科学研究院
-
福田 晃
九州大学システム情報科学研究院
-
北須賀 輝明
九州大学システム情報科学研究
関連論文
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (ディペンダブルコンピューティング)
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (コンピュータシステム)
- 自動並列化コンパイラの統一的中間表現とインターフェースを用いたコード変換の実装
- 分枝限定法を用いたプログラム分割の下界に対する考察
- 統一的中間表現を用いた自動並列化コンパイラの実装 : ソースコードから統一的中間表現への変換
- プロダクト・ライン開発方法論に学ぶ整理と再利用 製品のシリーズ展開を考えよう (特集 要求仕様のまとめ方からソフトウェアの品質確保まで トラブらない,バグらない 組み込み製品開発技報)
- ドメイン特化型開発における自動化テストプロセスの提案 (ディペンダブルコンピューティング)
- ドメイン特化型開発における自動化テストプロセスの提案 (コンピュータシステム)
- ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- フィーチャモデル自動描画アルゴリズムの提案と実装
- 特集「組込みシステム工学」の編集にあたって
- シリコンシーベルト福岡のシステムLSI設計人材育成 : 社会人教育
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入
- フィーチャモデル自動描画アルゴリズムの提案と実装
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 配列参照パターンによるプログラム並列化・最適化支援
- 並列化支援のためのデータ依存の3次元視覚化
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- 目的コードサイズ縮小のための短形式命令サブセットの最適構成
- ソフトウエアシミュレーションによるシステムLSI設計・検証ツールの評価
- FPGAによるゲノムシーケンス解析専用プロセッサの設計
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (ディペンダブルコンピューティング)
- 放送による車載機器向けソフトウェア差分更新方式 (ディペンダブルコンピューティング)
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (コンピュータシステム)
- 放送による車載機器向けソフトウェア差分更新方式 (コンピュータシステム)
- 剰余区間演算の誤差削減方法 : (データフロー依存解析への応用)
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- 辞書式コード圧縮支援機構の遺伝的アルゴリズムによる最適化
- 2000-ARC-139-24 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成
- 汎用OSのアプリケーション特化の半自動化
- 汎用OSのアプリケーション特化の半自動化
- 特定用途のための汎用OSのサイズ縮小に関する考察
- 特定用途のための汎用OSのサイズ縮小に関する考察
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- Android携帯端末アプリケーション向け消費電力プロファイリング手法
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
- 放送による車載機器向けソフトウェア差分更新方式
- 放送による車載機器向けソフトウェア差分更新方式
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 移動計算機を含むPeer-to-Peer情報共有環境における位置管理方式(マルチメディアコミュニケーションシステム)
- 移動計算機環境における位置情報管理システムの設計と構築
- 移動計算機環境における位置情報管理システムの設計と構築
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムにおけるオンチップ/オフチップメモリアーキテクチャを対象とした省電力ページングアルゴリズム
- 組み込みシステムを対象としたメモリ管理
- 組み込みシステムを対象としたメモリ管理
- 無線環境に適した移動計算機位置情報管理機構の評価
- 無線環境に適した移動計算機位置情報管理機構の評価
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- 整数計画問題としてのループ並列実行時間の下限算出問題
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
- 組み込み用マイクロカーネルOS lambda
- 組み込み用マイクロカーネルOS lambda
- 周期性を有する配列参照パターンの解析手法について
- セル位置情報に基づくアドホックネットワークルーティングの評価
- セル位置情報に基づくアドホックネットワークルーティングの評価
- 省電力指向符号化アルゴリズムとその予備評価
- メタコンピューティング環境における対話型アプリケーションHMMerのスケジューリング
- メタコンピューティング環境における対話型アプリケーションHMMerのスケジューリング
- メタコンピューティング環境を用いたポストゲノムアプリケーションHMMerの高速化に向けて
- 省電力指向符号化アルゴリズムとその予備評価
- 省電力指向可変レベルアドホックネットワークルーティングの評価
- 省電力指向可変レベルアドホックネットワークルーティングの評価
- 2000-HPC-82-17 学振MIRAIコンパイラにおける剰余区間伝播の設計
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
- GPS/QZSS測位の精度改善のための一手法
- ソフトウェアFMEAの一手法とプロダクトライン開発におけるその利用