【CMU15-445 Part-16】Concurrency Control Theory

Part16-Concurrency Control Theory

架构概念

Transcations

txn就是通过在数据库系统中执行一系列操作(sql queries)来执行某种更高级的功能(应用程序所执行的功能)。

Transcations in SQL

一个新的事务开始 with BEGIN,txn结束with COMMIT / ABORT或者ROLLBACK

如果是COMMIT,要么保存事务的所有改变然后commit,或者数据库系统表示不能commit;commit并不意味着你就commit

如果是abort,自begin开始所做的修改都会被回滚。abort可能是自发的self-inflicted 或者DBMS告诉你这个事务需要中止

Correctness Criteria : ACID

  • Atomicity:原子性,事务的所有做要么都发生,要么都不发生
  • Consistency,一致性
  • Isolation:隔离性,txn之间隔离执行
  • Durability:持久性,事务提交,修改保存,不会丢失

Atomicity of TXN

  • commit after completing all actions
  • abort after excuting some actions

确保原子性的方法

  1. Logging,预写日志Write Ahead Logging,DBMS log 所有的actions,在中止的时候来undo这些操作,维护undo records in mm and disk
  2. Shadow Paging:对每个事务在磁盘上制作一份该数据库文件的副本,所有的修改都在副本上执行,事务提交的时候只需要更改指针指向该副本,表示现在这个副本是该数据的主版本。

logging in MM可以很快的恢复,on Disk 可以处理hard crash之后的recovery

Consistency

Database is logically correct → 查询的结果也是txn logically correct

Database Consistency

数据库要对现实世界准确建模通过integrity constraints (完整性约束)来保证一致性

Transaction Consistency

是application的责任,DBMS只能看到read 或者 write

Isolation of Transactions

隔离性为了更好的programming,实现隔离性一般通过并发控制协议

Mechanisms for Ensuring Isolation

pessimistic protocal 悲观协议

optimistic protocal 乐观协议

Correctness

如何确保一个schedule是正确的

也就是可串行化:某个schedule的执行结果等同于按顺序执行的结果,那么说这种执行顺序的schedule是正确的,也就是serializable schedule 可串行化的执行计划。

如果T1先执行,后面是T2,T1先被提交,是strict serializeability 严格可串行化。

Interleaved Execution Anomalies

R-W W-R W-W

Unrepeatable Reads

不可重复读:试着去读取同一个对象的时候得到的值并不相同,实际是read-write conflicts

Dirty Reads

脏读:read-write冲突,reading uncommitted Data,读未提交,读了脏数据。

W-W Conflicts

写写冲突,overwrting uncommitted data,覆写未提交的数据。

Conflict Serializability

如果两个schedule被认为是冲突等价conflict equivalent,如果这两个调度涉及相同事务的相同操作,每一对冲突的操作在两个调度中的顺序都相同。

冲突等价(ConflictEquivalence) 可串行化调度(Serializable Schedules)_软件工程小施同学的博客-CSDN博客

冲突可串行化调度

通过交换不冲突操作的顺序来弄清楚该schedule是否是冲突可串行化,最终得到一个可顺序执行的调度

Dependency Graph

依赖图或者叫precedence graph 优先图,如果一个事务中的某些操作和另外一个事务的操作有冲突,Oi早于Oj,则Ti→Tj是一条边,如果有环则是不可串行化。

并不是conflict serializable,但是仍然能够得到和按顺序执行事务的相同结果和相同的数据库状态,这就是ViewSerializability

View Serializability

屏幕打印看到的结果和实际最终的结果不一致,要追求看到的和实际的一致。

从视觉角度上来看 这两种执行顺序所达到的效果是等同的。但是要知道T3最后W(A)

相关推荐
sun0077001 小时前
mysql索引底层原理
数据库·mysql
workflower4 小时前
MDSE和敏捷开发相互矛盾之处:方法论本质的冲突
数据库·软件工程·敏捷流程·极限编程
Tony小周4 小时前
实现一个点击输入框可以弹出的数字软键盘控件 qt 5.12
开发语言·数据库·qt
lifallen5 小时前
Paimon 原子提交实现
java·大数据·数据结构·数据库·后端·算法
TDengine (老段)5 小时前
TDengine 数据库建模最佳实践
大数据·数据库·物联网·时序数据库·tdengine·涛思数据
Elastic 中国社区官方博客5 小时前
Elasticsearch 字符串包含子字符串:高级查询技巧
大数据·数据库·elasticsearch·搜索引擎·全文检索·lucene
Gauss松鼠会6 小时前
GaussDB应用场景全景解析:从金融核心到物联网的分布式数据库实践
数据库·分布式·物联网·金融·database·gaussdb
守城小轩6 小时前
Chromium 136 编译指南 - Android 篇:开发工具安装(三)
android·数据库·redis
尽兴-6 小时前
如何将多个.sql文件合并成一个:Windows和Linux/Mac详细指南
linux·数据库·windows·sql·macos
小小不董6 小时前
深入理解oracle ADG和RAC
linux·服务器·数据库·oracle·dba