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

基本分段存储管理

与分页最大的区别:离散分配时所分配地址空间的基本单位不同
进程的地址空间:按照程序自身的逻辑关系划分为若干个段,每个段都有一个段名,每段从0开始编址
内存分配规则:以段位单位进行分配,每个段再内存中占连续空间,但各段之间可以不相邻。由于时按照逻辑功能划分,用户编程更方便,程序可读性更高。

编译程序会将段名转换为段号

分段系统的逻辑地址由段号和段内地址(段内偏移量)组成

段号的位数决定了每个进程最多可以分多少个段,段内地址位数决定了每个段的最大长度是多少

段表:记录各个逻辑段在内存中存放的地址
每个段表由三部分组成:段号+段长+基址
段号可以隐藏,假设段号16位,段内地址16位,32位操作系统,按字节寻址,则每个段表项的长度为16+32=6B。如果段表存放的起始地址为M,则第k号段的地址为M+6*k

段表寄存器:存放在PCB中,当进程将要运行的时候会恢复。保存段表始址F和段表长度M

  1. 根据逻辑地址得到段号S、段内地址W
  2. 比较段号和段表长度,如果超过产生越界中断
  3. 查询段号对应的段表项:F+S*段表项长度得到段基址b
  4. 检查段内地址W和段长C,如果超过产生越界中断(与分页管理不同)
  5. 根据段基址b+段内地址W

分段、分页管理的对比:

  • 页是信息的物理单位,分页的主要目的是为了离散分配,提高内存利用率。分页仅仅是系统管理上的需要,完全是系统行为对用户是不可见的
  • 段是信息的逻辑单位,分段的主要目的是为了更好地满足用户需求,一个段同行包含着一组数以亿个逻辑模块的信息,分段对用户是可见的,用户编程时需要显式地给出段名
  • 页的大小固定且由系统决定,段的长度不固定,决定于用户编写的程序
  • 分页的用户进程地址空间是一维的,程序员只需要给出一个记忆符就可以表示一个地址
  • 分段的用户进程地址空间是二维的,程序员在标识一个地址时,既要给出段名,又要给出段内地址。
  • 分段比分页更容易实现信息的共享和保护。不能被修改的代码称为纯代码或可重入代码(不属于临界资源 ),这样的代码是可以共享的。可修改的代码是不能共享的(比如一个代码段中有很多变量,各个进程并发地同时访问可能造成数据的不一致)。页面因为不是按照逻辑模块划分的,这就很难实现共享。
  • 分页(普通)需要两次访存,分段也需要两次访存。分段存储同样也可以引入快表机构

段页式管理

在这里插入图片描述分段管理产生外部碎片的原理和动态内存管理产生外部碎片的原理相同,因此同样也可以通过紧凑技术,但是紧凑技术需要较大的时间代价。

将进程按逻辑模块分段,再将各段分页
段页式系统的逻辑地址:段号、页号、页内地址(页内偏移量)组成
在这里插入图片描述
段号的位数决定了每个进程最多可以分几个段
页号位数决定了每个段最大有多少页
页内偏移量决定了页面大小、内存块大小

分段对用户是可见的,程序员编程时需要显式地给出段号、段内地址。而将各段分页对用户是不可见的。系统会根据段内地址自动划分页号和页内偏移量。因此段页式管理的地址结构是二维的

每一个段对应一个段表项,每个段表项由段号页表长度页表存放块号(即就是页表起始地址)组成。每个段表项长度相等,段号是隐藏的。相当于每一个段表项都是一个PTR(页表寄存器)

这里的段表不同于分段管理中的段表(段号(隐藏)+段长度+段基址)

每一个页面对应一个页表项,每个页表项由页号、页面存放的内存块号组成(页号隐藏)

在这里插入图片描述

逻辑地址转换为物理地址

PCB中包含段表寄存器:段表始址F + 段表长度M

  1. 根据逻辑地址得到段号S,页号P,页内偏移量W
  2. 判断段号是否合法,若S>=M则产生越界中断
  3. 查询段表,找到对应的段表项,段表项存放地址为F+S*段表项长度
  4. 判断页表长度和页号,如果页号>=页表长度则产生越界中断
  5. 查询页表项=页表起始地址+页号*页表项长度
  6. 根据页表项得到的内存块号*内存大小+页内偏移量W得到物理地址

三次访存:访问段表->访问页表->访问物理地址

可以引入段表机制,用段号和页号作为查询的关键字,则只需要一次访存

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

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

相关文章

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

网络层负责在不同网络之间尽力转发数据包(基于数据包的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;导致多道…

python装饰器详解

https://blog.csdn.net/xiangxianghehe/article/details/77170585 你会Python嘛&#xff1f; 我会&#xff01; 那你给我讲下Python装饰器吧&#xff01; Python装饰器啊&#xff1f;我没用过哎 以上是我一个哥们面试时候发生的真实对白。 ———————————————-分…

SQL Server【一】简介和基本概念和命令

数据结构和数据库的区别 数据库是应用软件级别研究数据的存储和操作&#xff08;主要针对磁盘上的数据&#xff09; 数据结构是在系统软件级别研究数据的存储和操作&#xff08;主要是针对内存中的数据&#xff09; 对硬盘数操作是数据库的强项&#xff0c;是数据库研究的核心…