As a mobile host moves, the proxies and MSSs communicate with each other.
Phones can now request the token to their immediate MSS.
Bug fix: requests are updated to indicate which proxy contains the phone.
Phones receive tokens and print a message.
MSS forward a token request to their proxy.
MSS are queries by the proxy to determine if a phone is within their jurisdiction.
MSS serve tokens to the phone.
TokenRequests are now printed as a tuple <Phone, Proxy_of_Phone>
Proxies now have a flag is_serving_requests to prevent livelock from all other proxies by having mobile hosts travel to the proxy with the token and make a request before it extinguishes its grant queue.
Proxies append requests to their request queue.
When a proxy is progressed, it either copies the request queue to the grant queue if it has just received the token, it serves a request from the grant queue, or it passes the token to the next proxy.
Proxies must search their local MSSs for the presence of the phone, as specified by the algorithm.
When the Ctrl+PHONE_LABEL is pressed, that phone makes a request to their local MSS for the token. It is not served automatically.