| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-13页 |
| 图表目录 | 第13-15页 |
| 第一章 引言 | 第15-23页 |
| ·研究背景 | 第15-18页 |
| ·研究内容 | 第18-21页 |
| ·论文组织结构 | 第21-23页 |
| 第二章 实时事务并发控制综述 | 第23-51页 |
| ·实时数据库系统 | 第23-27页 |
| ·实时数据特征 | 第23-24页 |
| ·实时事务特征 | 第24-26页 |
| ·实时事务分类 | 第26-27页 |
| ·性能指标 | 第27页 |
| ·并发控制理论 | 第27-31页 |
| ·可串行性理论 | 第28-30页 |
| ·调度的等价性 | 第28-29页 |
| ·串行调度 | 第29页 |
| ·调度的可串行性 | 第29页 |
| ·可串行化判定 | 第29-30页 |
| ·可恢复性理论 | 第30-31页 |
| ·基于锁的并发控制 | 第31-36页 |
| ·2PL-High Priority | 第32页 |
| ·2PL-Priority Inheritance | 第32-33页 |
| ·2PL-Condition Priority Inheritance | 第33页 |
| ·Priority Ceiling Protocol | 第33-34页 |
| ·Read-Write Priority Ceiling Protocol | 第34页 |
| ·PCP-Dynamic Adjustment of Serialization Order | 第34-35页 |
| ·Stack Resource Policy | 第35-36页 |
| ·2PL-Ordered Sharing | 第36页 |
| ·乐观并发控制 | 第36-39页 |
| ·OCC-Broadcast Commit | 第37页 |
| ·OCC-Sacrifice | 第37-38页 |
| ·OCC-Wait | 第38页 |
| ·Wait-X | 第38-39页 |
| ·多版本并发控制 | 第39-40页 |
| ·Multiversion Timestamp Ordering | 第39-40页 |
| ·Two Version-PCP | 第40页 |
| ·推测并发控制 | 第40-43页 |
| ·Speculative Concurrency Control | 第41页 |
| ·Multi-version Speculative Concurrency Control with Delayed Commit | 第41-42页 |
| ·Alternative Version Concurrency Control | 第42-43页 |
| ·基于动态调整串行化顺序的并发控制 | 第43-47页 |
| ·OCC-Timestamp Interval | 第43-45页 |
| ·OCC-Dynamic Adjustment of Serialization Order | 第45-46页 |
| ·Dynamic Adjustment of Serialization Order with Timestamp Interval | 第46-47页 |
| ·问题的提出 | 第47-51页 |
| ·性能分析 | 第47-49页 |
| ·并发控制算法存在的问题 | 第49-50页 |
| ·浪费的执行 | 第49-50页 |
| ·不必要的重启 | 第50页 |
| ·解决思路 | 第50-51页 |
| 第三章 牺牲重启事务策略 | 第51-70页 |
| ·冲突解决策略 | 第51-53页 |
| ·简单重启策略 | 第51页 |
| ·优先级牺牲策略 | 第51-52页 |
| ·优先级等待策略 | 第52-53页 |
| ·重启事务对系统性能的影响 | 第53-54页 |
| ·抛弃冲突事务策略 | 第54-55页 |
| ·降低优先级策略 | 第55-56页 |
| ·条件降低优先级策略 | 第56-57页 |
| ·算法性能分析 | 第57-68页 |
| ·模拟系统 | 第57-58页 |
| ·实验一:写概率较低的实验 | 第58-62页 |
| ·实验二:写概率较高的实验 | 第62-65页 |
| ·实验三:不同写概率实验 | 第65-68页 |
| ·总结和进一步工作 | 第68-70页 |
| 第四章 动态调整执行顺序方法 | 第70-93页 |
| ·动态调整串行化顺序方法 | 第70-71页 |
| ·基本思想 | 第70-71页 |
| ·例子 | 第71页 |
| ·不必要的重启问题 | 第71-73页 |
| ·动态调整执行顺序思想 | 第73页 |
| ·基本概念 | 第73-77页 |
| ·前提假设 | 第77-78页 |
| ·新来的事务必须串行化在所有已提交事务之后 | 第77页 |
| ·活动事务将读取最近的有效版本 | 第77-78页 |
| ·事务在半提交操作之后将固定其在已提交事务中的串行化顺序 | 第78页 |
| ·OCC-DAEO算法描述 | 第78-83页 |
| ·状态描述 | 第79页 |
| ·读阶段 | 第79-81页 |
| ·读操作 | 第79-80页 |
| ·预写操作 | 第80-81页 |
| ·半提交阶段 | 第81-82页 |
| ·验证阶段 | 第82-83页 |
| ·全提交阶段 | 第83页 |
| ·实例说明 | 第83-86页 |
| ·正确性和优越性 | 第86-91页 |
| ·活动事务提交范围的递减性 | 第86-87页 |
| ·全提交事务的稳定性 | 第87-88页 |
| ·全提交事务的持久性 | 第87页 |
| ·全提交事务串行化序号的固定性 | 第87-88页 |
| ·事务在半提交阶段的可提交性 | 第88页 |
| ·活动事务进行读操作时的可读性 | 第88-89页 |
| ·正确性 | 第89-90页 |
| ·活动事务提交范围的计算公式 | 第90页 |
| ·优越性 | 第90-91页 |
| ·总结和进一步工作 | 第91-93页 |
| 第五章 OCC-CS算法实现和分析 | 第93-129页 |
| ·OCC-CS算法实现 | 第93-98页 |
| ·读操作 | 第93-94页 |
| ·预写操作 | 第94页 |
| ·半提交和验证操作 | 第94-96页 |
| ·完成全提交操作 | 第96-98页 |
| ·半提交选择方法 | 第98-102页 |
| ·LEFT选择法 | 第98-99页 |
| ·RIGHT选择法 | 第99页 |
| ·ALT(Alternative)选择法 | 第99-101页 |
| ·LRC(Least Restart Count)选择法 | 第101页 |
| ·NEFLRC(No Effect First in Least Restart Count)选择法 | 第101-102页 |
| ·基于优先级的选择法 | 第102页 |
| ·OCC-CS算法改进 | 第102-104页 |
| ·提交范围数据结构和实现 | 第104-109页 |
| ·提交范围的数据结构 | 第104-105页 |
| ·提交范围并操作和减操作的实现 | 第105-109页 |
| ·算法复杂度分析 | 第109-113页 |
| ·基本参数 | 第109-110页 |
| ·空间复杂度分析 | 第110页 |
| ·时间复杂度分析 | 第110-113页 |
| ·提交范围的并操作 | 第110-111页 |
| ·提交范围的减操作 | 第111页 |
| ·读操作 | 第111页 |
| ·预写操作 | 第111页 |
| ·半提交和验证操作 | 第111-112页 |
| ·完成全提交操作 | 第112页 |
| ·时间复杂度分析结论 | 第112-113页 |
| ·限制半提交事务缓冲区大小 | 第113-114页 |
| ·算法性能分析 | 第114-124页 |
| ·模拟系统 | 第114-115页 |
| ·实验一:只写概率较高的实验 | 第115-116页 |
| ·实验二:只写概率较低的实验 | 第116-117页 |
| ·实验三:不同只写概率的实验 | 第117-118页 |
| ·实验四:只读概率较高的实验 | 第118-119页 |
| ·实验五:只读概率较低的实验 | 第119-121页 |
| ·实验六:四种OCC-CS算法的性能分析 | 第121-122页 |
| ·实验七:时间复杂度分析实验 | 第122-123页 |
| ·实验八:缓冲区大小对算法性能的影响 | 第123-124页 |
| ·牺牲重启事务的OCC-CS算法 | 第124-127页 |
| ·CS-ALT-CLRTP算法 | 第124页 |
| ·算法性能分析 | 第124-127页 |
| ·模拟系统 | 第124-125页 |
| ·实验结果 | 第125-127页 |
| ·总结和进一步工作 | 第127-129页 |
| 第六章 实时事务并发控制测试平台 | 第129-139页 |
| ·系统框架 | 第129-132页 |
| ·事务发生器 | 第129-130页 |
| ·优先级分配和实时事务调度器 | 第130页 |
| ·截止期管理器 | 第130-131页 |
| ·实时并发控制器 | 第131页 |
| ·缓冲区管理器 | 第131页 |
| ·磁盘管理器 | 第131页 |
| ·准入控制器 | 第131-132页 |
| ·实时事务模型 | 第132页 |
| ·实时事务并发控制模型 | 第132-135页 |
| ·基于锁的实时事务并发控制模型 | 第133-134页 |
| ·锁管理 | 第133页 |
| ·死锁检测 | 第133-134页 |
| ·死锁解决 | 第134页 |
| ·优先级倒置解决 | 第134页 |
| ·乐观实时事务并发控制模型 | 第134-135页 |
| ·读写集合维护 | 第134-135页 |
| ·检测数据访问冲突 | 第135页 |
| ·冲突解决 | 第135页 |
| ·等待验证队列管理 | 第135页 |
| ·牺牲重启事务策略的实现 | 第135-137页 |
| ·抛弃冲突事务策略 | 第135-136页 |
| ·条件降低优先级策略 | 第136-137页 |
| ·动态调整执行顺序方法的实现 | 第137-138页 |
| ·半提交选择处理 | 第137页 |
| ·半提交事务队列管理 | 第137-138页 |
| ·数据版本管理 | 第138页 |
| ·提交范围管理 | 第138页 |
| ·其它模块 | 第138页 |
| ·总结和进一步的工作 | 第138-139页 |
| 第七章 总结和展望 | 第139-141页 |
| ·论文成果总结 | 第139-140页 |
| ·进一步的工作 | 第140-141页 |
| 参考文献 | 第141-150页 |
| 文章及科研项目 | 第150-151页 |
| 致谢 | 第151页 |
