本節(jié)是操作系統(tǒng)系列教程的第三篇文章,屬于操作系統(tǒng)第一章即基礎(chǔ)篇,在真正開始操作系統(tǒng)相關(guān)章節(jié)前在這一部分回顧一些重要的主題,以下是目錄,由于本文篇幅較多因此按上篇、中篇、下篇三次發(fā)布,目錄中黑體為本篇內(nèi)容,本文為該主題最后一篇。
什么是內(nèi)存
C/C++內(nèi)存模型
堆區(qū)與棧區(qū)的本質(zhì)
Java內(nèi)存模型
Jave中的堆區(qū)與棧區(qū)是如何實現(xiàn)的
Python內(nèi)存模型
指針與引用
**進程的內(nèi)存模型
**
**幻想大師-操作系統(tǒng)
**
總結(jié)
指針與引用
在各種編程語言中我們應(yīng)該經(jīng)常聽到兩個詞,那就是引用或者指針。這兩個詞都是和內(nèi)存相關(guān)的,指針和引用的作用都是“如何找到存放在內(nèi)存上的數(shù)據(jù)”。
C/C++中有“指針”這樣一個概念,而其它語言比如Java、Python有的只是“引用”這樣一個概念。這兩者有什么區(qū)別呢?我們打個比方你就能理解了。
“引用”就好比一個人的外號一樣,就好有個程序員叫令狐沖,但是令狐沖同學在A公司的英文名可能是“Tom”,在B公司中可能又叫“Jerry”,那么在A公司中你只需要喊一聲“Tom”就能找到令狐沖同學。
而“指針”強調(diào)的是位置,比如令狐沖在A公司的工位是“10排第二個”,在B公司中的工位是“8排第六個”,下班后回的位置在“中關(guān)村”。
這個例子當中的令狐沖同學就好比程序語言中的對象,令狐沖的各種外號就好比對象的引用,令狐沖當前所在的位置就好比對象的指針。
雖然通過“引用”和“指針”都能找到令狐沖同學,但是尋找的方式是不一樣的。
只有C/C++這樣的編譯型語言才會有“指針”這樣一個概念,指的是當前的對象放在了內(nèi)存中的哪個位置上了。在比如Java、Python等語言中只有“引用”這樣一個概念。
在C/C++語言中,我們可以通過指針直接找到一個對象,因為你知道這個對象就在內(nèi)存中指針所指向的位置,但在Java、Python等語言中,當你利用引用找到對象時基本上是沖著解釋器喊一句“Hey,解釋器,幫我找到令狐沖這個對象”,解釋器通過記錄查找到這個對象,注意解釋器是知道對象在內(nèi)存中的真正位置的,由于直接管理內(nèi)存是一項非常繁瑣容易出錯的事情(C/C++程序員一定對此有深刻體會),因此解釋器就接手了對內(nèi)存直接管理, Java、Python等程序員是沒有必要知道對象在內(nèi)存中的真正位置的 ,沒有指針也可以開心的寫程序而且程序更加健壯,何樂不為呢,因此這些語言中是沒有指針這樣一個概念。
Sun的一篇論文中提到了為什么Java里沒有指針。
Most studies agree that pointers are one of the primary features that enable programmers to inject bugs into their code. Given that structures are gone, and arrays and strings are objects, the need for pointers to these constructs goes away. Thus, Java has no pointer data types. ...
You no longer have dangling pointers and trashing of memory because of incorrect pointers, because there are no pointers in Java.
大意是Java設(shè)計者認為指針太有技巧性以至于很容易出錯,因此Java中沒有指針。其實不只是Java,流行的語言當中除了C/C++之外幾乎都沒有指針。
在這一節(jié)中,你只需要理解以下兩點就可以啦。
- 指針:直接在內(nèi)存中找到變量所在位置。所以指針是實實在在的內(nèi)存地址。
- 引用:告訴解釋器你想使用的變量,然后解釋器再去內(nèi)存中找到變量的位置。所以引用只是解釋器的一個 承諾 ,只要這個變量存在,解釋器就承諾能找到這個變量,程序員就可以使用這個變量,至于這個變量在內(nèi)存中的什么地方是不需要程序員關(guān)心的。
進程的內(nèi)存模型
我們已經(jīng)在前面幾個小節(jié)中研究了C/C++以及Java、Python程序的內(nèi)存模型,接下來讓我們回到操作系統(tǒng)。
我們已經(jīng)知道了,不管什么語言,最后操作系統(tǒng)看到的都是C程序,C程序在內(nèi)存運行起來就是進程。而在前面的小節(jié)當中我們已經(jīng)知道進程在內(nèi)存中的樣子,但那里的描述其實是不完整的,也是不準確的。接下里我們就來看一下,操作系統(tǒng)中的進程在內(nèi)存中到底是什么樣子的,如下圖所示(注意這幅圖描述的是32位操作系統(tǒng)下進程在內(nèi)存中是什么樣子的),我們需要注意以下幾點:
- 在上圖中多出了一塊內(nèi)存,注意,這塊內(nèi)存就是操作系統(tǒng)在運行的時候所占用的內(nèi)存。
- 每個進程獨占一個連續(xù)的4G大小的內(nèi)存,從內(nèi)存地址0開始,一直到0xffffffff,其中最上方的1G留給了操作系統(tǒng)使用,下方的3G是留給進程自己使用的,其中程序員可以操作的區(qū)域就是圖中的堆區(qū)和棧區(qū)。
- 你會發(fā)現(xiàn)代碼段下方也有一點空隙沒有使用,其實這是有特殊目的的,具體用途會在后面的章節(jié)中講解。
現(xiàn)在你已經(jīng)知道了進程在內(nèi)存中的樣子,你一定會有疑問吧,
為什么每個進程認為自己占用的是4G內(nèi)存呢? 如果我的PC上只有2G內(nèi)存,進程還是認為自己擁有4G內(nèi)存嗎 ?
操作系統(tǒng)上不是可以同時運行很多進程嗎,內(nèi)存是有限的,假如只有2G, 每個進程都認為自己擁有4G內(nèi)存,這不會有問題嗎 ?
我們首先來回答第一個問題:是的,每個進程都認為計算機上的真實內(nèi)存就是4G,而且是進程自己獨占的,即使真正的物理內(nèi)存只有256MB。
第二個問題:很顯然,不管你現(xiàn)在看這篇文章用的電腦,iPad,安卓手機還是iPhone,這些計算設(shè)備中的進程都是這么認為的,你能看到這篇文章說明進程認為自己擁有4G內(nèi)存是不會出現(xiàn)問題的。
在這里需要再次強調(diào)的是:
每個進程都認為真實的內(nèi)存就是4G,其中1G被操作系統(tǒng)使用,剩余部分被進程使用,也就是可以被程序員使用。 注意這是不受真實物理內(nèi)存限制的 ,也就是說,即使真實的物理只有256MB,進程同樣認為在內(nèi)存是4G,其中1G是操作系統(tǒng)的,剩余3G是進程自己獨占的,程序員依然可以按照內(nèi)存大小是3G來寫程序。所以在大小256MB的真實物理內(nèi)存上,程序員依然可以一次性申請超過256MB的內(nèi)存而且可以申請成功,后續(xù)內(nèi)存的使用也不受影響。
就像我第一次知道這種魔法時一樣,你肯定也會驚呼這怎么可能呢? 我們怎么能在256MB大小的內(nèi)存上申請超過256MB的內(nèi)存呢 ?但事實就是如此,你可以在物理內(nèi)存大小為256MB的內(nèi)存上面申請超過256MB的內(nèi)存,而且無論物理內(nèi)存大小,每個進程都認為自己擁有4G內(nèi)存,而且是獨占內(nèi)存。
這真的是太神奇了,這就是本課程的主角-操作系統(tǒng)帶來的神奇魔法。
幻象大師——操作系統(tǒng)
這種魔法確實是真實的,這個魔法就來自我們的幻象大師- 操作系統(tǒng) ,其實進程看到的內(nèi)存是操作系統(tǒng)制造的幻覺。操作系統(tǒng)讓每個進程都認為內(nèi)存就只有兩部分,一部分是操作系統(tǒng)的一部分是自己的,這種魔法就稱之為虛擬內(nèi)存。后面的章節(jié)中會重點介紹操作系統(tǒng)是如何實現(xiàn)這種魔法的。
在虛擬內(nèi)存上程序員分配內(nèi)存不受真實物理內(nèi)存大小的限制 。
但這僅僅是進程自己這么認為,這是操作系統(tǒng)給進程制造的幻覺,所以被稱之為虛擬內(nèi)存。虛擬內(nèi)存是操作系統(tǒng)中極為重要的概念,和進程一樣,對虛擬內(nèi)存的深刻理解也是編程高手的標志之一。我會在后續(xù)文章中來為大家透徹講解操作系統(tǒng)是如何做到的。
總結(jié)
哈哈,這真是比較長的一節(jié),希望你能堅持學到這里,沒辦法,內(nèi)存真的是非常重要的, 要想學好操作系統(tǒng),對內(nèi)存的透徹理解是必不可少的 。
在這一節(jié)中我們認識到了其實內(nèi)存僅僅就是一堆裝0或1的小盒子組成,是沒有什么神秘的。我們也了解了C/C++、Java、Python程序的內(nèi)存模型,也知道了操作系統(tǒng)中的進程在內(nèi)存中是什么樣子的。同時操作系統(tǒng)中被被稱為虛擬內(nèi)存的神奇魔法也著實讓人驚嘆,想學習這么魔法請繼續(xù)關(guān)注操作系統(tǒng)系列文章。
-
內(nèi)存
+關(guān)注
關(guān)注
8文章
3119瀏覽量
75204 -
編程語言
+關(guān)注
關(guān)注
10文章
1956瀏覽量
36547 -
python
+關(guān)注
關(guān)注
56文章
4827瀏覽量
86623
發(fā)布評論請先 登錄
評論