事务信息系统 并发控制与恢复的理论、算法与实践 theory， algorithms， and the practice of concurrency control and recovery【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

事务信息系统 并发控制与恢复的理论、算法与实践 theory， algorithms， and the practice of concurrency control and recoveryPDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录出版者的话专家指导委员会译者序序前言第一部分　背景与动机第1章　概述1

1.1　目标和概述1

1.2　应用举例2

1.2.1　联机事务处理：借／贷的例子2

1.2.2　电子商务的例子5

1.2.3　工作流管理：旅行计划的例子6

1.3　系统范型8

1.3.1　三层体系结构和两层体系结构8

1.3.2　服务器的联合11

1.4　事务概念的优点12

1.4.1　事务特性与事务编程接口12

1.4.2　事务服务器的功能需求14

1.5　数据库服务器的概念与体系结构14

1.5.1　数据库系统的分层体系结构14

1.5.2　数据是如何存储的16

1.5.3　数据是如何被访问的17

1.5.4　查询与更新是如何进行的19

文献注释21

习题21

1.6　小结21

第2章　计算模型23

2.1　目标和概述23

2.2　计算模型的组成部分23

2.3　页模型24

2.4　对象模型27

2.5　本书的“路线图”30

2.6　小结31

习题31

文献注释32

第二部分　并发控制第3章　并发控制：页模型正确性的概念33

3.1　目标和概述33

3.2　经典的并发问题33

3.3　历史和调度的语法35

3.4　历史和调度的正确性39

3.5　调度的Herbrand语义40

3.6　终态可串行性42

3.7　视图可串行性45

3.7.1　视图等价和结果正确性准则46

3.7.2　检测视图可串行性的复杂性47

3.8　冲突可串行性51

3.8.1　冲突关系51

3.8.2　CSR类52

3.8.3　冲突和交换性54

3.8.4　冲突可串行性的约束56

3.9　提交可串行性57

3.10　一个可选的正确性准则：交叉存取说明60

3.11　小结65

习题66

文献注释67

第4章　并发控制算法69

4.1　目标和概述69

4.2　通用调度器的设计69

4.3　锁调度器72

4.3.1　简介72

4.3.2　两阶段封锁协议74

4.3.3　死锁处理77

4.3.4　2PL的变体79

4.3.5　有序的共享锁80

4.3.6　利它锁83

4.3.7　非两阶段封锁协议86

4.3.8　封锁的几何学意义89

4.4　非封锁调度器91

4.4.1　时间戳排序91

4.4.2　串行化图的检测92

4.4.3　乐观协议94

4.5　混合协议96

4.6　小结98

习题99

文献注释100

第5章　多版本并发控制101

5.1　目标和概述101

5.2　多版本调度101

5.3　多版本可串行性103

5.3.1　多版本视图可串行性103

5.3.2　MVSR成员资格检测105

5.3.3　多版本冲突可串行性107

5.4　限制版本的数目109

5.5.1 MVTO协议110

5.5　多版本并发控制协议110

5.5.2 MV2PL协议111

5.5.3 MVSGT协议114

5.5.4　只读事务的多版本协议115

5.6　小结116

习题116

文献注释117

6.2　历史和调度119

6.1　目标和概述119

第6章　对象上的并发控制：正确性概念119

6.3　平面对象事务的冲突可串行性122

6.4　树可归约性125

6.5　树可归约的充分条件128

6.6　采用基于状态的可交换性132

6.7　小结135

习题136

文献注释137

7.1　目标和概述139

7.2　平面对象事务封锁139

第7章　对象上的并发控制算法139

7.3　分层锁140

7.4　通用事务森林上的封锁144

7.5　混合算法146

7.6　为返回值的可交换性加锁和契约锁147

7.7　小结150

习题151

文献注释151

8.1　目标和概述153

第8章　关系数据库的并发控制153

8.2　面向谓词的并发控制154

8.3　关系的更新事务157

8.3.1　语法和语义158

8.3.2　可交换性和简化规则159

8.3.3　历史和最终状态的可串行性160

8.3.4　冲突可串行性161

8.3.5　扩展的冲突可串行性162

8.3.6　在函数依赖面前的可串行性163

8.3.7　小结165

8.4　应用事务程序知识165

8.4.1　范例166

8.4.2　事务分割167

8.4.3　切割的适用性169

8.5　小结171

习题171

文献注释173

第9章　搜索结构上的并发控制174

9.1　目标和概述174

9.2　B+树搜索结构的实现175

9.3　访问层的键范围封锁178

9.4　页层的技术183

9.4.1　锁耦合184

9.4.2　链接技术189

9.4.3　放弃技术190

9.5　进一步的优化191

9.5.1　无死锁的页闩锁191

9.5.2　增强的键范围并发191

9.5.3　降低封锁开销192

9.5.4　利用暂态版本化193

9.6　小结193

习题194

文献注释195

第10章　实现和实用性问题196

10.1　目标和概述196

10.2　锁管理器的数据结构196

10.3　多粒度封锁和动态提升197

10.4　暂态版本化199

10.5　事务内部并行的嵌套事务201

10.6　调整选项201

10.6.2　SQL的隔离级别202

10.6.1　手动封锁202

10.6.3　短事务204

10.6.4　多道程序级别的限制206

10.7　过载控制207

10.7.1　反馈驱动方法208

10.7.2　等待深度限制210

10.8　小结210

习题211

文献注释211

11.1　目标和概述213

第三部分　恢复第11章　事务恢复213

11.2　带有显式Undo操作的扩展调度214

11.2.1　概念的直觉和概述214

11.2.2　形式化模型214

11.3　页模型的正确性准则216

11.3.1　扩展冲突可串行性216

11.3.2　可归约性与前缀可归约性217

11.4　充分的句法条件219

11.4.2　避免级联中止220

11.4.1　可恢复性220

11.4.3　严格性221

11.4.4　严厉性221

11.4.5　日志可恢复性224

11.5　带有事务中止的页模型调度协议227

11.5.1　为实现严格性和严厉性扩展两阶段封锁协议227

11.5.2　为日志可恢复性扩展串行图检测227

11.5.3　为日志可恢复性扩展其他协议229

11.6　对象模型的正确性准则229

11.6.1　平面对象调度中的中止229

11.6.2　通用对象模型中的完全中止和部分中止234

11.7　带有事务中止的对象模型调度协议237

11.8　小结237

习题237

文献注释239

第12章　崩溃恢复：正确性概念241

12.1　目标和概述241

12.2　系统体系结构和接口243

12.3　系统模型244

12.4　正确性准则246

12.5　算法路线图248

12.6　小结250

习题251

文献注释251

第13章　页模型崩溃恢复算法252

13.1　目标和概述252

13.2　基本数据结构253

13.3　重做胜者范型256

13.3.1　正常操作期间的操作256

13.3.2　简单的三遍扫描（三趟）算法259

13.3.3　增强算法：日志截断、检查点、重做优化269

13.3.4　完整的算法：处理事务中止和撤销完成281

13.4　重做历史范型288

13.4.1　正常操作期间的操作288

13.4.2　简单的三趟算法和两趟算法288

13.4.3　增强的算法：日志截断、检查点和重做优化294

13.4.4　完整的算法：处理事务回滚和撤销完成294

13.5　小结299

习题306

文献注释308

14.2　重做历史算法的概念综述309

第14章　对象模型的故障恢复309

14.1　目标和概述309

14.3　一个简单的两层系统的重做历史算法311

14.3.1　正常操作期间的操作312

14.3.2　重启期间的操作313

14.4　一个增强的两层系统的重做历史算法316

14.5　一个完整的通用对象模型执行的重做历史算法322

14.6　小结324

习题325

文献注释327

15.1　目标和概述328

15.2　索引和大对象的日志和恢复328

15.2.1　重做索引页分裂的逻辑日志条目　328

第15章　恢复的特别问题328

15.2.2　大对象操作的逻辑日志条目和刷出顺序331

15.3　事务内部保存点和嵌套事务334

15.4　在重启过程中使用并行性338

15.5　对主存数据服务器的特殊考虑339

15.6　数据共享机群的扩展341

习题344

15.7　小结344

文献注释346

第16章　介质恢复347

16.1　目标和概述347

16.2　基于日志的方法348

16.2.1　正常操作期间的数据备份和归档日志349

16.2.2　数据库恢复算法351

16.2.3　对平均数据丢失时间的分析352

16.3.1　基于镜像的技术355

16.3　存储冗余355

16.3.2　基于纠错码的技术357

16.4　灾难恢复363

16.5　小结364

习题364

文献注释365

第17章　应用恢复366

17.1　目标和概述366

17.2　基于队列的无状态应用367

17.3　基于队列的有状态应用372

17.4　基于队列的工作流374

17.4.1　故障可恢复工作流的状态和上下文375

17.4.2　基于排队事务的分散工作流376

17.5　一般的有状态应用377

17.5.1　设计上考虑的事项378

17.5.2　服务器应答日志算法综述380

17.5.3　数据结构381

17.5.4　正常操作期间的服务器日志活动382

17.5.5　正常操作期间的客户端日志活动384

17.5.6　日志截断385

17.5.7　服务器重启387

17.5.8　客户端重启388

17.5.9　正确性推理390

17.5.10　对于多层体系结构的适用性393

17.6　小结393

习题394

文献注释394

第四部分　分布式事务的协调第18章　分布式并发控制397

18.1　目标和概述397

18.2　同构联邦中的并发控制398

18.2.1　预备知识399

18.2.2　分布式2PL400

18.2.3　分布式TO401

18.2.4　分布式SGT402

18.2.5　乐观协议403

18.3　分布式死锁检测404

18.4　异构联邦中的可串行性406

18.4.1　全局历史407

18.4.2　全局可串行性408

18.4.3　准可串行性410

18.5　通过本地的保证获得全局可串行性411

18.5.1　严厉性411

18.5.2　提交排序412

18.6　基于ticket的并发控制413

18.6.1　强迫冲突的显式ticket413

18.6.2　隐式ticket415

18.6.3　显示和隐式ticket的结合415

18.7　异构联邦中对象模式的并发控制416

18.8　数据共享系统的一致性和并发控制417

18.9　小结420

习题421

文献注释422

第19章　分布式事务恢复424

19.1　目标和概述424

19.2　基本的两阶段提交算法425

19.2.1　2PC协议425

19.2.2　重启和终止协议430

19.2.3　独立恢复435

19.3　事务树两阶段提交算法436

19.4.1　假设中止协议和假设提交协议439

19.4　分布式提交的优化算法439

19.4.2　只读子树的优化443

19.4.3　协调者转移445

19.4.4　减少阻塞447

19.5　小结448

习题449

文献注释450

20.2　我们完成了什么453

20.2.1　开发者可用的解决方案453

20.1　目标和概述453

第五部分　应用与未来前景第20章　下一步是什么453

20.2.2　高级的系统搭建者可用的最新技术454

20.2.3　研究人员的方法学和新的挑战455

20.3　用于普遍访问的数据复制455

20.4　电子服务和工作流457

20.5　性能和可用性保证460

文献注释462

参考文献464