www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

當前位置:首頁 > 公眾號精選 > CPP開發(fā)者
[導(dǎo)讀]↓推薦關(guān)注↓最近看見小伙伴在討論這個問題,自己也很感興趣,上網(wǎng)找到了陳碩大佬的這篇文章,分享給大家!以下是正文:我在《Linux多線程服務(wù)端編程:使用muduoC網(wǎng)絡(luò)庫》第1.9節(jié)“再論shared_ptr的線程安全”中寫道:(shared_ptr)的引用計數(shù)本身是安全且無鎖的,...


推薦關(guān)注↓

最近看見小伙伴在討論這個問題,自己也很感興趣,上網(wǎng)找到了陳碩大佬的這篇文章,分享給大家!以下是正文:

我在《Linux 多線程服務(wù)端編程:使用 muduo C 網(wǎng)絡(luò)庫》第 1.9 節(jié)“再論 shared_ptr 的線程安全”中寫道:

(shared_ptr)的引用計數(shù)本身是安全且無鎖的,但對象的讀寫則不是,因為 shared_ptr 有兩個數(shù)據(jù)成員,讀寫操作不能原子化。shared_ptr 的線程安全級別和內(nèi)建類型、標準庫容器、std::string 一樣,即:



一個 shared_ptr 對象實體可被多個線程同時讀?。ㄎ臋n例1);


兩個 shared_ptr 對象實體可以被兩個線程同時寫入(例2),“析構(gòu)”算寫操作;


如果要從多個線程讀寫同一個 shared_ptr 對象,那么需要加鎖(例3~5)。


請注意,以上是 shared_ptr 對象本身的線程安全級別,不是它管理的對象的線程安全級別。


后文(p.18)則介紹如何高效地加鎖解鎖。本文則具體分析一下為什么“因為 shared_ptr 有兩個數(shù)據(jù)成員,讀寫操作不能原子化”使得多線程讀寫同一個 shared_ptr 對象需要加鎖。這個在我看來顯而易見的結(jié)論似乎也有人抱有疑問,那將導(dǎo)致災(zāi)難性的后果,值得我寫這篇文章。本文以 boost::shared_ptr 為例,與 std::shared_ptr 可能略有區(qū)別。



shared_ptr 的數(shù)據(jù)結(jié)構(gòu)
shared_ptr 是引用計數(shù)型(reference counting)智能指針,幾乎所有的實現(xiàn)都采用在堆(heap)上放個計數(shù)值(count)的辦法(除此之外理論上還有用循環(huán)鏈表的辦法,不過沒有實例)。具體來說,shared_ptr 包含兩個成員,一個是指向 Foo 的指針 ptr,另一個是 ref_count 指針(其類型不一定是原始指針,有可能是 class 類型,但不影響這里的討論),指向堆上的 ref_count 對象。ref_count 對象有多個成員,具體的數(shù)據(jù)結(jié)構(gòu)如圖 1 所示,其中 deleter 和 allocator 是可選的。



圖 1:shared_ptr 的數(shù)據(jù)結(jié)構(gòu)


為了簡化并突出重點,后文只畫出 use_count 的值:



以上是 shared_ptr x(new Foo); 對應(yīng)的內(nèi)存數(shù)據(jù)結(jié)構(gòu)。


如果再執(zhí)行 shared_ptr y = x; 那么對應(yīng)的數(shù)據(jù)結(jié)構(gòu)如下。



但是 y=x 涉及兩個成員的復(fù)制,這兩步拷貝不會同時(原子)發(fā)生。


中間步驟 1,復(fù)制 ptr 指針:



中間步驟 2,復(fù)制 ref_count 指針,導(dǎo)致引用計數(shù)加 1:



步驟1和步驟2的先后順序跟實現(xiàn)相關(guān)(因此步驟 2 里沒有畫出 y.ptr 的指向),我見過的都是先1后2。


既然 y=x 有兩個步驟,如果沒有 mutex 保護,那么在多線程里就有 race condition。


多線程無保護讀寫 shared_ptr 可能出現(xiàn)的 race condition

考慮一個簡單的場景,有 3 個 shared_ptr 對象 x、g、n:


shared_ptr g(new Foo); // 線程之間共享的 shared_ptr

shared_ptr x; // 線程 A 的局部變量

shared_ptr n(new Foo); // 線程 B 的局部變量

一開始,各安其事。



線程 A 執(zhí)行 x = g; (即 read g),以下完成了步驟 1,還沒來及執(zhí)行步驟 2。這時切換到了 B 線程。



同時編程 B 執(zhí)行 g = n; (即 write g),兩個步驟一起完成了。


先是步驟 1:



再是步驟 2:



這是 Foo1 對象已經(jīng)銷毀,x.ptr 成了空懸指針!


最后回到線程 A,完成步驟 2:



多線程無保護地讀寫 g,造成了“x 是空懸指針”的后果。這正是多線程讀寫同一個 shared_ptr 必須加鎖的原因。


當然,race condition 遠不止這一種,其他線程交織(interweaving)有可能會造成其他錯誤。


思考,假如 shared_ptr 的 operator= 實現(xiàn)是先復(fù)制 ref_count(步驟 2)再復(fù)制 ptr(步驟 1),會有哪些 race condition?



雜項
shared_ptr 作為 unordered_map 的 key


如果把 boost::shared_ptr 放到 unordered_set 中,或者用于 unordered_map 的 key,那么要小心 hash table 退化為鏈表。http://stackoverflow.com/questions/6404765/c-shared-ptr-as-unordered-sets-key/12122314#12122314


直到 Boost 1.47.0 發(fā)布之前,unordered_set > 雖然可以編譯通過,但是其 hash_value 是 shared_ptr 隱式轉(zhuǎn)換為 bool 的結(jié)果。也就是說,如果不自定義hash函數(shù),那么 unordered_{set/map} 會退化為鏈表。https://svn.boost.org/trac/boost/ticket/5216


Boost 1.51 在 boost/functional/hash/extensions.hpp 中增加了有關(guān)重載,現(xiàn)在只要包含這個頭文件就能安全高效地使用 unordered_set 了。


這也是 muduo 的 examples/idleconnection 示例要自己定義 hash_value(const boost::shared_ptr
本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關(guān)鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險,如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應(yīng)對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...

關(guān)鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學(xué)會聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉