摘要
对操作系统进程死锁问题中的银行家模型进行了分析,重点讨论了其中的安全序列和安全状态问题,给出其形式化定义。对安全序列的实际意义进行了分析,指出了银行家算法的关键性问题在于安全序列的试探性产生。最后描述了银行家模型和安全状态检查的抽象算法,在此基础上利用回溯技术给出了一个全部安全序列搜索算法的具体实现。
This essay analyzed the banker＇ s algorithm model involved in the problems of process deadlock. It focused on the formalized definition of ,safe sequence and safe state, analyzed the practical significance of safe sequence, and pointed out the key was generation of safe sequence in banker＇s algorithm. Meanwhile, it described bankers＇ model and abstract algorithm of safe state checking. Finally, it provided the detailed realization of safe sequence search algorithm based on the backtracking.
出处
《武汉理工大学学报》
EI
CAS
CSCD
北大核心
2007年第6期114-117,共4页
Journal of Wuhan University of Technology
基金
国家自然科学基金(40751128)
中南民族大学科研基金(YZY06008)
关键词
进程
死锁
银行家算法
安全序列
process
deadlock
banker＇s algorithm
safe sequence
