計算機實際上可以做的事情實質上非常簡單，比如計算兩個數的和，再比如在內存中尋找到某個地址等等。這些最基礎的計算機動作被稱為指令 (instruction)。所謂的程序(program)，就是這樣一系列指令的所構成的集合。通過程序，我們可以讓計算機完成復雜的操作。程序大多數時候被存儲為可執行的文件。這樣一個可執行文件就像是一個菜譜，計算機可以按照菜譜作出可口的飯菜。

?

那么，程序和進程(process)的區別又是什么呢?

進程是程序的一個具體實現。只有食譜沒什么用，我們總要按照食譜的指點真正一步步實行，才能做出菜肴。進程是執行程序的過程，類似于按照食譜，真正去做菜的過程。同一個程序可以執行多次，每次都可以在內存中開辟獨立的空間來裝載，從而產生多個進程。不同的進程還可以擁有各自獨立的IO接口。

操作系統的一個重要功能就是為進程提供方便，比如說為進程分配內存空間，管理進程的相關信息等等，就好像是為我們準備好了一個精美的廚房。

?

看一眼進程

首先，我們可以使用$ps命令來查詢正在運行的進程，比如$ps -eo pid,comm,cmd，下圖為執行結果:

(-e表示列出全部進程，-o pid,comm,cmd表示我們需要PID，COMMAND，CMD信息)

?

每一行代表了一個進程。每一行又分為三列。第一列PID(process IDentity)是一個整數，每一個進程都有一個唯一的PID來代表自己的身份，進程也可以根據PID來識別其他的進程。第二列COMMAND是這個進程的簡稱。第三列CMD是進程所對應的程序以及運行時所帶的參數。

(第三列有一些由中括號[]括起來的。它們是內核的一部分功能，被打扮成進程的樣子以方便操作系統管理。我們不必考慮它們。)

?

我們看第一行，PID為1，名字為init。這個進程是執行/bin/init這一文件(程序)生成的。當Linux啟動的時候，init是系統創建的第一個進程，這一進程會一直存在，直到我們關閉計算機。這一進程有特殊的重要性，我們會不斷提到它。

?

如何創建一個進程

實際上，當計算機開機的時候，內核(kernel)只建立了一個init進程。Linux內核并不提供直接建立新進程的系統調用。剩下的所有進程都是init進程通過fork機制建立的。新的進程要通過老的進程復制自身得到，這就是fork。fork是一個系統調用。進程存活于內存中。每個進程都在內存中分配有屬于自己的一片空間 (address space)。當進程fork的時候，Linux在內存中開辟出一片新的內存空間給新的進程，并將老的進程空間中的內容復制到新的空間中，此后兩個進程同時運行。

老進程成為新進程的父進程(parent process)，而相應的，新進程就是老的進程的子進程(child process)。一個進程除了有一個PID之外，還會有一個PPID(parent PID)來存儲的父進程PID。如果我們循著PPID不斷向上追溯的話，總會發現其源頭是init進程。所以說，所有的進程也構成一個以init為根的樹狀結構。

如下，我們查詢當前shell下的進程：

?

我們可以看到，第二個進程bash是第一個進程sudo的子進程，而第三個進程ps是第二個進程的子進程。

?

還可以用$pstree命令來顯示整個進程樹：

?

fork通常作為一個函數被調用。這個函數會有兩次返回，將子進程的PID返回給父進程，0返回給子進程。實際上，子進程總可以查詢自己的PPID來知道自己的父進程是誰，這樣，一對父進程和子進程就可以隨時查詢對方。

通常在調用fork函數之后，程序會設計一個if選擇結構。當PID等于0時，說明該進程為子進程，那么讓它執行某些指令,比如說使用exec庫函數(library function)讀取另一個程序文件，并在當前的進程空間執行 (這實際上是我們使用fork的一大目的: 為某一程序創建進程)；而當PID為一個正整數時，說明為父進程，則執行另外一些指令。由此，就可以在子進程建立之后，讓它執行與父進程不同的功能。

?

子進程的終結(termination)

當子進程終結時，它會通知父進程，并清空自己所占據的內存，并在內核里留下自己的退出信息(exit code，如果順利運行，為0；如果有錯誤或異常狀況，為>0的整數)。在這個信息里，會解釋該進程為什么退出。父進程在得知子進程終結時，有責任對該子進程使用wait系統調用。這個wait函數能從內核中取出子進程的退出信息，并清空該信息在內核中所占據的空間。但是，如果父進程早于子進程終結，子進程就會成為一個孤兒(orphand)進程。孤兒進程會被過繼給init進程，init進程也就成了該進程的父進程。init進程負責該子進程終結時調用wait函數。

當然，一個糟糕的程序也完全可能造成子進程的退出信息滯留在內核中的狀況（父進程不對子進程調用wait函數），這樣的情況下，子進程成為僵尸（zombie）進程。當大量僵尸進程積累時，內存空間會被擠占。

?

進程與線程(thread)

盡管在UNIX中，進程與線程是有聯系但不同的兩個東西，但在Linux中，線程只是一種特殊的進程。多個線程之間可以共享內存空間和IO接口。所以，進程是Linux程序的唯一的實現方式。

?

總結

程序，進程，PID，內存空間

子進程，父進程，PPID，fork， wait

?

?