主頁 > 軟體設計 > Linux-創建行程,如何通過虛擬地址找到物理記憶體【圖文+代碼】

Linux-創建行程,如何通過虛擬地址找到物理記憶體【圖文+代碼】

2021-04-15 10:52:30 軟體設計

前言

一、為什么創建行程?

二、行程虛擬地址空間

1.空間布局圖

三.通過虛擬地址找到物理記憶體地址

1.資料在物理記憶體中的存盤

2.如何通過虛擬地址找到物理記憶體呢?

1.分段式

2.分頁式

3.段頁式

總結


前言

我們上一篇介紹到行程的概念,運行,管理,以及它的狀態,那么我們這一篇就了解一下行程的創建,


提示:以下是本篇文章正文內容,下面案例可供參考

一、為什么創建行程?

我們說過:行程就是運行起來的程式,程式運行起來需要被加載到記憶體中

對作業系統來說:管理程式的運行,就是將程式的運行程序描述起來,然后組織起來進行管理,描述的運行資訊對作業系統來說就是運行中的行程,

行程就是pcb,創建一個行程不就相當于是創建一個它的描述,也就是PCB,復制了呼叫fork的這個行程pcb的資訊(記憶體指標、程式計數器、.背景關系資料)

我們用代碼看一下

#include<stdio.h>
#include<unistd.h>
int main (int argc, char *argv[]) 
{
    pid_ t pid = fork();//創建子行程
//因為子行程復制了父行程,因此子行程與父行程運行的代碼以及運行的位置都是一樣的
//從代碼運行的角度來看,就都是從fork函式之后開始運行的
//因為父子行程運行的代碼資料都一樣,因此無法直接分辨,只能通過回傳值判斷
//對于父行程fork回傳值>0;對 于子行程回傳值==0
//雖然父子行程代碼相同,但是因為回傳值不同,因此會各自進入不同的判斷執行體
     if(pid>0)
    {
        //this is parents
        printf("this is parents:%d\n" ,getpid());
    }
    else if (pid == 0) 
    {
        //this is child
        printf("this is child:%d\n", getpid());//getpid() 獲取呼叫         的識別符號-pid-行程ID[
    }
    else 
    {
        //error
        printf("error\n");
    }
     return 0;
}

這個新的行程,運行的代碼與呼叫fork的行程一樣, 并且運行位置也相同,

fork創建子行程之后,父好行程誰先運行,不一定, 大家都是pcb,作業系統調度到誰誰就運行,

為什么要創建子行程的原因:
子行程干的事情與父行程一樣,當然使用回傳值分流后可以有所不同
有任務了,創建一個子行程,讓子行程去完成任務,出問題了崩潰的就是子行程,父行程就不會崩潰了(保護父行程-分攤壓力)

創建了子行程,那么就會讓子行程有相應的作業,但是由于子行程是拷貝父行程的,看起來并沒有什么區別,那么它們是如何訪問資料,及記憶體空間的,這就引入到了下面這個問題,

二、行程虛擬地址空間

1.空間布局圖

在32位作業系統下

內核:內核總是駐留在記憶體中,是作業系統的一部分,內核空間為內核保留,不允許應用程式讀寫該區域的內容或直接呼叫內核代碼定義的函式,

堆疊

  1. 函式的回傳值和引數,
  2. 臨時變數,包括非靜態區域變數,以及編譯器自動生成的臨時變數,
  3. 保存背景關系:包括函式呼叫前后需保持不變的暫存器,

存盤映射區域:該區域用于映射可執行檔案用到的元件,,若可執行檔案依賴共享庫,則系統會為這些動態庫分配相應空間,并在程式裝載時將其載入到該空間,,

堆區堆用于存放行程運行時動態分配的記憶體段,可動態擴張或縮減,堆中內容是匿名的,不能按名字直接訪問,只能通過指標間接訪問,當行程呼叫malloc/new等函式分配記憶體時,新分配的記憶體動態添加到堆上(擴張);當呼叫free/delete等函式釋放記憶體時,被釋放的記憶體從堆中剔除(縮減) ,

BBS段

  1. 未初始化的全域變數和靜態區域變數
  2. 初始值為0的全域變數和靜態區域變數
  3. 未定義且初值不為0的符號

Data段

資料段通常用于存放程式中已初始化且初值不為0的全域變數和靜態區域變數,資料段屬于靜態記憶體分配(靜態存盤區),可讀可寫,資料段保存在目標檔案中,其內容由程式初始化,

保留區:位于虛擬地址空間的最低部分,未賦予物理地址,任何對它的參考都是非法的,用于捕捉使用空指標和小整型值指標參考記憶體的例外情況,

有了上面的認識,我們在看一下代碼:

 1 #include <stdio.h>
  2 #include <unistd.h>
  3 int val=5;
  4 int main()
  5 {
  6         pid_t pid=fork();
  7         if(pid>0)
  8         {
  9                 printf("this is parent:%d ,val: %d, %p\n",getpid(),val,&val    );
 10         }
 11         else if(pid==0)
 12         {
 13                 printf("this is child%d ,val: %d, %p\n",getpid(),val,&val);
 14         }
 15         else
 16         {
 17                 printf("error\n");
 18         }
 19         return 0;
 20 }
 21 

我們可以看到 相同的變數 在父行程和子行程中都一樣的,地址也一樣,那么他是什么原理呢,我們畫圖了解一下

我們知道一個記憶體地址只能指向一個唯一的記憶體單元一個記憶體單元只能存盤一個資料

我們通過上面可以看到其實行程中所訪問的地址都是虛擬地址,都是一個假的地址,并非物理記憶體地址

我們所說的程式地址空間,實際上也是一個虛擬的地址空間,是作業系統為行程通過一個mm. struct結構體所描述的一個假的地址空間,mm_ struct (task_ size, start_ code, end_ code) --通過大小以及區域的編號描述

我們再將上面的代碼修改一下

1 #include <stdio.h>
  2 #include <unistd.h>
  3 int val=5;
  4 int main()
  5 {
  6         pid_t pid=fork();
  7         if(pid>0)
  8         {
  9                 printf("this is parent:%d ,val: %d, %p\n",getpid(),val,&val);
 10         }
 11         else if(pid==0)
 12         {
 13                 val=10;
 14                 printf("this is child%d ,val: %d, %p\n",getpid(),val,&val);
 15         }
 16         else
 17         {
 18                 printf("error\n");
 19         }
 20         return 0;
 21 }

我們在看一下結果

我們看到了 資料不同 但是地址相同為什么呢?我們畫一幅簡圖了解一下,

資料不同 但是地址相同的原因:

子行程復制父行程,復制了pcb,頁表,虛擬地址空間,所以父子行程除了個別資料(識別符號)之外都是一樣,并且父子行程的資料指向的是同一塊物理記憶體,所以看起來父行程有什么子行程也有什么,但是行程之間要保持獨立性 資料獨有 各有個的資料,因此當某一塊空間中的資料即將發生改變,則為子行程重新開辟物理記憶體,將資料拷貝過去,(寫時拷貝技術----為 了提高子行程創建效率(畢竟有些資料從來不會改變(比如代碼)重新開辟一塊記憶體將資料拷貝過去,沒有意義,反而占據了更多的記憶體) )

我們知道了行程是通過虛擬地址空間訪問資料,那么又帶來了下面這個問題,

為什么作業系統不讓行程直接訪問物理記憶體,而是弄了一個虛擬地址空間,讓行程訪問虛擬地址呢? ?若行程直接訪問物理記憶體,有哪些不好的?

  1. 程式在編譯時,編譯器就會給指令和資料進行地址編號;但是如果某個地址記憶體已經被占用,則這個程式就運行不起來了--編譯器的地址管理麻煩(無法動態的獲知什么時候那塊記憶體是否被使用,也就無法進行代碼以及資料的地址賦值)
  2. 行程直接訪問物理記憶體,如果有一個野指標, 你在操作的時候有可能就把其它行程中的資料改變了(無法進行記憶體訪問控制)
  3. 程式運行加載通常需要使用一塊連續的記憶體空間,對記憶體的利用率比較低

三.通過虛擬地址找到物理記憶體地址

1.資料在物理記憶體中的存盤

1.順序存盤

我們上面這種情況是屬于,順序存盤,其必須要使用一塊連續的記憶體,對記憶體的利用率比較低,

比如上面的,第一種情況,有一個16M的記憶體,但是里面有一個4M 8M的資料,所以想要在放一個8M的資料,它是放不下的,必須等上面8M的資料釋放了之后才能存進來,

第二種情況,同樣16M的記憶體,但是里面的資料分別是8M 4M,所以想要在放一個8M的資料,它同樣是放不下的,必須等上面的4M的資料釋放了之后才能存進來,

為了提高效率,我們又有了離散存盤

通過虛擬地址空間映射到物理記憶體上進行資料存盤,可以實作資料在物理記憶體上的離散式存盤,提高記憶體的利用率,

并且每個行程都有自己的虛擬地址空間,因此對于每個行程來說,都會擁有自己的- -塊連續的空間使用,

2.如何通過虛擬地址找到物理記憶體呢?

1.分段式

分段式:將虛擬地址的組成分為段號+段內偏移量(比如全域資料段有很多變數,他們的段號都是一樣的, 也就意味著物理記憶體段的起始地址一樣,但是每個變數的偏移量不同,)因此,通過段號對應的物理記憶體段起始地址,以及虛擬地址中的偏移量組成一個完整的物理地址,找到對應的物理記憶體單元,

分段式優缺點:

對編譯器的地址管理比較友好;但是沒有解決資料連續存盤記憶體利用率低的問題,因為一個段管理了很多變數資料,這些變數就都是通過同一個起始地址進行偏移的,也就在物理地址中使用了連續的地址空間(分段式管理中,同一個段內地資料都使用了連續的地址空間)

因為分段式還是需要連續的空間,效率不高,所以又提出了分頁式,

2.分頁式

分頁式管理=頁號+頁內偏移

因為通常物理塊比較小,并且不要求同一個行程的多個資料必須在同一個塊內,因此分頁式實作了資料在物理記憶體中的離散式存盤,提高了記憶體利用率,

并且頁表會在進行記憶體訪問的時候進行記憶體訪問控制(是否有權限)

分頁式記憶體管理的優點:實作資料離散式存盤, 提高記憶體利用率,并且通過頁表進行記憶體訪問控制

3.段頁式

段頁式的記憶體管理:將記憶體進行分段,在每個段內采用分頁管理,

也就是說:段頁式管理=段號+頁號+頁內偏移


總結

以上是所說關于行程創建以及行程如何通過虛擬地址空間訪問到物理記憶體空間的相關內容,感謝您的閱讀,如有錯誤,歡迎指正!

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

標籤:其他

上一篇:Python 編程1000例(21):排序演算法——選擇排序法

下一篇:全網首發,你沒見過的實用需求!用Python實作vlookup函式的 “一表參考” 和 “跨表參考”

標籤雲
其他(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