This thesis presents a new synchronization mechanism called coordinator for protecting the shared resources and synchronizing the operations on resources.
Coordinator design has been influenced by the monitor and path expression. We intended to collect the merit of these mechanisms. Though programming a monitor is not a trivial task, it has the very simple concept from the view point of user. Path expression is poorly suited for representing conditional synchronization because only the admissible sequences of operation request are specified, and no synchronization code appears in the procedure body. However path expression allows the natural expression of schedules of operations in a process. Though path expression achieves the clear and simple representation at the expense of conditional synchronization. We take a compromise that representation is somewhat complicated than path expression, but coordinator is more expressive and can express the conditional synchronization.
Also coordinator supports the separation of synchronization and operation. Synchronization is achieved by quasi-concurrent guarded region and specialized coordinator statements, which implement the operation level scheduling. The flexibility of the control structure is illustrated by the solutions to the various versions of readers writers problem.
Some novel features of language constructs are adoption of guarded region to make a coordinator as an active entity, introduction of quasi-parallelism within coordinator by parallel guarded region, and passing of process id to enable the uncoupled execution.
본 논문에서는 공유하고 있는 자원을 보호하고 공유자원에 대한 operation을 동기화시키기 위한 동기화 구조로서 Coordinator를 제안하였다.
Coordinator는 현재 널리 사용되고 있는 Monitor의 장점인 사용자 입장에서 볼 때 개념이 간단하다는 점과 Path Expression의 장점인 표현방식이 간단하다는 점을 채용하고 있으며, 이들 2 동기화구조의 단점을 보완하기 위하여 Path Expression보다는 표현방식이 약간 복잡하여지나 표현력이 훨씬 좋아지도록 하였다. 또한 동기화 구조와 operation을 독립적으로 분리시킴으로써 동기화 골격을 자동생성하기 위한 기반을 마련하였다. Coordinator에서는 특별한 Coordinator 명령어와 병렬적으로 수행되는 guarded region에 의하여 operation 단위로 동기화가 이루어지며 제어구조의 유연성을 표출시키기 위하여 여러가지 형태의 readers-writers 문제에 대한 해결 방안을 제시하였다.
Coordinator에서 특기할만한 부분은 Coordinator를 능동적 개체로 표현하기 위하여 guarded region을 채용하였으며, parallel guarded region을 채택하여 Coordinator내에서 병렬성을 높혔으며, uncoupled execution이 가능하도록하기 위하여 invocation시에 process id를 지정하도록하였다. 또한 dummy operation을 사용하여 conditional synchronization이 가능하도록 하였다.
