Next: About this document
Up: No Title
Previous: Implementation : Synchronous message
![figure103](img9.gif)
Figure:
- Processes : Concurrency and non-determinism
- Multiple threads of control : need mutual exclusion and synchronisation
- Interaction via (1) Shared Data, or (2) Message Passing
- Busy Wait primitives = locks, flags to obtain mutual exclusion
- Semaphore : Binary and general
- Semaphore operations : P and V (share data, access control and mutual exclusion)
- Monitors
- Message Passing : SEND and RECEIVE primitives
- Message Passing : Synchronous (blocking) or Asynchronous (non-blocking)
- Message Passing : Designators : Mailboxes, Sockets, Ports (static or dynamic)
Omer F Rana
Tue Feb 11 19:19:52 GMT 1997