作者：帖军; 蒋天发进程死锁银行家算法安全序列
摘要：对操作系统进程死锁问题中的银行家模型进行了分析,重点讨论了其中的安全序列和安全状态问题,给出其形式化定义。对安全序列的实际意义进行了分析,指出了银行家算法的关键性问题在于安全序列的试探性产生。最后描述了银行家模型和安全状态检查的抽象算法,在此基础上利用回溯技术给出了一个全部安全序列搜索算法的具体实现。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《武汉理工大学学报·信息与管理工程版》（CN：42-1825/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《武汉理工大学学报·信息与管理工程版》重点刊登电子与电工、通信与信息、计算机、控制与自动化以及经济、管理科学与工程、物流工程等学科的最新研究成果，同时刊登机械工程、土木工程与建筑、船舶与海洋工程以及力学、数学、物理学等基础学科的研究与工程应用论文。
杂志详情
