第1章 引论 1
1．1 嵌入式移动实时数据库概念 1
1．2 嵌入式移动实时数据库管理系统需求 2
1．3 嵌入式移动实时数据库的典型应用 4
1．4 相关产品介绍 8
1．5 本书主要内容及组织 13
第2章 嵌入式移动实时数据库系统模型及结构 15
2．1 嵌入式移动计算环境概述 15
2．2 嵌入式移动实时数据库系统模型及结构 20
2．3 嵌入式移动实时数据库关键技术 24
2．4 本章小结 32
第3章 嵌入式移动实时事务特征及模型 34
3．1 嵌入式移动实时事务特征 34
3．2 嵌入式移动实时事务模型 40
3．2．1 经历模型 40
3．2．2 结构模型 41
3．2．3 语义模型 43
3．2．4 执行模型 44
3．3 嵌入式移动实时事务正确性 48
3．3．1 概述 48
3．3．2 正确性的不同方面 49
3．4 本章小结 54
第4章 嵌入式移动实时事务并发控制 56
4．1 基于谨慎有序共享的散度控制封锁模型 57
4．1．1 散度控制锁模型与ε-可串行化 57
4．1．2 基于谨慎有序共享的散度控制 59
4．2 DC／POS-PAI-2PL协议 62
4．2．1 嵌套可串行化及其保证 62
4．2．2 Check Out／Check In协议 64
4．2．3 DC／POS-PSI-2PL协议描述及其正确性 68
4．3 死锁处理 70
4．4 实验及结果分析 72
4．4．1 系统模型及模拟参数 73
4．4．2 性能结果及分析 74
4．5 本章小结 78
第5章 嵌入式移动实时事务提交处理 79
5．1 嵌入式移动实时事务提交正确性标准 81
5．1．1 嵌入式移动实时事务的结构依赖关系 81
5．1．2 嵌入式移动实时事务的原子性 82
5．2 嵌入式移动实时事务提交准则 83
5．2．1 一般分布式原子提交准则及其评述 83
5．2．2 三层提交结构 84
5．2．3 嵌入式移动实时提交准则 85
5．3 三层实时提交协议及其正确性 87
5．3．1 三层实时提交协议（3LRTC） 87
5．3．23LRTC正确性 88
5．43LRTC故障恢复协议 90
5．4．1 故障模型 90
5．4．2 提交状态图 92
5．4．3 3LRTC故障恢复协议 95
5．5 3LRTC通信开销评价 98
5．6 3LRTC性能测试 101
5．7 本章小结 102
第6章 基于实时日志的实时恢复处理策略 103
6．1 嵌入式移动实时数据库恢复特征 103
6．2 嵌入式实时数据及其一致性 106
6．3 嵌入式实时事务及其一致性 108
6．4 实时恢复正确性准则 110
6．5 基于实时日志的实时恢复策略 112
6．6 性能测试与评价 114
6．6．1 实验模型及参数 114
6．6．2 实验结果及分析 116
6．7 本章小结 120
第7章 基于数据段优先级的分区模糊检验点技术 121
7．1 数据检验点优先级 122
7．2 分区模糊检验点策略 123
7．2．1 基于数据段检验点优先级的逻辑分区 123
7．2．2 基于数据段CKP优先级的分区检验点策略 125
7．2．3 PFCS-SCP的正确性 126
7．3 基于PFCS-SCP的Redo恢复 129
7．3．1 Redo恢复 129
7．3．2 Redo恢复正确性 130
7．4 性能测试与评价 133
7．4．1 实验模型及参数 133
7．4．2 实验结果及分析 134
7．5 本章小结 136
第8章 弱一致性实时复制策略 138
8．1 传统复制模式分析 139
8．2 主从实时弱一致性准则 141
8．3 日志驱动主从复制模型 143
8．4 日志驱动弱一致性主从实时复制策略 146
8．4．1 弱一致性复制策略 146
8．4．2 故障处理协议 147
8．5 性能测试与评价 148
8．5．1 实验模型及参数 148
8．5．2 实验结果及分析 150
8．6 本章小结 151
第9章 ARTs-EDB事务管理实现技术 153
9．1 系统结构及组成 153
9．2 实时事务的执行与控制 156
9．2．1 事务执行模型 156
9．2．2 事务队列 158
9．2．3 事务状态及变迁 159
9．3 实时事务调度 160
9．3．1 多层可动态调整优先级分派 161
9．3．2 优先级驱动可抢占调度策略 161
9．4 实时事务并发控制机制 163
9．4．1 避免循环夭折的有条件高优先级夭折策略 163
9．4．2 封锁相容矩阵及锁表结构 164
9．4．3 封锁操作实现算法 166
9．5 实时数据库事务互斥与同步 167
9．5．1 实时事务互斥 168
9．5．2 实时事务同步 170
9．6 本章小结 172
第10章 总结与展望 173
参考文献 178