腕木システムの一般化
スポンサーリンク
概要
- 論文の詳細を見る
Semaphore system proposed by E.W. Dijkstra is generally used for describing synchronization problem in concurrent process system. P-primitive is allowed to count down the value of a semaphore variable only when the pass condition is satisfied, while V-primitive is always allowed to count it up. In this sense, the semantics of these primitives are asymmetric. This paper proposes a new pair of primitives variable. Therefore, the semantics of these new primitives are considered to be symmetric. It is shown that the producer-consumer problem with a finite number of buffers can be conveniently described by using these new primitives.
- 一般社団法人情報処理学会の論文
- 1975-11-15
著者
関連論文
- 任意ビットレート下における動画像の動的QOS制御方法の提案
- 動画像の動的QOS制御方法の提案
- Keio-MMPにおける連続メディアオブジェクトへのアプロ0ーチ
- Keio-MMPプロジェクトにおける分散マルチメディア環境の構築
- 大特集「ソフトウェア製品生産管理」の編集にあたって
- 小特集「ソフトウェアツール 2 : 製造・評価・保守」の編集にあたって
- 地域通貨導入のための既存インフラを活用した支援システムの提案と実装(コミュニティ支援)
- 21世紀の大学教育 : 社会との接点のなかで (パート2)
- 自律分散型ATM-LSR「FLIP ROUTER」システムの構築
- 若い力で改革を : 徳田英幸君 (新常任理事の横顔)
- 第二回慶應インターナショナルエグゼクティブプログラム (KIEP '96)報告
- MKng: 次世代マイクロカーネル研究プロジェクト
- インターネットと情報処理教育
- マルチメディアにおける実時間処理技術の動向
- マルチメディアの現状と将来,その可能性
- マルチメディア-その可能性と支援技術-
- 4.超並列処理用オペレーティングシステムCOSとその設計 (重点領域研究 : 超並列原理に基づく情報処理基本体系)
- 3-3 教育( 情報ハイウェイの展開と利用)
- デジタルユニバーシティを目指して : 義塾の高度情報化政策のあり方 (マルチメディア)
- 分散マルチメディア環境のためのセキュリティ機構
- Keio-MMPにおけるConductor/Performerアーキテクチャの協調性能評価
- 分散マルチメディア統合環境Keio-MMPプロジェクトにおける連続メディア処理のためのソフトウェアアーキテクチャ
- Keio-MMPにおけるXウインドウシステムの実時間拡張方式
- 情報処理専門教育について コンピュータリテラシー教育の一事例
- 5. 事例 5.3 米国におけるプログラミング環境の開発 (<大特集>新しいプログラミング環境)
- UNIXの標準化とPOSIX
- ソフトェア開発環境 (<特集>ソフトウェア工学の現状と動向)
- UNIXの概要とその設計思想 (UNIX)
- 第8回ソフトウェア工学国際会議
- Gandalf システムにおける構文向きエディタALOE (エディタ)
- 高機能個人用計算機としてのPERQ (高機能ワークステーション)
- 高機能ワークステーションの応用 (高機能ワークステーション)
- 26. デッドロックへの対策法 (アルゴリズムの最近の動向)
- プログラム開発のためのオペレーティングシステムの機能
- 20. 並列処理言語 (プログラミング言語の最近の動向)
- 並列プロセスの制御問題とその応用
- "PV操作について"へのコメント
- Zohar Manna 著, 五十嵐 滋 訳, 『プログラムの理論』, A5版, 478ページ, 5,500円, 50年2月, 日本コンピュータ協会
- 腕木システムの一般化
- OS の基礎理論(3)
- OS の基礎理論(2)
- OSの基礎理論(1)
- 同期基本命令の実現について