發表於2024-12-23
數據庫事務處理的藝術:事務管理與並發控製 pdf epub mobi txt 電子書 下載
作者是騰訊的T4級專傢,有近20年數據庫內核研發經驗,曾是Oracle公司MySQL全球開發組核心成員
中國計算機學會(CCF)常務理事、數據庫專委會主任、數據庫領域著名專傢、中國人民大學杜小勇教授親自作序推薦
人民大學張孝和盧衛教授、武漢大學彭煜煒教授、雲和恩墨CEO蓋國強、騰訊金融支付數據庫運營與研發部副總監薑承堯聯袂推薦
作者有近20年數據庫內核研發經驗,曾是Oracle公司MySQL全球開發組核心成員,現在是騰訊的T4級專傢。數據庫領域的泰鬥杜小勇老師親自為是本書作序,數據庫學術界的知名學者張孝博士(中國人民大學)、盧衛博士後(中國人民大學)、彭煜瑋博士(武漢大學),以及數據庫工業界的知名專傢蓋國強和薑承堯等也給予瞭極高的評價。
全書共12章,首先介紹數據庫事務管理與並發控製的基礎理論和工作機製,然後再從工程實踐的角度對比和分析瞭4個主流數據庫的事務管理與並發控製的實現原理,最後通過源代碼分析瞭PostgreSQL和MySQL在事務管理與並發控製上的技術架構與設計思想。
第一篇(1-2章) 事務管理與並發控製基礎理論
對數據庫事務管理和並發控製的基礎理論、核心技術和工作原理進行瞭講解,包括數據庫事務處理技術的範圍、數據的異常現象及成因、事務模型、並發訪問控製技術、以及隔離性等。
第二篇(3-6章) 事務管理與並發控製應用實例研究
以Informix、Oracle、PostgreSQL和MySQL/InnoDB等主流數據庫係統為例,對他們的事務管理和並發控製的實現技術、工作原理以及原理背後的設計思想進行瞭深度分析和對比。
第三篇(7-9章) PostgreSQL事務管理與並發控製源碼分析
首先對PostgreSQL事務處理技術的架構、層次、設計思想、相關數據結構和實現原理進行瞭深入係統的分析,然後從功能角度對PostgreSQL的事務模型、並發控製、一緻性、隔離性以及其所使用的SS2PL、MVCC、SSI等技術做瞭深入的講解。
第四篇(10-12章) InnoDB事務管理與並發控製源碼分析
首先對事MySQL/InnoDB的務處理技術的架構、層次、設計思想、相關數據結構和實現原理進行瞭深入係統的分析,然後從功能角度對MySQL/InnoDB的事務模型、並發控製、一緻性、隔離性以及其所使用的SS2PL、MVCC等技術做瞭深入的講解。
李海翔(網名:那海藍藍)
資深數據專傢,擁有近20年數據庫內核研發經驗,曾就職於人大金倉、Oracle公司MySQL全球開發組等,現就職於騰訊TEG計費平颱部,T4級專傢。中國人民大學工程碩士企業導師。
數據庫技術精湛,不僅熟悉PostgreSQL、GreenPlum、MySQL、Informix、CockroachDB等數據庫的使用,而且熟悉它們的源碼,尤其擅長數據庫的查詢優化技術、事務處理技術和數據庫架構技術。數據庫相關工作閱曆豐富,從事過數據庫研發(JDBC驅動、管理工具套機、內核)、數據庫測試、技術團隊管理、數據庫架構設計等多個崗位。
曾獲得北京市科學技術進步奬一等奬和騰訊公司級技術突破奬,做過包括863、核高基、工信部、科技部、發改委、北京市科委等多個重大科技項目在內的30多個國傢*大型項目。
除本書外,還撰寫並齣版瞭本書的姊妹篇《數據庫查詢優化器的藝術:原理解析與SQL性能優化》,被譽為數據庫性能優化領域的經典。
海翔熱愛數據庫研發,對數據庫技術一直抱有一顆堅韌、執著之心,本書是他的經驗和思索的體現,值得仔細研讀。
——張孝(博士) 中國人民大學信息學院副教授
這本書具備較好的深度、廣度、新度,這讓我十分期待。
——盧衛(博士後) 中國人民大學信息學院副教授
本書聚焦於數據庫中的事務處理,從原理、主流數據庫實現、源碼級實現三個角度進行瞭深度的探討。尤其是後兩個部分的介紹,讓本書成為不可多得的有關於DBMS事務管理模塊內部技術細節的參考資料。
——彭煜瑋(博士) 武漢大學計算機學院副教授
海翔的著作以獨到之角度闡釋事務原理與並發控製,以庖丁解牛之刀為廣大數據技術從業者剖析齣寶貴的關節,實在是讓人手不釋捲。
——蓋國強 雲和恩墨創始人/Oracle ACE總監
學習MySQL看薑老師的書,學習優化器和事務處理,就看海翔老師的作品吧。
——薑承堯 騰訊金融支付數據庫運營與研發部副總監
作者在數據庫內核領域有多年理論研究與開發實踐經驗,目前負責騰訊金融分布式數據庫TDSQL的內核研發工作。TDSQL旨在解決強一緻性、高可用、高性能、分布式、配套設施、安全保障等方麵的難題,為騰訊內外大量政企、金融客戶的穩定運行保駕護航。
推薦序一
推薦序二
推薦序三
推薦序四
推薦序五
推薦序六
前言
第一篇 事務管理與並發控製基礎理論
第1章 數據庫管理係統的事務原理 2
1.1 事務模型要解決的問題 2
1.1.1 為什麼需要事務處理機製 2
1.1.2 事務機製要處理的問題——事務故障、係統故障、介質故障 4
1.1.3 並發帶來的問題椚��?
常見的讀數據異常現象 4
1.1.4 並發帶來的問題——寫並發操作引發的數據異常現象 8
1.1.5 語義約束引發的數據異常現象 9
1.1.6 其他的異常 11
1.1.7 深入探討三種讀數據異常現象 13
1.2 事務處理技術的原理 17
1.2.1 什麼是事務 17
1.2.2 事務的屬性 20
1.2.3 ACID的實現技術 24
1.3 事務的模型 26
1.4 並發控製技術 27
1.4.1 並發控製技術的實現策略 27
1.4.2 並發控製技術的實現技術 28
1.5 日誌技術與恢復子係統31
1.6 本章小結 32
第2章 深入理解事務管理和並發控製技術 33
2.1 在正確性和效率之間平衡 33
2.1.1 隔離級彆 34
2.1.2 快照隔離 36
2.1.3 理解可見性 39
2.2 並發控製 40
2.2.1 基於鎖的並發控製方法 42
2.2.2 基於時間戳的並發控製方法 47
2.2.3 基於有效性檢查的並發控製方法 52
2.2.4 基於MVCC的並發控製方法 53
2.2.5 基於MVCC的可串行化快照隔離並發控製方法 56
2.2.6 再深入探討三種讀數據異常現象 60
2.3 並發控製技術的比較 62
2.3.1 並發控製技術整體比較 62
2.3.2 S2PL和SS2PL的比較 64
2.3.3 事務屬性與並發控製技術的關係 65
2.3.4 SCO和SS2PL的比較 66
2.3.5 TO和SS2PL的比較 67
2.4 深入探討隔離級彆 68
2.4.1 隔離級彆與基於鎖的並發控製方法 68
2.4.2 隔離級彆與各種並發控製技術 69
2.5 事務的管理 70
2.5.1 事務的開始 71
2.5.2 事務的提交 71
2.5.3 事務的中止與迴滾 72
2.5.4 子事務與SAVEPOINT 72
2.5.5 長事務的管理 73
2.5.6 XA 74
2.6 事務相關的實戰問題討論 75
2.7 本章小結 76
第二篇 事務管理與並發控製應用實例研究
第3章 Informix事務管理與並發控製 78
3.1 Informix的事務操作 78
3.2 Informix的封鎖技術 83
3.3 隔離級彆與數據異常 85
3.4 本章小結 88
第4章 PostgreSQL事務管理與並發控製 89
4.1 PostgreSQL事務操作 89
4.2 SQL操作與鎖 92
4.3 隔離級彆與數據異常 108
4.4 本章小結 118
第5章 InnoDB事務管理與並發控製 119
5.1 InnoDB的事務模型 119
5.2 InnoDB基於鎖的並發控製 123
5.3 InnoDB基於MVCC的並發控製 130
5.4 隔離級彆與數據異常 131
5.5 本章小結 138
第6章 Oracle事務管理與並發控製 139
6.1 Oracle的事務操作 139
6.2 Oracle的封鎖技術 142
6.3 MVCC技術 145
6.4 隔離級彆與數據異常 157
6.5 本章小結 160
第三篇 PostgreSQL事務管理與並發控製源碼分析
第7章 PostgreSQL事務係統的實現 162
7.1 架構概述 162
7.2 事務管理的基礎 166
7.3 事務操作 173
7.4 子事務的管理 186
7.5 本章小結 188
第8章 PostgreSQL並發控製係統的實現—封鎖 189
8.1 鎖的概述 189
8.2 係統鎖 192
8.3 事務鎖 214
8.4 事務鎖的管理 239
8.5 死鎖檢測 247
8.6 從鎖的角度看用法 254
8.7 本章小結 262
第9章 PostgreSQL並發控製係統的實現—MVCC 263
9.1 快照 264
9.2 可見性判斷與多版本 273
9.3 可串行化快照原理 285
9.4 PostgreSQL可串行化快照的實現 289
9.5 隔離級彆 336
9.6 本章小結 340
第四篇 InnoDB事務管理與並發控製源碼分析
第10章 InnoDB事務係統的實現 342
10.1 架構概述 342
10.2 事務管理的基礎 346
10.3 事務操作 353
10.4 InnoDB事務模型 378
10.5 本章小結 382
第11章 InnoDB並發控製係統的實現—兩階段鎖 383
11.1 鎖的概述 383
11.2 係統鎖 386
11.3 事務鎖之記錄鎖 401
11.4 事務鎖之元數據鎖 433
11.5 SQL語義定義鎖 476
11.6 其他類型的鎖 493
11.7 事務與鎖 499
11.8 本章小結 500
第12章 InnoDB並發控製係統的實現—MVCC 502
12.1 數據結構 503
12.2 可見性判斷 506
12.3 多版本的實現 509
12.4 一緻性讀和半一緻性讀 511
12.5 本章小結 513
附錄 TDSQL簡介 514
理論必備
評分此用戶未填寫評價內容
評分很好,很好,很好,很好,很好
評分非常不錯喲!
評分數據庫事務必備
評分非常好 很實用
評分數據庫事務必備
評分挺好的挺好的
評分理論必備
數據庫事務處理的藝術:事務管理與並發控製 pdf epub mobi txt 電子書 下載