為什麼作業系統 linux 是以fork exec的形式建程序

1樓：Will

說一下我的粗淺理解：因為關於程序執行，必定存在以下三種需求：

1）建立乙個新程序並執行

2）將乙個正在執行的程序fork成若干個繼續執行3）不需要終止程序，就能讓程序直接載入新的程式檔案功能2或3去掉任何乙個，都沒法用剩下的兩個代替實現，而功能1卻可以用2和3來代替實現。換句話說功能1和2，3並不正交，它不是必須的。在有強迫症的程式猿看來，當然就必須乾掉了。

2樓：Pickle Pee

Unix擁有乙個非常好用的方法: fork()這個方法可以用來建立子程序，同時也是唯一的方法。

子程序的記憶體空間是父程序的拷貝，但是實際上子程序要做什麼仍然取決於程式設計師！

程式設計師可以

fork without exec* 建立乙個子程序成為乙個父程序的拷貝

fork with exec* 讓子程序成為乙個不同的程序just exec* without fork 執行而不拷貝程序程式設計師只需要記住fork和exec*方法！

可能你會問如果每次fork都複製一遍記憶體的內容，豈不是很浪費資源？

No！其實在fork之後，所謂的拷貝只是拷貝了virtual memory map！如果接下來執行exec，告訴Unix系統我要讓它變成乙個新程序，那麼實際上並沒有真正拷貝父程序的記憶體內容。

3樓：

除了建立新程序用來執行別的程式之外，還有一種場景是程式只需要fork成多個同樣的，不需要執行別的程式。Windows下CreateProcess直接支援前一種場景，但就沒辦法支援後一種場景了；Unix的fork只支援後一種場景，但可以通過和exec配合來支援前一種場景，這只是一種實現策略而已。