同期基本命令の実現について

概要

論文の詳細を見る
The synchronization primitives play an impoirtant role in an asynchronous control program system, and the problems in the implementation of these primitives are discussed. In the implementation procedure of these primitives, several operations should be indivisibly executed. The author investigated which part of the procedure must be considered as an indivisible operation, The solutions for the typical synchronization problems are given considering this investigation, and the correctness of these solutions is proved. The realization of indivisible operations is also an important problem. In order to realize these operations, it is necessary to prepare several hardware mechanisms corresponding to the system organization, and the problem in the usage of these mechanisms are also discussed.
一般社団法人情報処理学会の論文
1974-11-15