2026-05-13T22:29:50Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00059917 2025-01-22T03:22:19Z 5471:5520:5522

A New Synchronization Mechanism called "Forcing Expression" and its Implementation A New Synchronization Mechanism called "Forcing Expression" and its Implementation Kiyoshi, Segawa Kiyoshi, Segawa 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. 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 eng journal article https://ipsj.ixsq.nii.ac.jp/records/59917 1882-6652 AA00700121 Journal of Information Processing 6 3 141 147 https://ipsj.ixsq.nii.ac.jp/record/59917/files/IPSJ-JIP0603003.pdf application/pdf 813.7 kB 1985-11-20