當(dāng)前位置:首頁(yè) > 公眾號(hào)精選 > 后端技術(shù)指南針
[導(dǎo)讀]在使用C++開發(fā)的服務(wù)端程序中多線程還是主流,一般來(lái)說會(huì)有個(gè)線程池來(lái)處理接收的請(qǐng)求,這樣可以有效提供服務(wù)器的并發(fā)能力和CPU的利用率。但是,多線程也是一把雙刃劍。

1. 騷動(dòng)的周五

小黑是大白前同事,現(xiàn)在倆人在不同的公司,但是都做后端開發(fā)工作。

雖然兩個(gè)人都在北京,但是距離不算近,一個(gè)在望京,一個(gè)在中關(guān)村,算是北京幾大IT聚集圈之二了。

兩個(gè)人日常除了工作,業(yè)余活動(dòng)并不多,當(dāng)然頭發(fā)也不多,宇宙中心五道口成了二人的集結(jié)地。

眨了5次眼,又到周五了,仿佛空氣都彌漫著明天放假的歡快氣息,當(dāng)然還有騷動(dòng)的大白和小黑:

大白看著時(shí)間差不多了,檢查完上線監(jiān)控報(bào)警,沒啥問題,背上電腦走出了寫字樓。

中關(guān)村到五道口還是比較近的,掃上低碳環(huán)保的青桔單車,一路向北到北大東門轉(zhuǎn)彎來(lái)到了五道口地區(qū)。

小黑也坐上13號(hào)線,人貼人差點(diǎn)擠成肉餅,美食召喚下他還是在8點(diǎn)準(zhǔn)時(shí)到了老地方。

大白:黑哥,你啥時(shí)候面的騰訊?掛了?你咋不找我內(nèi)推我們公司呀!

小黑:還沒掛,等GM面呢,你們公司手撕紅黑樹,整不了啊。

大白:就你這樣,這么喜歡穿紅衛(wèi)衣和黑褲子,不問你紅黑樹才怪。話說騰訊都問啥了?

小黑:騰訊的面試整體感覺還是不錯(cuò)的,面試很寬泛,從操作系統(tǒng)、網(wǎng)絡(luò)到系統(tǒng)設(shè)計(jì)、常用組件都會(huì)問,并且不偏不怪。

大白:那確實(shí)不錯(cuò),是本著去挖掘和探測(cè)候選人技術(shù)邊界,有啥奈斯的問題嗎?講講啊

小黑:有個(gè)問題算是我的盲區(qū)了,給了幾個(gè)Linux系統(tǒng)函數(shù),讓我看哪些是線程安全的,哪些是可重入的,并解釋下為啥。

大白:哦哦,這是考察對(duì)線程安全函數(shù)和可重入函數(shù)的理解。那你咋回答的?

小黑:臥槽,我說我不太會(huì)呀,然后就jump下一題了。要不你給我講講?我先干一個(gè)!

小黑說完,噸噸噸,一大杯啤酒下肚了,大白見狀扶了扶好幾年沒換的眼鏡,開始和小黑討論什么是線程安全和可重入。

2. 多線程和并發(fā)

在使用C++開發(fā)的服務(wù)端程序中多線程還是主流,一般來(lái)說會(huì)有個(gè)線程池來(lái)處理接收的請(qǐng)求,這樣可以有效提供服務(wù)器的并發(fā)能力和CPU的利用率。
但是,多線程也是一把雙刃劍。
單線程模式下,一切都是那么單調(diào)而穩(wěn)定,所有的資源都是自己的,我的資源我做主。
多線程模式下,一個(gè)進(jìn)程下裝載了多個(gè)線程,每個(gè)線程除了部分資源是獨(dú)享外,多個(gè)線程對(duì)大部分系統(tǒng)資源是共享的。
多個(gè)線程共享的進(jìn)程資源:
  • 內(nèi)存
  • 文件描述符
  • 地址空間
  • 全局?jǐn)?shù)據(jù)
  • ...
每個(gè)線程獨(dú)享的資源:
  • 線程寄存器
  • 線程棧
  • 線程ID、錯(cuò)誤返回碼、信號(hào)屏蔽碼
  • ...
敲黑板劃重點(diǎn)
1.進(jìn)程是系統(tǒng)進(jìn)行資源分配和調(diào)度的基本單位,線程是CPU調(diào)度和分派的基本單位;
2.進(jìn)程是線程的載體,進(jìn)程有獨(dú)立地址空間,所有線程共享所在進(jìn)程的地址空間;
3.進(jìn)程是系統(tǒng)資源的大股東,而線程基本上不擁有系統(tǒng)資源,只占用少量在運(yùn)行中必不可少的資源,比如程序計(jì)數(shù)器、一組寄存器和調(diào)用棧;
同一個(gè)進(jìn)程中的多個(gè)線程有點(diǎn)像合租,大家共用大部分資源,自己獨(dú)占一小部分資源,相互影響,然而但單進(jìn)程單線程就是整租,自己獨(dú)占所有資源,誰(shuí)也不影響。
掌握多線程中資源共享和相互影響的特點(diǎn)之后,再來(lái)看看線程安全和可重入就容易很多。


3. 什么是線程安全

計(jì)算機(jī)中所謂的安全大多是指結(jié)果的正確且可預(yù)測(cè)性。
前面我們知道,多線程運(yùn)行起來(lái)雖然可以提高并發(fā)能力,但是多個(gè)線程會(huì)共享很多資源,比如寫全局?jǐn)?shù)據(jù),這種情況下就需要額外干預(yù),否則將引發(fā)錯(cuò)亂的結(jié)果。

線程安全是在擁有共享數(shù)據(jù)的多條線程并行執(zhí)行的進(jìn)程中,可以正常且正確的執(zhí)行,不會(huì)出現(xiàn)數(shù)據(jù)污染等意外情況,反之則稱為線程不安全。

通俗一點(diǎn)講,線程安全就怎么跑都不亂,線程不安全就是一跑就可能五花八門。

所以可能產(chǎn)生線程不安全根本原因在于:共享數(shù)據(jù)且共享數(shù)據(jù)可變。
這些共享數(shù)據(jù)包括全局變量、局部靜態(tài)變量等,每個(gè)線程都可能對(duì)這個(gè)數(shù)據(jù)進(jìn)行操作,并且操作結(jié)果會(huì)影響其他線程。
我們還經(jīng)常提到另外一個(gè)術(shù)語(yǔ):線程安全函數(shù)/線程安全類。
線程安全函數(shù)的一些特征:
  • 無(wú)任何共享的數(shù)據(jù),都是局部數(shù)據(jù);
  • 存在寫共享數(shù)據(jù),但是進(jìn)行了加鎖處理,可以實(shí)現(xiàn)多線程的同步調(diào)用;
  • 存在讀但無(wú)寫共享數(shù)據(jù),無(wú)需加鎖;
從圖中可以看到
  • 同一進(jìn)程內(nèi)有四個(gè)工作線程;
  • 公共函數(shù)A 只執(zhí)行打印操作,無(wú)論何時(shí)何線程調(diào)用,結(jié)果都是確定且正確的,因此是線程安全函數(shù);
  • 公共函數(shù)B 使用了全局變量Count,并對(duì)其進(jìn)行遞增1操作,但是沒有進(jìn)行加鎖同步處理,因此結(jié)果是不確定的,為線程不安全函數(shù);
  • 公共函數(shù)C 使用了全局變量Factor,并對(duì)其進(jìn)行遞增2操作,使用了互斥鎖進(jìn)行同步確保結(jié)果的正確,是線程安全函數(shù);
在編寫多線程程序時(shí),如果涉及多個(gè)線程操作一個(gè)公共函數(shù),如果該函數(shù)本身不是線程安全的。
例如當(dāng)一個(gè)函數(shù)F是線程安全函數(shù),但是F調(diào)用線程不安全函數(shù)G時(shí),同樣需要對(duì)G進(jìn)行加鎖處理,否則函數(shù)F也將不安全。
在《深入理解計(jì)算機(jī)系統(tǒng)》一書中深入指出了線程不安全函數(shù)的分類:
  • 不保護(hù)共享產(chǎn)量的函數(shù)
  • 保持跨越多個(gè)調(diào)用狀態(tài)的函數(shù)
  • 返回指向靜態(tài)變量的指針的函數(shù)
  • 調(diào)用線程不安全函數(shù)的函數(shù)
前面介紹的幾個(gè)例子大部分都是全局變量的不加鎖控制相關(guān)的,還有兩種就是:
  • 函數(shù)本次調(diào)用依賴于上次調(diào)用結(jié)果,也就是所謂的跨狀態(tài),典型的Linux中的rand()函數(shù);
  • 函數(shù)將結(jié)果放在一個(gè)全局的指針中,典型的gethostbyname、localtime、strtok等;
//?函數(shù)原型
struct?tm?*?localtime(const?time_t?*clock);

/*?localtime?example?*/
#include??
#include??

int?main?()
{
??time_t?rawtime;
??struct?tm?*?timeinfo;

??time?(&rawtime);
??timeinfo?=?localtime?(&rawtime);

??return?0;
}
在localtime中將結(jié)果存放在timeinfo中,這個(gè)全局變量可以被任意的線程操作,因此將引發(fā)線程不安全。
對(duì)于Linux中線程不安全的函數(shù)可以查閱:
https://man7.org/linux/man-pages/man7/pthreads.7.html

4. 可重入函數(shù)

在理解了線程安全的相關(guān)定義和形成原因之后,我們來(lái)看下什么是可重入。
先來(lái)看看可重入的相關(guān)定義

一個(gè)程序可以在任意時(shí)刻被中斷,然后系統(tǒng)去執(zhí)行另外一段代碼,結(jié)束后又調(diào)用繼續(xù)原來(lái)的子程序不會(huì)出錯(cuò),則稱其為可重入(reentrant或re-entrant)。

從根本上來(lái)說
  • 可重入函數(shù)只使用自己棧上的變量,不依賴任何外部數(shù)據(jù),可以允許有該函數(shù)的多個(gè)副本在運(yùn)行,因?yàn)槊總€(gè)調(diào)用者產(chǎn)生的函數(shù)棧都是相互獨(dú)立的;
  • 不可重入函數(shù)使用了一些系統(tǒng)資源,如果被中斷的話,可能會(huì)出現(xiàn)問題;
可重入函數(shù)又分為兩大類
  • 顯式可重入:所有函數(shù)的參數(shù)都是值傳遞,并且只使用本地棧變量,那么函數(shù)就是顯示可重入的,無(wú)論如何調(diào)用,都是可重入的,是絕對(duì)無(wú)條件的。

  • 隱式可重入:可重入函數(shù)中的一些參數(shù)是引用傳遞,只有在調(diào)用線程的時(shí)候傳遞指向非共享數(shù)據(jù)的指針時(shí),它才是可重入的,是相對(duì)有條件的。

可重入函數(shù)需要滿足以下幾個(gè)條件
  • 函數(shù)內(nèi)部不使用靜態(tài)或者全局?jǐn)?shù)據(jù)
  • 函數(shù)不返回靜態(tài)或全局?jǐn)?shù)據(jù),數(shù)據(jù)的產(chǎn)生都由調(diào)用者提供
  • 不調(diào)用不可重入函數(shù)
從本質(zhì)上來(lái)說,可重入函數(shù)實(shí)現(xiàn)了算法和數(shù)據(jù)的分離,函數(shù)內(nèi)部的計(jì)算不依賴于外部,不影響也不受外部影響,是一種高效且安全的函數(shù)。
可重入函數(shù)都是線程安全函數(shù),線程安全不一定是可重入函數(shù)。
不可重入函數(shù)可以遵守可重入規(guī)則去改造,從而變?yōu)榭芍厝牒瘮?shù)。

5. 小結(jié)

本文從多線程并發(fā)編程的一些特征進(jìn)行闡述,引出了多線程下資源的共享本質(zhì)。
正因?yàn)榕R界資源和競(jìng)態(tài)條件的存在,就產(chǎn)生了線程安全問題,在編寫多線程程序時(shí)一定要考慮線程不安全帶來(lái)的問題。
在理解線程安全的概念之后進(jìn)一步引出了可重入函數(shù)。
從本質(zhì)上來(lái)說,都是并發(fā)環(huán)境下由于共享資源帶來(lái)的問題。
就這樣,小黑聽完之后雖然一知半解,但也頻頻點(diǎn)頭,一看表快10點(diǎn)了,兩個(gè)打工人結(jié)完賬,消失在了去13號(hào)線五道口站的夜色中。

免責(zé)聲明:本文內(nèi)容由21ic獲得授權(quán)后發(fā)布,版權(quán)歸原作者所有,本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。文章僅代表作者個(gè)人觀點(diǎn),不代表本平臺(tái)立場(chǎng),如有問題,請(qǐng)聯(lián)系我們,謝謝!

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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