機器組み込み用並行処理言語coroutine Cの設計とその処理系の実現
スポンサーリンク
概要
- 論文の詳細を見る
多様な実行環境が存在する機器組み込み用ボード・コンピュータにおいて並行処理(concurrent processing)機能を実現させるとき,通常ハードウェアに依存するようなリアルタイム・モニタ等や状態遷移法などの技法による記述が必要であるため,簡便に並行処理を行うことは難しい.そのため並行処理が記述しやすく,実行環境に依存せず並行処理を簡便に行えるようなシステム記述並行処理言語が必要である.本論文では,機器組み込み用並行処理言語coroutine Cを提案し,その基本的な処理系の作成と,そこにおける並行処理機能の実現方法を述べる。また,その応用例を紹介する.言語coroutine Cの並行処理方式の特徴は,(1)各タスクをコルーチン(coroutine)化し,コンパイラが実行時の処理時間を積算しながら自動的かつ妥当な場所にタスク切り替えコードを挿入する.(2)ターゲットCPUの載ったボードであれば実行時に特別なハードウェアは不要である.(3)タスクの切り替え点が実行前に決定されていることやハードウェアに依存せずにタスクを実行できることからシミュレータなどでデバッグすることが容易である.などの点である.
- 一般社団法人情報処理学会の論文
- 1987-01-15
著者
関連論文
- 無線Ad-Hocネットワークを用いた地域見守りシステムの現状と今後の計画(次世代ネットワーク,電力線通信,無線通信方式,一般)
- 無線Ad-Hocネットワークを用いた地域見守りシステムの開発と評価(無線,ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般)
- 無線アドホックネットワークを用いた地域見守りシステムについて(無線分散ネットワーク(WDN)特集セッション:招待講演,無線分散ネットワーク(WDN)特集セッション及び一般講演)
- 無線ネットワークを用いた地域見守りシステムにおける児童集中時のパケット抑制プロトコルの実装と評価(無線ネットワーク)
- ブリッジ型ファイアウォールシステムによる生産設備を含むネットワーク管理の実現(ネットワーク管理・設計,無線)
- 情報演習における苦手意識のバロメーターに基づく授業改善とその評価 (特集 次世代情報教育の構築に向けて) -- (情報教育環境)
- 出先機関向け税証明発行システムにおけるセキュアなプリンティングシステムの導入と評価(システムセキュリティ)
- セキュアなプリンティングシステムにおける出力プリンタ制限機能の拡張について(システムセキュリティ)
- 情報工学科学生に対するアルゴリズム的思考法教育の実践と評価(e-Learningと教育品質の保証・向上/一般)
- 社会人遠隔学習者に対する教育の質保証 : ICTを活用した包括的サポートシステム(e-Learningと教育品質の保証・向上/一般)
- 有限位相空間における等径的近傍について
- 有限位相空間における膨張・収縮処理とプリント配線パターン検査への応用
- 生産設備を含むネットワーク管理のためのARP Spoofingを用いた通信制御システムの開発と評価(ネットワーク管理/制御/設計)
- 遠隔地からの学内ネットワーク接続システムの開発と評価(SIP/NGN・一般)
- 無線ネットワークを用いた児童見守りシステムにおける消費電力を考慮した移動端末制御通信方式の提案(低消費電力化)
- 招待講演 無線アドホックネットワークを用いた地域見守りシステムについて (アドホックネットワーク)
- 改良した無線ネットワークプロトコルARIB STD-T67の実装と評価 : 近接中継機の重複パケット送信抑制(無線ネットワーク)
- 無線ネットワークプロトコルARIB STD-T67の改良 : 近接中継機の重複パケット送信抑制(ネットワーク一般)
- 無線ネットワークプロトコルARIB STD-T67の改良 : 高負荷マルチホップ環境下におけるパケット損失への対応(無線)
- 無線ネットワークを用いた地域見守りシステムにおける児童集中時のパケット抑制プロトコルについて(システム,マルチホップ,移動衛星通信,無線通信一般)
- 端末数が多い無線通信におけるアクセスプロトコルARIB STD-T67の評価と改良(システム,マルチホップ,移動衛星通信,無線通信一般)
- Web上のテスト問題出題システムの開発(Collaborationとagent技術/一般)
- Webを用いたドリル型CAIシステムによる大学講義とその評価
- 重畳ストリーミングシステム : ビットレートの変動による帯域への影響の軽減に向けて(トラヒック、性能評価,トラヒック、NW評価、性能、リソース管理・制御、トラヒックエンジニアリング、NW信頼性・レジリエンシ、一般)
- 様々なネットワーク環境に適応した通信方式を自動選択するVPNシステムの提案(ネットワークアーキテクチャ,一般)
- 遠隔地からの学内ネットワーク接続システムの提案と開発(ネットワークシステム,一般)
- 電子透かしを用いた認証システムの提案
- 多進SD数系におけるRSA暗号の高速化処理の提案
- 社会人遠隔学習者に対する包括的サポートの実践とサポート支援システムの開発 (e-Learningの実践と学習支援システム/一般)
- 社会人遠隔学習者に対するeラーニングを用いた質保証の実践と評価 (eラーニング環境のデザインと実践運用)
- 社会人遠隔学習者に対する包括的遠隔サポートの実践と評価 (e-learningの質保証/一般)
- AS-5-6 無線Ad-Hocネットワークを用いた高齢者安否確認システムの開発(AS-5.安全・安心な生活のための情報通信ネットワーク,シンポジウムセッション)
- 情報演習におけるエクセル強化の授業改善とその評価 : 2007年度,2008年度入学生の調査より(e-Learningと教育品質の保証・向上/一般)
- 高精細映像を用いた同期式遠隔講義の高度化--映像の撮影範囲変化による受講者の印象について (大学の情報教育/一般)
- 情報工学科学生に対するアルゴリズム的思考法教育手法の提案と実践 (大学の情報教育/一般)
- 7-213 信州大学インターネット大学院・大学の現状(オーガナイズドセッション「バーチャルユニバーシティ」)
- あるファジィ集合族のコンパクト性
- ある階層型ニューラルネットワーク集合のコンパクト性
- (73)信州大学インターネット大学院におけるCAIサーバの高信頼性化(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
- (72)個別の学習進捗に対応したe-Learning教材表示制御システム(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
- 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
- オフィスにおける既存システムとの連携によるセキュアなプリンティングシステムのサーバレス化の提案と評価(オフィスシステム,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- オフィスにおけるセキュアなプリンティングシステムの認証機能とユーザおよび機器のデータ管理機能の既存システムへの統合(オフィスシステム,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
- セキュアなプリンティングシステムのオフィスへの導入のための改良と評価(オフィスシステム,ライフログ活用技術,オフィス情報システム,情報通信マネジメント,一般)
- 無線Ad-Hocネットワークを用いた地域見守りシステム (アドホックネットワーク)
- 無線Ad-Hocネットワークを用いた地域見守りシステムにおける子機送信タイミング分散手法の評価(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 無線アドホックネットワークを用いた地域見守りシステムについて(無線分散ネットワーク(WDN)特集セッション:招待講演,無線分散ネットワーク(WDN)特集セッション及び一般講演)
- 無線アドホックネットワークを用いた地域見守りシステムについて(無線分散ネットワーク(WDN)特集セッション:招待講演,無線分散ネットワーク(WDN)特集セッション及び一般講演)
- センサーネットワーク端末の小型化と省電力化に関する提案と評価(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 無線ネットワークを用いた地域見守りシステムにおける送信プロトコルの改良とその評価(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク, NW安全性,及び一般)
- ET2009-80 組込みシステム開発演習における授業時間外学習を支援する遠隔実習システム(学習データの蓄積・分析・共有/一般)
- ET2009-72 Moodleにおける複数コース間のコンテンツ共有支援システムの開発(学習データの蓄積・分析・共有/一般)
- ET2009-71 Web教材への書き込み共有システムにおける更新追随処理の改善と評価(学習データの蓄積・分析・共有/一般)
- Verification of logic circuits using Mizar and its application to an adder circuit on a radix-$2^k$SD number (Topics in Information Sciences and Applied Functional Analysis)
- 音声・データ統合ネットワーク環境におけるスロットリングの性能解析
- ファジー集合論を用いた画像処理
- 5近傍におけるディジタル線分について
- 有限位相空間におけるディジタル線分について
- 離散空間における位相幾何学と表面検査における傷の検出への応用
- 電子透かしを用いた認証システムの提案
- 電子透かしを用いた認証システムの提案
- Correctness of adder algorithm using high-radix signed-digit number system and its adaptation to RSA cryptogram (Topics in Information Sciences and Applied Functional Analysis)
- 最適な通信方式を自動選択する仮想プライベートネットワークシステムの提案(オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- AS-3-12 無線Ad-Hocネットワークを用いたバスロケーションシステムの開発(AS-3.安全・安心な生活のための情報通信技術,シンポジウムセッション)
- AS-3-11 無線Ad-Hocネットワークによる地域見守りシステムの開発(AS-3.安全・安心な生活のための情報通信技術,シンポジウムセッション)
- AS-3-10 無線ネットワークを用いた地域見守りシステムの信頼性向上に関する提案(AS-3.安全・安心な生活のための情報通信技術,シンポジウムセッション)
- 個人認証をベースとした接続制限が可能な暗号化通信システムの開発
- 組織内各種情報管理のためのWebグループウェア活用へのLDAP応用
- スケジュール管理のためのデータ管理モデルに関する検討
- Webによるネットワーク管理支援ツールの開発
- Webグループウェアにおける組織内各種情報管理へのLDAPの適用と実装
- RSA暗号処理における剰余演算の高速アルゴリズムについて
- RSA暗号処理における剰余演算の高速アルゴリズムについて
- 機器組み込み用並行処理言語coroutine Cの設計とその処理系の実現
- 算術式計算における誤答分析システムとその評価
- 橈骨付近における超音波伝達特性の測定
- 信州大学インターネット大学院の経緯と現状
- 関数形言語とその入力・表現ツール : 新しい一般言語の提案
- 情報演習における苦手のバロメーター仮説に基づく授業改善とその稗価 (次世代情報教育の構築に向けて/一般)
- 情報演習における苦手のバロメーターに関する調査研究--アンケート結果に基づく仮説の構築 (eラーニング環境のデザインとHRD(Human Resource Development)/一般)
- ルーティング情報を用いない双方向匿名通信手法の提案(ネットワークモデルと通信プロトコル,インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- 11-328 信州大学IT大学院の現状 : 遠隔学習者に対する包括的サポートの試み(口頭発表論文,オーガナイズドセッション「e-ラーニング」-II)
- ブリッジ型ファイヤーウォールシステムとその遠隔制御方式について
- 「メモが書けるWebページ」を実現するシステムの開発と評価(教育におけるセキュリティ/一般)
- 情報工学科学生に対するアルゴリズム的思考法教育手法の改善 (情報教育の国際化/一般)
- 信州大学インターネット大学院計画について
- 信州大学バーチャル大学院計画について
- 6. プルーフチェッカを用いたLSI回路設計の正しさの検証 : 演算用,通信用LSI等 (情報通信の将来の基礎に向けて)
- AS-4-10 無線Ad-Hocネットワークを用いたバスロケーションシステムの開発(AS-4.安全・安心な生活のための情報通信ネットワーク,シンポジウムセッション)
- AS-4-9 無線ネットワークを用いた地域見守りシステムの性能改良について(AS-4.安全・安心な生活のための情報通信ネットワーク,シンポジウムセッション)
- スケジュール管理システムにおけるデータ管理モデルの検討
- プルーフチェッカーを用いた論理演算器の設計検証
- 画像処理に適した高速リアルタイム復号が可能な2値画像符号とその評価
- 微分方程式を用いた帯域フィルタ処理の高速化と変復調システムへの応用
- クロックモデルによるディジタル回路のタイミング検証法
- セルオートマトンの概念を用いた自己回復能力をもつ通信用バッファ
- ペトリネット評価への順序概念の導入とシステム検証について
- CASEツールとしての論理カラーペトリネット(LC-net)の能力
- クロックモデルによるデジタル回路のタイミング検証法