Ornamental Gardens - program
Ornamental Gardens - program
If we only start the Westgate thread and the Counter thread then the program makes no progress. This is because processes/threads are deterministic and execute in some sequential order, we have had to specify that a East arrival is received before an West arrival and so on.
In fact in a real system like the Ornamental Gardens we cannot know the order of arrivals from East and West. Arrivals are non-deterministic. To implement the Counter thread correctly, we need some method of providing non-deterministic execution within a process.
No Entry