Summary of IPC

  
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)