07 系统实现技术.pptVIP

Bing Liu, UIC Chd.Wang，E-Mail：Chdwang@njupt.edu.cn 系统实现技术 王传栋 南京邮电大学计算机学院软件工程系 内容提纲 事务 定义、性质、特征 数据库恢复 数据库的并发控制 数据库的完整性 数据库的安全性 事务 定义 构成单一逻辑工作单元的操作集合 要么完整地执行，要么完全不执行 不论发生何种情况，DBS必须保证事务能正确、完整地执行 释义 以begin transaction语句开始事务 以commit语句或rollback语句结束事务 commit（提交）语句 事务执行成功，DB进入新状态，更新写入磁盘 rollback（回退）语句 事务执行不成功，DB退回到执行事务前的状态，撤消更新 事务 数据访问 每个事务Ti 有一个专用工作区，存放其访问和修改的数据 工作区的生命周期与事务一致 存储块 定长的存储单位 内（缓冲块）、外（物理块）存之间数据交换的基本单位 操作 input ：把物理块内容读入到内存缓冲块 output ：把缓冲块内容写到磁盘物理块 read ：把数据从缓冲块读入到事务工作区 write ：把数据从事务工作区写到缓冲块 事务 数据库访问 访问机制 事务操作在工作区完成 事务可以是insert、update、delete等命令的组合体 事务结束，更新数据写回缓冲块 缓冲块数据回写外存采用“延迟写”机制（避免频繁外存） Set auto on | off On ：缓冲区更新立即写外存 Off ：缓冲区更新不立即写外存 要使用commit和rollback命令辅助完成 事务 数据访问 示例 事务 示例 设银行数据库中有一转账事务T，从账号A转一笔款子（$50）到账号B，其操作如下： 事务 ACID性质 原子性（atomicity） 事务是一个不可分割的工作单元 要么全做，要么全不做 由事务管理子系统实现 一致性（consistency） 数据不会因事务的执行而遭受破坏 由完整性子系统实现 事务 ACID性质 隔离性（isolation） 在多个事务并发执行时，系统应保证与这些事务先后单独执行时的结果一样 由并发控制子系统实现 持久性（durability） 一个事务一旦完成全部操作后，它对数据库的所有更新应永久地反映在数据库中 由恢复管理子系统实现 事务 状态变迁图 活动状态（active） 事务执行读写操作 局部提交状态（partially committed） 写操作结果，不一定立即写回外存，可能驻留在内存缓冲区 失败状态（failed） 事务可能因某种原因随时中止 异常终止状态（aborted） 事务执行了对数据库的部分修改，应执行undo操作撤销对数据库的修改；撤销后可重新执行事务或取消事务 提交状态（committed）：事务正常结束 数据库的恢复 定义 系统能把数据库从被破坏、不正确的状态恢复到最近一个正确的状态 DBMS的这种能力称为数据库的可恢复性（recovery） 故障 磁盘损坏、电源故障、软件错误、机房火灾、恶意破坏 DBMS的恢复管理子系统 保证数据库在故障发生时，数据不丢失、不破坏 任何情况下，保持事务的原子性和持久性 数据库的恢复 存储器结构 存储器类型 易失性存储器（volatile storage） 内存、cache存储器 非易失性存储器（nonvolatile storage） 磁盘（联机存储） 磁带、 光盘（脱机存储） 稳定存储器（stable storage） 理论概念，数据决不会丢失 数据库的恢复 存储器结构 稳定存储器的实现 数据备份 磁盘数据转录到脱机存储介质（磁带、 光盘） 措施：不一定是简单的复制 硬件措施：磁盘镜像、磁盘阵列、双机容错等 软件措施：数据备份（物理备份、逻辑备份、热备份、冷备份、增量备份、完全备份等） 数据银行 将数据保存在数据库的同时，网络传输到远程计算机存储系统（数据银行） 数据库的恢复 恢复与原子性的联系 示例：如图所示 故障后的错误处理： 1）重新执行事务 2）放弃执行事务 原因： 违反事务原子性 或全做，或全不做 应该如何解决 数据库的恢复 日志DB文件 定义 用来记录事务的状态和事务对数据库更新操作的文件 日志内容 前像 事务所涉及的物理块更新前的映像（旧值）BI 利用前像，使DB恢复到更新前的状态 对应操作：撤销（undo）→回滚rollback 后像 事务所涉及的物理块更新后的映像（新值）AI 利用后像，使数据库恢复到更新后的状态（更新丢失时） 对应操作：重做（redo） 数据库的恢复 日志DB文件 是记录式文件，由运行记录组成，内容和结构因DBMS的不同而异，一般格式为 示例 下面每个操作，在日志文件中都写一个记录 1）事务T开始，记录为(T