| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-34页 |
| ·课题背景 | 第14-15页 |
| ·分布式算法的概念 | 第15-18页 |
| ·分布式算法的定义 | 第15-17页 |
| ·分布式算法需完善的问题 | 第17-18页 |
| ·死锁的概念与处理 | 第18-23页 |
| ·死锁的定义 | 第18-19页 |
| ·死锁的表示方法 | 第19-21页 |
| ·分布式系统死锁处理方法分析 | 第21-23页 |
| ·分布式死锁检测算法研究现状 | 第23-32页 |
| ·基本的分布式死锁检测方法 | 第23-25页 |
| ·环检测算法 | 第25-27页 |
| ·结检测算法 | 第27-29页 |
| ·分布式死锁检测算法的研究方向 | 第29-32页 |
| ·本文主要研究内容与结构 | 第32-34页 |
| 第2章 仅与资源管理节点相关的单环检测算法 | 第34-56页 |
| ·分布式系统的基本框架 | 第34-37页 |
| ·单资源模型的实现 | 第37-39页 |
| ·经典的资源管理节点无关和资源管理节点相关算法描述 | 第39-45页 |
| ·资源管理节点无关类算法--MM 算法 | 第40-42页 |
| ·资源管理节点相关类算法--CH 算法 | 第42页 |
| ·资源管理节点无关与资源管理节点相关方法在单环检测时的不足.. | 第42-45页 |
| ·仅与资源管理节点相关算法 | 第45-49页 |
| ·仅与资源管理节点相关算法的死锁检测 | 第46-48页 |
| ·仅与资源管理节点相关算法例子 | 第48-49页 |
| ·资源管理节点无关、资源管理节点相关与仅与资源管理节点相关算法的性能比较 | 第49-55页 |
| ·仅与资源管理节点相关算法的理论性能分析 | 第49-51页 |
| ·仿真平台简介 | 第51-52页 |
| ·仿真结果比较 | 第52-55页 |
| ·小结 | 第55-56页 |
| 第3章 双边发送的环检测算法 | 第56-69页 |
| ·资源管理节点无关与资源管理节点相关方法在环检测时的不足 | 第56-57页 |
| ·双边发送算法 | 第57-63页 |
| ·资源管理节点的执行 | 第58-59页 |
| ·进程管理节点的执行 | 第59-62页 |
| ·一个双边发送算法检测实例 | 第62-63页 |
| ·双边发送算法的正确性证明 | 第63-65页 |
| ·活性证明 | 第64-65页 |
| ·安全性证明 | 第65页 |
| ·资源管理节点无关、资源管理节点相关与双边发送算法性能比较 | 第65-68页 |
| ·双边发送算法的理论性能分析 | 第65-66页 |
| ·AND 模型仿真平台 | 第66-67页 |
| ·仿真结果比较 | 第67-68页 |
| ·小结 | 第68-69页 |
| 第4章 快速结检测算法 | 第69-84页 |
| ·结检测算法的相关工作 | 第69-70页 |
| ·经典的起始点归约和中间节点归约算法 | 第70-74页 |
| ·中间节点归约类算法--Kshemkalyani 算法 | 第71-72页 |
| ·起始点归约类算法--Lee 算法 | 第72-74页 |
| ·中间节点归约和起始点归约检测算法的不足 | 第74页 |
| ·快速结检测算法 | 第74-80页 |
| ·基本数据结构 | 第75页 |
| ·基本执行 | 第75-77页 |
| ·死锁检测 | 第77-78页 |
| ·一个检测实例 | 第78-80页 |
| ·算法正确性证明 | 第80-82页 |
| ·性能分析与比较 | 第82-83页 |
| ·小结 | 第83-84页 |
| 第5章 容错的死锁检测算法 | 第84-98页 |
| ·不可靠的分布式系统--移动计算系统 | 第84-85页 |
| ·现有算法在处理失效时的不足 | 第85-86页 |
| ·基于动态等待图的通用死锁检测算法 | 第86-93页 |
| ·不可靠的分布式系统的故障分类 | 第86-87页 |
| ·不可靠的分布式系统模型 | 第87-89页 |
| ·容错死锁检测算法 | 第89-91页 |
| ·死锁解决 | 第91-92页 |
| ·容错死锁检测算法的例子 | 第92-93页 |
| ·算法正确性证明 | 第93-96页 |
| ·静态等待图的活性条件和安全性条件 | 第94页 |
| ·动态等待图的活性条件 | 第94-96页 |
| ·新算法的性能评价 | 第96-97页 |
| ·小结 | 第97-98页 |
| 结论 | 第98-100页 |
| 参考文献 | 第100-108页 |
| 攻读博士学位期间发表的学术论文 | 第108-110页 |
| 哈尔滨工业大学博士学位论文原创性声明 | 第110页 |
| 哈尔滨工业大学博士学位论文使用授权书 | 第110页 |
| 哈尔滨工业大学博士学位涉密论文管理 | 第110-111页 |
| 致谢 | 第111-112页 |
| 个人简历 | 第112页 |
