HYZOS文和件系统.ppt

* * 北京交通大学计算机学院 并发控制 用于实现事务顺序性的技术 利用互斥锁来实现顺序性 共享对象?互斥锁 简单易行，但效率不高 利用互斥锁和共享锁来实现顺序性 共享文件具有只允许一个事务去写但却允许多个事务同时读的特点 类似于读者与写者问题解决方案 * * 北京交通大学计算机学院 6.7 数据一致性控制 6.7.1 数据一致性问题及技术 6.7.2 事务概念及恢复算法 6.7.3 检查点及恢复算法改进 6.7.4 并发控制技术 6.7.5 重复数据的一致性问题 * * 北京交通大学计算机学院 重复文件的一致性 为保证文件系统的可用性，应为系统中的关键文件设置多个重复拷贝 目录项（文件名）?多个索引结点号 当一个文件拷贝发生修改时，其它的文件拷贝也应做同样的修改，以保证文件中数据的一致性 对策：1、直接根据索引结点找到拷贝位置和进行修改；2、为新修改的文件建立拷贝和替换原有文件拷贝 * * 北京交通大学计算机学院 盘块号一致性的检查 盘块使用情况 空闲盘块表（链）与文件分配表 对策：构建基于盘块号的两个计数器，分别就空闲盘块号和数据盘块号进行计数，正常情况下，对应每个盘块号的空闲盘块号计数值和数据盘块号计数值应当互补，否则出错 * * 北京交通大学计算机学院 正常情况与盘块丢失举例 计数器组 盘块号 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 空闲盘块计数器组 数据盘块计数器组 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 计数器组 盘块号 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 空闲盘块计数器组 数据盘块计数器组 1 1 0 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 * * 北京交通大学计算机学院 空闲/数据盘块号重复出现举例 计数器组 盘块号 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 空闲盘块计数器组 数据盘块计数器组 1 1 0 1 2 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 计数器组 盘块号 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 空闲盘块计数器组 数据盘块计数器组 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 2 0 0 0 1 1 0 0 0 1 1 * * 北京交通大学计算机学院 链接数一致性的检查 Unix类型文件目录 目录项?索引结点号 共享文件索引结点号在目录中出现的次数应当与其索引结点中的共享用户（进程）计数值相同 对策：通过目录遍历构造一张计数器表，为每个文件建立一个表项以记录其索引结点号的计数值 * * 北京交通大学计算机学院 6.7 数据一致性控制 6.7.1 数据一致性问题及技术 6.7.2 事务概念及恢复算法 6.7.3 检查点及恢复算法改进 6.7.4 并发控制技术 6.7.5 重复数据的一致性问题 * * 北京交通大学计算机学院 第六章 文件管理 6.1 文件和文件系统 6.2 文件的逻辑结构 6.3 外存分配方式 6.4 文件存储空间管理 6.5 目录管理 6.6 文件共享与保护 6.7 数据一致性控制 * * 北京交通大学计算机学院 补充内容：常用文件系统 FAT FAT12、FAT16、FAT32 Cairo、OFS、WinFS、IFS NTFS EXT2/EXT3/EXT4、JFS、VFS、PROC HFS/XFS/JFS/MinixFS/UFS CDFS、ZFS、HPFS、REISERFS NFS * 北京交通大学计算机学院 * 重点问题解析 ——内存管理地址映射 * * 北京交通大学计算机学院 64位微处理器内存管理系统 支持分段和分页机制（段页式） 段号采用26位编址 分页大小为16KB 段表项和页表项均为32位 段表和页表均基于分页