A fault-tolerant mutual exclusion resource reservation protocol for clustered mobile ad hoc networks

Resource reservation and mutual exclusion are challenging problems in mobile ad-hoc networks (MANET). Due to the dynamic characteristics of nodes in these networks, yet, few algorithms have been proposed. The other problem in these networks is link or node failure due to many reasons (e.g. running out of battery, hardware software crash, getting out of transmission range due to high mobility). Thus fault tolerance for these algorithms is another necessity which hasn't been completely accomplished. In this paper we proposed an algorithm which is completely fault tolerant (covers temporary and permanent faults). It also has the mutual exclusion property for critical resource reservations. The proposed algorithm uses three recovery processes to maintain the stable state for whole system. At the end we have proved the proposed algorithm's Safety and Liveness properties to show its integrity.