第十章事务和锁

去不到终点,回到原点. 去不到终点,回到原点.
2.一致性(Consistency) 一致性( 一致性 )
一致性值在事务开始前和结束后, 一致性值在事务开始前和结束后 , 所有数 据都必须处于一致性的状态. 据都必须处于一致性的状态. 一致性的状态
指数据库中数据的满足数据完整性
事务的一致性与原子性是密切相关的. 事务的一致性与原子性是密切相关的.
不能用于事务的操作
操作 创建数据库 修改数据库 删除数据库 恢复数据库 加载数据库 备份日志文件 恢复日志文件 更新统计数据 授权操作 复制事务日志 磁盘初始化 相应的SQL语句 语句 相应的 CREATE DATABASE ALTER DATABASE DROP DATABASE RESTORE DATABASE LOAD DATABASE BACKUP LOG RESTORE LOG UPDATE STATISTICS GRANT DUMP TRANSACTION DISK INIT
B
读取 x=50
锁
产生上述三类数据不一致性的主要原因就是并发操作破坏 了事务的隔离性. 了事务的隔离性. 锁用来保证事务的隔离性,避免并发事务之间的相互干扰 用来保证事务的隔离性, 造成数据的不一致性,保证数据库的完整性. 造成数据的不一致性,保证数据库的完整性. 数据库中锁是一种软件机制, 数据库中锁是一种软件机制,用来指示某个用户占用了某 个资源, 个资源,从而防止其他用户做出影响本用户所进行的一些 操作.可以这样理解: 操作.可以这样理解:锁就是事务可以对数据库资源进行 操作的权限. 操作的权限.
3.隔离性(Isolation) 隔离性( solation)
如果多个事务并发地执行, 如果多个事务并发地执行 , 应像各个事务独立执 行一样,一个事务的执行不能被其他事务干扰. 行一样,一个事务的执行不能被其他事务干扰. 即一个事务内部的操作及使用的数据对并发的其 他事务是隔离的:一个事务看到的数据状态必须 他事务是隔离的 : 为另一个事务处理前或处理后的数据,不能是另 为另一个事务处理前或处理后的数据, 一个事务执行过程中的中间数据状态. 一个事务执行过程中的中间数据状态. 并发控制就是为了保证事务间的隔离性. 并发控制就是为了保证事务间的隔离性.
数据并发性——事务和锁 事务和锁 数据并发性
并发性
数据库的重要特征是支持数据共享, 数据库的重要特征是支持数据共享,允许多个 用户程序并行地存取数据库中的数据. 用户程序并行地存取数据库中的数据. 多个用户可能同时对同一数据进行操作, 多个用户可能同时对同一数据进行操作,称为 并发操作. 并发操作. 事务( 事务(TRANSACTION)是当前主流数据库系 ) 统普遍采用的并发控制机制. 统普遍采用的并发控制机制.
事务 T1 A B 读取 x=50
T2 x=x+40
T3
T4 回滚事务
读取缓存x=90 读取缓存 脏读数据示例
3.非重复读 . 事务A按一定条件从数据库中读入某些数据,随后事务 事务 按一定条件从数据库中读入某些数据,随后事务B 按一定条件从数据库中读入某些数据 对其进行更新,并将更新结果写回数据库, 对其进行更新,并将更新结果写回数据库,当A再按同 再按同 一条件读入数据时,结果已经不同了(更改,删除, 一条件读入数据时,结果已经不同了(更改,删除,增 ),这种情况称为 非重复读" 这种情况称为" 加),这种情况称为"非重复读" 事务 T1 A T2 读取 x=50 T3 读取 y=30 x+y=80 x=x+30 非重复读示例 将x=80写 写 入数据库 T4 T5 T6 读取 z=15, , x+y+z=95
① ② ③
1.显式事务 显式事务
事务的开始与结束由用户显式控制, 事务的开始与结束由用户显式控制 , 即需要用户通 过语句定义事务的启动和结束: 过语句定义事务的启动和结束: BEGIN TRANSACTION 表示事务的开始 表示事务的开始 表示事务的提交 提交, COMMIT 表示事务的提交,此时事务正常结束 表示事务的回滚 回滚, ROLLBACK 表示事务的回滚,此时事务运行中发生 返回事务开始的位置 存储点. 开始的位置或 故障 返回事务开始的位置或存储点. 注意:在应用事务的时候, 注意:在应用事务的时候, BEGIN TRANSACTION要 要 成对出现. 和COMMIT或ROLLBACK成对出现. 或 成对出现
USE School GO SELECT* FROM Student GO BEGIN TRAN --事务的开始 事务的开始 INSERT INTO Student VALUES(100,'陈浩 男','1976-03-05','95033') 陈浩','男 陈浩 INSERT INTO Student VALUES(200,'王浩 男','1976-10-05','95031') 王浩','男 王浩 ROLLBACK TRAN --回滚事务 回滚事务 GO 改成COMMIT 结果如何 改成 SELECT* FROM Student
① ② ③ ④
1.原子性( Atomicity ) 原子性( 原子性
一个事务是一个不可分的单元.事务在执行时, 一个事务是一个不可分的单元 . 事务在执行时 , 应该遵守" 要么不做,要么全做" ( nothing or 应该遵守 " 要么不做 , 要么全做" all)的原则,即不允许事务部分的完成. all)的原则,即不允许事务部分的完成.
பைடு நூலகம்
练习
在数据库School中实现 中实现95031新增一个新同学, 新增一个新同学, 在数据库 中实现 新增一个新同学 信息如下: 王浩','男 信息如下: (200,'王浩 男','1976-10-05','95031') 王浩 USE School GO SELECT Class,COUNT(Sno) AS Count_Mem INTO Class BEGIN TRAN FROM Student GROUP BY Class INSERT INTO Student VALUES(200,'王浩 男','1976-10-05','95031' 王浩','男 王浩 GO UPDATE Class SELECT* SET Count_Mem=Count_Mem+1 FROM Class WHERE GO --在数据库 在数据库School中创建表Class='95031' 中创建表Class 用于班级号和人数 在数据库 中创建表 COMMIT
保存点/ 保存点/存储点
在事务内部设置保存点, 在事务内部设置保存点,如果按一定条件取消 事务的一部分,则事务可以返回的位置. 事务的一部分,则事务可以返回的位置. SAVE TRAN[SACTION] {savepoint name| @savpoint_variable}
P173
SELECT* FROM Student GO BEGIN TRAN Mytran --事务的开始 事务的开始 INSERT INTO Student VALUES(100,'陈浩 男','1976-03-05','95033') 陈浩','男 陈浩 SAVE TRAN Savetran INSERT INTO Student VALUES(200,'王浩 男','1976-10-05','95031') 王浩','男 王浩 ROLLBACK TRAN Savetran--回滚事务 回滚事务 COMMIT TRANSACTION Mytran GO SELECT* FROM Student GO PRINT @@trancount
事务: 事务:一系列需要处理的事情当成一个整体 来看待. 来看待.
俞敏洪→李开复 俞敏洪 李开复 转账包括两个步骤: 俞 转账包括两个步骤:1.俞-5000 2.李+5000 李
事务的四个特征(ACID特性): 事务的四个特征(ACID特性): 特性
原子性( tomicity) 原子性(Atomicity) 一致性(Consistency) 一致性( onsistency) 隔离性( solation) 隔离性(Isolation) 持久性( urability) 持久性(Durability)
4.持久性(Durability) 持久性( 持久性 )
事务如果正常结束, 事务如果正常结束 , 则它对数据库所做的 修改是永久性的保存. 修改是永久性的保存 . 接下来的其他操作 或故障不会对改结果有影响. 或故障不会对改结果有影响.
事务分类
按事务的启动和执行方式,可以分为三 按事务的启动和执行方式,可以分为三类: 显式事务 自动提交事务 隐性事务
更新使用sp_configure系统存储过 RECONFIGURE 系统存储过 更新使用 程更改的配置选项的当前配置值
并发控制的必要性
允许多个事务并发执行可能出现问题: 允许多个事务并发执行可能出现问题 丢失更新(Lost Update) 污读(Dirty Read ) 不可重读(Unrepeatable Read)
已知:银行数据库系统中用户的存款余额保存在表 Account中,属性 表示每个账户的余额, 中 属性Balance 表示每个账户的余额,CID表 表 示用户名 IF @a<0 --余额不足 余额不足 BEGIN BEGIN TRANSACTION PRINT '余额不足 余额不足' 余额不足 UPDATE Account ROLLBACK SET Balance=Balance-5000 END WHERE CID='俞敏洪 俞敏洪' 俞敏洪 --拨款 ELSE 拨款 GO BEGIN UPDATE Account DECLARE @a int SET SET @a = ( SELECT Balance Balance=Balance+5000 FROM Account WHERE CID='李开复 李开复' 李开复 WHERE CID='俞敏洪 俞敏洪') 俞敏洪 PRINT '拨款完成 拨款完成' 拨款完成 COMMIT END GO