• Linux进程间通信--信号量


    信号量绝对不同于信号,一定要分清,关于信号,上一篇博客中已经说过,如有疑问,请移驾!

    信号量

    一、是什么

      信号量的本质是一种数据操作锁,它本身不具有数据交换的功能,而是通过控制其他的通信资源(文件,外部设备)来实现进程间通信,它本身只是一种外部资源的标识。信号量在此过程中负责数据操作的互斥、同步等功能。    

            当请求一个使用信号量来表示的资源时,进程需要先读取信号量的值来判断资源是否可用大于0,资源可以请求,等于0,无资源可用,进程会进入睡眠状态(进程挂起等待)直至资源可用。   当进程不再使用一个信号量控制的共享资源时,信号量的值+1(信号量的值大于0),对信号量的值进行的增减操作均为原子操作,这是由于信号量主要的作用是维护资源的互斥或多进程的同步访问。 而在信号量的创建及初始化上,不能保证操作均为原子性。

    二、为什么要使用信号量

            为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法, 它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线程访问代码的临界区域。 临界区域是指执行数据更新的代码需要独占式地执行(这个房子暂时我一个人可以用, 房子好比临界区域)。而信号量就可以提供这样的一种访问机制,让一个临界区同一时间只有一个线程在访问它, 也就是说信号量是用来调协进程对共享资源的访问的。其中共享内存的使用就要用到信号量。 

    三、信号量的工作原理

    由于信号量只能进行两种操作等待和发送信号,即P(sv)和V(sv),他们的行为是这样的:

       P(sv):如果sv的值大于零,就给它减1;如果它的值为零,就挂起该进程的执行

             V(sv):如果有其他进程因等待sv而被挂起,就让它恢复运行,如果没有进程因等待sv而挂 起,就给它加1.  

    举个例子,就是两个进程共享信号量sv,一旦其中一个进程执行了P(sv)操作,它将得到信号 量,并可以进入临界区,使sv减1。而第二个进程将被阻止进入临界区,因为当它试图执行 P(sv)时,sv为0,它会被挂起以等待第一个进程离开临界区域并执行V(sv)释放信号量,这时 第二个进程就可以恢复执行。 


    四、Linux的信号量机制 

            Linux提供了一组精心设计的信号量接口来对信号量进行操作,它们不只是针对二进制信号 量,下面将会对这些函数进行介绍,但请注意,这些函数都是用来对成组的信号量值进行操作的。它们声明在头⽂文件sys/sem.h中

    1、semget函数
    它的作用是创建一个新信号量或取得一个已有信号量,原型为:

    int semget(key_t key, int num_sems, int sem_flags); 

    第一个参数key是整数值(唯一非零),不相关的进程可以通过它访问一个信号量,它代表程序可能要使用的某个资源,程序对所有信号量的访问都是间接的,程序先通过调用semget函数并提供一个键,再由系统生成一个相应的信号标识符(semget函数的返回值),只有semget函数才直接使用信号量键,所有其他的信号量函数使用由semget函数返回的信号量标识符。如果多个程序使用相同的key值,key将负责协调工作。
    第二个参数num_sems指定需要的信号量数目,它的值几乎总是1。
    第三个参数sem_flags是一组标志,当想要当信号量不存在时创建一个新的信号量,可以和值IPC_CREAT做按位或操作。设置了IPC_CREAT标志后,即使给出的键是一个已有信号量的键,也不会产生错误。而IPC_CREAT | IPC_EXCL则可以创建一个新的,唯一的信号量,如果信号量已存在,返回一个错误。
    semget函数成功返回一个相应信号标识符(非零),失败返回-1.
    2、semop函数

    它的作用是改变信号量的值,原型为:

    int semop(int sem_id, struct sembuf *sem_opa, size_t num_sem_ops);  
    sem_id是由semget返回的信号量标识符,sembuf结构的定义如下:

    struct sembuf
    {  
        short sem_num;//除非使用一组信号量,否则它为0  
        short sem_op;//信号量在一次操作中需要改变的数据,通常是两个数,一个是-1,即P(等待)操作,  
                     //一个是+1,即V(发送信号)操作。  
        short sem_flg;//通常为SEM_UNDO,使操作系统跟踪信号,  
                     //并在进程没有释放该信号量而终止时,操作系统释放信号量  
    };


    3、semctl函数

    该函数用来直接控制信号量信息,它的原型为:

    int semctl(int sem_id, int sem_num, int command, ...);  

    如果有第四个参数,它通常是一个union semum结构,定义如下:

    union semun
    {  
        int val;  
        struct semid_ds *buf;  
        unsigned short *arry;  
    }; 


    前两个参数与前面一个函数中的一样,command通常是下面两个值中的其中一个
    SETVAL:用来把信号量初始化为一个已知的值。p 这个值通过union semun中的val成员设置,其作用是在信号量第一次使用前对它进行设置。
    IPC_RMID:用于删除一个已经无需继续使用的信号量标识符。

    五、举例





    这个程序的临界区为main函数for循环的semaphore_p和semaphore_v函数中间的代码。

       分析看:同时运行一个程序的两个实例,注意第一次运行时,要加上一个字符作为参数,例如本例中的字符‘O’,它用于区分是否为第一次调用,同时这个字符输出到屏幕中。因为每个程序都在其进入临界区后和离开临界区前打印一个字符,所以每个字符都应该成对出现,正如你看到的上图的输出那样。在main函数中循环中我们可以看到,每次进程要访问stdout(标准输出),即要输出字符时,每次都要检查信号量是否可用(即stdout有没有正在被其他进程使用)。所以,当一个进程A在调用函数semaphore_p进入了临界区,输出字符后,调用sleep时,另一个进程B可能想访问stdout,但是信号量的P请求操作失败,只能挂起自己的执行,当进程A调用函数semaphore_v离开了临界区,进程B马上被恢复执行。然后进程A和进程B就这样一直循环了10次。

    信号量总结到此,其他机制见博主另外博文。
    赐教!

  • 相关阅读:
    布局重用 include merge ViewStub
    AS 常用插件 MD
    AS 2.0新功能 Instant Run
    AS .ignore插件 忽略文件
    AS Gradle构建工具与Android plugin插件【大全】
    如何开通www国际域名个人网站
    倒计时实现方案总结 Timer Handler
    AS 进行单元测试
    RxJava 设计理念 观察者模式 Observable lambdas MD
    retrofit okhttp RxJava bk Gson Lambda 综合示例【配置】
  • 原文地址:https://www.cnblogs.com/melons/p/5791794.html
Copyright © 2020-2023  润新知