嵌入式实时系统中实时数据库的研究
| 中文摘要 | 第1-3页 |
| 英文摘要 | 第3-7页 |
| 引言 | 第7-9页 |
| 第一章 嵌入式实时系统概述 | 第9-19页 |
| 1．1 嵌入式系统 | 第9-13页 |
| 1．1．1 嵌入式系统的定义与发展 | 第9-10页 |
| 1．1．2 嵌入式系统的特点 | 第10-11页 |
| 1．1．3 嵌入式系统的分类 | 第11页 |
| 1．1．4 嵌入式系统的设计要求 | 第11-13页 |
| 1．2 实时系统 | 第13-16页 |
| 1．2．1 实时系统 | 第13-15页 |
| 1．2．2 实时系统的特点 | 第15-16页 |
| 1．3 嵌入式实时系统 | 第16-19页 |
| 1．3．1 嵌入式实时系统 | 第16-17页 |
| 1．3．2 嵌入式实时系统中的容错技术 | 第17-18页 |
| 1．3．3 嵌入式实时系统的应用 | 第18-19页 |
| 第二章 实时数据库的概述 | 第19-24页 |
| 2．1 数据库的特性 | 第19-20页 |
| 2．1．1 实时特性 | 第20页 |
| 2．2 新事务的许可控制 | 第20-21页 |
| 2．3 调度原则 | 第21-22页 |
| 2．3．1 最短期限调度（EDF） | 第21页 |
| 2．3．2 最短空余时间调度（MSF） | 第21-22页 |
| 2．4 并发控制 | 第22-24页 |
| 2．4．1 二值锁（2PL） | 第22页 |
| 2．4．2 时标（Time-stamping） | 第22-23页 |
| 2．4．3 耗损时间 | 第23-24页 |
| 第三章 可预测事务的调度 | 第24-28页 |
| 3．1 使用资源访问协议 | 第24-26页 |
| 3．1．1 基于PCP的事务 | 第24-25页 |
| 3．1．2 基于SRP的实时事务 | 第25-26页 |
| 3．2 无锁事务 | 第26页 |
| 3．3 放宽的可串行化 | 第26-27页 |
| 3．3．1 数据类似 | 第26-27页 |
| 3．3．2 暂时约束 | 第27页 |
| 3．4 采用非标准的调度方法 | 第27-28页 |
| 3．4．1 合适的最短期限算法（AED算法） | 第27-28页 |
| 第四章 简单事务协议及其扩展 | 第28-54页 |
| 4．1 环境 | 第28页 |
| 4．2 事务特性 | 第28-30页 |
| 4．3 资源特性 | 第30页 |
| 4．4 简单事务协议 | 第30-38页 |
| 4．4．1 阻塞 | 第33-34页 |
| 4．4．2 可行性分析 | 第34-38页 |
| 4．5 简单事务协议的扩展 | 第38页 |
| 4．6 资源使用类型 | 第38-40页 |
| 4．6．1 事务特性 | 第38页 |
| 4．6．2 资源特性 | 第38-39页 |
| 4．6．3 计算Δ值 | 第39页 |
| 4．6．4 阻塞和可行性分析 | 第39-40页 |
| 4．6．5 实用注释 | 第40页 |
| 4．6．6 结论 | 第40页 |
| 4．7 放宽的EDF调度规则 | 第40-42页 |
| 4．7．1 插入类型 | 第40-41页 |
| 4．7．2 插入非重叠的事务 | 第41页 |
| 4．7．3 结论 | 第41-42页 |
| 4．8 动态事务 | 第42-43页 |
| 4．8．1 基本的思想和问题 | 第42-43页 |
| 4．8．2 一种简单的解决方案 | 第43页 |
| 4．9 相似性（Similarity） | 第43-45页 |
| 4．9．1 概念 | 第43-44页 |
| 4．9．2 与事务协议的结合 | 第44页 |
| 4．9．3 结论 | 第44-45页 |
| 4．10 多个处理器环境下的事务 | 第45-54页 |
| 4．10．1 理论模型 | 第45-48页 |
| 4．10．2 实际模型 | 第48-50页 |
| 4．10．3 一种新模型 | 第50-53页 |
| 4．10．4 结论 | 第53-54页 |
| 第五章 仿真 | 第54-60页 |
| 5．1 仿真假设 | 第54页 |
| 5．2 仿真模型 | 第54-56页 |
| 5．2．1 仿真说明 | 第54-55页 |
| 5．2．2 仿真模型参数设置 | 第55-56页 |
| 5．3 仿真 | 第56-58页 |
| 5．3．1 资源不预先声明的非抢占式EDF调度 | 第56-57页 |
| 5．3．2 资源预先声明的非抢占式EDF调度 | 第57-58页 |
| 5．3．3 结论 | 第58页 |
| 5．4 结论分析和建议 | 第58-60页 |
| 5．4．1 结论分析 | 第58-59页 |
| 5．4．2 建议 | 第59-60页 |
| 结束语 | 第60-61页 |
| 致谢 | 第61-62页 |
| 参考文献 | 第62-65页 |
