The Application and Evaluation of Banker's Algorithm for Deadlock-Free Buffer Space Allocation in Flexible Manufacturing Systems

International Journal of Flexible Manufacturing Systems

Volumn 10, Issue 1, 1998, Pages 73-100

  Lawley, Mark ^a   Reveliotis, Spyros ^b   Ferreira, Placid ^c  

^a SCHOOL OF INDUSTRIAL ENGINEERING   (United States)

^b Georgia Institute of Technology   (United States)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

Banker's algorithm; Deadlock; Flexible manufacturing; Manufacturing system control

Indexed keywords

ALGORITHMS; COMPUTER OPERATING SYSTEMS; RESOURCE ALLOCATION;

AUTOMATED MANUFACTURING SYSTEM; BANKER ALGORITHM; BUFFER SPACE ALLOCATION; DEADLOCK; MANUFACTURING SYSTEM CONTROL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032003484     PISSN: 09206299     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1007969601583     Document Type: Article

References (17)

1. Araki, T., Sugiyama, Y., Kasami, T., and Okui, J., "Complexity of the Deadlock Avoidance Problem," Proceedings of the 2nd IBM Symposium on the Mathematical Foundations of Computer Science, IBM Japan, Tokyo, pp. 229-252 (1977).
2. Banaszak, Z. and Krogh, B., "Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows," IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, pp. 724-734 (December 1990).
3. Cho, H., Kumaran, T., and Wysk, R., "Graph-Theoretic Deadlock Detection and Resolution for Flexible Manufacturing Systems," IEEE Transactions on Robotics and Automation, Vol. 11, No. 3, pp. 413-421 (June 1995).
4. Coffman, E., Elphick, M., and Shoshani, A., "System Deadlocks," ACM Computing Surveys, Vol. 3, pp. 67-78 (June 1971).
5. D'Souza, K. and Khator, S., "A Survey of Petri Net Applications in Modeling Controls for Automated Manufacturing Systems," Computers in Industry, Vol. 24, pp. 5-16 (1994).
6. Fanti, M., Maione, B., Mascolo, S., and Turchiano, B., "Performance of Deadlock Avoidance Algorithms in Flexible Manufacturing Systems," Journal of Manufacturing Systems, Vol. 15, No. 3, pp. 164-178 (1996).
7. Haberman, A., "Prevention of System Deadlocks," Communications of the ACM, Vol. 12, No. 7, pp. 373-377 (July 1969).
8. Holt, R., "Some Deadlock Properties of Computer Systems," ACM Computing Surveys, Vol. 4, No. 3, pp. 179-196 (September 1972).
9. Hsieh, F. and Chang, S., "Dispatching Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems," IEEE Transactions on Robotics and Automation, Vol. 10, No. 2, pp. 196-209 (April 1994).
10. Lawley, M., Reveliotis, S., and Ferreira, P., "Design Guidelines for Deadlock Handling Strategies in Flexible Manufacturing Systems," International Journal of Flexible Manufacturing Systems, Vol. 9, No. 1 (January 1997a).
11. Lawley, M., Reveliotis, S., and Ferreira, P., "FMS Structural Control and the Neighborhood Policy: Parts 1 and 2," IIE Transactions, Vol. 29, No. 10, pp. 877-899 (October 1997b).
12. Leung, Y. and Sheen, G., "Resolving Deadlocks in Flexible Manufacturing Cells," Journal of Manufacturing Systems, Vol. 12, No. 4, pp. 291-304 (1993).
13. Reveliotis, S. and Ferreira, P., "Deadlocks Avoidance Policies for Automated Manufacturing Cells," IEEE Transactions on Robotics and Automation, Vol. 12, pp. 845-857 (November 1996).
14. Shoshani, A. and Coffman, E., "Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks," Proceedings of the 11th Annual Symposium on Switching and Automata Theory, pp. 225-233 (October 1970).
15. Silberschatz, A. and Peterson, G., Operating Systems Concepts, Addison-Wesley, Reading, MA (1991).
16. Walpole, R. and Myers, R., Probability and Statistics for Engineers and Scientists, 5th ed., Macmillan Publishing Company, New York (1993).
17. Wysk, R., Yang, N., and Joshi, S., "Detection of Deadlocks in Flexible Manufacturing Cells," IEEE Transactions on Robotics and Automation, Vol. 7, No. 6, pp. 853-859 (December 1991).