Semaphore原理與操作說明

最新推荐文章于 2024-09-28 19:55:14 发布
最新推荐文章于 2024-09-28 19:55:14 发布
阅读量1.2k 收藏
点赞数
分类专栏： linux c

Semaphore原理與操作說明

作者/王宜倫

[發表日期：2012/5/5]


甚麼是semaphore (信號)

Semaphore是Edsger W. Dijkstra於1960年代末期所設計的一種程式設計架構。Semaphore是一個variable (變數)或是abstract data type (抽象資料型別)，提供平行運算環境中，控制多個process (程序)或thread(執行緒)存取共享資源的能力，Semaphore可以用於紀錄某一特定資源剩下多少數目可使用；process或thread透過semaphore可以安全的使用共享資源，若特定資源已使用完時，會需要等待資源被釋放。雖然semaphore在防止deadlock或race condition方面是一個很有用的工具，但是程式使用semaphore運作上並無法保證一定不會遇到這些問題。

Semaphore包含兩種：binary semaphore(二進位信號)和counting semaphore(計數信號)。

一、binary semaphore(二進位信號)

binary semaphore值只能是0或1，在邏輯上相當於一個mutex(互斥鎖)。mutex使用上與binary semaphore具有相同功能，但是，mutex主要設計是防止兩個process同時間執行相同的一段code或存取同一資料，而binary semaphore設計上則是限制同時間存取同一資源；很多應用上mutex具有owner(擁有者)的概念，只有鎖住mutex的process，才具有解鎖的權限；相對的，semaphore並無此限制。

二、counting semaphore(計數信號)

counting semaphore值依據semaphore.h的SEM_VALUE_MAX (semvmx)定義。也有作業系統稱作general semaphore。

Semaphore的運作原理

Edsger W. Dijkstra的模型與鐵路操作有關：假設某段鐵路是單線的，因此，一次只允許一列火車通過；semaphore用於協調同步通過該軌道的火車，火車在進入單一軌道之前必須等待信號燈變為允許通行的狀態，火車進入軌道後，必須改變信號燈狀態，防止其他火車進入該軌道；火車離開這段軌道時，必須再次更改信號燈的狀態，以便允許其他火車進入軌道。

或是類似圖書館的研究室使用，假設有10間研究室(SEM_VALUE_MAX=10)，若學生要使用研究室便需要向櫃檯申請，櫃檯會記錄有多少間研究室使用中，若10間研究室都被申請使用後，且仍有學生要申請使用，該學生必須等待有其他學生離開，空出研究室後，才能進入使用，該櫃檯就扮演semaphore的角色。

在電腦系統中，信號燈(semaphore)以整數來表示，可用兩種操作行為來說明：

一、V operation：V()會將semaphore的值加1，signal函數或是sem_post()。
二、P operation：P()會將semaphore的值減1，wait函數或是sem_wait()。

P和V的意義來自荷蘭文(Edsger W. Dijkstr為荷蘭人)，V代表verhogen，其意思是增加，P代表portmanteau prolaag，其意思是嘗試減小。在P operation中，semaphore在減小之前必須為正，確保semaphore值不為負，並且比該值減小之前小1；在P和V operation中，必須在沒有干擾的情況下進行運算，亦即每個P或V operation必須具備atomic operation特性，該operation是不可分割的(all or nothing behavior)。

從semaphore概念上來說，counting semaphore為一個非負整數計數器，通常用來協調process或thread對共享資源的存取。semaphore value可用來表示可用資源的數目，可在初始化時將semaphore value設為可用資源的數目，然後，在使用資源時減1，在釋放資源時加1；若為負數時，表示資源不足，要存取共享資源的process或thread會被阻擋(block)，需要等待semaphore value變為正整數時，才可存取共享資源。實務上，也可將semaphore初始值設為1，使用該資源時加1，釋放資源時減1，若無法再加1時(signal或post回傳-1)，表示已無資源可使用，程式需針對此錯誤進行處理；部分作業系統當使用超過最大值時(SEM_VALUE_MAX)會發生overflow(溢位)，變為負數，表示資源不足。

由於semaphore並無強制由同一個process或thread來獲取和釋放，因此semaphore可用於非同步事件通知；同時，由於semaphore包含狀態，因此可以非同步方式使用，而不用像條件變數那樣要求獲取mutex。但是，semaphore的效率不如mutex。

Semaphore可以是無名稱的(unnamed)或是有名稱的(named)，unnamed semaphore可供單一process或不同process使用，依據初始化時設定決定，named semaphore則在不同process間同步共享資源。

Semaphore的使用

此章節以POSIX semaphore來說明semaphore的初始化、V operation、P operation與結束。關於POSIX semaphore的特性說明如下：

  • POSIX semaphore是標準的counting semaphore，使用sem_post()執行V opeation，sem_wait()執行P operation。
  • POSIX semaphore的最大值於limits.h中所定義，如下：
    #define _POSIX_SEM_VALUE_MAX 32767
    define中所定義的最大值32767為POSIX標準規範的值，亦即實際各種作業平台的semaphore最大值至少需為32767才符合POSIX規範；實際最大值可由sysconf()所設定：
    long sem_value_max = sysconf(_SC_SEM_VALUE_MAX);
    目前實際程式測試，各種主要作業系統的SEM_VALUE_MAX如下：
    Windows 2008 : 2,147,483,647
    RHEL 5.0 : 2,147,483,647
    CentOS : 2,147,483,647
    Solaris 10 : 2,147,483,647
    HP-UX 11iv3 : 2,147,483,647
    IBM AIX 6.1 : 32,767
  • 一個semaphore並非被單一thread所擁有，亦即一個thread對semaphore執行sem_wait()時，另一thread可以執行sem_post()。但是作業系統在實作時，同一時間點僅能執行其中一個指令，以維持semaphore的一致性。
  • 當建立一semaphore時，須設定semaphore的初始值，且初始值須符合：0 ? initial value ? SEM_VALUE_MAX
  • Semaphore動作執行成功會回傳0，失敗會回傳 -1，並可將error number存放在errno，C的function perror(const char* string)可將errno的值存放在一字串，可將字串再列印到stderr。
  • sem_trywait(sem_t* sem)不會block呼叫的thread：
    • 若semaphore value大於0，會將semaphore減1，立即完成此動作並回傳。
    • 若semaphore value小於等於0，會立即回傳錯誤EAGAIN，說明semaphore value非大於0。

一、Semaphore操作函數

後續說明sem_init()、sem_post()、sem_wait()、sem_trywait()與sem_destroy()使用方式。
  • sem_init()：初始化semaphore

    語法：
    int sem_init(sem_t *sem, int pshared, unsigned int value);

    #include
    sem_t sem;
    int pshared;
    int rc;
    int value;
    pshared =0;
    value =1;
    rc = sem_init(&sem, pshared, value);

    說明：
    (1)第一個參數為semaphore的位址，第二個參數為設定semaphore是否可讓不同process使用，第三個參數為semaphore初始值。
    (2)pshared的值為0，不能在process之間共用semaphore，僅能供process的所有thread使用；如果pshared的值不為0，則可以在process之間共用信號。
    (3)初始的semaphore值為1。
    (4)多個thread決不能初始化同一個semaphore。
    (5)不得對其他thread正在使用的semaphore重新初始化。

    sem_init()成功完成後會回傳0，若回傳值為-1則表示執行發生錯誤，如果出現下任一情況，該函數將失敗並回傳對應值：
    -EINVAL：參數值超過了SEM_VALUE_MAX。
    -ENOSPC：始化semaphore所需的資源已經用完，到達semaphore的SEM_NSEMS_MAX限制。
    -ENOSYS：系統不支援sem_init()函數。
    -EPERM：process缺少初始化semaphore所需的權限。
  • sem_post()：增加semaphore值(加1)

    語法：
    int sem_post(sem_t *sem);

    #include
    sem_t sem;
    int rc;
    rc = sem_post(&sem);

    sem_post()成功完成後會回傳0，若回傳值為 -1則表示執行發生錯誤，如果出現下任一情況，該函數將失敗並回傳對應值：
    -EINVAL：未對應到有效的semaphore。
    -ENOSYS：系統不支援sem_post()函數。

  • sem_wait()：減少semaphore值(減1)

    語法：
    int sem_wait(sem_t *sem);

    #include
    sem_t sem;
    int rc;
    rc = sem_wait(&sem);

    sem_wait()成功完成後會回傳0，若回傳值為 -1則表示執行發生錯誤，如果出現下任一情況，該函數將失敗並回傳對應值：
    -EINVAL：未對應到有效的semaphore。
    -ENOSYS：系統不支援sem_wait()函數。

  • sem_trywait()：嘗試減少semaphore值(減1)

    語法：
    int sem_trywait(sem_t *sem);

    #include
    sem_t sem;
    int rc;
    rc = sem_trywait(&sem);

    sem_trywait()成功完成後會回傳0，若回傳值為 -1則表示執行發生錯誤，且不會block呼叫的thread，如果出現下任一情況，該函數將失敗並回傳對應值：
    -EINVAL：未對應到有效的semaphore。
    -ENOSYS：系統不支援sem_post()函數。
    -EINTR：此函數被semaphore中斷。
    -EAGAIN：semaphore值小於或等於0，無可用的semaphore。
  • sem_destroy()：銷毀semaphore

    語法：
    int sem_destroy(sem_t *sem);

    #include
    sem_t sem;
    int rc;
    rc = sem_destroy(&sem);

    sem_destroy()成功完成後會回傳0，若回傳值為 -1則表示執行發生錯誤，如果出現下任一情況，該函數將失敗並回傳對應值：
    -EINVAL：未對應到有效的semaphore。
    -EBUSY：仍有process或thread被阻塞(blocked)在該semaphore。

二、範例程式

下列C範例程式可於不同系統計算SEM_VALUE_MAX的值。
/*semaphore.c*/
/*count SEM_VALUE_MAX*/
/*gcc -lpthread -lrt semaphore.c */

#include
#include
#include
#include

int main (int argc, char *argv[])
{
int value;
int rc = 0;
sem_t test_semaphore;
sem_init(&test_semaphore, 0, 1);
sem_getvalue(&test_semaphore, &value);
printf("The value of semaphore is %d\n", value);
while(rc == 0 & (value < 2147483647 & value > 0) )
{
rc = sem_post(&test_semaphore);
sem_getvalue(&test_semaphore, &value);
}

printf("sem_post returns %d\n", rc);
printf("The value of semaphore is %d\n", value);
rc = sem_post(&test_semaphore);
sem_getvalue(&test_semaphore, &value);
printf("sem_post returns %d\n", rc);
printf("The value of semaphore is %d\n", value);
}

參考文獻

http://compgroups.net/comp.unix.solaris/value-of-POSIX_SEM_VALUE_MAX
http://www.ibm.com/developerworks/cn/linux/l-ipc2lin2.html
http://www.cs.gmu.edu/~rcarver/ModernMultithreading/LectureNotes/Chapter3NotesPthreads.pdf
http://en.wikipedia.org/wiki/Semaphore_(programming)
http://www.5dlinux.com/article/6/2010/linux_38554.html
http://bugs.python.org/file12391/explore_sem_value_max.c



转载自：http://www.syscom.com.tw/ePaper_Content_EPArticledetail.aspx?id=213&EPID=176&j=5&HeaderName=%E6%8A%80%E8%A1%93%E5%88%86%E4%BA%AB

EvoShark
关注
专栏目录
Semaphore解析
zheng2780071070的博客
06-03 281
1. public void acquire() 2. public void acquireUninterruptibly()
一文学会Semaphore(信号量)，android开发者选项说明
m0_65511948的博客
12-19 351
AQS基础 Semaphore是一种共享锁，实现依赖于AQS。对于锁，包含两部分知识，一部分是如何加解锁，另一部分是把锁分配给谁。AQS解决了把锁分配给谁的问题，Semaphore就可以聚焦于如何加解锁上。 掌握AQS将使Semaphore如何运转变得非常简单，没掌握也不影响对于本文的理解。 AQS原理可以参考：一文了解AQS 这里，需要了解AQS是如何运转的： 当申请锁，即调用了与acquire()类似语义的方法时,AQS将询问子类是否上锁成功，成功则继续运行。否则，AQS将以Node为粒度，记录这个
Semaphore使用
MaryStone
07-27 3787
 　　一个计数信号量。从概念上讲，信号量维护了一个许可集合。如有必要，在许可可用前会阻塞每一个 acquire()，然后再获取该许可。每个 release() 添加一个许可，从而可能释放一个正在阻塞的获取者。但是，不使用实际的许可对象，Semaphore 只对可用许可的号码进行计数，并采取相应的行动。 　　获得一项前，每个线程必须从信号量获取许可，从而保证可以使用该项。该线程结束后，将项返回到
多线程——信号量、条件变量、互斥量互斥锁
qq_44423388的博客
11-05 3517
信号量是所有原语里面功能最强大的。它不光是一个通信原语，还是一个同步原语。 多线程——信号量、条件变量、互斥量互斥锁
二值信号量（Binary Semaphore）和互斥量（Mutex）的解析
最新发布
u013050118的专栏
09-28 363
二值信号量（Binary Semaphore）：二值信号量是一种特殊的信号量，其状态只有两种：可用（通常表示为1）和不可用（通常表示为0）。它主要用于任务间的同步和简单的互斥访问。二值信号量可以看作是长度为1的队列，队列要么为空（信号量为0），要么为满（信号量为1）。互斥量（Mutex）：互斥量是一种用于确保在任何时刻只有一个线程能够访问共享资源的机制。互斥量也是二进制的，但相比二值信号量，它增加了“持有权”的概念，即只有当前持有互斥量的任务才能释放它。这使得互斥量在保护共享资源时更加严格和可靠。
C++ 多线程并发 基础入门教程 1.3 条件变量(condition_variable), 信号量(semaphore）
qq_46470984的博客
06-18 1437
C++11thread, condition_variable条件变量，binary_semaphore条件信号量，counting_semaohore计数信号量的简单使用
理解Semaphore及其用法详解
热门推荐
flyingdon的专栏
12-31 7万+
Mutex是一把钥匙，一个人拿了就可进入一个房间，出来的时候把钥匙交给队列的第一个。一般的用法是用于串行化对critical section代码的访问，保证这段代码不会被并行的运行。Semaphore是一件可以容纳N人的房间，如果人不满就可以进去，如果人满了，就要等待有人出来。对于N=1的情况，称为binary semaphore。一般的用法是，用于限制对于某一资源的同时访问。Binary sem
Java同步器：Semaphore与CountDownLatch的应用与实现原理
# 1. Java同步器概述 ## 1.1 同步器的概念和作用 ...Java提供了丰富的同步器支持，包括Semaphore、CountDownLatch、ReentrantLock等，这些同步器能够帮助开发者更好地管理并发编程中的资源访问与控制流程。
信号量(Semaphore)在并发控制中的作用与原理
为了有效地解决并发控制的问题，信号量（Semaphore）被引入到计算机科学中。信号量是一种用于线程或进程间同步和协调的工具。它可以用来管理对公共资源的访问和保证任务的顺序执行。 信号量通常具有一个计数器和一...
sem.rar_Semaphore
09-14
本知识点将深入探讨Semaphore的概念、工作原理以及如何在实际编程中应用它来实现进程同步。 **1. 信号量Semaphore的定义** Semaphore，源自希腊语，意为“信号”，在计算机科学中，它是一个整型变量，用于控制对...
linux源码之信号量(semaphore/rw_semaphore )分析
jkzzxQQQ的博客
11-10 1246
本文以linux-4.14.159 kernel代码进行研究分析 信号量semaphore机制是以 一. 信号量 结构体 struct semaphore { raw_spinlock_t lock; unsigned int count; struct list_head wait_list; }; 二. 读写信号量
再说多线程（四）——Semaphore类
q__y__L的博客
01-13 773
C#中的信号量类用于限制可以同时访问共享资源的外部线程的数量。换句话说，我们可以说Semaphore允许一个或多个外部线程进入临界区并在线程安全的情况下并发执行任务。因此，在实时情况下，当我们的资源数量有限并且我们想限制可以使用它的线程数量时，我们需要使用信号量。
信号量机制实现进程互斥
zlp的博客
11-01 1236
信号量机制实现进程互斥
win10如何添加开机自己启动软件
guoweilkd的博客
04-29 814
win10添加开机自启动软件的方法 Win10添加自动运行软件的方法 打开C:\Users\用户\AppData\Roaming\Microsoft\Windows\Start Menu\Programs\Startup 注意此处的用户是具体的用户名。 将要启动的软件快捷方式添加进去。 关于技术交流 此处后的文字已经和题目内容无关，可以不看。 qq群:825695030 微信公众...
Linux C语言 38-进程间通信IPC之信号量
Tianwx的博客
12-03 647
C语言 进程间通信 信号量 semaphore，相关库函数：sem_init、sem_post、sem_wait、sem_destroy、sem_open、sem_close、sem_unlink
linux 线程mutex,linux线程semaphore使用--mutex与binary semaphore的区别
weixin_39867066的博客
05-10 134
Linux操作系统下的多线程编程详细解析(8) 理解Semaphore及其用法详解Mutex是一把钥匙，一个人拿了就可进入一个房间，出来的时候把钥匙交给队列的第一个。一般的用法是用于串行化对critical section代码的访问，保证这段代码不会被并行的运行。Semaphore是一件可以容纳N人的房间，如果人不满就可以进去，如果人满了，就要等待有人出来。对于N=1的情况，称为binary se...
Binary Semaphore, Semaphore, Mutex, Critical Section, Read-Write Lock, Condition Variable
Damon_X的博客
01-28 188
Binary Semaphore, Semaphore, Mutex, Critical Section, Read-Write Lock, Condition Variable 二元信号量，信号量，可以在整个系统可以被任意线程获取并释放，而互斥量要求哪个线程获取则哪个线程释放。临界区相比前三个，区别在于临界区作用范围权限于本进程。 条件变量可以让许多线程一起等待某个事件的发生，当事件发生时（条件变量被唤醒），所有的线程可以一起恢复执行。 ...
C++20 中 atomic_wait、binary_semaphore、latch、barrier 的一个示例实现
一朵花开的时间
04-06 1328
C++20 中的原子操作库增加了std::atomic_wait，阻塞线程直至被提醒且原子值更改。 github上面发现一个 C++20 中 binary_semaphore、latch、barrier 的一个示例实现 https://github.com/ogiroux/atomic_wait 这个实现是在c++17的基础上完成的。 结合cppreference上面的: atomic1 、at...
c++之信号量（Semaphore）
qq_46615150的博客
03-08 1万+
文章目录信号量（简介）成员函数acquire 与 与 release 之间的关系： 信号量（简介） 定义于头文件 <semaphore> 信号量 (semaphore) 是一种轻量的同步原件，用于制约对共享资源的并发访问（ 控制线程的并发数量） 。在可以使用两者时，信号量能比条件变量更有效率。 ① counting_semaphore 实现非负资源计数的信号量 ② binary_semaphore 仅拥有二个状态的信号量 成员函数 构造和赋值函数 counting_semaphore const
操作系统原理：互斥借书系统分析
"互斥例子借书系统(revisited)-计算机操作系统原理" 在计算机操作系统中，互斥是一个重要的概念，用于确保对共享资源...同时，操作系统提供了丰富的API和图形用户界面（GUI），使得开发者和用户能更便捷地与系统交互。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值