虛擬地址空間

? ? ? ? 對于每一個進程都會對應一個虛擬地址空間,對于32位的操作系統(其指令的位數最大為32位,因此地址碼最多32位),虛擬地址空間的大小為2^{32}B即0~4GB的虛擬地址空間,其中內核空間為1GB,如下所示:

? ? ? ? ?每一個進程的進程控制塊PCB都位于內核區,在每一個進程的PCB中有一個文件描述符表(是一個數組),用于標記該進程所打開的所有文件。從文件描述符表可以看出每一個進程最多能打開1024個文件,其中有三個文件默認是一直處于打開狀態的(即進程創建完成時就處于打開狀態),分別是:標準輸入 STDIN_FILENO,其文件描述符為0;標準輸出?STDOUT_FILENO,其文件描述符為1;錯誤輸出?STDERR_FILENO,其文件描述符為2,其中文件描述符0和1可以省略不寫。供我們用戶打開的文件,只能夠占據從3開始的位置(即其文件描述符為3以后的數字,3~1023)。每打開一個文件就會占用一個文件描述符,且使用的是空閑的最小的一個文件描述符。

? ? ? ? Linux下可執行文件的格式為ELF:[root@localhost Calc]# file zsx
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?zsx: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=0x14ef2d34126e7c54141b73c31968bd825ca522ba, not stripped? ? ? ? ? ?//可以看出zsx為64位(即機器指令位數為64位,OS位數)的可執行文件,其格式為ELF。

? ? ? ? 對于每一個程序在執行時(如上圖中的a.out),此時會產生一個相應的進程,系統都會自動為其分配一個0~4G的虛擬地址空間,其中1G的內核空間用于:進程管理、內存管理、設備管理和虛擬文件系統等。下面詳細介紹0~3G的用戶空間。

? ? ? ? ?強調一點:以下說明的各段都是與編程相關的,不包括虛擬地址空間的全部。

? ? ? ? 0~3G的用戶空間。從小到大(從下往上)依次為:保留區(受保護的地址)、代碼段、數據段(.data段)、.bss段、堆空間、內存映射段、棧空間、命令行參數和環境變量。下面依次對每一個段做簡單的介紹:

1.保留區(受保護的地址)

? ? ? ? 保留區即為受保護的地址,大小為0~4K,位于虛擬地址空間的最低部分,未賦予物理地址(不會與內存地址相對應,因此其不會放任何內容)。任何對它的引用都是非法的,用于捕捉使用空指針和小整型值指針引用內存的異常情況。大多數操作系統中,極小的地址通常都是不允許訪問的,如NULL。C語言將無效指針賦值為0也是出于這種考慮,因為0地址上正常情況下不會存放有效的可訪問數據。將指針賦值為0,意味著該指針將永遠不會被使用,從而不會出現野指針情況。#define NULL 0 與 #define NULL (void*)0? ?在C語言中是等效的,而在C++中,只能用#define NULL 0,后面 #define NULL (void*)0的使用會出錯。

2.代碼段

? ? ? ??代碼段也稱正文段或文本段,通常用于存放程序執行代碼(即CPU執行的機器指令)。一般C語言執行語句都編譯成機器代碼保存在代碼段。通常代碼段是可共享的,因此頻繁執行的程序只需要在內存中擁有一份拷貝即可。代碼段通常屬于只讀,以防止其他程序意外地修改其指令(對該段的寫操作將導致段錯誤)。某些架構也允許代碼段為可寫,即允許修改程序。??

3.數據段(.data段)

? ? ? ??數據段通常用于存放程序中已初始化的全局變量和靜態局部變量。數據段屬于靜態內存分配(靜態存儲區),可讀可寫。由于全局變量未初始化時,其默認值為0,因此值為0的全局變量位于.bbs段(不位于數據段)。對于未初始化的局部變量,其值是不可預測的。注意:在代碼段和數據段之間還包括其它段:只讀數據段和符號段等。

4..bbs段

? ? ? ? 該段用于存放未初始化的全局變量和靜態局部變量,包括值為0的全局變量。 數據段和.bbs段又稱為全局數據區,前者初始化,后者未初始化。

? ? ? ? ELF段包括:代碼段、其它段(只讀數據段和符號段等)、.data段(數據段)和.bbs段,都屬于可執行程序部分。

5.堆空間

? ? ? ? new( )和malloc( )函數分配的空間就屬于對空間,用于內存空間的分配,其從下往上。??堆用于存放進程運行時動態分配的內存段,可動態擴張或縮減。堆中內容是匿名的,不能按名字直接訪問,只能通過指針間接訪問。當進程調用malloc(C) 和new (C++)等函數分配內存時,新分配的內存動態添加到堆上(擴張);當調用free(C)/delete(C++)等函數釋放內存時,被釋放的內存從堆中剔除(縮減)?。

6.內存映射段(共享庫)

? ? ? ? 此處,內核將硬盤文件的內容直接映射到內存, 任何應用程序都可通過Linux的mmap()系統調用請求這種映射。內存映射是一種方便高效的文件I/O方式, 因而被用于裝載動態共享庫。如C標準庫函數(fread、fwrite、fopen等)和Linux系統I/O函數,它們都是動態庫函數,其中C標準庫函數都被封裝在了/lib/libc.so庫文件中,都是二進制文件。這些動態庫函數都是與位置無關的代碼,即每次被加載進入內存映射區時的位置都是不一樣的,因此使用的是其本身的邏輯地址,經過變換成線性地址(虛擬地址),然后再映射到內存。而靜態庫不一樣,由于靜態庫被鏈接到可執行文件中,因此其位于代碼段,每次在地址空間中的位置都是固定的。

7.棧空間

? ? ? ? 用于存放局部變量(非靜態局部變量,C語言稱為自動變量),分配存儲空間時從上往下。棧和堆都是后進先出的數據結構。

8.命令行參數

? ? ? ? 該段用于存放命令行參數的內容:argc和argv。

9.環境變量

? ? ? ? 用于存放當前的環境變量,在Linux中用env命令可以查看其值。

10.虛擬地址空間的作用(好處)

? ? ? ? 1.方面編譯器和操作系統安排程序的地址;2.方便實現各個進程空間之間的隔離,互不干擾,因為每個進程都對應自己的虛擬地址空間;3.實現虛擬存儲,從邏輯上擴大了內存。

補充內容:

代碼段(.text段)與只讀數據段和符號段(.rodata段),都屬于只能讀的部分,在鏈接的時候這兩部分會鏈接成為一個整體;而.data段和.bbs段屬于可讀可寫RW的部分。這四個部分都是以頁(每頁4KB)的形式存放在內存中。進程控制塊PCB(又叫進程描述符)放于內核空間

多個進程在并發執行時,這些進程的用戶空間都是彼此獨立的,因此各個進程的用戶空間在映射為內存空間使都是獨立的,互不干擾,這是MMU地址變換必須要能夠保證的。例如,各個進程的.text段、只讀數據段和符號段、.data段和.bbs段等在用戶空間中使用到的其它數據信息,都會與頁為基本單位放在內存中,各個進程的映射是獨立的。而對于內核空間,由于只有一個操作系統,內核空間主要是 機器指令、操作系統內核的各個模塊等,它們是公用的,因此每個進程的映射方式一樣。強調一點:每個進程用到或即將用到的數據才會調入內存,其余都在磁盤上。但是各個進程內核空間的進程控制塊(進程描述符)映射的地點是不一樣的,也是相互獨立的。共用的模塊才是一樣的。 這些都是MMU的實現機制所決定的。如果感興趣,可以看看MMU的實現機制。

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/news/385435.shtml
繁體地址,請注明出處:http://hk.pswp.cn/news/385435.shtml
英文地址,請注明出處:http://en.pswp.cn/news/385435.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

Leecode 69. x 的平方根

實現 int sqrt(int x) 函數。 計算并返回 x 的平方根,其中 x 是非負整數。 由于返回類型是整數,結果只保留整數的部分,小數部分將被舍去。 示例 1: 輸入: 4 輸出: 2 示例 2: 輸入: 8 輸出: 2 說明: 8 的平方根是 2.82842..., 由于返回類…

1002. 寫出這個數 (20)

讀入一個自然數n,計算其各位數字之和,用漢語拼音寫出和的每一位數字。 輸入格式:每個測試輸入包含1個測試用例,即給出自然數n的值。這里保證n小于10100。 輸出格式:在一行內輸出n的各位數字之和的每一位,拼…

C/C++中NULL指針

先談一下C/C的強制類型轉換Type cast。與強制類型轉換相對應的是自動類型轉換。或者強制類型轉換叫顯示類型轉換,自動類型轉換叫隱式類型轉換。自動類型轉換會在賦值運算、混合運算、參數傳遞、返回函數返回值、格式化輸出時且當類型出現不一致時發生,轉…

1009. 說反話 (20)

給定一句英語,要求你編寫程序,將句中所有單詞的順序顛倒輸出。 輸入格式:測試輸入包含一個測試用例,在一行內給出總長度不超過80的字符串。字符串由若干單詞和若干空格組成,其中單詞是由英文字母(大小寫有區…

動態庫(共享庫)的制作和使用

Linux下的動態庫為lib*.so格式的二進制文件(目標文件),對應于Windows下的.dll格式的文件。 (1)命名規則 lib庫名.so (2)動態庫的制作 1)生成與位置無關的代碼(.o&…

孤兒進程、僵尸進進程

一、兒進程與僵尸進程 1、基本概念 我們知道在unix/linux中,正常情況下,子進程是通過父進程創建的,子進程在創建新的進程。子進程的結束和父進程的運行是一個異步過程,即父進程永遠無法預測子進程 到底什么時候結束。 當一個 進程完成它的工…

管道 -pipe

gcc編譯器將源代碼編譯成可執行程序的過程中,需要經過許多中間步驟(預處理、編譯、匯編、鏈接),這些過程實際上是由不同的程序來負責完成的(/usr/bin/gcc、cpp、ccl、as和ld等)。在這個過程的每一個階段中&…

gdb調試器(一)

在默認情況下,gcc在編譯時不會把調試符號插入到最終生成的二進制代碼(機器代碼)中,因為這樣會急劇增加可執行程序的大小。如果需要在編譯時生成調試符號的信息,則可以采用-g或-ggdb參數。 gcc在產生調試信息時&#x…

1048. 數字加密(20)

本題要求實現一種數字加密方法。首先固定一個加密用正整數A,對任一正整數B,將其每1位數字與A的對應位置上的數字進行以下運算:對奇數位,對應位的數字相加后對13取余——這里用J代表10、Q代表11、K代表12;對偶數位&…

網絡編程套接字API

uint32_t htonl(uint32_t hostlong); uint16_t htons(uint16_t hostshort); uint32_t ntohl(uint32_t netlong); uint16_t ntohs(uint16_t netshort);int inet_pton(int family, const char *strptr, void *addrptr); 分析: 第一個參數可以是AF_INET或AF_INET6&am…

gdb調試器(二)

Linux下的gdb(GNU Debugger)是一個用來調試C、C程序的調試器(命令行方式的調試器),能夠在程序運行期間觀察程序的內部結構和內存的使用情況。程序員也可以使用gdb來跟蹤程序中的錯誤,從而減少程序員的工作量…

gdb調試器(三)

File/file 裝入想要調試的可執行文件 run(r) 執行當前被調試的程序 kill(k) 終止正在調試的程序 quit(q) 退出gdb shell 使用戶不離開gdb就可以執行Linux的shell命令 backtrace(bt) 回溯跟蹤(當對代碼進行調試時,run后…

IO多路復用之poll

1. poll函數原型: int poll(struct pollfd *fds, nfds_t nfds, int timeout);參數: fds:指向一個結構體數組的第0個元素的指針,每個數組元素都是一個struct pollfd結構,用于指定測試某個給定的fd的條件 nfds&#x…

makefile文件的書寫規則(make和makefile)

對于makefile,掌握一個規則,兩個變量和三個函數。下面介紹一個規則。 makefile的作用:一個項目代碼的管理工具。當一個項目的代碼文件數(如.c文件)太多,用gcc編譯會太麻煩,如果全部文件一次性編…

100. 相同的樹

給定兩個二叉樹,編寫一個函數來檢驗它們是否相同。 如果兩個樹在結構上相同,并且節點具有相同的值,則認為它們是相同的。 示例 1: 輸入: 1 1 / \ / \ 2 3 2 3 [1,2,3], [1,2,3] 輸出: true…

makefile的兩個變量(自動變量和普通變量)

(1)普通變量 如: objmain.o add.o sub.o mul.o div.o //將后面的值賦值給obj,obj就是一個普通變量 targetzsx //將zsx賦值給target makefile中已經定義的一些普通變量(通常格式都是大寫,類似環境變量,它們都是普通…

【C++ Priemr | 15】虛函數表剖析(二)

一、多重繼承&#xff08;無虛函數覆蓋&#xff09; 下面&#xff0c;再讓我們來看看多重繼承中的情況&#xff0c;假設有下面這樣一個類的繼承關系。注意&#xff1a;子類并沒有覆蓋父類的函數。 測試代碼&#xff1a; class Base1 { public: virtual void f() { cout <…

1074. Reversing Linked List (25)

Given a constant K and a singly linked list L, you are supposed to reverse the links of every K elements on L. For example, given L being 1→2→3→4→5→6, if K 3, then you must output 3→2→1→6→5→4; if K 4, you must output 4→3→2→1→5→6. Input Spe…

【Leetcode | 47】 222. 完全二叉樹的節點個數

給出一個完全二叉樹&#xff0c;求出該樹的節點個數。 說明&#xff1a; 完全二叉樹的定義如下&#xff1a;在完全二叉樹中&#xff0c;除了最底層節點可能沒填滿外&#xff0c;其余每層節點數都達到最大值&#xff0c;并且最下面一層的節點都集中在該層最左邊的若干位置。若最…

makefile中的兩個函數(wildcard和patsubst)

(1) wildcard函數 作用是查找指定目錄下指定類型的文件&#xff0c;并最終返回一個環境變量&#xff0c;需要用$取值賦值給另一個環境變量&#xff01;該函數只有一個參數&#xff0c;如取出當前目錄下的所有.c文件&#xff0c;并賦值給allc普通變量&#xff1a; allc$(wildc…