| 摘要 | 第1-7页 |
| ABSTRACT | 第7-18页 |
| 第1章 绪论 | 第18-36页 |
| ·概述 | 第18-19页 |
| ·分布式计算机系统 | 第19-20页 |
| ·分布式计算机系统的定义 | 第19页 |
| ·分布式计算机系统的优点 | 第19-20页 |
| ·实现分布式计算的难点 | 第20页 |
| ·分布式计算技术 | 第20-23页 |
| ·分布式计算技术的发展 | 第21-22页 |
| ·操作系统对分布式计算的支持 | 第22-23页 |
| ·分布式操作系统 | 第23-25页 |
| ·分布式操作系统的经典定义 | 第23-24页 |
| ·分布式操作系统的发展 | 第24-25页 |
| ·面向服务的计算理念与实现技术 | 第25-31页 |
| ·编程范型及其发展 | 第26-28页 |
| ·SOA的应用 | 第28-29页 |
| ·面向服务的操作系统 | 第29-31页 |
| ·研究目标及思路 | 第31-33页 |
| ·问题的提出 | 第31-32页 |
| ·问题的分析 | 第32-33页 |
| ·问题的解决 | 第33页 |
| ·文献综述 | 第33-34页 |
| ·本论文的组织 | 第34-36页 |
| 第2章 SOA与服务组合 | 第36-54页 |
| ·概述 | 第36-37页 |
| ·面向服务的体系结构 SOA | 第37-44页 |
| ·SOA的基本定义 | 第37-39页 |
| ·SOA的特征 | 第39-40页 |
| ·SOA中的三种角色 | 第40-41页 |
| ·SOA中的抽象级别 | 第41-42页 |
| ·SOA服务的特征 | 第42-43页 |
| ·SOA实现平台的功能组件 | 第43-44页 |
| ·通信 | 第44-50页 |
| ·通信模式 | 第45页 |
| ·同步通信协议模型 | 第45-48页 |
| ·异步通信协议模型 | 第48-49页 |
| ·简单对象访问协议SOAP | 第49-50页 |
| ·服务的发布与发现 | 第50-51页 |
| ·服务组合 | 第51-52页 |
| ·研究现状 | 第52-53页 |
| ·小结 | 第53-54页 |
| 第3章 操作系统与分布式操作系统 | 第54-72页 |
| ·概述 | 第54-55页 |
| ·操作系统的基本功能 | 第55页 |
| ·传统操作系统的抽象模型 | 第55-57页 |
| ·操作系统的进程模型 | 第55-56页 |
| ·操作系统的线程模型 | 第56-57页 |
| ·与cc-NUMA多处理机系统的类比 | 第57页 |
| ·操作系统的体系结构 | 第57-60页 |
| ·简单结构的操作系统 | 第58页 |
| ·单一内核结构的操作系统 | 第58页 |
| ·层次结构的操作系统 | 第58-59页 |
| ·微内核结构的操作系统 | 第59页 |
| ·混合内核 | 第59页 |
| ·外核 | 第59-60页 |
| ·操作系统结构小结 | 第60页 |
| ·分布式操作系统 | 第60-64页 |
| ·分布式操作系统的设计目标 | 第60-61页 |
| ·分布式操作系统的体系结构 | 第61-62页 |
| ·分布式操作系统的基本功能 | 第62-64页 |
| ·经典的分布式操作系统 | 第64-68页 |
| ·Mach | 第64-65页 |
| ·Amoeba | 第65-66页 |
| ·Chorus | 第66-67页 |
| ·Spring | 第67-68页 |
| ·传统操作系统的性能瓶颈 | 第68-70页 |
| ·传统操作系统的性能分析 | 第68-70页 |
| ·相关工作 | 第70页 |
| ·小结 | 第70-72页 |
| 第4章 服务体/执行流模型 SEFM和 MINICORE | 第72-91页 |
| ·概述 | 第72-73页 |
| ·服务体/执行流模型 SEFM | 第73-85页 |
| ·基本抽象 | 第74-75页 |
| ·端口和小端口 | 第75页 |
| ·基于 SEFM的操作系统构造模型 | 第75-76页 |
| ·核心服务体 | 第76页 |
| ·端口的授权访问 | 第76-77页 |
| ·并发引流机制 | 第77-78页 |
| ·服务体地址空间 | 第78-80页 |
| ·消息推动通信机制 | 第80-84页 |
| ·中断处理模型 | 第84-85页 |
| ·基于 SEFM的操作系统 MiniCore | 第85-86页 |
| ·MiniCore V3.0的体系结构 | 第85-86页 |
| ·性能测试与比较 | 第86-89页 |
| ·实验一、Echo服务器 | 第86-87页 |
| ·实验二、路由器 | 第87-88页 |
| ·实验三、视频解码播放 | 第88-89页 |
| ·小结 | 第89-91页 |
| 第5章 面向服务的分布式操作系统 | 第91-125页 |
| ·概述 | 第91-92页 |
| ·面向服务的分布式操作系统 SODOS | 第92-98页 |
| ·SODOS的体系结构 | 第92-93页 |
| ·具有单一系统映像的服务界面 | 第93-94页 |
| ·服务体的发布 | 第94-96页 |
| ·服务体部署节点的变迁 | 第96-97页 |
| ·按名查询服务 | 第97-98页 |
| ·端口的连接/断开 | 第98页 |
| ·SODOS的远程服务请求 | 第98-106页 |
| ·端口的代理 | 第98-100页 |
| ·代理的建立 | 第100-103页 |
| ·远程服务的请求 | 第103-104页 |
| ·Stub/skeleton端口对间的低级通信 | 第104-106页 |
| ·SODOS中的命名和名字服务 | 第106-118页 |
| ·命名方法 | 第106-110页 |
| ·名字空间及其组织 | 第110-113页 |
| ·名字空间的管理 | 第113-118页 |
| ·服务的绑定 | 第118-121页 |
| ·DCE RPC中的绑定 | 第118页 |
| ·远程对象调用中的绑定 | 第118-119页 |
| ·SODOS中服务的绑定 | 第119-120页 |
| ·多执行流调度及其定义 | 第120-121页 |
| ·容错调度 | 第121页 |
| ·服务体副本的变迁和维护 | 第121-124页 |
| ·服务实例的迁移 | 第122-123页 |
| ·服务体一致性的维护 | 第123-124页 |
| ·小结 | 第124-125页 |
| 第6章 服务静态部署 | 第125-142页 |
| ·概述 | 第125-127页 |
| ·相关工作 | 第127-128页 |
| ·服务体静态部署问题模型 | 第128-131页 |
| ·局部密集服务环境 | 第128页 |
| ·服务体部署问题 | 第128-129页 |
| ·服务体静态部署问题模型 | 第129-131页 |
| ·均衡节点负载 | 第131-132页 |
| ·负载平衡条件 | 第131-132页 |
| ·节点分类 | 第132页 |
| ·最小化通信量 | 第132-133页 |
| ·最小分布及近似算法 | 第133-136页 |
| ·SDM_(min)的近似生成算法 | 第135-136页 |
| ·算法模拟和结果分析 | 第136-140页 |
| ·运行实例 | 第136-138页 |
| ·服务分布规模分布对比 | 第138-139页 |
| ·服务部署的单点失效容错分析及算法改进 | 第139-140页 |
| ·小结 | 第140-142页 |
| 第7章 服务组合路径优化 | 第142-155页 |
| ·概述 | 第142-143页 |
| ·局域密集服务环境中服务组合路径问题模型 | 第143-144页 |
| ·保持因子 | 第144-149页 |
| ·实验1:保持因子对负载平衡和服务路径长度的影响 | 第145-149页 |
| ·匹配长度因子 | 第149-154页 |
| ·实验2:匹配长度因子对向后匹配次数的作用 | 第150-151页 |
| ·实验3:保持因子和匹配长度因子的共同作用效果 | 第151-153页 |
| ·保持因子和匹配长度因子的选择策略与选择方法 | 第153-154页 |
| ·小结 | 第154-155页 |
| 第8章 结束语 | 第155-157页 |
| ·本文的主要工作 | 第155-156页 |
| ·本文的主要贡献与创新点 | 第156页 |
| ·进一步工作展望 | 第156-157页 |
| 参考文献 | 第157-166页 |
| 致谢 | 第166-168页 |
| 在读期间所参加的科研项目 | 第168-169页 |
| 在读期间发表的学术论文 | 第169-171页 |
| 其他研究成果 | 第171页 |