並發無鎖隊列學習之一【開篇】 1、前言 　　 　　隊列在計算機中非常重要的一種數據結構，尤其在操作系統中。隊列典型的特征是先進先出（FIFO），符合流水線業務流程。在進程間通信、網絡通信之間經常采用隊列做緩存，緩解數據處理壓力。結合自己在工作中遇到的隊列問題，總結一下對不同場景下的隊列實現 ...

1 ...

書續上回：實現無鎖棧與隊列(1) 對於下面這個看起來很美好的無鎖棧： 我們仔細看一下它的 Push 操作，cas 保證了對 top 的更新是安全，原子的，但是數據的更新呢？這里把數據的更新放后了一步，似乎也是理所當然的：騰出了空間，再往里面寫東西。但是，但是，如果還沒有來得 ...

現在我們來嘗試解決前一篇文章提到的問題。 (一) 首先是內存釋放的問題。 這個問題乍看起來很棘手：我們現在要訪問一段內存，但卻不知道這段內存是否還合法，是否已被釋放。怎么辦呢？很直接的一個想法是，看看有沒別的方式可以檢查該內存是否還合法，這個想法很單純，但從前面幾篇文章的討論我們得知 ...

怎樣實現一個無鎖隊列，網絡上有很多的介紹，其中流傳最廣，影響最大的恐怕就屬於以下兩篇論文： a) "Implementing lock free queue" by John.D.Valois b) "Simple, Fast, and Practical Non-Blocking ...

為了實現一個快速無鎖的 logging 模塊， 這幾天花了不少時間去了解怎樣實現一些無鎖的操作及與之相對應的數據結構。對多線程場景下的無鎖操作的研究一直是個熱點，理想中的無鎖操作，它應能天然地避開有鎖操作的一些缺陷，比如： 1）減少線程切換，能夠相對快速高效地讀寫（不使用 mutex ...

兩年多以前隨手寫了點與 lock free 相關的筆記：1,2,3,4，質量都不是很高其實(讀者見諒)，但兩年來陸陸續續竟也有些閱讀量了(可見劍走偏鋒的技巧是多容易吸引眼球)。筆記當中在解決內存釋放和 ABA 問題時提到了 Hazard Pointer 這個東西，有兩三個讀者來信問這是什么，讓詳細 ...

1、前言 　　 　　隊列在計算機中非常重要的一種數據結構，尤其在操作系統中。隊列典型的特征是先進先出（FIFO），符合流水線業務流程。在進程間通信、網絡通信之間經常采用隊列做緩存，緩解數據處理壓力。結合自己在工作中遇到的隊列問題，總結一下對不同場景下的隊列實現。根據操作隊列的場景分為：單生產者 ...