Linux系統編程—時序競態

2020-10-06 良許Linux

##時序競態

什麼是時序競態?將同一個程序執行兩次,正常情況下,前後兩次執行得到的結果應該是一樣的。但由於系統資源競爭的原因,前後兩次執行的結果有可能得到不一樣的結果,這個現象就是時序競態

##pause函數

函數原型:

int pause(void);

函數作用:

進程調用pause函數時,會造成進程主動掛起(處於阻塞狀態,並主動放棄CPU),並且等待信號將其喚醒。

返回值:

我們知道,信號的處理方式有三種:1. 默認動作;2. 忽略處理;3. 捕捉。進程收到一個信號後,會先處理響應信號,再喚醒pause函數。於是有下面幾種情況:

① 如果信號的默認處理動作是終止進程,則進程將被終止,也就是說一收到信號進程就終止了,pause函數根本就沒有機會返回;

② 如果信號的默認處理動作是忽略,則進程將直接忽略該信號,相當於沒收到這個信號,進程繼續處於掛起狀態,pause函數不返回;

③ 如果信號的處理動作是捕捉,則進程調用完信號處理函數之後,pause返回-1,errno設置為EINTR,表示「被信號中斷」。

④ pause收到的信號不能被屏蔽,如果被屏蔽,那麼pause就不能被喚醒。

因為alarm函數可以在設定的時間之後發送SIGALRM信號,pause函數又可以將進程掛起等待信號,則二者結合可以自己寫一個sleep函數,如下:

1#include <unistd.h> 2#include <signal.h> 3#include <stdio.h> 4 5void sig_alrm(int signo) 6{ 7 /* nothing to do */ 8} 910unsigned int mysleep(unsigned int nsecs)11{12 unsigned int unslept;1314 signal(SIGALRM, &sig_alrm);15 unslept = alarm(nsecs); 16 pause();1718 return unslept;19}202122int main(void)23{24 while(1){25 mysleep(2);26 printf("Two seconds passed\n");27 }2829 return 0;30}

##時序競態前導例

在講時序競態具體現象之前,我們先來看一個生活中常見的場景:

想午睡10分鐘,於是定了個10分鐘的鬧鐘,希望10分鐘後鬧鐘將自己叫醒。

正常情況:定好鬧鐘,午睡,10分鐘後鬧鐘叫醒自己;

異常情況:定好鬧鐘,躺下睡覺2分鐘,被同學叫醒去打球,打了20分鐘後回來繼續睡覺。但在打球期間,鬧鐘早就響過了,將不會再喚醒自己。

這個例子與之後要講的時序競態有很大的相似之處。

##時序競態問題分析

我們再回過頭來看上面所寫的mysleep程序。這個函數有可能是下面的時序:

  1. SIGALRM默認動作是終止進程,因此我們要將其捕捉,對SIGALRM註冊信號處理函數;
  2. 調用alarm(1)函數定時1秒鐘;
  3. alarm(1)調用結束,定時器開始計時。就在這時,進程失去CPU,進入就緒態等待CPU(相當於被同學叫醒去打球)。失去CPU的方式有可能是內核調度了優先級更高的進程取代了當前進程,使得當前進程無法獲得CPU;
  4. 我們知道,alarm函數如果採用自然定時法的話,定時器將一直計時,與進程狀態無關。於是,1秒後,鬧鐘定時時間到,內核向當前進程發送SIGALRM信號。高優先級進程尚未執行完畢,當前進程仍然無法獲得CPU,繼續處於就緒態,信號無法處理(處於未決狀態);
  5. 優先級高的進程執行完畢,當前進程獲得CPU資源,內核調度回當前進程執行。SIGALRM信號遞達,並被進程處理;
  6. 信號處理完畢後,返回當前主控流程,並調用pause()函數,掛起等待alarm函數發送的SIGALRM信號將自己喚醒;
  7. 但實際SIGALRM信號已經處理完畢,pause()函數永遠不會等到。

##解決時序競態問題

通過以上時序分析,我們可以看出,造成時序競態的原因就是SIGALRM信號在進程失去CPU的時候就已經發送過來。為了防止這個現象出現,我們可以先將該信號阻塞,將其「抓住」,再在解除阻塞的時候立刻調用pause函數掛起等待。這樣即使在調用alarm就失去CPU,也可以在進程重新獲得CPU時將抓到的SIGALRM信號重新「放出來」,並將之後的pause函數喚醒。

但在解除阻塞與pause等待掛起信號之間,還是有可能失去CPU,除非將這兩個步驟做成一個「原子操作」。Linux系統提供的sigsuspend函數就具備這個功能。所以,在時序要求比較嚴格的場合下都應該使用sigsuspend函數,而非pause函數。

函數原型:

int sigsuspend(const sigset_t *mask);

函數作用:

掛起等待信號;

函數參數:

mask,傳入參數,sigsuspend函數調用期間,進程信號屏蔽字由參數mask指定。

具體用法:可將某個信號(如SIGALRM)從臨時信號屏蔽字mask中刪除,也就是在調用sigsuspend函數時對該信號解除屏蔽,然後掛起等待信號。但我們此時已經改變了進程的信號屏蔽字,所以調用完sigsuspend函數之後,應將進程的信號屏蔽字恢復原樣。

1#include <unistd.h> 2#include <signal.h> 3#include <stdio.h> 4 5void sig_alrm(int signo) 6{ 7 /* nothing to do */ 8} 910unsigned int mysleep(unsigned int nsecs)11{12 struct sigaction newact, oldact;13 sigset_t newmask, oldmask, suspmask;14 unsigned int unslept;1516 //1.為SIGALRM設置捕捉函數,一個空函數17 newact.sa_handler = sig_alrm;18 sigemptyset(&newact.sa_mask);19 newact.sa_flags = 0;20 sigaction(SIGALRM, &newact, &oldact);2122 //2.設置阻塞信號集,阻塞SIGALRM信號23 sigemptyset(&newmask);24 sigaddset(&newmask, SIGALRM);25 sigprocmask(SIG_BLOCK, &newmask, &oldmask); //信號屏蔽字 mask2627 //3.定時n秒,到時後可以產生SIGALRM信號28 alarm(nsecs);2930 /*4.構造一個調用sigsuspend臨時有效的阻塞信號集,31 * 在臨時阻塞信號集裡解除SIGALRM的阻塞*/32 suspmask = oldmask;33 sigdelset(&suspmask, SIGALRM);3435 /*5.sigsuspend調用期間,採用臨時阻塞信號集suspmask替換原有阻塞信號集36 * 這個信號集中不包含SIGALRM信號,同時掛起等待,37 * 當sigsuspend被信號喚醒返回時,恢復原有的阻塞信號集*/38 sigsuspend(&suspmask); 3940 unslept = alarm(0);41 //6.恢復SIGALRM原有的處理動作,呼應前面注釋142 sigaction(SIGALRM, &oldact, NULL);4344 //7.解除對SIGALRM的阻塞,呼應前面注釋245 sigprocmask(SIG_SETMASK, &oldmask, NULL);4647 return(unslept);48}4950int main(void)51{52 while(1){53 mysleep(2);54 printf("Two seconds passed\n");55 }5657 return 0;58}

##可重入函數/不可重入函數

一個函數在被調用執行期間尚未調用結束的時候,由於某種時序,該函數又被重複調用,這種情況稱為「重入」。如果從信號處理程序返回,則繼續執行進程斷點處的正常指令序列,從重新恢復到斷點重新執行的過程中,函數所依賴的環境沒有發生改變,就說這個函數是可重入的,反之就是不可重入的。

如果要將函數做成可重入函數,則函數內不能含有全局變量及static變量,也不能使用malloc、free。

> 2020 精選 阿里/騰訊等一線大廠 面試、簡歷、進階、電子書 「**良許Linux**」後臺回復「**資料**」免費獲取

#### 看完的都是真愛,點個讚再走唄?您的「三連」就是良許持續創作的最大動力!

1. 關注**原創**「**良許Linux**」,第一時間獲取最新Linux乾貨!

2. 後臺回復【資料】【面試】【簡歷】獲取精選一線大廠面試、自我提升、簡歷等資料。

3. 關注我的博客:[lxlinux.net](http://www.lxlinux.net)

相關焦點

  • Linux系統推薦學習的程式語言以及經驗
    First ;首先作為一個初學者,必須扎紮實實的掌握一門基礎的編程,計算機語言想通相似,想要學好編程,必須熟練地掌它握一門基礎計語言,這裡推薦學習C和C++;C++作為一門最難的語言,能掌握它,其他語言自然不在話下。
  • linux c編程之高效線程池如何實現無瑣化
    在解決了鎖機制之後,就只剩下條件變量的問題了,條件變量本身即解決條件滿足時的線程通信問題,而信號作為一種通信方式,可以代替之,其大體編程範式為:sigemptyset (&oldmask);sigemptyset (&signal_mask);sigaddset (&signal_mask, SIGUSR1);rc = pthread_sigmask(SIG_BLOCK
  • 嵌入式Linux學習方法 適合初學者設計學習計劃
    簡單說,從arm基礎知識到裸機編程,從uCOSII到linux,從linux基礎的命令到shell編程,從u-boot到文件系統,最後到現在的linux驅動程序。從簡單到複雜,從基礎到高級基本是按照這個來的。
  • Linux下C編程基礎之:Linux下C語言編程概述
    儘管C語言不是專門針對UNIX作業系統或機器編寫的,但它與UNIX系統的關係十分緊密。由於它的硬體無關性和可移植性,使C語言逐漸成為世界上使用最廣泛的計算機語言。目前流行的C語言編譯系統都是以它為基礎的。C語言的成功並不是偶然的,它強大的功能和它的可移植性讓它能在各種硬體平臺上遊刃自如。總體而言,C語言有如下特點。(1)C語言是「中級語言」。它把高級語言的基本結構和語句與低級語言的實用性結合起來。C語言可以像彙編語言一樣對位、字節和地址進行操作,而這三者是計算機最基本的工作單元。
  • 盤點Linux作業系統下C語言編程注意事項
    編者按:  Linux作業系統下C語言編程注意事項,值得你一看。linux作業系統文章專題:linux作業系統詳解(linux不再難懂)  2、學會makefile文件的編寫規則,並結合使用工具aclocal、autoconf和automake生成makefile文件。  3、掌握gcc和gdb的基本用法。
  • Linux系統與Windows系統對比有哪些不同
    1、 編程篇 linux與windows對比 雖然五年已經過去了,但是系統編程的模式基本沒有什麼改變,由於GPL的存在linux在編程效率上比windows要高不少,這是因為GPL公開程序代碼,這樣可以減少重複開發,所以linux在編程模式上比windows要略微強點。
  • iOS基於unix,安卓基於linux,而國產系統基於linux就被吐槽?
    而國產系統這些年雖然在不斷的發展,但很明顯,一直處於邊緣地帶,沒有真正的走進普通消費者的電腦中。當然對於國產作業系統,也有人吐槽。說怎麼能稱之為國產作業系統呢,明明就是linux套了個馬甲而來,卻說是國產作業系統了。
  • 實例介紹UML時序圖用法
    基於UML時序圖的網絡視頻監控系統UML是UnifiedModelingLanguage的簡稱,是00P(Object-Orientedprogramming面向對象編程)技術及至所成,可用於確定、展示和記錄軟體系統,是一種便於軟體系統規約化、可視化的構造及建模標識。而其中的圖形標記,尤其適用與面向對象的軟體設計。
  • Linux驅動1-如何實現模塊化編程
    一、什麼是模塊化編程?上面這段代碼雖然很簡單,但是他包含了Linux內核模塊化編程需要的所有信息。 我們來一起總結一下Linux內核模塊化編程必備的步驟:第一步: 包含linux/init.h和inux/module.h這兩個頭文件;
  • linux系統股票交易軟體的製作
    linux我想大家並不陌生,我最近看論壇上好多人在修找基於linux系統的炒股軟體,基本上都是失望而歸,即使僥倖找到了,你看不懂原始碼,那麼也是很危險的一件事,誰知道代碼裡寫的是不是真的呢?,今天正好有時間,我們就來說一下在linux系統下的股票軟體的製作。
  • 明明是搭載linux系統的智慧型手機卻被摩託羅拉搞成功能機
    2003年摩託羅拉推出了世界首款採用了linux系統的手機A760。雖然摩託羅拉是Symbian系統的創始成員之一。進軍linux顯然有摩託羅拉更深層的考慮。第一,不想被諾基亞主導的Symbian控制,希望擁有自己可以控制的系統和生態。第二,當時的手機設計思想和現在不一樣,現在的手機是偏向娛樂化,日常化。
  • 明明是搭載linux系統的智慧型手機卻被摩託羅拉搞成功能機
    2003年摩託羅拉推出了世界首款採用了linux系統的手機A760。雖然摩託羅拉是Symbian系統的創始成員之一。進軍linux顯然有摩託羅拉更深層的考慮。第一,不想被諾基亞主導的Symbian控制,希望擁有自己可以控制的系統和生態。
  • Linux系統入門命令學習經驗
    我大學的專業是電氣工程及其自動化,平時的課程也涉及不到linux,所以旁邊也沒有掌握linux的同學能夠一塊交流,通過自己這段時間的學習,我覺得有些學習總結可以簡單的介紹給大家,供大家在開始業餘學習linux的時候能夠作為一點參考。
  • 龍巖linux系統正版安裝定製_蘭吉德電子物美價廉
    龍巖linux系統正版安裝定製,蘭吉德電子物美價廉,公司與全球眾多頂級計算機軟硬體廠商建立多元化的合作關係,現已取得Microsoft、Oracle、Citrix、Anchiva、VMware、LANDesk、IBM、HP、Symantec、Adobe、Autodesk、Sybase、CA、TrendMicro、Cisco、H3C、EMC
  • Linux系統編程-信號入門
    如果你開始在自己的程序中使用信號,就需要注意一些系統調用會因為接收到了一個信號而失敗。在編寫程序中處理信號部分的代碼時必須非常小心,因為在使用信號的程序中會出現各種各樣的「競態條件」。例如,如果想調用pause等待一個信號,可信號卻出現在調用 pause() 之前,就會使程序無限期地等待一個不會發生的事件。
  • 計算機專業學編程,ubuntu與deepin和centos相比,哪款系統更合適
    計算機專業學編程,ubuntu與deepin和centos相比,哪款系統更合適目前在桌面作業系統中,微軟的windows在易用性及其生態方面實力最強,不過由於其各方面都非常完善,學編程的話,該系統並不合適,在編程方面,用的較多的當屬linux系統,該系統一是具有良好的開源性,二是很多系統都是基於
  • Linux系統編程—信號量
    於是,Linux系統提出了信號量的概念。這是一種相對比較折中的處理方式,它既能保證線程間同步,數據不混亂,又能提高線程的並發性。注意,這裡提到的信號量,與我們所學的信號沒有一點關係,就比如Java與JavaScript沒有任何關係一樣。
  • Linux系統從入門到放棄?
    續上一個學期學完了的Linux基礎知識學習過程,這一學期的centos伺服器技術學完後,讓我對於Linux系統的學習又加深了許多。我知道了Linux只是個 內核。現在的Linux作業系統,都是用這麼一個內核,加上其它的應用程式構成的。
  • 文件I/O編程之: Linux中文件及文件描述符概述
    6.2Linux中文件及文件描述符概述在Linux中對目錄和設備的操作都等同於文件的操作,因此,大大簡化了系統對不同設備的處理,提高了效率。Linux中的文件主要分為4種:普通文件、目錄文件、連結文件和設備文件。
  • Linux系統編程—信號捕捉
    函數參數:signum:信號編號,儘量用宏來寫,而別用數字,這樣更適合跨平臺;handler:註冊的回調函數;函數缺陷:由於歷史原因,該函數在不同版本的Unix和Linux系統中可能起到的效果不一樣,所以跨平臺性不佳,儘量避免使用它,取而代之使用通用性更好的sigaction