A Formal Model
redesign of Lamport’s Mutual Exclusion Algorithm:
n two-tier structure: most of the coordination between MSS only
n if MH wants to enter critical section, it contacts local MSS
n local MSS obtains permission to enter critical section, which it
passes on to requesting mobile
n if requesting mobile leaves cell, update status during handoff
(the model provides for “leave” messages when stations
disconnect)
n result: most communication limited to fast backbone, mobile
stations are allowed to disconnect and to doze off
using two-tier strategy is basically similar to
“application partitioning”