操作系统【四】分页存储管理

连续分配方式的缺点:
固定分区分配:缺乏灵活性,产生大量的内部碎片,内存的利用率较低
动态分区分配:会产生许多外部碎片,虽然可以用紧凑技术处理,但是紧凑技术的时间代价较高

基本分页存储管理

思想:把内存分为一个个相等的小分区,再按照分区大小将进程拆分成一个个小部分。

分区:页框/页帧/内存块/物理块
每一个页框有一个编号,叫做页框号/页帧号/内存块号/物理块号,从0开始

我们将用户进程的地址空间也分为与页框大小相等的一个个区域,成为“页”/“页面”,每个页面也有一个编号,叫做页号。也是从0开始。

操作系统以页框为单位为各个进程分配内存空间,进程的每个页面分别放入一个页框中。各个页面不必连续存放,也不必按先后顺序来,可以放到不相邻的各个页框中。

适用分页存储管理如何实现从逻辑地址到物理地址的转换呢?

  1. 算出逻辑地址对应的页号 页号=逻辑地址/页面长度(整除)
  2. 知道页号对应页面在内存中的起始地址 操作系统用某种数据结构记录各个页面的起始地址
  3. 算出逻辑地址在页面中的偏移量 页内偏移量=逻辑地址%页面长度
  4. 物理地址=页面地址+页面偏移量

在计算机中为了方便计算页号、页内偏移量页面的大小一般为2的整数幂

以32位逻辑地址为例,我们假设页面的大小位4KB(4096B=212B),那么页号就是前20位,页内偏移量就是后12位。即如果页面的大小为2kB,地址总共为n位,那么后k位是页内偏移量,前面的n-k位就是页号,这样就解决了1、3问题。

页内偏移量最大等于页面大小等于页框大小。一个进程最多有2n-k个页(因为内存就这么大)

那如何知道页号对应页面在内存中的起始地址呢?

为了能够知道进程的每个页面在内存中存放的位置,操作系统要为每个进程创建一张页表。

  1. 一个进程对应一张页表
  2. 进程的每一页对应一个页表项
  3. 每个页表项由页号(一般不用储存)和块号组成,这一页表项对应的起始地址=块号*内存块的大小+页表首地址
  4. 页表记录进程页面和实际存放内存块之间的对应关系

内存/页面大小=内存块号的最大值
每个页表项占字节数N=┌(log2内存块号最大值)/8┐N = \ulcorner (log_2内存块号最大值)/8 \urcornerN=(log2)/8(因为每个字节是8B)

页表的首地址为XXX
页号YYY对应的页表项的地址为X+N∗YX+N*YX+NY

基本地址变换机构

页表寄存器(PTR:存放页表的起始地址F和页表长度M)
进程未执行时,页表的起始地址和页表长度放在进程控制块(PCB)中,当进程被调度时,操作系统内核会将他们放入页表寄存器中。

在这里插入图片描述

页面大小为LLL,逻辑地址AAA到物理地址EEE的变换:

  1. 计算页号P=A/LP=A/LP=A/L 页内偏移量W=AmodLW=A \bmod LW=AmodL
  2. 比较页号PPP和页表寄存器PTRPTRPTR中页表长度M(存储了该进程有多少个页),如果P>=MP>=MP>=M,则发生越界中断,否则继续执行
  3. 页号P对应的页表项地址=页表起始地址F(存储在PTR中)+P*页表项长度(每个页表项占多大的空间),取出页表项内容b,即为该页表所对应的页框号/页帧号/内存块好。
  4. E=b∗L+WE=b*L+WE=bL+W(如果是二进制则直接拼接)

页内偏移量 = 页面大小

在分页储存管理(页式管理)的系统中,只要确定了每个页面的大小,逻辑地址结构就确定了。因此,页式管理中地址是一维的。即, 只要给出一个逻辑地址,系统就可以自动算出页号、页内偏移量两个部分,并不需要显式告诉系统这个逻辑地址中,页内偏移量占多少位。

上面计算出页表项长度就可以表示内存块号的范围,但是为了方便页表的查询,常常让一个页表项占2kB,使得每个页面恰好可以装得下整数个页表项也不至于当页表长度超过一个页框可以装下的范围的时候出现计算困难的问题。

例如:假设一个页面4KB,32位的操作系统。则共有220个内存块,即我们至少需要3个字节来保存内存块的地址,每个页表项长度为3B。页表也是储存在页框中的。那么一个页框可以存储4096/3=1365个页表项,最后会剩下一个字节。但是一个进程最多可以有220个页表项,因此我们有可能需要跨页框进行储存。可是上一个页框剩下的那一个字节我们不能够再适用了,那么第1365个页表的初始地址就不能简单的计算为页表起始地址+3页号,在这里应该是页表起始地址+3页号+1。为了解决这个问题我们不妨让每个页表项占4KB,这样就可以整除,虽然浪费了一些空间,但是计算上更加方便。

实际查询两次内存:第一次查询页表(相当于查找指针),第二次访问内存(指针对应的值)

具有块表的地址变换机构

局部性原理

时间局部性:如果在程序中执行了某条指令(访问了某个数据),那么不久后这条指令(这个数据)很可能再次被访问。(因为程序中存在大量的循环)

空间局部性:一旦程序访问了某个储存单元,不久之后,其附近的存储单元也有可能被访问。(因为很多数据在内存中都是连续存放的)

由于局部性原理,可能连续很多次查到的都是同一个页表项。

快表

快表,又称作联想寄存器(TLB),是一种访问速度比内存快很多的高速缓冲存储器,用来存放当前访问的若干页表项,以加速地址变换的过程。与此对应,内存中的页表常称为慢表。

在这里插入图片描述

  1. CPU给出逻辑地址,由某个硬件算得页号、页内偏移量,将页号与快表中的所有页号进行比较。
  2. 如果找到匹配的页号,说明要访问的页表项在快表中有副本,则直接从中取出该页对应的内存块号,再将内存块号与页内偏移量拼接形成物理地址,最后访问该物理地址对应的内存单元。因此,若快表命中,则访问某个逻辑地址仅需要一次访存即可。
  3. 如果在快表中没有找到匹配的页号,则需要访问内存中的页表,找到对应页表项,得到页面存放的内存块号,,再将内存块号与页内偏移量拼接形成物理地址,最后访问该物理地址对应的内存单元。(需要两次访存)在找到页表项以后,应同时将其存入快表,以便后面可能的再次访问。但若快表已满,则必须按照一定的算法对旧的页表项进行替换。

如果快表命中就可以节省很多时间。
在这里插入图片描述快表和慢表同时查找:对于查询快表和慢表的操作是同时进行的,如果在快表中查询到,则会停止在慢表中的查询。

两级页表

单级页表存在的问题

问题1:如果计算机按字节寻址,支持32位逻辑地址,采用分页存储管理,页面大小为4KB(212),页表项长度为4B。那么一个进程最多有1M(220)个页面,那么页表的大小为222B,每一个页框大小同样为4KB,那么总共需要1K的页框存储这个页表。这就要求所有的页表都是连续的。这是比较困难的。

问题2:没有必要让整个页表常驻内存,因为进程在一段时间内可能只需要访问几个特定的页面

为了解决上面的问题,我们为页表建立一个页表,成为页目录表(外层页表、顶层页表),让每一个内存块存放一些页表项。

在上面的例子中,一个内存块(页面)可以存放1K个页表项。最多需要1K个这样的内存块,每个内存块的地址为4B,刚好可以放在一个页面中,而这个页面就是页目录表。

在这里插入图片描述
将逻辑地址转换为物理地址:

  1. 按照地址结构将逻辑地址拆分为三部分
  2. 从PCB中读出页目录表地址,再根据一级页号查页目录表,找到下一级页表在内存中的存放位置
  3. 再根据二级页号以及该页号所在的内存块得到逻辑地址对应的内存块
  4. 结合页内偏移量得到物理地址:内存块*内存块大小+页内偏移量

注意事项

  1. 若采用多级页表机制,则各级页表的大小不能超过一个页面
    在这里插入图片描述
  2. 两级页表的访存次数分析(假设没有快表机构)
    第一级访存:访问内存中的页目录表
    第二次访存:访问内存中的二级页表
    第三次访存:访问目标中内存单元
    n级页表的访存次数是n+1次

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/383659.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

聊聊同步、异步、阻塞与非阻塞

近来遇到了一些常见的概念,尤其是网络编程方面的概念,如:阻塞、非阻塞、异步I/O等等,对于这些概念自己也没有太清晰的认识,只是很模糊的概念,说了解吧也了解,但是要让自己准确的描述概念方面的具…

操作系统【五】分段内存管理+段页式内存管理

基本分段存储管理 与分页最大的区别:离散分配时所分配地址空间的基本单位不同 进程的地址空间:按照程序自身的逻辑关系划分为若干个段,每个段都有一个段名,每段从0开始编址 内存分配规则:以段位单位进行分配&#xff…

计算机网络【六】网络层协议

网络层负责在不同网络之间尽力转发数据包(基于数据包的IP地址转发)。不负责丢失重传,也不负责顺序(每一个数据包都是单独选择路径)。 可靠传输是由传输层实现。 网络设备和OSI参考模型 通过分层,屏蔽了…

epoll 水平触发与边缘触发

https://blog.csdn.net/lihao21/article/details/67631516?refmyread epoll也是实现I/O多路复用的一种方法,为了深入了解epoll的原理,我们先来看下epoll水平触发(level trigger,LT,LT为epoll的默认工作模式&#xff…

计算机网络【3】网络层

主要任务时把分组从源端发送到目的端,为分组交换网上的不同主机提供服务。网络层传输单位是数据报 功能: 路由选择与分组转发(最佳路径 )异构网络互联拥塞控制 数据交换方式 电路交换:通信时延小、有序传输、没有冲…

C++空类的大小

https://blog.csdn.net/lihao21/article/details/47973609 本文中所说是C的空类是指这个类不带任何数据,即类中没有非静态(non-static)数据成员变量,没有虚函数(virtual function),也没有虚基类(virtual base class)。 直观地看&#xff0c…

Linux探秘之用户态与内核态

https://www.cnblogs.com/bakari/p/5520860.html 一、 Unix/Linux的体系架构 如上图所示,从宏观上来看,Linux操作系统的体系架构分为用户态和内核态(或者用户空间和内核)。内核从本质上看是一种软件——控制计算机的硬件资源&…

哈夫曼算法证明+哈夫曼编码译码程序实现

哈夫曼算法证明 哈夫曼算法是一种贪心算法,我们考虑证明其最优子结构和贪心选择性质: 最优子结构:假设一个树是哈夫曼树,则以其任意节点为根节点的最大子树也是哈夫曼树。 证明:子树的根节点的值是其所有叶子节点出现…

Python3小知识

对于迭代器对象,Python默认赋值是将引用赋值,即指向同一片内存空间。为了实现对内存空间的赋值,我们可以使用分片进行深复制。例如: 当定义元组的时候,我们一般使用小括号将元素包围起来,也可以不使用括号…

汇编:实现日历星期数查询工具

编制一个简单日历查询工具,输入年、月、日,能够判断当日的星期数,并进行输出,数据的输入和结果的输出要有必要的提示,且提示独占一行。 查阅资料 ​ 经过查阅资料,发现有两个相关的算法可以解决这个问题&…

一个通用纯C队列的实现

https://blog.csdn.net/kxcfzyk/article/details/31728179 队列并不是很复杂的数据结构,但是非常实用,这里实现一个队列是因为在我的另一篇博客非常精简的Linux线程池实现中要用到。 队列API定义如下: //queue.h #ifndef QUEUE_H_INCLUDED…

Dijkstra算法介绍+正确性证明+性能分析

算法介绍 源点s,数组d[u]表示s到u的最短距离,空集S,点集Q初始化:将源点s从点集中去掉,加入S,d[s]0,∀v∈Q,d[v]w[s][v]\forall v\in Q ,d[v]w[s][v]∀v∈Q,d[v]w[s][v]将Q中d[v]最小的点去掉加入S,并对u∈…

Linux C 实现一个简单的线程池

https://www.cnblogs.com/GyForever1004/p/9185240.html 线程池的定义 线程池是一种多线程处理形式,处理过程中将任务添加到队列,然后在创建线程后自动启动这些任务。线程池线程都是后台线程。每个线程都使用默认的堆栈大小,以默认的优先级…

斐波那契数列求解+尾递归

1.普通递归 这里观察f[4]的递归树代替f[10]的递归树(后者比较大,画不下)。 使用递归求解的时候复杂度为T(n)T(n−1)T(n−2)T(n)T(n-1)T(n-2)T(n)T(n−1)T(n−2),观察递归树,发现降速最快的是最右边每次减2&#xff0c…

循环服务器,并发服务器模型以及I/O多路转接模型

https://blog.csdn.net/xinianbuxiu/article/details/53455784 一、基于TCP/IP协议的基本循环服务器 tcp_server.c #include <stdio.h> #include <stdlib.h> #include <string.h> #include <sys/types.h> #include <sys/socket.h> #incl…

c++继承父类的子类,如何调用父类的同名函数?

https://blog.csdn.net/qq_26399665/article/details/52080215 子类调用父类的同名函数&#xff1a; 子类和父类返回值参数相同&#xff0c;函数名相同&#xff0c;有virtual关键字&#xff0c;则由对象的类型决定调用哪个函数。 子类和父类只要函数名相同&#xff0c;没有vi…

LCS最长公共子串

问题介绍 LCS问题(longest common subsequence problem)指的是求解两个字符串最长公共子序列问题。这里的子序列是可以不连续的。LCS问题广泛地出现在计算生物学中&#xff08;DNA序列、系统生成树等等&#xff09;。这里介绍如何解决LCS问题&#xff0c;以及算法的正确性证明…

将字符串中的空格用%20替换

如果不需要原地操作&#xff0c;则一遍遍历&#xff0c;将非空串复制&#xff0c;遇到空格加上%20&#xff0c;如果需要原地操作&#xff0c;首先进行遍历出空格的个数x,然后扩容2x,从后往前遍历实现。如果非空格字符串比空格字符串多的多的时候而且字符串非常长的时候使用原地…

12步轻松搞定python装饰器

http://python.jobbole.com/81683/ 呵呵&#xff01;作为一名教python的老师&#xff0c;我发现学生们基本上一开始很难搞定python的装饰器&#xff0c;也许因为装饰器确实很难懂。搞定装饰器需要你了解一些函数式编程的概念&#xff0c;当然还有理解在python中定义和调用函数…

操作系统【六】虚拟内存

传统存储管理方式的不足 一次性&#xff1a;作业必须一次性全部装入内存后才能开始运行。这会造成&#xff1a;当作也很大时不能全部装入内存&#xff1b;当大量作业要求运行时&#xff0c;由于内存无法容纳所有作业&#xff0c;因此只有少量作业能够运行&#xff0c;导致多道…