Systemic solutions to deadlock in FMS
Gang Xu, Wu Zhi Ming · 2004
In order to solve deadlock in FMS, an integrated design method for FMS is presented. This method is based on deadlock free scheduling, deadlock avoidance algorithm and deadlock detection and recovery. Deadlock is resolved from views of scheduling and controlling, which is a complete resolution to deadlock. In scheduling, deadlock free scheduling is applied. In the on line control, deadlock avoidance algorithm is used in the controller, which is an improvement and modification of the Banker's algorithm. This algorithm is verified with model checking tools: SPIN. The advantage of this work lies in the complete solution to deadlock for FMS. This solution can control deadlock while preserving the system performance.