| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 插图索引 | 第12-13页 |
| 附表索引 | 第13-14页 |
| 第1章 绪论 | 第14-20页 |
| ·课题研究背景及意义 | 第14页 |
| ·国内外研究现状 | 第14-15页 |
| ·本文的主要工作 | 第15-18页 |
| ·本文结构 | 第18-20页 |
| 第2章 共享存储器多处理器系统互斥研究概述 | 第20-32页 |
| ·互斥相关基础 | 第20-23页 |
| ·互斥基本概念 | 第20-21页 |
| ·常见互斥硬件原语 | 第21-22页 |
| ·互斥算法一般结构 | 第22-23页 |
| ·多处理器系统中互斥的特殊性 | 第23-25页 |
| ·常用互斥算法介绍 | 第25-30页 |
| ·Test& Set类算法 | 第25-26页 |
| ·基于链表、队列组织形式的算法 | 第26-27页 |
| ·LL-SC原语算法 | 第27-28页 |
| ·基于同步操作缓冲区的互斥算法 | 第28-29页 |
| ·软互斥算法 | 第29-30页 |
| ·互斥算法属性 | 第30-31页 |
| ·互斥算法性能评价标准 | 第31页 |
| ·小结 | 第31-32页 |
| 第3章 一种共享存储器多处理系统中的互斥模型(SM-MP互斥模型) | 第32-40页 |
| ·互斥模型研究 | 第32-33页 |
| ·SM-MP互斥模型形式化 | 第33-35页 |
| ·SM-MP互斥算法抽象 | 第35-37页 |
| ·SM-MP互斥属性形式化 | 第37页 |
| ·SM-MP互斥算法证明方法 | 第37-38页 |
| ·SM-MP性能指标量化 | 第38-39页 |
| ·小结 | 第39-40页 |
| 第4章 基于优先级树的退避软互斥算法 | 第40-59页 |
| ·AK算法介绍 | 第40-41页 |
| ·基于优先级树的退避软互斥算法(PTB算法) | 第41-53页 |
| ·PTB互斥算法思想 | 第41页 |
| ·PTB树层次锁算法描述与证明 | 第41-44页 |
| ·PTB全局互斥算法描述与分析 | 第44-51页 |
| ·PTB全局互斥算法证明 | 第51-53页 |
| ·二次竞争PTB算法(TCPTB算法) | 第53-57页 |
| ·TCPTB算法互斥竞争流程 | 第54-55页 |
| ·TCPTB互斥算法描述 | 第55-56页 |
| ·TCPTB互斥算法证明 | 第56-57页 |
| ·可退出型PTB算法(APTB算法) | 第57-58页 |
| ·小结 | 第58-59页 |
| 第5章 基于Davinci DM6446 平台的互斥中间件设计与实现 | 第59-70页 |
| ·DAVINCI DM6446 平台介绍 | 第59-60页 |
| ·互斥中间件框架 | 第60-61页 |
| ·共享存储器管理策略 | 第61-63页 |
| ·常用存储器管理算法介绍 | 第61-63页 |
| ·本文所采取的共享存储器管理方法 | 第63页 |
| ·互斥中间件实现机制 | 第63-66页 |
| ·互斥算法实现 | 第66-69页 |
| ·互斥中间件在数字视频服务器中的应用 | 第69页 |
| ·小结 | 第69-70页 |
| 第6章 算法实验及性能分析 | 第70-78页 |
| ·异构MPSOC仿真工具介绍 | 第70-71页 |
| ·算法实验方案 | 第71-73页 |
| ·性能指标选择 | 第71页 |
| ·算法实验具体方案 | 第71-73页 |
| ·算法实验结果及分析 | 第73-77页 |
| ·真实实验及分析—平均执行时间( ((ET)|-) )比较 | 第73-74页 |
| ·模拟实验及分析—平均执行时间( ((ET)|-) )比较 | 第74-75页 |
| ·实时性实验及分析—平均进入临界区次序( CSO)比较 | 第75-76页 |
| ·算法所需共享存储空间对比 | 第76-77页 |
| ·实验结果总结 | 第77页 |
| ·小结 | 第77-78页 |
| 总结与展望 | 第78-79页 |
| 参考文献 | 第79-84页 |
| 附录A 攻读学位期间所发表的学术论文目录 | 第84-85页 |
| 附录B 攻读学位期间所参加的科研项目目录 | 第85-86页 |
| 致谢 | 第86页 |
