操作系统教学课件-网络教学平台.PPT

数据0 数据1 的备份 CPU 磁盘0 数据1 数据0 的备份 磁盘1 1. 第一级容错技术SFT-Ⅰ 1) 双份目录和双份文件分配表 在磁盘上存放的文件目录和文件分配表FAT， 是文件管理所用的重要数据结构。如果这些表格被破坏，将导致磁盘上的部分或全部文件成为不可访问的，因而也就等效于文件的丢失。为了防止这类情况发生，可在不同的磁盘上或在磁盘的不同区域中，分别建立(双份)目录表和FAT。其中，一份被称为主目录及主FAT；把另一份称为备份目录及备份FAT。 2) 热修复重定向和写后读校验 热修复重定向(Hot-Redirection)。 (2) 写后读校验(Read after write Verification)方式。 第六章????文件管理  6．8 数据一致性控制 6.8.1 事务 1. 事务的定义 事务是用于访问和修改各种数据项的一个程序单位。 事务也可以被看作是一系列相关读和写操作。 2. 事务记录(Transaction Record) ·事务名：用于标识该事务的惟一名字； ·数据项名：它是被修改数据项的惟一名字； ·旧值：修改前数据项的值； ·新值：修改后数据项将具有的值。 3. 恢复算法 恢复算法可利用以下两个过程： (1) undo〈Ti〉：该过程把所有被事务Ti修改过的数据，恢复为修改前的值。 (2) redo〈Ti〉：该过程能把所有被事务Ti修改过的数据，设置为新值。 如果系统发生故障，系统应对以前所发生的事务进行清理。 6.8.2 检查点 1. 检查点(Check Points)的作用 对事务记录表中事物记录的清理工作经常化。当出现检查点时，利用undo/redo过程实现恢复功能。 2. 新的恢复算法 恢复例程首先查找事务记录表，确定在最近检查点以前开始执行的最后的事务Ti。并利用redo和undo过程对它们进行处理。 如果把所有在事务Ti以后开始执行的事务表示为事务集T， 则新的恢复操作要求：对所有在T中的事务TK, 如果在事务记录表中出现了〈TK托付〉记录，则执行redo〈TK〉操作；反之，如果在事务记录表中并未出现〈TK托付〉记录，则执行undo〈TK〉操作。 6.8.3 并发控制 利用互斥锁实现“顺序性” 利用互斥锁和共享锁实现顺序性（共享锁允许多个事务对相应对象执行读操作，而不允许执行写操作。） 6.8.4 重复数据的数据一致性问题 1. 重复文件的一致性 UNIX类型的目录 2. 盘块号一致性的检查 检查盘块号一致性情况 检查盘块号一致性情况 3. 链接数一致性检查 为每个盘块建立一个表项，记录该索引结点号的计数值。检查时，从根目录开始查找，当在目录中遇到该索引结点号时，在该计数器表中相应文件的表项上加1。检查完后，将该计数器表中每个表项中的索引结点号计数值与该文件索引结点中的链接计数count值加以比较，如果两者一致，表示是正确的；否则，便是发生了链接数据不一致的错误。 当链接计数count值大于或小于计数器表中索引结点号计数值的情况时，解决的方法是将count值置为正确值。 * 访问文件包括： 目录检索：用户给出文件名，按名寻找目录项 根据路径名检索： 全路径名：从根开始 相对路径：从当前目录开始 文件寻址：根据FCB中文件物理地址等信息，求出文件的任意记录或字符在存取介质上的地址，称为文件寻址 1.文件目录检索 为加快目录检索可采用目录项分解法：把FCB分成两部分： 符号目录顶（次部） 文件名，文件号 基本目录项（主部） 除文件名外的所有项目 UNIX：I节点（索引节点） 2. 文件目录改进 3. 符号目录与基本目录 第六章????文件管理  6．6 文件存储空间的管理 6.6.1 外存空间管理 1. 空闲块表（空白文件目录） 将所有空闲块记录在一个表中，即空闲块表 2. 空闲块链表 把所有空闲块链成一个链 3. 位图法 用一串二进制位反映磁盘空间中分配使用情况, 每个物理块对应一位, 分配物理块为1，否则为0 1. 空白的文件目录 一个连续的未分配区域称为“空白文件” ，系统为所有这些“空白文件”单独建立一个目录。每个空白文件，在目录中建立一个表目。表目的内容包括：第一空白物理块的地址（块号）、空白块的数目。 当请求分配存储空间时，系统依次扫描空白文件目录的表目，直到找到一个合适的空白文件为止 当用户撤消一个文件时，系统回收该文件所占用的空间。