Navigating Channels
When life gives you no global variables, use message passing, the other data-sharing mechanism. Message passing in Occam happens through channels.
-
Channels are unidirectional. If you send a message through a channel within a process, you’re prohibited from receiving a message from that same channel and vice versa.
-
Channels are exclusive, allowing for one-to-one communication. Multiple processes cannot send or receive from the same channel simultaneously.
-
Channels are synchronous, meaning the sending and receiving processes must have started the send and receive operations, respectively, before the communication can take place.
-
Channels are semi-structured, enabling you to send individual bytes or more complex data structures ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access