银行家算法中的安全序列分析  

Research on Safe Sequence in Banker's Algorithm

作　　者：帖军[1] 蒋天发[1] 

机构地区：[1]中南民族大学计算机科学学院,武汉430074

出　　处：《武汉理工大学学报》2007年第6期114-117,共4页Journal of Wuhan University of Technology

基　　金：国家自然科学基金(40751128);中南民族大学科研基金(YZY06008)

摘　　要：对操作系统进程死锁问题中的银行家模型进行了分析,重点讨论了其中的安全序列和安全状态问题,给出其形式化定义。对安全序列的实际意义进行了分析,指出了银行家算法的关键性问题在于安全序列的试探性产生。最后描述了银行家模型和安全状态检查的抽象算法,在此基础上利用回溯技术给出了一个全部安全序列搜索算法的具体实现。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.

关 键 词：进程 死锁 银行家算法 安全序列 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]