基于SMP结点的机群通信系统关键技术的研究
| 摘 要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 引言 | 第9-19页 |
| ·机群系统体系结构的发展 | 第9-13页 |
| ·计算机体系结构的分类与发展 | 第9-11页 |
| ·机群系统 | 第11-13页 |
| ·机群通信协议的发展 | 第13-15页 |
| ·课题背景 | 第15-16页 |
| ·本文的贡献及内容组织 | 第16-19页 |
| ·本文的主要工作及贡献 | 第16-17页 |
| ·内容组织 | 第17-19页 |
| 第二章 基于SMP 结点的机群通信结构 | 第19-33页 |
| ·通信结构概述 | 第19-21页 |
| ·BCL 通信协议简介 | 第21-25页 |
| ·BCL-1 | 第22-23页 |
| ·BCL-2 | 第23-24页 |
| ·BCL-3 | 第24-25页 |
| ·多重通信协议 | 第25-33页 |
| ·基于共享内存的通信协议 | 第25-26页 |
| ·半用户级通信协议 | 第26-29页 |
| ·多重通信协议设计中的关键问题 | 第29-33页 |
| 第三章 多重通信协议 | 第33-47页 |
| ·多重通信协议 | 第33-36页 |
| ·通信机制 | 第33-35页 |
| ·统一的应用程序接口 | 第35页 |
| ·探询开销问题 | 第35-36页 |
| ·基于共享内存的通信协议 | 第36-40页 |
| ·内存分布 | 第36-37页 |
| ·通信机制 | 第37-39页 |
| ·Lock-Free 算法 | 第39页 |
| ·大消息传递的流水线算法 | 第39-40页 |
| ·半用户级通信协议 | 第40-46页 |
| ·内存分布 | 第40-42页 |
| ·通信机制 | 第42-43页 |
| ·半用户级通信协议的特点 | 第43-46页 |
| ·半用户级通信协议对性能的影响 | 第46页 |
| ·可扩展性分析 | 第46-47页 |
| 第四章 多重通信协议的形式化模型 | 第47-67页 |
| ·进程代数 | 第47-49页 |
| ·进程代数概述 | 第47页 |
| ·CSP | 第47-49页 |
| ·PROMELA 语言与协议验证工具Spin | 第49页 |
| ·多重通信协议的模型 | 第49-67页 |
| ·基于共享内存的通信协议模型 | 第50-54页 |
| ·半用户级通信协议模型 | 第54-62页 |
| ·多重通信协议的组合模型 | 第62-67页 |
| 第五章 多重通信协议的评价与性能分析 | 第67-95页 |
| ·机群通信系统评价标准与测试环境 | 第67-71页 |
| ·机群通信系统评价标准 | 第67-69页 |
| ·测试环境 | 第69-71页 |
| ·点到点通信性能 | 第71-83页 |
| ·通信的LogGP 模型及性能参数 | 第71-73页 |
| ·性能数据 | 第73-83页 |
| ·均衡通信性能 | 第83-92页 |
| ·机群系统整体性能的评价 | 第83-84页 |
| ·性能数据 | 第84-92页 |
| ·可扩展性 | 第92-93页 |
| ·高可用性 | 第93-95页 |
| 第六章 多网卡通信协议 | 第95-105页 |
| ·点到点通信性能分析 | 第95-96页 |
| ·多网卡通信协议结构 | 第96-100页 |
| ·多网卡通信的模式 | 第97-98页 |
| ·细粒度多网卡通信协议设计中的关键问题 | 第98-100页 |
| ·半用户级双网卡通信协议 | 第100-103页 |
| ·内存分布 | 第101页 |
| ·通信机制 | 第101-102页 |
| ·通信性能 | 第102-103页 |
| ·基于双网卡的多重通信协议 | 第103-105页 |
| 第七章 结论 | 第105-109页 |
| ·机群通信系统的层次结构与多重通信协议 | 第105-106页 |
| ·基于共享内存的通信协议 | 第106页 |
| ·半用户级通信协议 | 第106页 |
| ·机群系统均衡性能 | 第106-107页 |
| ·进一步的工作 | 第107-109页 |
| ·机群通信系统的层次结构与多重通信协议的扩展 | 第107-108页 |
| ·机群通信系统性能的评价及对应用的支持 | 第108页 |
| ·协议的形式化表示与验证 | 第108-109页 |
| 参考文献 | 第109-116页 |
| 致谢 | 第116-117页 |
| 作者简介 | 第117-118页 |
| 发表文章目录 | 第118页 |
