PostgreSQL技术内幕:事务处理深度探索pdf下载pdf下载

PostgreSQL技术内幕:事务处理深度探索百度网盘pdf下载

作者:
简介:本篇主要提供PostgreSQL技术内幕:事务处理深度探索pdf下载
出版社:电子工业出版社
出版时间:2021-07
pdf下载价格:0.00¥

免费下载


书籍下载


内容介绍

产品特色

编辑推荐

★ 《PostgreSQL技术内幕:查询优化深度探索》作者又一力作

★ 深入介绍数据库事务的经典理论、概念、方法

★ 结合PostgreSQL的工程实践解读并发控制和故障恢复

★ 揭秘日志复制、逻辑解码、Undo日志、快照隔离级别等技术

★ 深入解读SSI实现、Zheap存储引擎、2PC等技术

★ 源码解析、架构分析、关键细节、案例实现,一应俱全

★ 数据库内核研发领域老兵,带你深度探索事务之旅


内容简介

事务是关系型数据库实现的核心内容,它具有原子性、一致性、隔离性和持久性等特点,是数据库实现并发控制和故障恢复的基础。

本书首先分析了PostgreSQL数据库事务的实现机制,包括事务的基本概念、两阶段锁的原理及实现方法、多版本并发控制的原理及实现方法、故障恢复的实现方法等,然后通过介绍物理复制、逻辑复制、Zheap引擎的原理及实现、SSI的实现、两阶段提交的原理及实现,使读者获得了对事务更深入的理解,从而使读者既能了解事务的原理,也能清楚事务的实现细节。

本书适合数据库内核开发及相关领域的研究人员、数据库DBA、高等院校相关专业的本科生或者研究生阅读。


作者简介

张树杰 数据库内核专家,长期从事数据库内核开发工作,对数据库内核各个领域均有涉猎,精通数据库内核的原理和架构设计,近些年尤其专注于研究分布式数据库的查询优化及查询执行的改进。


内页插图

精彩书摘

2.3 并发控制
并发控制还可以分为乐观并发控制和悲观并发控制,这两种控制思想是从“何时检测冲突”
的角度来定义的。
乐观并发控制属于事后检测冲突的并发控制,通常分为以下 3 个阶段。
读阶段(Read Phase):事务维护一个读集合和一个写集合,并且将对对象的写操作存放
到私有空间中。
有效性确认阶段(Validation Phase):在事务提交时,每个事务都需要检查自己的读集合
和写集合,这两个集合记录了事务运行的历史信息,如果发现某个事务违反了可串行化原
则,那么这个事务终止。
写阶段(Write Phase):在有效性确认之后,对事务在私有空间中的数据进行应用,事务
提交成功。
悲观并发控制则在事先检测冲突,它在识别到冲突的操作后,就可以尝试阻塞冲突的一方,
从而实现事务的冲突可串行化。例如两阶段锁技术就属于悲观并发控制的范畴,它在读取数据库
对象时给对象加共享锁,而在修改数据库对象时对对象加排他锁,这样就能保证事务在并发的过
程中不会出现各种异常现象。

前言/序言

为什么写这本书

近年来,我一直从事与PostgreSQL相关的数据库内核开发工作,主攻方向是SQL引擎中的查询优化,对事务的了解仅停留在理论层面,虽然对事务的性质、隔离级别也能讲一番大道理,但终究华而不实,于探究事务的本质无益。所谓“纸上得来终觉浅,绝知此事要躬行”,在完成了《PostgreSQL技术内幕:查询优化深度探索》一书之后,我就开始了事务的探索之旅。

探索的过程并非一帆风顺。事务的理论已经颇为复杂,在形成源码之后更是有数十万行之多,对这些源码做逐行分析的工作量非常大,一旦遇到不解的问题,还需查阅资料、翻阅讨论组中的邮件。入之愈深,其进愈难,则其见愈奇。以前根据事务理论想当然的一些理解会被具体实现中的精巧设计打破,而对这些设计细节的深刻理解能帮助我们快速地解决工作中遇到的问题,因此,我又产生了写第二本书的想法,希望对自己在探索过程中遇到的知识点做一个总结与分享。

为什么阅读这本书

事务是关系数据库中最重要的内容之一,无论是对数据库内核进行开发,还是在数据库的基础上进行应用程序的开发,都需要对事务有深入的了解。本书细致地解读了PostgreSQL 数据库中与事务相关的大部分源码,对其中比较重要的理论给出了说明,相信已经足以让读者了解PostgreSQL中事务的全貌。

本书的组织结构

本书在章节的排布上可以分为以下两部分。

· 基础篇(第1~4章):主要介绍了事务的基本概念、并发控制的实现方法和故障恢复的实现方法。

· 进阶篇(第5~9章):在事务理论的基础上,对物理复制、逻辑复制、SSI实现、新型Zheap引擎、2PC等做了深入的解读。

由于事务引擎和存储引擎关系密切,本书在附录中对存储引擎的一些知识点也做了相关介绍,方便读者加深理解。

纠错

在写作的过程中,我尝试尽量多地查阅相关资料,但限于作者的能力,书中难免出现一些错误,欢迎广大读者对本书提出批评和意见,这也有益于作者本身能力的提升。

致谢

孟庆钟博士和周兆琦博士通过视频会议的方式逐字逐句地审阅了书稿,多次批改书稿到深夜,提出了很多有益的意见,感谢二位辛苦的付出。

本书是和董英编辑合作的第二本书,我得到了董英编辑的大力支持,在此表示感谢。

李秀梅编辑是本书的责任编辑,在书稿写作过程中,秀梅编辑不厌其烦地解答了我很多问题,对我的拖稿行为也给予了极大的理解,感谢秀梅编辑。

感谢我的父母、妻子,书稿的创作过程枯燥而冗长,占用了很多生活的时间,他们承担了所有的家务,为我提供了最好的写作环境。

我的两个儿子也非常关心我的写作进度,经常询问我什么时候完成创作,并在我创作的过程中纠正了一些错别字,在此一并表示感谢。