Tunele

• Richman - proces

• s_tunnel - tunel
• s_message - wiadomość

Proces się inicjalizuje i przechodzi w stan RESTING.

Proces czeka jakiś okreslony czas, a po nim zbiera ekipę i przechodzi w stan LOOKING_FOR_TUNNEL.

Proces wysyła wiadomość TUNNEL_REQ, aby dostać się do tunelu.

Jeżeli proces otrzymal TUNNEL_REQ to odpowiada TUNNEL_ACK:

1. Jeśli proces jest wewnątrz tunelu to odpowiada ID, kierunkiem i pojemnością tunelu,
2. Jeśli proces również szuka tunelu i ma większy priorytet to wstrzymuje zapytanie,
3. W kazdym innym wypadku proces wysyła id tunelu -1

Proces wysyłający TUNNEL_REQ musi zebrać wiadomości od wszystkich innych procesów, żeby mógł zacząć wybierać tunel.

Proces iteruje się po tunelach i na podstawie informacji z wiadomości TUNNEL_ACK określa, do którego tunelu może wejść:

1. Jeśli jest tunel, który jest wolny lub idzie w tym samym kierunku i ma wystarczającą pojemność to wchodzi do tunelu.
2. W momencie zajęcia miejsca proces zmienia stan na IN_TUNNEL i wysyła wiadomość TRIP oraz odpowiada na zaległe wstrzymane TUNNEL_REQ.
3. Jeśli nie uda się zająć miejsca w żadnym z tuneli to proces czeka na wiadomość typu TRIP_FINISHED

Proces wyznacza losowy czas, który określa jak długo będzie przechodził przez tunel.

Po wyznaczonym kwancie czasu wysyła TRIP_FINISHED i zmienia stan na IN_PARADISE.

Proces po pobycie w raju wyzancza jakiś czas, po którym zmienia stan na LOOKING_FOR_TUNNEL.

Kroki od 5 do 8 w drugą stronę (kierunek tunelu przeciwny).

Proces po upłynięciu czasu kończy podróż i resetuje się przechodząc w stan RESTING.