进程间通信四(信号量)

1.什么是信号量?

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

  信号量是一个特殊的变量,程序对其访问都是原子操作,且只允许对它进行等待(即P(信号变量))和发送(即V(信号变量))信息操作。最简单的信号量是只能取0和1的变量,这也是信号量最常见的一种形式,叫做二进制信号量。而可以取多个正整数的信号量被称为通用信号量。这里主要讨论二进制信号量。

2.信号量的工作原理

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

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

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

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

3. Linux的信号量机制

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

3.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.

3.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.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:用于删除一个已经无需继续使用的信号量标识符。

4.进程使用信号量通信

  下面使用一个例子来说明进程间如何使用信号量来进行通信,这个例子是两个相同的程序同时向屏幕输出数据,我们可以看到如何使用信号量来使两个进程协调工作,使同一时间只有一个进程可以向屏幕输出数据。注意,如果程序是第一次被调用(为了区分,第一次调用程序时带一个要输出到屏幕中的字符作为一个参数),则需要调用set_semvalue函数初始化信号并将message字符设置为传递给程序的参数的第一个字符,同时第一个启动的进程还负责信号量的删除工作。如果不删除信号量,它将继续在系统中存在,即使程序已经退出,它可能在你下次运行此程序时引发问题,而且信号量是一种有限的资源。

在main函数中调用semget来创建一个信号量,该函数将返回一个信号量标识符,保存于全局变量sem_id中,然后以后的函数就使用这个标识符来访问信号量。

源文件为semaphore.c,代码如下:

  1. #include <unistd.h>
  2. #include <sys/types.h>
  3. #include <sys/stat.h>
  4. #include <fcntl.h>
  5. #include <stdlib.h>
  6. #include <stdio.h>
  7. #include <string.h>
  8. #include <sys/sem.h>
  9. union semun
  10. {
  11. int val;
  12. struct semid_ds *buf;
  13. unsigned short *arry;
  14. };
  15. static int sem_id = 0;
  16. static int set_semvalue();
  17. static void del_semvalue();
  18. static int semaphore_p();
  19. static int semaphore_v();
  20. int main(int argc, char *argv[])
  21. {
  22. char message = ‘X‘;
  23. int i = 0;
  24. //创建信号量
  25. sem_id = semget((key_t)1234, 1, 0666 | IPC_CREAT);
  26. if(argc > 1)
  27. {
  28. //程序第一次被调用,初始化信号量
  29. if(!set_semvalue())
  30. {
  31. fprintf(stderr, "Failed to initialize semaphore\n");
  32. exit(EXIT_FAILURE);
  33. }
  34. //设置要输出到屏幕中的信息,即其参数的第一个字符
  35. message = argv[1][0];
  36. sleep(2);
  37. }
  38. for(i = 0; i < 10; ++i)
  39. {
  40. //进入临界区
  41. if(!semaphore_p())
  42. exit(EXIT_FAILURE);
  43. //向屏幕中输出数据
  44. printf("%c", message);
  45. //清理缓冲区,然后休眠随机时间
  46. fflush(stdout);
  47. sleep(rand() % 3);
  48. //离开临界区前再一次向屏幕输出数据
  49. printf("%c", message);
  50. fflush(stdout);
  51. //离开临界区,休眠随机时间后继续循环
  52. if(!semaphore_v())
  53. exit(EXIT_FAILURE);
  54. sleep(rand() % 2);
  55. }
  56. sleep(10);
  57. printf("\n%d - finished\n", getpid());
  58. if(argc > 1)
  59. {
  60. //如果程序是第一次被调用,则在退出前删除信号量
  61. sleep(3);
  62. del_semvalue();
  63. }
  64. exit(EXIT_SUCCESS);
  65. }
  66. static int set_semvalue()
  67. {
  68. //用于初始化信号量,在使用信号量前必须这样做
  69. union semun sem_union;
  70. sem_union.val = 1;
  71. if(semctl(sem_id, 0, SETVAL, sem_union) == -1)
  72. return 0;
  73. return 1;
  74. }
  75. static void del_semvalue()
  76. {
  77. //删除信号量
  78. union semun sem_union;
  79. if(semctl(sem_id, 0, IPC_RMID, sem_union) == -1)
  80. fprintf(stderr, "Failed to delete semaphore\n");
  81. }
  82. static int semaphore_p()
  83. {
  84. //对信号量做减1操作,即等待P(sv)
  85. struct sembuf sem_b;
  86. sem_b.sem_num = 0;
  87. sem_b.sem_op = -1;//P()
  88. sem_b.sem_flg = SEM_UNDO;
  89. if(semop(sem_id, &sem_b, 1) == -1)
  90. {
  91. fprintf(stderr, "semaphore_p failed\n");
  92. return 0;
  93. }
  94. return 1;
  95. }
  96. static int semaphore_v()
  97. {
  98. //这是一个释放操作,它使信号量变为可用,即发送信号V(sv)
  99. struct sembuf sem_b;
  100. sem_b.sem_num = 0;
  101. sem_b.sem_op = 1;//V()
  102. sem_b.sem_flg = SEM_UNDO;
  103. if(semop(sem_id, &sem_b, 1) == -1)
  104. {
  105. fprintf(stderr, "semaphore_v failed\n");
  106. return 0;
  107. }
  108. return 1;
  109. }

运行结果如下:

[[email protected] program1]$ls
semaphore.c
[[email protected] program1]$gcc semaphore.c -o semaphore
[[email protected] program1]$./semaphore 0 & ./semaphore
[1] 3505
XXXX00XX00XX00XXXX00XX00XX00XXXX00000000
3506 - finished
[[email protected] program1]$
3505 - finished

[1]+ Done ./semaphore 0
[[email protected] program1]$

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

例子分析 :

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

5.信号量的总结

  信号量是一个特殊的变量,程序对其访问都是原子操作,且只允许对它进行等待(即P(信号变量))和发送(即V(信号变量))信息操作。我们通常通过信号来解决多个进程对同一资源的访问竞争的问题,使在任一时刻只能有一个执行线程访问代码的临界区域,也可以说它是协调进程间的对同一资源的访问权,也就是用于同步进程的。

  信号量的意图在于进程间同步,互斥锁和条件变量的意图则在于线程间同步。但是信号量也可用于线程间,互斥锁和条件变量也可用于进程间

原文:http://blog.csdn.net/ljianhui/article/details/10243617

时间: 2024-08-06 23:38:59

进程间通信四(信号量)的相关文章

VxWorks进程间通信2 -- 信号量

VxWorks进程间通信2 -- 信号量一.信号量的概念 是实现任务互斥.同步操作的主要机制.VxWorks提供的信号量经过了高度优化,在所有任务间通信机制中,速度最快. 二.信号量的分类 Binary Semaphores(二进制):完成互斥.同步操作的最佳方式:速度最快,最常用. Mutual Exclusion Semaphores(互斥):一种特殊的二进制信号量,专门针对互斥操作进行了优化. Counting Semaphores(计数):类似于二进制信号量,可记录信号量释放的次数,可监

Linux环境编程之IPC进程间通信(四):管道和FIFO比较

系统加于管道和FIFO的唯一限制是: 1.OPEN_MAX 一个进程在任意时刻打开的最大描述符数.可以通过调用sysconf函数查询. 2.PIPE_BUF 可原子地写往一个管道或FIFO的最大数据量.Posix任务它是一个路径名变量,它的值可以随指定的路径名而变化,因为不同的路径名可以落在不同文件系统上,而这些文件系统可能有不同的特征.所以PIPE_BUF可通过pathconf函数取得. pipeconf.c #include <stdio.h> #include <stdlib.h&

Linux进程间通信:信号量

上次书写了进程间通信的消息队列,这次是IPC中的另一个模块.信号量 信号量是什么? 荷兰计算机科学家Dijkstra把互斥的关键含义抽象称为信号量(semaphore)概念.信号量是一个被保护的量. 信号量的本质是一种数据操作锁,它本身不具有数据交换的功能,而是通过控制其他的 通信资源(文件,外部设备)来实现进程间通信,它本身只是一种外部资源的标识.信号 量在此过程中负责数据操作的互斥.同步等功能. 当请求一个使用信号量来表示的资源时,进程需要先读取信号量的值来判断资源是否可 用.大于0,资源可

进程间通信之信号量

一.对信号量的理解 信号量的本质是一种数据操作锁,它本身不具有数据交换的功能,而是通过控制其他的通信资源(文件,外部设备)来实现进程间通信,它本身只是一种外部资源的标识. 当请求一个使用信号量来表示的资源时,进程需要先读取信号量的值来判断资源是否可用.大于0,资源可以请求,小于0,无资源可用,进程会进入睡眠状态直至资源可用.当进程不再使用一个信号量控制的共享资源时,信号量的值+1,对信号量的值进行的增减操作均为原子操作. 二.使用信号量的原因 防止出现因多个程序同时访问一个共享资源时而引发的一系

进程间通信之-----信号量

进程间通信简单的说有三个问题,第一个问题是:一个进程如何把信息传递给另一个,第二个问题是:要确保两个或者更多的进程在互动中不会出现交叉(即是进程互斥问题),第三个问题是:进程间同步问题. 四种进程或者线程同步互斥的控制方法 1):临界区:通过对多线程的串行化来访问公共资源或一段代码,速度快,适合控制数据访问. 2):互斥量:为协调共同对一个共享资源的单独访问而设计的 3):信号量:为控制一个具有有限数量用户资源而设计 4):事件:用来通知线程有一些事件已发生,从而启动后继任务的开始. 临界区(C

Linux进程间通信——使用信号量(转)

这篇文章将讲述别一种进程间通信的机制--信号量.注意请不要把它与之前所说的信号混淆起来,信号与信号量是不同的两种事物.有关信号的更多内容,可以阅读我的另一篇文章:Linux进程间通信--使用信号.下面就进入信号量的讲解. 一.什么是信号量 为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法,它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线程访问代码的临界区域.临界区域是指执行数据更新的代码需要独占式地执行.而信号量就可以提供这样的一种访问机制,让一个临界区同

Linux进程间通信——使用信号量【转】

本文转载自:http://blog.csdn.net/ljianhui/article/details/10243617 这篇文章将讲述别一种进程间通信的机制——信号量.注意请不要把它与之前所说的信号混淆起来,信号与信号量是不同的两种事物.有关信号的更多内容,可以阅读我的另一篇文章:Linux进程间通信——使用信号.下面就进入信号量的讲解. 一.什么是信号量 为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法,它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线

Linux进程间通信--使用信号量【转】

本文转载自:http://blog.csdn.net/ljianhui/article/details/10243617 这篇文章将讲述别一种进程间通信的机制——信号量.注意请不要把它与之前所说的信号混淆起来,信号与信号量是不同的两种事物.有关信号的更多内容,可以阅读我的另一篇文章:Linux进程间通信——使用信号.下面就进入信号量的讲解. 一.什么是信号量 为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法,它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线

Linux进程间通信——使用信号量

这篇文章将讲述别一种进程间通信的机制--信号量.注意请不要把它与之前所说的信号混淆起来,信号与信号量是不同的两种事物.有关信号的更多内容,可以阅读我的另一篇文章:Linux进程间通信--使用信号.下面就进入信号量的讲解. 一.什么是信号量 为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题,我们需要一种方法,它可以通过生成并使用令牌来授权,在任一时刻只能有一个执行线程访问代码的临界区域.临界区域是指执行数据更新的代码需要独占式地执行.而信号量就可以提供这样的一种访问机制,让一个临界区同