Communication and Synchronization
Requirements:
- Support the port-automaton model.
- Disallow synchronization between processes except through ports.
- Simply binding scheme to accept reconfiguration in bounded time.
- Support fan-out. Single output port-multiple input port.
- Support multiprocessing.
- Allow communication between processes that may be executing at different frequencies.
Solution:
- Message system not good. Local and distributed shared memory used.
- Global and local state port variable tables.
- trade local synchronization by global consistency mechanism.
- Generalize shared memory protocol (SMP) to multiprocessing.