Seungweon's Blog

Hoare Semantics.

Description.

1. Higher level construct than semaphores
2. A package of grouped procedures, variables and data i.e. object oriented
3. Processes call procedures within a monitor but cannot access internal data
4. Can be built into programming languages
5. Synchronization enforced by the compiler
6. Only one process allowed within a monitor at one time
7. Wait and signal operations on condition variables

(drafting)