建站
咨詢
售后
建站咨詢
新聞中心
信號量是一種用于多進(jìn)程或多線程之間協(xié)調(diào)共享資源的機(jī)制。在Linux系統(tǒng)中，信號量是由內(nèi)核提供的一種進(jìn)程間通信的方式。它可以控制進(jìn)程或線程之間的競爭條件，避免死鎖和競態(tài)等問題。在本文中，我們將深入探討。
一、信號量的概念
信號量是一個計數(shù)器，用于協(xié)調(diào)進(jìn)程或線程之間對共享資源的訪問。它包含兩個基本操作：PV操作和初始化操作。其中，PV操作分為P操作和V操作，它們分別用于申請和釋放信號量資源，可以理解為鎖住和解鎖資源。
信號量的初始化操作在進(jìn)程或線程的創(chuàng)建時進(jìn)行，它用于初始化信號量的計數(shù)器。在Linux系統(tǒng)中，信號量的初始化操作是使用semget()函數(shù)完成的。其具體用法如下：
int semget(key_t key, int nsems, int sem);
其中，key表示信號量的標(biāo)識符，nsems表示信號量數(shù)量，sem表示信號量的創(chuàng)建標(biāo)志，如指定IPC_CREAT可以創(chuàng)建信號量，指定IPC_EXCL表示如果信號量已存在則返回錯誤。該函數(shù)返回一個信號量的標(biāo)識符。
二、信號量的讀寫操作
在Linux系統(tǒng)中，信號量的讀寫操作是通過semop()函數(shù)實現(xiàn)的。semop()函數(shù)用于對一個信號量集進(jìn)行操作。其具體用法如下：
int semop(int semid, struct sembuf *sops, size_t nsops);
其中，semid表示信號量的標(biāo)識符，sops表示信號量操作數(shù)組，nsops表示操作的數(shù)量。信號量操作數(shù)組包含了每次對信號量執(zhí)行的操作，其中每一個操作由一個sembuf結(jié)構(gòu)體表示，該結(jié)構(gòu)體包含三個參數(shù)：
struct sembuf {
ushort_t sem_num; /* 信號量中的信號量編號 */
short_t sem_op; /* 信號量操作：P操作（-1）或V操作（+1） */
short_t sem_; /* 信號量操作標(biāo)志 */
};
信號量的讀寫操作是通過P操作和V操作來實現(xiàn)的。
1）P操作
P操作用于申請信號量資源。當(dāng)多個進(jìn)程或線程同時競爭一個資源時，如果其中一個申請成功，則其它申請者必須等待。在Linux系統(tǒng)中，P操作是通過semop()函數(shù)中的sem_op參數(shù)設(shè)置為-1來實現(xiàn)的。
當(dāng)一個進(jìn)程或線程執(zhí)行P操作時，它會向內(nèi)核發(fā)出一個信號量請求，如果此時信號量計數(shù)器的值大于0，則立即將信號量計數(shù)器減1，并返回操作成功；否則將進(jìn)程或線程的狀態(tài)設(shè)置為等待，并等待其他進(jìn)程或線程釋放信號量。當(dāng)其他進(jìn)程或線程釋放信號量后，該進(jìn)程或線程再次執(zhí)行P操作。
在Linux系統(tǒng)中，如果已經(jīng)有一個進(jìn)程或線程執(zhí)行了P操作，并且該信號量已被鎖定，則其他進(jìn)程或線程執(zhí)行P操作時會進(jìn)入睡眠狀態(tài)，等待其它進(jìn)程或線程釋放信號量。如果該信號量已被鎖定，則進(jìn)程或線程會一直等待，直到信號量被釋放。當(dāng)信號量被釋放后，內(nèi)核會向所有等待該信號量的進(jìn)程或線程發(fā)送信號，以喚醒它們。
2）V操作
V操作用于釋放信號量資源。在Linux系統(tǒng)中，V操作是通過semop()函數(shù)中的sem_op參數(shù)設(shè)置為1來實現(xiàn)的。
當(dāng)一個進(jìn)程或線程執(zhí)行V操作時，它會將信號量計數(shù)器加1，并檢查是否有其它進(jìn)程或線程在等待該信號量。如果沒有，則返回操作成功；否則將找到其中一個等待該信號量的進(jìn)程或線程，并將其狀態(tài)設(shè)置為就緒。內(nèi)核會在適當(dāng)?shù)臅r候調(diào)度該進(jìn)程或線程，并執(zhí)行它們的剩余操作。
在Linux系統(tǒng)中，V操作的執(zhí)行過程是原子性的，即一旦信號量計數(shù)器被加1，進(jìn)程或線程就會立即釋放該信號量，而不會被其它進(jìn)程或線程打斷。因此，V操作可以保證信號量的原子性，避免了競態(tài)等問題。
三、
本文主要介紹了。信號量是一種用于協(xié)調(diào)進(jìn)程或線程之間對共享資源的訪問的機(jī)制，它包含P操作和V操作兩個基本操作，用于申請和釋放信號量資源。在Linux系統(tǒng)中，信號量的讀寫操作是通過semop()函數(shù)實現(xiàn)的。當(dāng)多個進(jìn)程或線程同時競爭一個資源時，如果其中一個申請成功，則其它申請者必須等待。如果該信號量已被鎖定，則進(jìn)程或線程會一直等待，直到信號量被釋放。V操作的執(zhí)行過程是原子性的，即一旦信號量計數(shù)器被加1，進(jìn)程或線程就會立即釋放該信號量，而不會被其它進(jìn)程或線程打斷。信號量的讀寫操作可以避免死鎖和競態(tài)等問題，確保共享資源的安全性和可靠性。
成都網(wǎng)站建設(shè)公司-創(chuàng)新互聯(lián)為您提供網(wǎng)站建設(shè)、網(wǎng)站制作、網(wǎng)頁設(shè)計及定制高端網(wǎng)站建設(shè)服務(wù)！
linux內(nèi)核同步問題
Linux內(nèi)核設(shè)計與實現(xiàn) 十、內(nèi)核同步方法
手把手教Linux驅(qū)動5-自旋鎖、信號量、互斥體概述
==
基礎(chǔ)概念：
==
并發(fā)
：多個執(zhí)行單元同時進(jìn)行或多個執(zhí)行單元微觀串行執(zhí)行，宏謹(jǐn)拿觀并行執(zhí)行
競態(tài)
：并發(fā)的執(zhí)行單元對共享資源（硬件資源和軟件上的全局變量）的訪問而導(dǎo)致的竟態(tài)狀態(tài)。
臨界資源
：多個進(jìn)程訪問的資源
臨界區(qū)
：多個進(jìn)程訪問的代碼段
==
并發(fā)場合：
==
1、單CPU之間進(jìn)程間的并發(fā)
:時間片輪轉(zhuǎn)，調(diào)度進(jìn)程。 A進(jìn)程訪問打印機(jī)，時間片用完，OS調(diào)度B進(jìn)程訪問打印機(jī)。
2、單cpu上進(jìn)程和中斷之間并發(fā)
：CPU必須停止當(dāng)前進(jìn)程的執(zhí)行中斷;
3、多cpu之間
4、單CPU上中斷之間的并發(fā)
==
使用偏向：
==
==信號量用于進(jìn)程之間的同步，進(jìn)程在信號量保護(hù)的臨界區(qū)代碼里面是可以睡眠的（需要進(jìn)行進(jìn)程調(diào)度），這是與自旋鎖更大的區(qū)別。==
信號量又稱為信號燈，它是用來協(xié)調(diào)不同進(jìn)程間的數(shù)據(jù)對象的，而最主要的應(yīng)用是共享內(nèi)存方式的進(jìn)程間通信。本質(zhì)上，信號量是一個計數(shù)器，它用來記錄對某個資源（如共享內(nèi)存）的存取狀況。它負(fù)責(zé)協(xié)調(diào)各個進(jìn)程，以保證他們能夠正確、合理的使用公共資源。它和spin lock更大的不同之處就是：無法獲取信號量的進(jìn)程可以睡眠祥李搭，因此會導(dǎo)致系統(tǒng)調(diào)度。
1、==用于進(jìn)程與進(jìn)程之間的同步==
2、==允許多個進(jìn)程進(jìn)入臨界區(qū)代碼執(zhí)行，臨界區(qū)代碼允許睡眠；==
3、信號量本質(zhì)是==基于調(diào)度器的==，在UP和P下沒有區(qū)別；進(jìn)程獲取不到信號量將陷入休眠，并讓出CPU；
4、不支持進(jìn)程和中斷之間的同步
5、==進(jìn)程調(diào)度也是會消耗系統(tǒng)資源的，如果一個int型共享變量就需要使用信號量，將極大的浪費系統(tǒng)資源==
6、信號量可以用于多個線程，用于資源的計數(shù)（有多種狀態(tài)）
==信號量加鎖以及解鎖過程：==
sema_init(&sp->dead_sem, 0); /
初始化
/
down(&sema);
臨界區(qū)代碼
up(&sema);
==信號量定義：==
==信號量初始化：==
==dowm函數(shù)實現(xiàn)擾高：==
==up函數(shù)實現(xiàn)：==
信號量一般可以用來標(biāo)記可用資源的個數(shù)。
舉2個生活中的例子：
==dowm函數(shù)實現(xiàn)原理解析：==
（1）down
判斷sem->count是否 > 0，大于0則說明系統(tǒng)資源夠用，分配一個給該進(jìn)程，否則進(jìn)入__down(sem);
（2）__down
調(diào)用__down_common(sem, TASK_UNINTERRUPTIBLE, MAX_SCHEDULE_TIMEOUT);其中TASK_UNINTERRUPTIBLE=2代表進(jìn)入睡眠，且不可以打斷；MAX_SCHEDULE_TIMEOUT休眠最長LONG_MAX時間；
（3）list_add_tail(&waiter.list, &sem->wait_list);
把當(dāng)前進(jìn)程加入到sem->wait_list中；
（3）先解鎖后加鎖;
進(jìn)入__down_common前已經(jīng)加鎖了，先把解鎖，調(diào)用schedule_timeout(timeout)，當(dāng)waiter.up=1后跳出for循環(huán)；退出函數(shù)之前再加鎖；
Linux內(nèi)核ARM構(gòu)架中原子變量的底層實現(xiàn)研究
rk3288 原子操作和原子位操作
原子變量適用于只共享一個int型變量；
1、原子操作是指不被打斷的操作，即它是最小的執(zhí)行單位。
2、最簡單的原子操作就是一條條的匯編指令(不包括一些偽指令，偽指令會被匯編器解釋成多條匯編指令)
==常見函數(shù)：==
==以atomic_inc為例介紹實現(xiàn)過程==
在Linux內(nèi)核文件archarmincludeaatomic.h中。 執(zhí)行atomic_read、atomic_set這些操作都只需要一條匯編指令，所以它們本身就是不可打斷的。 需要特別研究的是atomic_inc、atomic_dec這類讀出、修改、寫回的函數(shù)。
所以atomic_add的原型是下面這個宏：
atomic_add等效于：
result（%0） tmp（%1） (v->counter)（%2） (&v->counter)（%3） i（%4）
注意：根據(jù)內(nèi)聯(lián)匯編的語法，result、tmp、&v->counter對應(yīng)的數(shù)據(jù)都放在了寄存器中操作。如果出現(xiàn)上下文切換，切換機(jī)制會做寄存器上下文保護(hù)。
（1）ldrex %0,
意思是將&v->counter指向的數(shù)據(jù)放入result中，并且（分別在Local monitor和Global monitor中）設(shè)置獨占標(biāo)志。
（2）add %0, %0, %4
result = result + i
（3）strex %1, %0,
意思是將result保存到&v->counter指向的內(nèi)存中，
此時 Exclusive monitors會發(fā)揮作用，將保存是否成功的標(biāo)志放入tmp中。
（4） teq %1, #0
測試strex是否成功（tmp == 0 ？？）
（5）bne 1b
如果發(fā)現(xiàn)strex失敗，從（1）再次執(zhí)行。
Spinlock 是內(nèi)核中提供的一種比較常見的鎖機(jī)制，==自旋鎖是“原地等待”的方式解決資源沖突的==，即，一個線程獲取了一個自旋鎖后，另外一個線程期望獲取該自旋鎖，獲取不到，只能夠原地“打轉(zhuǎn)”（忙等待）。由于自旋鎖的這個忙等待的特性，注定了它使用場景上的限制 —— 自旋鎖不應(yīng)該被長時間的持有（消耗 CPU 資源），一般應(yīng)用在==中斷上下文==。
1、spinlock是一種死等機(jī)制
2、信號量可以允許多個執(zhí)行單元進(jìn)入，spinlock不行，一次只能允許一個執(zhí)行單元獲取鎖，并且進(jìn)入臨界區(qū)，其他執(zhí)行單元都是在門口不斷的死等
3、由于不休眠，因此spinlock可以應(yīng)用在中斷上下文中；
4、由于spinlock死等的特性，因此臨界區(qū)執(zhí)行代碼盡可能的短；
==spinlock加鎖以及解鎖過程：==
spin_lock(&devices_lock);
臨界區(qū)代碼
spin_unlock(&devices_lock);
==spinlock初始化==
==進(jìn)程和進(jìn)程之間同步==
==本地軟中斷之間同步==
==本地硬中斷之間同步==
==本地硬中斷之間同步并且保存本地中斷狀態(tài)==
==嘗試獲取鎖==
==
arch_spinlock_t結(jié)構(gòu)體定義如下：
==
==
arch_spin_lock的實現(xiàn)如下：
==
lockval（%0） newval（%1） tmp（%2） &lock->slock（%3） 1 slock的值賦值給lockval；并且（分別在Local monitor和Global monitor中）設(shè)置獨占標(biāo)志。
（2）add %1, %0, %4
newval =lockval +（1slock指向的內(nèi)存中，
此時 Exclusive monitors會發(fā)揮作用，將保存是否成功的標(biāo)志放入tmp中。
（4） teq %2, #0
測試strex是否成功
（5）bne 1b
如果發(fā)現(xiàn)strex失敗，從（1）再次執(zhí)行。
通過上面的分析，可知關(guān)鍵在于strex的操作是否成功的判斷上。而這個就歸功于ARM的Exclusive monitors和ldrex/strex指令的機(jī)制。
（6）while (lockval.tickets.next != lockval.tickets.owner)
如何lockval.tickets的next和owner是否相等。相同則跳出while循環(huán)，否則在循環(huán)內(nèi)等待判斷；
*
（7）wfe()和p_mb() 最終調(diào)用#define barrier()
a
volatile
(“”: : :”memory”) *
阻止編譯器重排，保證編譯程序時在優(yōu)化屏障之前的指令不會在優(yōu)化屏障之后執(zhí)行。
==
arch_spin_unlock的實現(xiàn)如下：
==
退出鎖時：tickets.owner++
==
出現(xiàn)死鎖的情況：
==
1、擁有自旋鎖的進(jìn)程A在內(nèi)核態(tài)阻塞了，內(nèi)核調(diào)度B進(jìn)程，碰巧B進(jìn)程也要獲得自旋鎖，此時B只能自旋轉(zhuǎn)。 而此時搶占已經(jīng)關(guān)閉，（單核）不會調(diào)度A進(jìn)程了，B永遠(yuǎn)自旋，產(chǎn)生死鎖。
2、進(jìn)程A擁有自旋鎖，中斷到來，CPU執(zhí)行中斷函數(shù)，中斷處理函數(shù)，中斷處理函數(shù)需要獲得自旋鎖，訪問共享資源，此時無法獲得鎖，只能自旋，產(chǎn)生死鎖。
==
如何避免死鎖：
==
1、如果中斷處理函數(shù)中也要獲得自旋鎖，那么驅(qū)動程序需要在擁有自旋鎖時禁止中斷；
2、自旋鎖必須在可能的最短時間內(nèi)擁有
3、避免某個獲得鎖的函數(shù)調(diào)用其他同樣試圖獲取這個鎖的函數(shù)，否則代碼就會死鎖；不論是信號量還是自旋鎖，都不允許鎖擁有者第二次獲得這個鎖，如果試圖這么做，系統(tǒng)將掛起；
4、鎖的順序規(guī)則（a) 按同樣的順序獲得鎖；b) 如果必須獲得一個局部鎖和一個屬于內(nèi)核更中心位置的鎖，則應(yīng)該首先獲取自己的局部鎖 ;c) 如果我們擁有信號量和自旋鎖的組合，則必須首先獲得信號量；在擁有自旋鎖時調(diào)用down(可導(dǎo)致休眠)是個嚴(yán)重的錯誤的；）
==
rw（read/write）spinlock：
==
加鎖邏輯：
1、假設(shè)臨界區(qū)內(nèi)沒有任何的thread，這個時候任何的讀線程和寫線程都可以鍵入
2、假設(shè)臨界區(qū)內(nèi)有一個讀線程，這時候信賴的read線程可以任意進(jìn)入，但是寫線程不能進(jìn)入；
3、假設(shè)臨界區(qū)有一個寫線程，這時候任何的讀、寫線程都不可以進(jìn)入；
4、假設(shè)臨界區(qū)內(nèi)有一個或者多個讀線程，寫線程不可以進(jìn)入臨界區(qū)，但是寫線程也無法阻止后續(xù)的讀線程繼續(xù)進(jìn)去，要等到臨界區(qū)所有的讀線程都結(jié)束了，才可以進(jìn)入，可見：==rw（read/write）spinlock更加有利于讀線程；==
==
seqlock（順序鎖）：
==
加鎖邏輯：
1、假設(shè)臨界區(qū)內(nèi)沒有任何的thread，這個時候任何的讀線程和寫線程都可以鍵入
2、假設(shè)臨界區(qū)內(nèi)沒有寫線程的情況下，read線程可以任意進(jìn)入；
3、假設(shè)臨界區(qū)有一個寫線程，這時候任何的讀、寫線程都不可以進(jìn)入；
4、假設(shè)臨界區(qū)內(nèi)只有read線程的情況下，寫線程可以理解執(zhí)行，不會等待，可見：==seqlock（順序鎖）更加有利于寫線程；==
讀寫速度
：
CPU > 一級緩存 > 二級緩存 > 內(nèi)存
，因此某一個CPU0的lock修改了，其他的CPU的lock就會失效；那么其他CPU就會依次去L1 L2和主存中讀取lock值，一旦其他CPU去讀取了主存，就存在系統(tǒng)性能降低的風(fēng)險；
mutex用于互斥操作。
互斥體只能用于一個線程，資源只有兩種狀態(tài)（占用或者空閑）
1、mutex的語義相對于信號量要簡單輕便一些，在鎖爭用激烈的測試場景下，mutex比信號量執(zhí)行速度更快，可擴(kuò)展
性更好，
2、另外mutex數(shù)據(jù)結(jié)構(gòu)的定義比信號量小;、
3、同一時刻只有一個線程可以持有mutex
4、不允許遞歸地加鎖和解鎖
5、當(dāng)進(jìn)程持有mutex時，進(jìn)程不可以退出。
? mutex必須使用官方API來初始化。
? mutex可以睡眠，所以不允許在中斷處理程序或者中斷下半部中使用，例如tasklet、定時器等
==常見操作：==
struct mutex mutex_1;
mutex_init(&mutex_1);
mutex_lock(&mutex_1)
臨界區(qū)代碼；
mutex_unlock(&mutex_1)
==常見函數(shù)：==
=
香港云服務(wù)器機(jī)房,創(chuàng)新互聯(lián)（www.cdcxhl.com）專業(yè)云服務(wù)器廠商,回大陸優(yōu)化帶寬,安全/穩(wěn)定/低延遲.創(chuàng)新互聯(lián)助力企業(yè)出海業(yè)務(wù),提供一站式解決方案。香港服務(wù)器-免備案低延遲-雙向CN2+BGP極速互訪！
網(wǎng)頁標(biāo)題：Linux下信號量的讀寫操作原理(linux讀寫信號量)
分享鏈接：http://www.5511xx.com/article/cohohsp.html
