這是一篇7年前的舊文，但絕對(duì)值得一讀。尤其是剛接觸計(jì)算機(jī)不久的新手，通過(guò)此文可以對(duì)進(jìn)程、線程有個(gè)相對(duì)直觀的認(rèn)知。但科普文重在通俗易懂，更進(jìn)一步的學(xué)習(xí)還需查閱相關(guān)的資料，對(duì)技術(shù)的理解不可僅停留在直觀印象而已。

進(jìn)程（process）和線程（thread）是操作系統(tǒng)的基本概念，但是它們比較抽象，不容易掌握。

最近，我讀到一篇材料[1]，發(fā)現(xiàn)有一個(gè)很好的類比，可以把它們解釋地清晰易懂。

1

計(jì)算機(jī)的核心是CPU，它承擔(dān)了所有的計(jì)算任務(wù)。它就像一座工廠，時(shí)刻在運(yùn)行。

2

假定工廠的電力有限，一次只能供給一個(gè)車間使用。也就是說(shuō)，一個(gè)車間開(kāi)工的時(shí)候，其他車間都必須停工。背后的含義就是，單個(gè)CPU一次只能運(yùn)行一個(gè)任務(wù)。

3

進(jìn)程就好比工廠的車間，它代表CPU所能處理的單個(gè)任務(wù)。任一時(shí)刻，CPU總是運(yùn)行一個(gè)進(jìn)程，其他進(jìn)程處于非運(yùn)行狀態(tài)。

4

一個(gè)車間里，可以有很多工人。他們協(xié)同完成一個(gè)任務(wù)。

5

線程就好比車間里的工人。一個(gè)進(jìn)程可以包括多個(gè)線程。

6

車間的空間是工人們共享的，比如許多房間是每個(gè)工人都可以進(jìn)出的。這象征一個(gè)進(jìn)程的內(nèi)存空間是共享的，每個(gè)線程都可以使用這些共享內(nèi)存。

7

可是，每間房間的大小不同，有些房間最多只能容納一個(gè)人，比如廁所。里面有人的時(shí)候，其他人就不能進(jìn)去了。這代表一個(gè)線程使用某些共享內(nèi)存時(shí)，其他線程必須等它結(jié)束，才能使用這一塊內(nèi)存。

8

一個(gè)防止他人進(jìn)入的簡(jiǎn)單方法，就是門口加一把鎖。先到的人鎖上門，后到的人看到上鎖，就在門口排隊(duì)，等鎖打開(kāi)再進(jìn)去。這就叫"互斥鎖"（Mutual exclusion，縮寫 Mutex），防止多個(gè)線程同時(shí)讀寫某一塊內(nèi)存區(qū)域。

9

還有些房間，可以同時(shí)容納n個(gè)人，比如廚房。也就是說(shuō)，如果人數(shù)大于n，多出來(lái)的人只能在外面等著。這好比某些內(nèi)存區(qū)域，只能供給固定數(shù)目的線程使用。

10

這時(shí)的解決方法，就是在門口掛n把鑰匙。進(jìn)去的人就取一把鑰匙，出來(lái)時(shí)再把鑰匙掛回原處。后到的人發(fā)現(xiàn)鑰匙架空了，就知道必須在門口排隊(duì)等著了。這種做法叫做"信號(hào)量"（Semaphore），用來(lái)保證多個(gè)線程不會(huì)互相沖突。

不難看出，mutex是semaphore的一種特殊情況（n=1時(shí)）。也就是說(shuō)，完全可以用后者替代前者。但是，因?yàn)閙utex較為簡(jiǎn)單，且效率高，所以在必須保證資源獨(dú)占的情況下，還是采用這種設(shè)計(jì)。

11

操作系統(tǒng)的設(shè)計(jì)，因此可以歸結(jié)為三點(diǎn)：

以多進(jìn)程形式，允許多個(gè)任務(wù)同時(shí)運(yùn)行；

以多線程形式，允許單個(gè)任務(wù)分成不同的部分運(yùn)行；

提供協(xié)調(diào)機(jī)制，一方面防止進(jìn)程之間和線程之間產(chǎn)生沖突，另一方面允許進(jìn)程之間和線程之間共享資源。

參考資料：[1]

http://www.qnx.com/developers/docs/6.4.1/neutrino/getting_started/s1_procs.html

作者：阮一峰

來(lái)源：阮一峰的網(wǎng)絡(luò)日志