背景
在多進程編程中，我們都知道fork（）會產生一個子進程，而且子進程就是父進程的一個副本。按照傳統fork的方式，子進程獲得父進程數據空間、堆和棧的副本。這種實現方式實在過于簡單，粗暴，效率低下。為什么這么說呢？因為在fork之后，往往緊接著就會跟隨exec。exec之前拷貝完全是無意義的，而且會極大的限制創建進程的速度。
所以linux引入了寫時拷貝技術（copy-on-write），簡稱COW。它是一種可以推遲甚至可以免除拷貝數據的技術。fork時，內核此時并不復制整個進程的地址空間，而是讓父進程和子進程共享同一個拷貝。只有在需要寫入的時候，數據才會被復制，從而使各個進程擁有各自的拷貝。也就是說在此之前都是以只讀的方式訪問。這種技術使地址空間上的頁的拷貝被推遲到真正需要寫入的時候。例如我之前說的情況，fork之后立即調用exec，他們就不要拷貝。
現在fork之后的實際開銷就是復制進程的頁表和子進程創建唯一的進程描述符。這是一種極大的優化，避免了大量的無意義的拷貝。對于Linux這種強調快速切換的操作系統來說，這個優化有著重大的意義。
注意：fork之后內核會通過將子進程放入到運行隊列前面，以讓子進程先運行。以避免父進程先寫入，產生拷貝，而后子進程執行exec，導致因而無意義的拷貝。
詳解
在我之前的【Linux內存管理】中我已經講到了，每個進程都有獨立的進程地址空間。我們現在考慮一種實際情況，有一個父進程PID1。它的虛擬地址空間大致有：代碼段，數據段，堆，棧。內核通過頁表為他們映射了虛擬地址到物理地址，為了方便表示，就用物理地址塊表示吧。（4G地址空間）。
原始fork（）
PID1 通過fork（）系統調用創建了一個子進程PID2。下圖簡單的直接的表示，可以看出直接為PID2復制了PID1的地址空間數據。
COW技術
內核只為新生成的子進程創建虛擬空間結構，它們來復制于父進程的虛擬究竟結構，但是不為這些段分配物理內存，它們共享父進程的物理空間，當父子進程中有更改相應段的行為發生時，再為子進程相應的段分配物理空間。
總結
通過上面的分析，相信大家對寫時拷貝技術有了一個比較深入的認識了。如果在本文中對這些專業術語不是很清楚，建議去看我之前的文章【Linux內存管理】。
