Windows記憶體中page的copy on write Memo

Windows中記憶體page的copy on write屬性非常有用。他保證了如果一個應用程式的多個執行個體被啟動，或是一個dll被多個啟動的應用程式同時使用時，全域和靜態變數不會受到汙染。

大致原理就是：

應 用程式啟動多個執行個體，這多個進程的地址空間中，應用程式部分地址空間對應到physical storage上，都是一份（memory map的）。所以，如果一個執行個體嘗試修改一個全域或靜態變數時，如果沒有copy-on-write，這個變數就會被汙染。所以windows在使用 memory map裝載應用程式時，對全域和靜態變數識別，然後給存放這些變數的page設上copy-on-write屬性，這樣當一個執行個體嘗試修改一個全域或靜態 變數時，一個exceptin產生，windows捕獲然後重新分配page出來給該執行個體使用，從而避免了汙染。DLL的處理方式和這個是一模一樣的。

今天在做SD的時候，想到一個問題。那一個進程中的多個線程在訪問全域或靜態變數時，是不是也有這種邏輯呢？如果是，那所有涉及全域和靜態變數的function就都MultiThread safe了！顯然，這是不可能的。原因是：

當 進程中的某個線程嘗試修改全域或靜態變數時，windows就會分配新的page出來，然後修改進程的地址空間中對應該page的部分，該page的 physical storage就指向了建立的page。所以，當該進程的其他線程再訪問變數時，操作的就已經是建立出來的page了。此時，就有多線程問題了。

所以，copy-on-write解決的是多執行個體，或是dll中的全域，靜態變數不被汙染的問題。和多線程沒有關係。在一個進程的多線程情況下，針對全域和靜態變數要用線程同步來保證安全執行緒。