Memory Model

GCC 4.8.4 weak_ptr::lock() 的實作

基於效率考量，C++ 的 shared_ptr 和 weak_ptr 沒用 lock 保護。shared_ptr 的實作容易理解：

• reference count 用 atomic +1/-1。
• reference count 從 1 變 0 時，要刪除物件。這時只有一個 shared_ptr 指向物件，因此可以直接刪除，不用擔心 data race。

以 double-checked locking 為例，了解 memory barrier 的作用以及thread 之間何時會同步資料

在 multi-thread 程式實作 singleton 的時候，需要留意 singleton 只能初始化一次。我偏好的作法是在程式還是 single thread 的時候先完成初始化。這個作法簡單易懂。不過我想藉由延遲初始化的實作來說明「thread 之間何時會同步資料」。注意，本文的例子只是用來說明多 CPU 執行 multi-thread 底層發生了什麼事，不見得是 singleton 最好的作法。