OS_程序的装入与链接

2024-09-06 16:12
文章标签 程序 链接 os 装入

本文主要是介绍OS_程序的装入与链接,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

2024.09.05:操作系统程序的装入与链接学习笔记

第12节 程序的装入与链接

  • 2.1 程序的装入
    • 2.1.1 绝对装入方式
    • 2.1.2 可重定位装入方式(静态重定位)
    • 2.1.3 动态运行时装入方式(动态重定位)
  • 2.2 程序的链接
    • 2.2.1 静态链接方式
    • 2.2.2 装入时动态链接
    • 2.2.3 运行时动态链接


操作系统的第三章内存管理,在学习正式的管理策略之前,我们知道一个C语言的文件,它到底是如何被放入内存,然后去执行,这个过程中我们经历了什么样的步骤?

  • 计组:一个程序想要装入到内存中去运行,它需要通过预处理编译汇编链接装入
  • 操作系统:步骤简化成3部分,首先去编译链接装入

2.1 程序的装入

用户程序想要在系统中运行,首先需要把它装入到内存,然后再把它转变成一个可以执行的程序,通常会经历以下几个步骤

  1. 编译:由编译程序对用户源程序进行编译,形成几个目标模块,目标模块的地址其实就已经是逻辑地址或者说相对地址
    在这里插入图片描述

  2. 链接(对目标模块进行链接):将编译后形成的一组目标模块以及它们所需要的库函数链接在一起,形成一个完整的装入模块
    在这里插入图片描述

  3. 装入:由装入程序将装入模块装入内存
    在这里插入图片描述

2.1.1 绝对装入方式

简单且古早的装入方式,一般都是面对仅能运行单道程序的系统。一个很小很小的计算机系统里面,我们可以提前知道这个程序会驻留在内存的什么位置,这种情况下,内存里面只会有一道程序,所以我们在编译之后就可以产生绝对地址,也就是物理地址
在这里插入图片描述


2.1.2 可重定位装入方式(静态重定位)

因为你的程序想要加载到内存里面去运行,但是它内部其实是一个逻辑地址,我们加载到内存之后,要进行一个逻辑地址到物理地址的转换,这个过程就叫做重定位

可重定位装入方式,又叫做静态重定位,一般用于多道程序下,多道程序的编译程序是没有办法预知,因此我们需要根据内存的具体情况将装入模块放到一个合适的位置

经过编译和链接之后的装入模块,它的起始地址都是从0开始的。当你装入到内存之后,你需要对目标程序中的相对地址(逻辑地址)进行一个修改,这个过程就是我们刚才介绍的(重定位

这个地址变换是在程序装入的时候完成的,所以我们把它叫做(静态重定位)。

现在这个静态体现得还不明显,我们后面讲过动态之后,我们就知道这个为什么叫静态

在这里插入图片描述
注意:因为装入时就修改了地址,所以装入到内存后就不能再移动程序得位置

能不能离散地装入内存?不能!

在这里插入图片描述


2.1.3 动态运行时装入方式(动态重定位)

考虑到运行过程中程序和数据在内存中得位置可能经常要改变(对换功能可能把程序换入外存,换回来位置不一样),可重定位装入方式也不完美,于是又有了动态运行时装入方式

动态运行时的装入程序把装入模块装入内存后,不立即把装入模块中的逻辑地址换成物理地址,而是把地址转换推迟到程序真正要执行时才进行。因此装入内存后所有 的地址仍是逻辑地址

为使地址转换不影响指令的执行速度,这种方式需要一个(重定位寄存器)的支持

在这里插入图片描述
为什么动态重定位需要这个寄存器,但是静态重定位不需要呢?

因为动态重定位是有可能移动的,重定位寄存器里面的起始值是他要执行的时候,装入模块的起始值。重定位寄存器里面的值是可能改变的,只有你要开始执行的时候,它最终确定的这个物理地址,起始地址才会写到重定位寄存器里面去。

而对于静态重定位,我们在装入的时候就已经敲定了它最终的物理地址就不可以再动了,所以装入程序就可以直接进行这样的转换,它就不需要这个重定位计算器了

动态重定位是否可以离散装入?可以!后面会学到分页。动态重定位并非是必须要使用这个重定位寄存器,后面学习到的分页也是用到了动态重定位这样一个思想,但是它做的这个地址映射靠的是什么?页表!页表和重定位寄存器的作用是完全一样的

对于动态重定位来说,它没有要求我们必须要放在一个连续的空间里,但是我们放在连续的空间里面的时候,需要这个重定位寄存器的支持,但是后面学习到的分页分段的时候,它可以放在不连续的内存里面,这个时候,我们使用的就不再是重定位寄存器,用的而是这个页表、段表等


2.2 程序的链接

2.2.1 静态链接方式

程序运行之前,我们会把目标模块(编译生成的),还有它们需要的库函数,去链接成一个完整的装配模块(装入模块),以后不再拆开,称为静态链接

静态链接需要解决两个问题

  • 对相对地址需要进行修改,由编译程序产生的所有目标模块中使用的都是相对地址,起始地址都是0;但是链接成立一个装入模块后,原来相互调用的指令就发生了变化
  • 变换外部调用符号:每个模块所用的外部调用符号也都需要变换成相对地址


在这里插入图片描述


2.2.2 装入时动态链接

装入时动态链接也就是我们编译之后得到这组目标模块,我们没有把它一次性变成一整个装入模块,而是让一个模块在装入内存的时候,边装入边去链接.

装入时动态链接将用户源程序编译后的得到的一组目标模块,装入内存时采用变装入边链接的方式,也就是在装入一个目标模块时,如果发现有外部模块的调用,就让装入程序去找对应的外部目标模块装入内存
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
装入时动态链接有两大优点:

  • 便于修改和更新:静态链接装配在一起的装入模块,如果修改或更新其中某个目标模块,就需要重新打开装入模块,动态链接方式的各目标模块是分开存放的,修改或者更新都是非常容易的事情
  • 便于实现对目标模块的共享:静态链接时,每个应用模块都必须包含其目标模块,造成一定空间浪费的同时没法实现共享;都装入时动态链接方式时,操作系统可以很容易地将一个目标模块链接到几个应用模块上,实现多个应用程序对模块的共享

2.2.3 运行时动态链接

应用程序在运行的时候,实际上每次运行的模块可能都不相同,但是事先不知道会运行哪些模块,所以只能把所有可能用得上的模块全都装进内存,并且在装入时链接在一起。这样装入了可能用不上的模块可能造成浪费

于是引入了运行时动态链接方式,对某些模块的链接推迟到程序执行时才进行。在执行过程中,当发现一个被调用模块还没装入内存时,让操作系统去找到该模块并且装入内存,链接到调用者模块上。执行过程中没用到都不会调入内存/链接到装入模块,节省了大量内存空间并且加快了程序的装入过程

DLL库动态链接库:系统中很多应用程序都会用到的一些公用的东西,它会作为一个目标模块,供所有的应用程序去调用,注意它用到的是调用或者说引用而不是去复制这个副本

在这里插入图片描述


这篇关于OS_程序的装入与链接的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1142491

相关文章

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟 开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚 第一站:海量资源,应有尽有 走进“智听

安卓链接正常显示,ios#符被转义%23导致链接访问404

原因分析: url中含有特殊字符 中文未编码 都有可能导致URL转换失败,所以需要对url编码处理  如下: guard let allowUrl = webUrl.addingPercentEncoding(withAllowedCharacters: .urlQueryAllowed) else {return} 后面发现当url中有#号时,会被误伤转义为%23,导致链接无法访问

EMLOG程序单页友链和标签增加美化

单页友联效果图: 标签页面效果图: 源码介绍 EMLOG单页友情链接和TAG标签,友链单页文件代码main{width: 58%;是设置宽度 自己把设置成与您的网站宽度一样,如果自适应就填写100%,TAG文件不用修改 安装方法:把Links.php和tag.php上传到网站根目录即可,访问 域名/Links.php、域名/tag.php 所有模板适用,代码就不粘贴出来,已经打

跨系统环境下LabVIEW程序稳定运行

在LabVIEW开发中,不同电脑的配置和操作系统(如Win11与Win7)可能对程序的稳定运行产生影响。为了确保程序在不同平台上都能正常且稳定运行,需要从兼容性、驱动、以及性能优化等多个方面入手。本文将详细介绍如何在不同系统环境下,使LabVIEW开发的程序保持稳定运行的有效策略。 LabVIEW版本兼容性 LabVIEW各版本对不同操作系统的支持存在差异。因此,在开发程序时,尽量使用

CSP 2023 提高级第一轮 CSP-S 2023初试题 完善程序第二题解析 未完

一、题目阅读 (最大值之和)给定整数序列 a0,⋯,an−1,求该序列所有非空连续子序列的最大值之和。上述参数满足 1≤n≤105 和 1≤ai≤108。 一个序列的非空连续子序列可以用两个下标 ll 和 rr(其中0≤l≤r<n0≤l≤r<n)表示,对应的序列为 al,al+1,⋯,ar​。两个非空连续子序列不同,当且仅当下标不同。 例如,当原序列为 [1,2,1,2] 时,要计算子序列 [

这些心智程序你安装了吗?

原文题目:《为什么聪明人也会做蠢事(四)》 心智程序 大脑有两个特征导致人类不够理性,一个是处理信息方面的缺陷,一个是心智程序出了问题。前者可以称为“认知吝啬鬼”,前几篇文章已经讨论了。本期主要讲心智程序这个方面。 心智程序这一概念由哈佛大学认知科学家大卫•帕金斯提出,指个体可以从记忆中提取出的规则、知识、程序和策略,以辅助我们决策判断和解决问题。如果把人脑比喻成计算机,那心智程序就是人脑的

uniapp设置微信小程序的交互反馈

链接:uni.showToast(OBJECT) | uni-app官网 (dcloud.net.cn) 设置操作成功的弹窗: title是我们弹窗提示的文字 showToast是我们在加载的时候进入就会弹出的提示。 2.设置失败的提示窗口和标签 icon:'error'是设置我们失败的logo 设置的文字上限是7个文字,如果需要设置的提示文字过长就需要设置icon并给

每日一练7:简写单词(含链接)

1.链接 简写单词_牛客题霸_牛客网 2.题目 3.代码1(错误经验) #include <iostream>#include <string>using namespace std;int main() {string s;string ret;int count = 0;while(cin >> s)for(auto a : s){if(count == 0){if( a <=

基于SpringBoot的宠物服务系统+uniapp小程序+LW参考示例

系列文章目录 1.基于SSM的洗衣房管理系统+原生微信小程序+LW参考示例 2.基于SpringBoot的宠物摄影网站管理系统+LW参考示例 3.基于SpringBoot+Vue的企业人事管理系统+LW参考示例 4.基于SSM的高校实验室管理系统+LW参考示例 5.基于SpringBoot的二手数码回收系统+原生微信小程序+LW参考示例 6.基于SSM的民宿预订管理系统+LW参考示例 7.基于

Spring Roo 实站( 一 )部署安装 第一个示例程序

转自:http://blog.csdn.net/jun55xiu/article/details/9380213 一:安装 注:可以参与官网spring-roo: static.springsource.org/spring-roo/reference/html/intro.html#intro-exploring-sampleROO_OPTS http://stati