Please choose your delivery country and your customer group
Synchronization primitives play an important 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 executed indivisibly. The author investigated which part of the procedure must be considered as an indivisible operation. The solutions for the typical synchronisation problems are given and the correctness of these solutions is proved. The realization of indivisible operations is also an important problem. In order to realise these operations, it is necessary to prepare several hardware mechanisms corresponding to the system organisation, and the problem in the usage of these mechanisms is also discussed.