嵌入式移动实时数据库事务处理技术

第1章 引论

1.1 嵌入式移动实时数据库概念

1.2 嵌入式移动实时数据库管理系统需求

1.3 嵌入式移动实时数据库的典型应用

1.4 相关产品介绍

1.5 本书主要内

第1章 引论

1.1 嵌入式移动实时数据库概念

1.2 嵌入式移动实时数据库管理系统需求

1.3 嵌入式移动实时数据库的典型应用

1.4 相关产品介绍

1.5 本书主要内容及组织

第2章 嵌入式移动实时数据库系统模型及结构

2.1 嵌入式移动计算环境概述

2.2 嵌入式移动实时数据库系统模型及结构

2.3 嵌入式移动实时数据库关键技术

2.4 本章小结

第3章 嵌入式移动实时事务特征及模型

3.1 嵌入式移动实时事务特征

3.2 嵌入式移动实时事务模型

3.2.1 经历模型

3.2.2 结构模型

3.2.3 语义模型

3.2.4 执行模型

3.3 嵌入式移动实时事务正确性

3.3.1 概述

3.3.2 正确性的不同方面

3.4 本章小结

第4章 嵌入式移动实时事务并发控制

4.1 基于谨慎有序共享的散度控制封锁模型

4.1.1 散度控制锁模型与ε-可串行化

4.1.2 基于谨慎有序共享的散度控制

4.2 DC/POS-PAI-2PL协议

4.2.1 嵌套可串行化及其保证

4.2.2 Check Out/Check In协议

4.2.3 DC/POS-PSI-2PL协议描述及其正确性

4.3 死锁处理

4.4 实验及结果分析

4.4.1 系统模型及模拟参数

4.4.2 性能结果及分析

4.5 本章小结

第5章 嵌入式移动实时事务提交处理

5.1 嵌入式移动实时事务提交正确性标准

5.1.1 嵌入式移动实时事务的结构依赖关系

5.1.2 嵌入式移动实时事务的原子性

5.2 嵌入式移动实时事务提交准则

5.2.1 一般分布式原子提交准则及其评述

5.2.2 三层提交结构

5.2.3 嵌入式移动实时提交准则

5.3 三层实时提交协议及其正确性

5.3.1 三层实时提交协议(3LRTC)

5.3.2 3LRTc正确性

5.4 3LRTC故障恢复协议

5.4.1 故障模型

5.4.2 提交状态图

5.4.3 3LRTc故障恢复协议

5.5 3LRTC通信开销评价

5.6 3LRTC性能测试

5.7 本章小结

第6章 基于实时日志的实时恢复处理策略

6.1 嵌入式移动实时数据库恢复特征

6.2 嵌入式实时数据及其一致性

6.3 嵌入式实时事务及其一致性

6.4 实时恢复正确性准则

6.5 基于实时日志的实时恢复策略

6.6 性能测试与评价

6.6.1 实验模型及参数

6.6.2 实验结果及分析

6.7 本章小结

第7章 基于数据段优先级的分区模糊检验点技术

7.1 数据检验点优先级

7.2 分区模糊检验点策略

7.2.1 基于数据段检验点优先级的逻辑分区

7.2.2 基于数据段CKP优先级的分区检验点策略

7.2.3 PFCS-SCP的正确性

7.3 基于PFCS—SCP的Redo恢复

7.3.1 Redo恢复

7.3.2 Redo恢复正确性

7.4 性能测试与评价

7.4.1 实验模型及参数

7.4.2 实验结果及分析

7.5 本章小结

第8章 弱一致性实时复制策略

8.1 传统复制模式分析

8.2 主从实时弱一致性准则

8.3 日志驱动主从复制模型

8.4 日志驱动弱一致性主从实时复制策略

8.4.1 弱一致性复制策略

8.4.2 故障处理协议

8.5 性能测试与评价

8.5.1 实验模型及参数

8.5.2 实验结果及分析

8.6 本章小结

第9章ARTs-EDB事务管理实现技术

9.1 系统结构及组成

9.2 实时事务的执行与控制

9.2.1 事务执行模型

9.2.2 事务队列

9.2.3 事务状态及变迁

9.3 实时事务调度

9.3.1 多层可动态调整优先级分派

9.3.2 优先级驱动可抢占调度策略

9.4 实时事务并发控制机制

9.4.1 避免循环夭折的有条件高优先级夭折策略

9.4.2 封锁相容矩阵及锁表结构

9.4.3 封锁操作实现算法

9.5 实时数据库事务互斥与同步

9.5.1 实时事务互斥

9.5.2 实时事务同步

9.6 本章小结

第10章 总结与展望

参考文献

《嵌入式移动实时数据库事务处理技术》由廖国琼所著，在分析嵌入式移动实时数据库系统特征及需求的基础上，对嵌入式移动实时数据库系统模型、事务特征、事务模型及事务处理技术等进行了较为全面且深入的研究。
本书注重基本概念、基本原理、设计方法与实现技术的介绍，研究内容具有系统性、完整性及逻辑性，能够理论联系实际。
《嵌入式移动实时数据库事务处理技术》适合作为高等院校高年级学生、研究生以及相关领域科技工作者的参考书。

《嵌入式移动实时数据库事务处理技术》由廖国琼所著，在分析嵌入式移动实时数据库系统特征及需求的基础上，对嵌入式移动实时数据库的系统模型、事务特征、事务模型及事务处理技术(包括并发控制、提交与恢复处理)等进行了较为全面且深入的研究。