主頁 > 軟體設計 > 程式地址空間的理解

程式地址空間的理解

2020-09-22 15:23:22 軟體設計

程式:只是一段代碼,保存在檔案中,

編譯器在編譯程式生成可執行檔案時,會對每一條指令和資料,進行地址排號,

程式運行時,就會將指令和資料放到指定的記憶體當中去,而程式只有在運行的時候才會占據記憶體,因此程式地址空間又被叫做行程地址空間,
在這里插入圖片描述

記憶體空間是這樣的,
若運行中的程式直接訪問物理地址,會怎么樣呢?

  1. 可能導致程式無法運行起來, 程式在編譯時,會給變數資料進行地址排號,但若是某個地址被占用了,就會使程式無法運行起來,(編譯器無法動態的獲取哪一塊記憶體是否被使用)
  2. 野指標問題, 若行程直接訪問物理地址,野指標可能更改其它行程的資料,
  3. 記憶體使用率低, 程式運行需要一塊連續的地址空間,會一定程度上造成空間的浪費,

所以OS中設定了虛擬記憶體,通過虛擬地址空間映射到物理記憶體上,而使用C語言/C++時,變數或函式的地址,都是虛擬空間地址,物理記憶體地址用戶一概看不到,由OS統一管理,而OS負責將虛擬地址映射到對應的物理地址

每運行一段程式,就會開辟連續的地址空間,若是每個程式占據的空間比較大,很多程式共同運行,就會導致有的程式在記憶體中無法運行,而連續開辟的記憶體地址空間的空間使用率是很低的,

行程使用了虛擬記憶體之后,每個行程都擁有自己的虛擬地址空間,都會有一塊連續的空間使用,

看一下這段代碼:

   #include <stdio.h>
   #include <stdlib.h>
   #include <unistd.h>
  
   int global_val = 200;
   
   int main()
   {
       pid_t pid = fork();//創建子行程
      if(pid < 0)
      {
          printf("fork error\n");
          return 0;
      }
      else if(pid == 0)
      {
          printf("child:%d  %p\n",global_val,&global_val);
      }
      else
      {
          printf("parent:%d   %p\n",global_val,&global_val);
      }
      return 0;                                                                                                                                                                             
   }

其輸出為:
在這里插入圖片描述
發現子行程中和父行程使用的是同樣的變數和地址,

對代碼進行一點小更改:

   #include <stdio.h>
   #include <stdlib.h>
   #include <unistd.h>
  
   int global_val = 200;
   
   int main()
   {
       pid_t pid = fork();//創建子行程
      if(pid < 0)
      {
          printf("fork error\n");
          return 0;
      }
      else if(pid == 0)
      {
          global_val = 100;
          printf("child:%d  %p\n",global_val,&global_val);
      }
      else
      {
          sleep(3);
          printf("parent:%d   %p\n",global_val,&global_val);
      }
      return 0;                                                                                                                                                                             
   }

其輸出為:
在這里插入圖片描述
可以看到子行程的變數改變了,而父行程的變數是沒有改變的,

為什么子行程變數改變了,而父行程的變數沒有改變?
子行程是父行程的一份拷貝,子行程拷貝了父行程所有的資訊,在子行程中資料未發生改變的時候,子行程使用父行程的所有資訊,

在第一份代碼中,子行程中變數沒有改變,父行程中變數沒有改變,所以第一份代碼中,地址相等,變數也相等,

第二份代碼中,子行程中變數發生了改變,父行程中變數沒有發生改變,相同的虛擬地址映射到了不同的物理地址,所以第二份代碼,地址相同,變數不同,

這里的相同是指:子行程拷貝了父行程所有的資訊,行程地址空間、PCB…

在這里插入圖片描述
子行程資料發生更改,進行了拷貝了,

第二份代碼中,這里涉及到了寫時拷貝技術:Linux中fork()使用寫時拷貝實作,寫時拷貝是一種推遲或者免除拷貝的技術,OS并不復制整個行程地址空間,而是子行程父行程共享一個地址,當有資料寫入,發生改變時,資料才會被復制,使每個行程都有了自己的拷貝,資源的復制只有在寫入的時候才進行, 而在此之前,子行程只是可讀共享的,這樣就保證了父子行程的代碼共享,資料獨立,

寫時拷貝技術帶來的好處:

  1. 提高子行程創建效率,
  2. 節省資源,

那么為什么OS要使用虛擬地址空間?或者說虛擬地址空間帶了什么好處?

  1. 提高物理記憶體的使用率,
  2. 保證行程之間的獨立性

虛擬地址是如何映射到物理地址的?

作業系統中記憶體管理方式:

  1. 分段式:段號+段內偏移在這里插入圖片描述

段表:作業系統記錄記憶體分了多少塊,
通過段號尋找對應的物理記憶體起始地址,再加上段內偏移量,就找到了物理地址,

  1. 分頁式:頁號+頁內偏移,這里畫的比較簡單在這里插入圖片描述
    在這里有所不同的時候,我們需要知道一個頁面的大小,一般一個頁面的大小為4K,
    則在32位OS中,記憶體為4G,則占有4* 1024* 1024* 1024/4* 1024個頁號,即頁表項,
    共計有2^20個頁表項/頁號,將記憶體分為很多個細小的塊,

通過找到對應的頁號,其物理地址和頁內偏移就可找到變數的物理地址,

  1. 段頁式:記憶體通過分段式進行管理,而每個段內使用分頁式,
    首先取得段號,在段表中進行查找;在段表中,存放著對應段號的頁表起始地址,再通過段內頁表起始地址找到頁表,

當前計算機使用的段頁式管理

虛擬頁會快取在物理記憶體中,如圖:
在這里插入圖片描述
虛擬記憶體可快取到頁表中:頁命中,VP2就會快取在記憶體中,
快取不命中:缺頁 ,VP3不會命中,發生缺頁中斷,那么OS就會從磁盤復制VP3到記憶體中PP3,再更新PTE3,隨后回傳,
VP3:虛擬記憶體3.
PP3:物理記憶體3
PTE3:頁表條目3,0:發生中斷,1:可以快取,
在這里插入圖片描述
經過缺頁中斷之后:缺頁處理程式會選擇一個作為犧牲頁,并從磁盤上VP3的副本取代它,

MMU利用頁表來實作虛擬地址空間到物理地址空空間的映射:
在這里插入圖片描述

那么該選擇犧牲頁呢?
采用記憶體置換演算法

  1. OPT:最佳置換演算法,所被置換出的頁面是以后永遠不會再使用的或者是最長時間內不會再使用,這個演算法只是理論上的演算法,
  2. FIFO:先進先出演算法,會導致缺頁率升高,
  3. LRU:最久未使用演算法,將最久未使用的頁面置換出來, (一般使用這個演算法)
  4. LFU:最不常用演算法,一段時間內使用的次數最少,在將來使用的可能性也很低,

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/105532.html

標籤:其他

上一篇:快速冪計算 (簡單計算器)

下一篇:【空間資料庫】傳統資料模型(層次、網狀、關系)和空間資料模型詳解

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more