什麽是fork，它是幹什麽的，有什麽作用？

在Linux下產生新的進程的系統調用就是fork函數，這個函數名是英文中“分叉”的意思。為什麽取這個名字呢？因為壹個進程在運行中，如果使用了fork，就產生了另壹個進程，於是進程就“分叉”了，所以這個名字取得很形象。下面就看看如何具體使用fork，這段程序演示了使用fork的基本框架： void main(){ int I; if ( fork() == 0 ) { /* 子進程程序 */ for ( I = 1; I <1000; I ++ ) printf("This is child process\n"); } else { /* 父進程程序*/ for ( I = 1; I <1000; I ++ ) printf("This is process process\n"); } } 程序運行後，妳就能看到屏幕上交替出現子進程與父進程各打印出的壹千條信息了。如果程序還在運行中，妳用ps命令就能看到系統中有兩個它在運行了。 那麽調用這個fork函數時發生了什麽呢？壹個程序壹調用fork函數，系統就為壹個新的進程準備了前述三個段，首先，系統讓新的進程與舊的進程使用同壹個代碼段，因為它們的程序還是相同的，對於數據段和堆棧段，系統則復制壹份給新的進程，這樣，父進程的所有數據都可以留給子進程，但是，子進程壹旦開始運行，雖然它繼承了父進程的壹切數據，但實際上數據卻已經分開，相互之間不再有影響了，也就是說，它們之間不再***享任何數據了。而如果兩個進程要***享什麽數據的話，就要使用另壹套函數（shmget，shmat，shmdt等）來操作。現在，已經是兩個進程了，對於父進程，fork函數返回了子程序的進程號，而對於子程序，fork函數則返回零，這樣，對於程序，只要判斷fork函數的返回值，就知道自己是處於父進程還是子進程中。 讀者也許會問，如果壹個大程序在運行中，它的數據段和堆棧都很大，壹次fork就要復制壹次，那麽fork的系統開銷不是很大嗎？其實UNIX自有其解決的辦法，大家知道，壹般CPU都是以“頁”為單位分配空間的，象INTEL的CPU，其壹頁在通常情況下是4K字節大小，而無論是數據段還是堆棧段都是由許多“頁”構成的，fork函數復制這兩個段，只是“邏輯”上的，並非“物理”上的，也就是說，實際執行fork時，物理空間上兩個進程的數據段和堆棧段都還是***享著的，當有壹個進程寫了某個數據時，這時兩個進程之間的數據才有了區別，系統就將有區別的“頁”從物理上也分開。系統在空間上的開銷就可以達到最小。