計算機實際上可以做的事情實質上非常簡單，比如計算兩個數的和，再比如在記憶體中尋找到某個地址等等。這些最基礎的計算機動作被稱為指令(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下的程序：

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程式的唯一的實現方式。