Linux中fork,vfork和clone詳解(區別與聯繫) clone, fork, vfork區別與聯繫

fork,vfork,clone

Unix標準的複製進程的系統調用時fork(即分叉),但是Linux,BSD等操作系統並不止實現這一個,確切的說linux實現了三個,fork,vfork,clone(確切說vfork創造出來的是輕量級進程,也叫線程,是共享資源的進程)

系統調用 描述
fork fork創造的子進程是父進程的完整副本,複製了父親進程的資源,包括內存的內容task_struct內容
vfork vfork創建的子進程與父進程共享數據段,而且由vfork()創建的子進程將先於父進程運行
clone Linux上創建線程一般使用的是pthread庫 實際上linux也給我們提供了創建線程的系統調用,就是clone

fork

#include <stdio.h>
#include <stdlib.h>

#include <sys/types.h>
#include <unistd.h>


int main(void)
{
    int count = 1;
    int child;

    child = fork( );

    if(child < 0)
    {
        perror("fork error : ");
    }
    else if(child == 0)     //  fork return 0 in the child process because child can get hid PID by getpid( )
    {
        printf("This is son, his count is: %d (%p). and his pid is: %d\n", ++count, &count, getpid());
    }
    else                    //  the PID of the child process is returned in the parent’s thread of execution
    {
        printf("This is father, his count is: %d (%p), his pid is: %d\n", count, &count, getpid());
    }

    return EXIT_SUCCESS;
}

從運行結果裏面可以看出父子兩個進程的pid不同,堆棧和數據資源都是完全的複製

子進程改變了count的值,而父進程中的count沒有被改變。

子進程與父進程count的地址(虛擬地址)是相同的(注意他們在內核中被映射的物理地址不同)

寫時複製

有人認爲這樣大批量的複製會導致執行效率過低。其實在複製過程中,linux採用了寫時複製的策略。

子進程複製了父進程的task_struct,系統堆棧空間和頁面表,這意味着上面的程序,我們沒有執行count++前,其實子進程和父進程的count指向的是同一塊內存。而當子進程改變了變量時候(即對變量進行了寫操作),會通過copy_on_write的手段爲所涉及的頁面建立一個新的副本。

所以當我們執行++count後,這時候子進程才新建了一個頁面複製原來頁面的內容,基本資源的複製是必須的,而且是高效的。整體看上去就像是父進程的獨立存儲空間也複製了一遍。

寫入時複製(Copy-on-write)是一個被使用在程式設計領域的最佳化策略。其基礎的觀念是,如果有多個呼叫者(callers)同時要求相同資源,他們會共同取得相同的指標指向相同的資源,直到某個呼叫者(caller)嘗試修改資源時,系統纔會真正複製一個副本(private copy)給該呼叫者,以避免被修改的資源被直接察覺到,這過程對其他的呼叫只都是通透的(transparently)。此作法主要的優點是如果呼叫者並沒有修改該資源,就不會有副本(private copy)被建立。

第一代Unix系統實現了一種傻瓜式的進程創建:當發出fork()系統調用時,內核原樣複製父進程的整個地址空間並把複製的那一份分配給子進程。這種行爲是非常耗時的,因爲它需要:

  • 爲子進程的頁表分配頁幀
  • 爲子進程的頁分配頁幀
  • 初始化子進程的頁表
  • 把父進程的頁複製到子進程相應的頁中
    這種創建地址空間的方法涉及許多內存訪問,消耗許多CPU週期,並且完全破壞了高速緩存中的內容。在大多數情況下,這樣做常常是毫無意義的,因爲許多子進程通過裝入一個新的程序開始它們的執行,這樣就完全丟棄了所繼承的地址空間。

現在的Linux內核採用一種更爲有效的方法,稱之爲寫時複製(Copy On Write,COW)。這種思想相當簡單:父進程和子進程共享頁幀而不是複製頁幀。然而,只要頁幀被共享,它們就不能被修改,即頁幀被保護。無論父進程還是子進程何時試圖寫一個共享的頁幀,就產生一個異常,這時內核就把這個頁複製到一個新的頁幀中並標記爲可寫。原來的頁幀仍然是寫保護的:當其他進程試圖寫入時,內核檢查寫進程是否是這個頁幀的唯一屬主,如果是,就把這個頁幀標記爲對這個進程是可寫的。

當進程A使用系統調用fork創建一個子進程B時,由於子進程B實際上是父進程A的一個拷貝,

因此會擁有與父進程相同的物理頁面.爲了節約內存和加快創建速度的目標,fork()函數會讓子進程B以只讀方式共享父進程A的物理頁面.同時將父進程A對這些物理頁面的訪問權限也設成只讀.

這樣,當父進程A或子進程B任何一方對這些已共享的物理頁面執行寫操作時,都會產生頁面出錯異常(page_fault int14)中斷,此時CPU會執行系統提供的異常處理函數do_wp_page()來解決這個異常.

do_wp_page()會對這塊導致寫入異常中斷的物理頁面進行取消共享操作,爲寫進程複製一新的物理頁面,使父進程A和子進程B各自擁有一塊內容相同的物理頁面.最後,從異常處理函數中返回時,CPU就會重新執行剛纔導致異常的寫入操作指令,使進程繼續執行下去.

vfork

如果fork簡單的vfork()的做法更加火爆,內核連子進程的虛擬地址空間結構也不創建了,直接共享了父進程的虛擬空間,當然了,這種做法就順水推舟的共享了父進程的物理空間

#include <stdio.h>
#include <stdlib.h>

#include <sys/types.h>
#include <unistd.h>


int main(void)
{
    int count = 1;
    int child;

   // child = vfork( );

    printf("Before create son, the father's count is:%d\n", count);

    if((child = vfork())< 0)
    {
        perror("fork error : ");
    }
    else if(child == 0)     //  fork return 0 in the child process because child can get hid PID by getpid( )
    {
        printf("This is son, his count is: %d (%p). and his pid is: %d\n", ++count, &count, getpid());
        exit(0);
    }
    else                    //  the PID of the child process is returned in the parent’s thread of execution
    {
        printf("After son, This is father, his count is: %d (%p), his pid is: %d\n", ++count, &count, getpid());
        exit(0);
    }

    return EXIT_SUCCESS;
}

從運行結果可以看到vfork創建出的子進程(線程)共享了父進程的count變量,2者的count指向了同一個內存,所以子進程修改了count變量,父進程的 count變量同樣受到了影響。

參見 man-vfork(2)

  • 由vfork創造出來的子進程還會導致父進程掛起,除非子進程exit或者execve纔會喚起父進程
  • 由vfok創建出來的子進程共享了父進程的所有內存,包括棧地址,直至子進程使用execve啓動新的應用程序爲止
  • 由vfork創建出來得子進程不應該使用return返回調用者,或者使用exit()退出,但是它可以使用_exit()函數來退出

如果我們使用return來退出,你會發現程序陷入一種邏輯混亂的重複vfork狀態

參見下面的代碼

#include <stdio.h>
#include <stdlib.h>

#include <sys/types.h>
#include <unistd.h>


int main(void)
{
   int count = 1;
    int child;

   // child = vfork( );

    printf("Before create son, the father's count is : %d\n", count);

    if((child = vfork())< 0)
    {
        perror("fork error : ");
    }
    else if(child == 0)     //  fork return 0 in the child process because child can get hid PID by getpid( )
    {
        printf("This is son, his count is: %d (%p). and his pid is: %d\n", ++count, &count, getpid());

    }
    else                    //  the PID of the child process is returned in the parent’s thread of execution
    {
        printf("After son, This is father, his count is: %d (%p), his pid is: %d\n", count, &count, getpid());
        sleep(2);
    }

    return EXIT_SUCCESS;
}

我們會發現vfork的子進程在使用return後,返回到了調用處,因此父進程又創建出一個新的vfork進程,

解決這種問題的方法就是不要在進程中使用return,而是使用exit或者_exit來代替

fork與vfork

區別與聯繫

vfork()用法與fork()相似.但是也有區別,具體區別歸結爲以下3點

  1. fork() 子進程拷貝父進程的數據段,代碼段.
    vfork() 子進程與父進程共享數據段.|

  2. fork() 父子進程的執行次序不確定.
    vfork():保證子進程先運行,

vfork()保證子進程先運行,在她調用exec或_exit之後父進程纔可能被調度運行。如果在
調用這兩個函數之前子進程依賴於父進程的進一步動作,則會導致死鎖。

在調用exec或_exit之前與父進程數據是共享的,在它調用exec或_exit之後父進程纔可能被調度運行。如果在調用這兩個函數之前子進程依賴於父進程的進一步動作,則會導致死鎖。當需要改變共享數據段中變量的值,則拷貝父進程

vfork用於創建一個新進程,而該新進程的目的是exec一個新進程,vfork和fork一樣都創建一個子進程,但是它並不將父進程的地址空間完全複製到子進程中,不會複製頁表。因爲子進程會立即調用exec,於是也就不會存放該地址空間。不過在子進程中調用exec或exit之前,他在父進程的空間中運行。

如果在調用vfork時子進程依賴於父進程的進一步動作,則會導致死鎖。由此可見,這個系統調用是用來啓動一個新的應用程序。其次,子進程在vfork()返回後直接運行在父進程的棧空間,並使用父進程的內存和數據。這意味着子進程可能破壞父進程的數據結構或棧,造成失敗。

爲了避免這些問題,需要確保一旦調用vfork(),子進程就不從當前的棧框架中返回,並且如果子進程改變了父進程的數據結構就不能調用exit函數。

子進程還必須避免改變全局數據結構或全局變量中的任何信息,因爲這些改變都有可能使父進程不能繼續。通常,如果應用程序不是在fork()之後立即調用exec(),就有必要在fork()被替換成vfork()之前做仔細的檢查。

爲什麼會有vfork

因爲以前的fork當它創建一個子進程時,將會創建一個新的地址空間,並且拷貝父進程的資源,而往往在子進程中會執行exec調用,這樣,前面的拷貝工作就是白費力氣了,這種情況下,聰明的人就想出了vfork,它產生的子進程剛開始暫時與父進程共享地址空間(其實就是線程的概念了),因爲這時候子進程在父進程的地址空間中運行,所以子進程不能進行寫操作,

並且在兒子“霸佔”着老子的房子時候,要委屈老子一下了,讓他在外面歇着(阻塞),一旦兒子執行了exec或者exit後,相當於兒子買了自己的房子了,這時候就相當於分家了。此時vfork保證子進程先運行,在她調用exec或exit之後父進程纔可能被調度運行。

因此vfork設計用以子進程創建後立即執行execve系統調用加載新程序的情形。在子進程退出或開始新程序之前,內核保證了父進程處於阻塞狀態

用vfork函數創建子進程後,子進程往往要調用一種exec函數以執行另一個程序,當進程調用一種exec函數時,該進程完全由新程序代換,而新程序則從其main函數開始執行,因爲調用exec並不創建新進程,所以前後的進程id 並未改變,exec只是用另一個新程序替換了當前進程的正文,數據,堆和棧段。

clone

參見 man手冊

clone函數功能強大,帶了衆多參數,因此由他創建的進程要比前面2種方法要複雜。

clone可以讓你有選擇性的繼承父進程的資源,你可以選擇想vfork一樣和父進程共享一個虛存空間,從而使創造的是線程,你也可以不和父進程共享,你甚至可以選擇創造出來的進程和父進程不再是父子關係,而是兄弟關係。

先有必要說下這個函數的結構

int clone(int (fn)(void ), void *child_stack, int flags, void *arg);

這裏fn是函數指針,我們知道進程的4要素,這個就是指向程序的指針,就是所謂的“劇本”, child_stack明顯是爲子進程分配系統堆棧空間(在linux下系統堆棧空間是2頁面,就是8K的內存,其中在這塊內存中,低地址上放入了值,這個值就是進程控制塊task_struct的值),flags就是標誌用來描述你需要從父進程繼承那些資源, arg就是傳給子進程的參數)。下面是flags可以取的值

標誌 含義
CLONE_PARENT 創建的子進程的父進程是調用者的父進程,新進程與創建它的進程成了“兄弟”而不是“父子”
CLONE_FS 子進程與父進程共享相同的文件系統,包括root、當前目錄、umask
CLONE_FILES 子進程與父進程共享相同的文件描述符(file descriptor)表
CLONE_NEWNS 在新的namespace啓動子進程,namespace描述了進程的文件hierarchy
CLONE_SIGHAND 子進程與父進程共享相同的信號處理(signal handler)表
CLONE_PTRACE 若父進程被trace,子進程也被trace
CLONE_VFORK 父進程被掛起,直至子進程釋放虛擬內存資源
CLONE_VM 子進程與父進程運行於相同的內存空間
CLONE_PID 子進程在創建時PID與父進程一致
CLONE_THREAD Linux 2.4中增加以支持POSIX線程標準,子進程與父進程共享相同的線程羣
下面的例子是創建一個線程(子進程共享了父進程虛存空間,沒有自己獨立的虛存空間不能稱其爲進程)。父進程被掛起當子線程釋放虛存資源後再繼續執行。

#include <stdio.h>
#include <malloc.h>

#include <sched.h>
#include <signal.h>

#include <sys/types.h>
#include <unistd.h>


#define FIBER_STACK 8192
int a;
void * stack;

int do_something()
{
    printf("This is son, the pid is:%d, the a is: %d\n", getpid(), ++a);
    free(stack); //這裏我也不清楚,如果這裏不釋放,不知道子線程死亡後,該內存是否會釋放,知情者可以告訴下,謝謝
    exit(1);
}

int main()
{
    void * stack;
    a = 1;
    stack = malloc(FIBER_STACK);//爲子進程申請系統堆棧

    if(!stack)
    {
        printf("The stack failed\n");
        exit(0);
    }
    printf("creating son thread!!!\n");

    clone(&do_something, (char *)stack + FIBER_STACK, CLONE_VM|CLONE_VFORK, 0);//創建子線程

    printf("This is father, my pid is: %d, the a is: %d\n", getpid(), a);
    exit(1);
}

clone, fork, vfork區別與聯繫

實現參見

實現方式思路

系統調用服務例程sys_clone, sys_fork, sys_vfork三者最終都是調用do_fork函數完成.

do_fork的參數與clone系統調用的參數類似, 不過多了一個regs(內核棧保存的用戶模式寄存器). 實際上其他的參數也都是用regs取的

具體實現的參數不同

  • clone:
    clone的API外衣, 把fn, arg壓入用戶棧中, 然後引發系統調用. 返回用戶模式後下一條指令就是fn.
    sysclone: parent_tidptr, child_tidptr都傳到了 do_fork的參數中
    sysclone: 檢查是否有新的棧, 如果沒有就用父進程的棧 (開始地址就是regs.esp)
  • fork, vfork:
    服務例程就是直接調用do_fork, 不過參數稍加修改
    clone_flags:
    sys_fork: SIGCHLD, 0, 0, NULL, NULL, 0
    sys_vfork: CLONE_VFORK | CLONE_VM | SIGCHLD, 0, 0, NULL, NULL, 0
    用戶棧: 都是父進程的棧.
    parent_tidptr, child_ctidptr都是NULL.

作者:CHENG Jian
鏈接:https://blog.csdn.net/gatieme/article/details/51417488
來源:CSDN
著作權歸作者所有。商業轉載請聯繫作者獲得授權,非商業轉載請註明出處。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章