A New Synchronization Mechanism called "Forcing Expression" and its Implementation

スポンサーリンク

概要

• 論文の詳細を見る

• A new synchronization mechanism -forcing expression- is proposed. Forcing expressions describe the behavior of critical sections by denoting the allowable combinations of processes and data concerning the sections. and cooperation problems can be treated equally be forcing expressions. Forcing expressions are high level synchronbation mechanisms, but can be implemented by simpler synchronization primitives such as .binary semaphore, cause/await and enq/deq operations. The definition and the implementation details of forcing expressions are described.

• 一般社団法人情報処理学会の論文
• 1983-11-20

著者

• Segawa Kiyoshi

  Department Of Mathematics Waseda University

関連論文

• A New Synchronization Mechanism called "Forcing Expression" and its Implementation

スポンサーリンク