mount namespace和共享子樹

在使用mount namespaces的過程中，使用者空間的程式員可能會遇到一個難題：mount namespaces提供了過度的隔離。設想一下，當我們將一個光碟插入到光碟機中，在初始的mount namespace中，令光碟在所有的namespace中可見的唯一方法是，將光碟掛載到每一個namespace中。在許多情況下，如果能夠透過一次掛載就使得光碟對所有的namespace都是可見的，那麼這將是一件十分絕佳的事情。

由於以上所描述的難題，共享子樹機制被引進了Linux 2.6.15（2006年早期，大約是Mount namespace第一次釋出後的三年）。共享子樹最核心的特徵是允許掛載和解除安裝事件以一種自動的，可控的方式在不同的namespaces間傳遞（propagation）。這就意味著，在一個名稱空間中掛載光碟的同時也會觸發對於其他namespace對同一張光碟的掛載。

在共享子樹中，每個掛載點都都存在一個名為傳遞型別（propagation type）的標記，該標記決定了一個namespace中建立或者刪除的掛載點是否會傳遞到其他的namespaces。

有四種傳遞型別：

• MS_SHARED：該掛載點和它的 “對等組”（peer group，接下來會詳細解釋它）共享掛載和解除安裝事件。當一個掛載點被刪除或者新增到namespace中，這些事件會被傳遞到它的對等組，這樣掛載和解除安裝事件會發生在所有對等掛載點。傳遞也會發生在相反的方向。也就是說，事件的傳遞是雙向的。

• MS_PRIVATE:  和共享掛載相反，標記為private的事件不會傳遞到任何的對等組，掛載操作預設使用該標誌。

• MS_SLAVE:  這個傳遞型別介於shared 和 slave之間，一個slave mount擁有一個master(一個共享的對等組)，該對等組中的成員可以將事件傳遞到他的slave mount。但是slave mount不能將事件傳遞給master mount。

• MS_UNBINDABLE:  該掛載點是不可系結的。

有幾點值得展開說一下。第一點是傳遞型別是一個針對掛載點的設定(per-mount-point setting)。在一個名稱空間中，一些掛載點被標記為 shared，其他的掛載點可以被標記為Private（或者slave, unbindable）。

第二點要說明的是，傳遞型別決定了掛載和解除安裝的傳遞。因此，在一個共享掛載X中建立一個子掛載 Y（表示掛載點Y是掛載點X的子目錄），子掛載會傳遞到對等組的其他掛載中。然而，X的傳遞型別不會影響到在Y中建立或者刪除的掛載點。Y中的事件是否會傳遞到其他的對等組中取決於Y的掛載型別。類似的，當X本身被解除安裝，該解除安裝事件是否會被傳遞，也同樣取決於X的傳遞型別。

另外，有一點值得闡明的是，本文中的“事件(event)”是一個相對抽象的名詞，意思是“有一些事情發生”。事件傳遞的概念並不意味著不同的掛載點之間的訊息傳遞。恰恰相反，事件傳遞應該被闡述為當一個掛載點的掛載或者解除安裝事件發生時會觸發其他掛載點的相同的事件。