热门标签 | HotTags
当前位置:  开发笔记 > 后端 > 正文

[操作系统]分页系统的实现问题

分页系统的实现问题分页系统的实现问题与分页有关的工作缺页中断处理指令备份锁定内存中的页面后备存储策略和机制的分离1.与分页有关的工作操作系统在四段时间里做与分页有关的工作:进程创建
分页系统的实现问题

  • 分页系统的实现问题
    • 与分页有关的工作
    • 缺页中断处理
    • 指令备份
    • 锁定内存中的页面
    • 后备存储
    • 策略和机制的分离

1. 与分页有关的工作

操作系统在四段时间里做与分页有关的工作:进程创建时,进程执行时,缺页中断时和进程终止时。

  1. 当在分页系统中创建一个一个新进程时,操作系统需要确定该进程的程序和数据在初始时有多大,并为它们创建一个页表。操作系统还要在内存中为页表分配空间并对其进行初始化。当进程被换出时,页表不需要驻留在内存中,但当进程运行时,页表必须在内存中。

    另外,操作系统要在磁盘交换区中分配空间,以便在一个进程换出时在磁盘上有放置此进程的空间。操作系统还要用程序正文和数据对交换区进程初始化,这样当新进程发生缺页中断时,可以调入需要的页面。某些操作系统直接从磁盘上的可执行文件对程序正文进行分页,以节省磁盘空间和初始化时间。

    最后,操作系统必须把有关页表和磁盘交换区的信息存储在进程表中。

  2. 当调度一个进程执行时,必须为新进程重置MMU,刷新TLB,以清除以前的进程遗留下的痕迹。

  3. 当缺页中断发生时,操作系统必须通过读硬件寄存器来确定是哪个虚拟地址造成的缺页中断。并计算出需要的页面以及要替换的老的页面。最后,还要备份程序计数器,使其指向引起缺页终端的指令,并重新执行该指令。

  4. 当进程退出的时候,操作系统需要释放进程的页表,页面和页面在硬盘上所占用的空间。但如果有些页面是被共享的,那只有当所有使用共享页面的进程终止时,该共享页面才会被释放。

2. 缺页中断处理

缺页中断时,发生的的事件顺序如下:

  1. 硬件陷入内核,在堆栈中保存程序计数器。大多数机器将当前指令的各种状态信息保存在特殊的CPU寄存器中。

  2. 启动一个汇编代码例程保存通用寄存器和其他易失的消息,以免被操作系统破坏。

  3. 当操作系统发现一个缺页中断时,尝试发现需要哪个虚拟页面。通常一个硬件寄存器包含了这以信息,如果没有的话,操作系统必须检索程序计数器,取出这条指令,用软件分析这条指令,看看它在缺页中断时正在做什么。

  4. 一旦知道了发生缺页中断的虚拟地址,操作系统检查这个地址是否有效,并检查存取与保护是否一致。如果不一致,向进程发出一个信号或杀掉该进程。如果地址有效且没有保护错误发生,系统则检查是否有空闲页框。如果没有空闲页框,执行页面置换算法寻找一个页面来淘汰。

  5. 如果选择的页框被修改过了,安排该页写回磁盘,并发生一次上下文切换,挂起产生缺页中断的进程,让其他进程运行直至磁盘传输结束。无论如何,该页框被标记为忙,以免因为其他原因而被其他进程占用。

  6. 一旦页框干净后,操作系统查找所需页面的在磁盘上的地址,通过磁盘操作将其装入。该页面被装入后,产生缺页中断的进程仍然被挂起,并且如果有其他可运行的用户进程,则选择另一个用户进程运行。

  7. 当磁盘中断发生时,表明该页已经被装入,页表已经更新可以反映它的位置,页框也被标记为正常状态。

  8. 恢复发生缺页中断指令以前的状态,程序计数器重新指向这条指令。

  9. 调度引发缺页中断的进程,操作系统返回调用它的汇编语言例程。

  10. 该例程恢复寄存器和其他状态信息,返回到用户空间继续执行,就好像缺页中断没有发生过一样。

3. 指令备份

当程序访问不在内存中的页面时,引起缺页中断的指令会半途停止并引发操作系统的陷阱,系统取出所需的页面后,需要重新启动引起陷阱的指令。

为了重启指令,操作系统需要知道指令第一个字节的位置。在陷阱发生时,程序计数器的值依赖于引起缺页中断的那个操作数以及CPU中微指令的实现方式。

可以,使用一个隐藏的内部寄存器。在每条指令执行之前,把程序计数器的内容复制到该寄存器。可能会有第二个寄存器,用来提供哪些寄存器已经自动增加或者自动减少以及递减的数量信息。通过这些信息就可以重启指令了。

4. 锁定内存中的页面

假如一个进程刚刚通过系统调用从文件或其他设备中读取数据到其地址空间中的缓冲区。在等待I/O完成时,该进程被挂起,另一个进程被允许运行,而这个新运行的进程产生一个缺页中断。

如果分页算法是全局算法,包含I/O缓冲区的页面有可能会被淘汰出内存。如果一个I/O设备正处在对该页面进程DMA传输的过程之中,将这个页面移出去将会导致部分数据写入它们所属的缓冲区中,而部分数据被写入到最新装入的页面中。

一种解决方法是锁住正在做I/O操作的内存中的页面以保证
它不会被移出内存。锁住一个页面通常称为在内存中钉住页面。另一种方法是在内核缓冲区中完成所有的I/O操作,然后再将数据复制到用户页面。

5. 后备存储

在内存中被置换出的页面应该放在磁盘中的什么位置?

  1. 静态交换区分页

    在磁盘上分配页面空间的最简单的算法是在磁盘上设置特殊的交换分区,甚至从文件系统划分一块独立的磁盘。

    当系统启动时,以该交换分区为空,并在内存中以单独的项给出它的起始大小。在最简单的情况下,当第一个进程启动时,留出与这个进程一样大的交换区块,剩余的为总空间减去这个交换分区。当新进程启动后,同样被分配与其核心映像同等大小的交换分区。进程结束后,会释放其磁盘上的交换区。交换分区以空闲块列表的形式组织。

    与每个进程对应的是其交换区的磁盘地址,即进程映像保存的地方。这一信息是记录在进程表里的。

    写回一个页面时,计算写回地址的过程为:将虚拟地址空间中页面的偏移量加到交换区开始的地址。但在进程启动前必须初始化交换区,一种方法是将整个进程映像复制到交换区,以便随时可以将所需内容装入,另一种方法是将整个进程装入内存,并在需要时换出。

    这种方法可能出现的问题是:进程再启动后可能增大。所以最好为正文、数据和堆栈分别保留交换区,并且允许这些交换区在磁盘上多于一个块。

  2. 动态备份页面

    另一个极端的情况是,事先什么也不分配,在页面换出时为其分配磁盘空间,并在换入时回收磁盘空间,这样内存中的进程不必固定于任何交换空间。缺点是内存中的每个页面都要记录相应的磁盘地址,即每个进程都必须有一张表,记录每一个页面在磁盘上的位置。

《[操作系统] 分页系统的实现问题》

如图所示,在a中,页面0,3,4,6在内存中,页面1,2,5和7在磁盘上。磁盘上的交换区与进程虚拟地址空间一样大(8个页面),每个页面有固定的位置,当它从内存中被淘汰时,便写道相应位置。该地址的计算需要知道进程的分页区域的起始位置,因为页面是按照它们的虚拟页号的顺序连续存储的。内存中的页面通常在磁盘上有镜像副本,但是如果页面装入内存后被修改过,那么这个副本可能已经过期,磁盘上的页面应该被内存中的所替代。但如果一个内存页面要被换回磁盘,并且未被修改过,那么应该使用磁盘中的副本。

在b中,页面在磁盘上没有固定地址。当页面换出时,要及时选择一个空磁盘页面并据此来更新磁盘映射,即每个虚拟页面都有一个磁盘地址空间。内存中的页面在磁盘上没有副本,它们在磁盘映射表中的表项包含一个非法的磁盘地址或者一个表示它们未被使用的标记位。

不能保证总能够实现固定的交换分区,例如没有磁盘分区可用时,这种时候可以利用正常文件系统中的一个或多个较大的,事前定位的文件。

更好的方法是,由于程序正文通常是只读的,当内存紧张时,可以丢弃程序页,在需要的时候从可执行文件(因为每个进程的程序正文来自可执行文件)读入即可。共享库也可用这个方式工作。

6. 策略和机制的分离

使大多数存储管理器作为用户级进程运行。

《[操作系统] 分页系统的实现问题》

如图所示,其中存储管理系统被分为三个部分:

  1. 一个底层MMU处理程序。
  2. 一个作为内核一部分的缺页中断处理程序。
  3. 一个运行在用户空间中的外部页面调度程序。

当一个进程启动时,需要通知外部页面调度程序以建立进程页面映射,如果需要的话还要在磁盘上分配后备存储。

当进程正在运行时,可能要把新对象映射到其地址空间,还要通知外部页面调度程序。

当进程开始运行,有可能出现缺页中断,此时由缺页中断处理程序找出需要的虚拟页面,然后发送一条消息给外部页面调度程序通知它。

外部页面调度程序从磁盘中读入所需页面,把它复制到自己地址空间的某一位置。并告诉缺页中断处理程序该页面的位置。

缺页中断处理程序从外不页面调度程序的地址空间中清除该页面映射,然后请求MMU处理程序把它放到用户地址空间的正确位置,最后重启用户进程。

在这个方法中,可以将页面置换算法存储在外部页面调度程序中。但外部页面调度程序无权访问页面的访问位和修改位。所以需要某种机制把这些信息传递给外部页面调度程序,或者把算法存储在内核中。如果算法存储在内核中,那么缺页中断处理程序负责告诉外部页面调度程序,应该被淘汰的页面。

这种方法优点是模块化和好的适应性,缺点是用户陷入内核需要开销。

参考书目:现代操作系统第三版


推荐阅读
  • 本文介绍了Java并发库中的阻塞队列(BlockingQueue)及其典型应用场景。通过具体实例,展示了如何利用LinkedBlockingQueue实现线程间高效、安全的数据传递,并结合线程池和原子类优化性能。 ... [详细]
  • 本文详细介绍了Java编程语言中的核心概念和常见面试问题,包括集合类、数据结构、线程处理、Java虚拟机(JVM)、HTTP协议以及Git操作等方面的内容。通过深入分析每个主题,帮助读者更好地理解Java的关键特性和最佳实践。 ... [详细]
  • 本文深入探讨了Linux系统中网卡绑定(bonding)的七种工作模式。网卡绑定技术通过将多个物理网卡组合成一个逻辑网卡,实现网络冗余、带宽聚合和负载均衡,在生产环境中广泛应用。文章详细介绍了每种模式的特点、适用场景及配置方法。 ... [详细]
  • 2023年京东Android面试真题解析与经验分享
    本文由一位拥有6年Android开发经验的工程师撰写,详细解析了京东面试中常见的技术问题。涵盖引用传递、Handler机制、ListView优化、多线程控制及ANR处理等核心知识点。 ... [详细]
  • MySQL索引详解与优化
    本文深入探讨了MySQL中的索引机制,包括索引的基本概念、优势与劣势、分类及其实现原理,并详细介绍了索引的使用场景和优化技巧。通过具体示例,帮助读者更好地理解和应用索引以提升数据库性能。 ... [详细]
  • 本文探讨了 Spring Boot 应用程序在不同配置下支持的最大并发连接数,重点分析了内置服务器(如 Tomcat、Jetty 和 Undertow)的默认设置及其对性能的影响。 ... [详细]
  • 深入解析 Apache Shiro 安全框架架构
    本文详细介绍了 Apache Shiro,一个强大且灵活的开源安全框架。Shiro 专注于简化身份验证、授权、会话管理和加密等复杂的安全操作,使开发者能够更轻松地保护应用程序。其核心目标是提供易于使用和理解的API,同时确保高度的安全性和灵活性。 ... [详细]
  • CentOS 7 磁盘与文件系统管理指南
    本文详细介绍了磁盘的基本结构、接口类型、分区管理以及文件系统格式化等内容,并提供了实际操作步骤,帮助读者更好地理解和掌握 CentOS 7 中的磁盘与文件系统管理。 ... [详细]
  • 本文将介绍如何编写一些有趣的VBScript脚本,这些脚本可以在朋友之间进行无害的恶作剧。通过简单的代码示例,帮助您了解VBScript的基本语法和功能。 ... [详细]
  • 本文探讨了Hive中内部表和外部表的区别及其在HDFS上的路径映射,详细解释了两者的创建、加载及删除操作,并提供了查看表详细信息的方法。通过对比这两种表类型,帮助读者理解如何更好地管理和保护数据。 ... [详细]
  • 本文详细介绍了 Dockerfile 的编写方法及其在网络配置中的应用,涵盖基础指令、镜像构建与发布流程,并深入探讨了 Docker 的默认网络、容器互联及自定义网络的实现。 ... [详细]
  • MySQL缓存机制深度解析
    本文详细探讨了MySQL的缓存机制,包括主从复制、读写分离以及缓存同步策略等内容。通过理解这些概念和技术,读者可以更好地优化数据库性能。 ... [详细]
  • 本文详细介绍了如何在Ubuntu系统中下载适用于Intel处理器的64位版本,涵盖了不同Linux发行版对64位架构的不同命名方式,并提供了具体的下载链接和步骤。 ... [详细]
  • 基于KVM的SRIOV直通配置及性能测试
    SRIOV介绍、VF直通配置,以及包转发率性能测试小慢哥的原创文章,欢迎转载目录?1.SRIOV介绍?2.环境说明?3.开启SRIOV?4.生成VF?5.VF ... [详细]
  • 深入探讨CPU虚拟化与KVM内存管理
    本文详细介绍了现代服务器架构中的CPU虚拟化技术,包括SMP、NUMA和MPP三种多处理器结构,并深入探讨了KVM的内存虚拟化机制。通过对比不同架构的特点和应用场景,帮助读者理解如何选择最适合的架构以优化性能。 ... [详细]
author-avatar
常州秆时尚女人帮
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有