实时数据处理事务调度与控制研究

摘要

本文对实时事务的调度进行了研究，提出了双截止期双优先级的优先级分派方法和基于该优先级分派方法的定时调度策略；这些方法和策略在现有技术的基础上，深入考虑实时事务的需求和语义，能够得到更高的效率。为了从并发控制层次上支持事务协作，利用事务和数据语义进一步提高并发度，提出了新的语义多版本并发方法SMVCC。SMVCC针对三类不同事务，利用它们对不同实时数据进行不同处理的特点，采用了不同的并发策略；与传统的并发控制方法相比，进一步提高了事务并发度。最后对实时事务管理器原型设计和实现的相关问题进行了初步探索，提出了系统结构设计，给出了部分实现的数据结构和方法。

目录

文摘

英文文摘

致谢

第一章绪论

§1.1引言

§1.2研究现状

§1.3本论文的工作

§1.3.1实时数据库管理系统的体系结构

§1.3.2开放协同层次事务模型OCHTM

§1.3.3实时事务调度

§1.3.4语义多版本并发控制协议SMVCC

§1.3.5原型系统设计和实现初探

§1.4章节安排

第二章实时数据库和事务处理

§2.1实时数据库

§2.1.1实时数据库与时间

§2.1.2实时数据库的特征

§2.1.3实时数据库系统的主要技术

§2.2实时事务处理

§2.3小结

第三章开放协同层次事务模型OCHTM

§3.1引言

§3.2相关概念

§3.3 OCHTM模型

§3.3.1OCHTM概念及实时事务模型

§3.3.2状态及状态依赖规则

§3.3.3模型的图形符号表示

§3.3.4 OCHTM的开放性

§3.4 OCHTM下的恢复

§3.4.1补加事务处理初探

§3.4.2基于补偿的失效恢复

§3.4.3基于日志的恢复策略

§3.5小结

第四章实时事务调度

§4.1引言

§4.2优先级分派

§4.2.1目前的优先级分配策略

§4.2.2带双截止期的双优先级策略TPTD

§4.3决定调度策略的基本因素

§4.4 OCHTM调度策略

§4.4.1典型的调度方法

§4.4.2内部调度

§4.4.3基于TPTD的定时触发事务调度SPTT

§4.5小结

第五章语义多版本并发控制协议SMVCC

§5.1引言

§5.2现有实时事务并发控制技术

§5.2.1基于锁的并发控制协议

§5.2.2乐观并发控制协议

§5.2.3语义并发控制协议

§5.3 SMVCC思想基础

§5.4 SMVCC及正确性分析

§5.4.1相关概念和基本思想

§5.4.2 SMVCC描述

§5.4.3 SMVCC正确性

§5.5 SMVCC可行性

§5.6小结

第六章事务管理器原型设计及实现初探

§6.1 RTDBS原型系统

§6.2事务管理器相关结构和方法

§6.3 PostgreSQL简介

§6.3.1 PostgreSQL概况

§6.3.2 PostgreSQL的并发控制方法

§6.4目前实现状况

§6.4.1允许事务协作的锁管理

§6.4.2事务实时处理

§6.5小结

第七章结束语

§7.1本文工作总结

§7.2下一步的工作

参考文献

附录1锁管理器相关结构

附录2事务实时处理程序

读研期间发表的学术论文