使用信号量进行进程间同步时总是出现Numerical result out of range的错误

rain_fish

运行一段时间后semop时就出现Numerical result out of range错误，

测试发现如果设置成
sops.sem_flg = SEM_UNDO
这个，就会出现，
如果
sops.sem_flg = 0
就不出现，有没有使用过信号量的朋友，释疑一下，非常感谢！

krein8964

信号量的值超出信号量允许的最大值。

SEM_UNDO标志会使进程在退出时，对信号量的值进行反操作。例如，进程对信号量进行过两次P操作，那么进程退出时会使信号量的值+2，相当于两次V操作。

rain_fish

信号量的值超出信号量允许的最大值。

SEM_UNDO标志会使进程在退出时，对信号量的值进行反操作。例如，进 ...
krein8964 发表于 2010-10-29 15:00

    可以肯定的是信号量的值没有超出最大值，其实当时的信号量的值也就是1，同样的问题：http://www.unixresources.net/lin ... 0/44/03/440370.html

但是我按照上面的解决办法，测试发现无效，实在费解。

rain_fish

等待高手释疑。。。

rain_fish

问题没有解决，去掉了sops.sem_flg = SEM_UNDO

boonie

这个问题我也遇到了，已经解决。在P和V操作时，都要设置此flag（SEM_UNDO），就不会出现问题了

boonie

把我的代码贴出来吧，和大家分享一下

1. 
   
2. /*****************************************************************
   
3. *
   
4. * Copyright (c) 2011
   
5. *
   
6. * FILE NAME:   lock.c
   
7. * FUNC DESC.:  lock and unluck
   
8. *
   
9. * Version: 1.0
   
10. * Auther: Boonie Chiong
    
11. * Date:  2011-03-22
    
12. *
    
13. * Change logs:
    
14. *
    
15. ******************************************************************/
    
16. 
    
17. 
    
18. #include <stdio.h>
    
19. #include <stdlib.h>
    
20. #include <string.h>
    
21. #include <unistd.h>
    
22. 
    
23. #include <sys/sem.h>
    
24. 
    
25. #include "common.h"
    
26. #include "lock.h"
    
27.   
    
28. /**************************************************************************
    
29. * function: sem_init
    
30. * description: create and initial semaphore
    
31. * input:       int key
    
32.                 int sem_num
    
33.                 unsigned short int value_array
    
34. * output:      null
    
35. * return:      >0 SUCCEED  other: FAILED
    
36. **************************************************************************/
    
37. int wea_api_sem_init(int key)
    
38. {
    
39.     static unsigned short array_value = 1;
    
40.     int sem_id;
    
41. 
    
42.     union semun
    
43.     {
    
44.         int val;
    
45.         struct semid_ds * buf;
    
46.         ushort  * array;
    
47.     }argument;
    
48. 
    
49.     argument.array = &array_value;
    
50. 
    
51.     /* Create the semaphore */
    
52.     if((sem_id = semget(key, 1, 0666 | IPC_CREAT))<0)
    
53.     {
    
54.         /* Always check system returns. */
    
55.         return FAILED;
    
56.     }
    
57. 
    
58. 
    
59.     /*  What we actually get is an array of semaphores. The second
    
60.     *  argument to semget() was the array dimension - in our case
    
61.     *  1. */
    
62.     if( semctl(sem_id, 0, SETALL, argument) < 0)
    
63.     {
    
64.         return  FAILED;
    
65.     }
    
66. 
    
67.     if ((sem_id = semget(key, 0, 0)) < 0)
    
68.     {
    
69.         return FAILED;
    
70.     }
    
71. 
    
72. 
    
73.     return sem_id;
    
74. }
    
75. 
    
76. /****************************************************************
    
77. * function:    sem_open
    
78. * discription: open semaphore
    
79. * input:       int key
    
80. * output:      null
    
81. * return:      0: SUCCEED  other: FAILED
    
82. ****************************************************************/
    
83. int wea_api_sem_open(int key)
    
84. {
    
85.     int sem_id;
    
86. 
    
87.     if ((sem_id = semget(key, 0, 0)) < 0)
    
88.     {
    
89.         return FAILED;
    
90.     }
    
91. 
    
92.     return sem_id;
    
93. }
    
94. 
    
95. 
    
96. /****************************************************************
    
97. * function:    sem_lock
    
98. * description: semaphore lock
    
99. * input:       int sem_id
    
100. *              int sem_num
     
101. * output:      null
     
102. * return:      0:SUCCEED  other: FAILED
     
103. ****************************************************************/
     
104. int wea_api_sem_lock(int sem_id)
     
105. {
     
106.     // An "array" of one operation to perform on the semaphore.
     
107.     struct sembuf operations[1];
     
108.     int retval;         // Return value from semop()
     
109. 
     
110.     /* Set up the sembuf structure. */
     
111.     /* Which semaphore in the semaphore array : */
     
112.     operations[0].sem_num = 0;
     
113.     /* Which operation? Subtract 1 from semaphore value : */
     
114.     operations[0].sem_op = -1;
     
115.     /* Set the flag so we will wait : */
     
116.     //operations[0].sem_flg = 0;
     
117.     operations[0].sem_flg = SEM_UNDO;
     
118. 
     
119.     /* So do the operation! */
     
120.     if((retval = semop(sem_id, operations, 1))!=0)
     
121.     {
     
122.         return FAILED;
     
123.     }
     
124. 
     
125.     return SUCCEED;
     
126. }
     
127. 
     
128. /******************************************************************
     
129. * function:    sem_unlock
     
130. * description: semaphore unlock
     
131. * input:       int sem_id
     
132.                 int sem_num
     
133. * output:      null
     
134. * return:      0:SUCCEED  other: FAILED
     
135. ******************************************************************/
     
136. int wea_api_sem_unlock(int sem_id)
     
137. {
     
138.     struct sembuf operations[1];
     
139.     /* An "array" of one operation to perform on the semaphore. */
     
140.     int retval; /* Return value from semop() */
     
141.     /* Do a semaphore V-operation. */
     
142.     /*printf("Program sema about to do a V-operation. ");*/
     
143.     /* Set up the sembuf structure. */
     
144.     /* Which semaphore in the semaphore array : */
     
145.     operations[0].sem_num = 0;
     
146.     /* Which operation? Add 1 to semaphore value : */
     
147.     operations[0].sem_op = 1;
     
148.     /* Set the flag so we will wait : */
     
149.     //operations[0].sem_flg = 0;
     
150.     operations[0].sem_flg = SEM_UNDO;
     
151. 
     
152.     /* So do the operation! */
     
153.     if((retval = semop(sem_id, operations, 1))!=0)
     
154.     {
     
155.         return FAILED;
     
156.     }
     
157. 
     
158.     return SUCCEED;
     
159. }
     
160. 
     
161. 
     
162. /****************************************************************
     
163. * function:    sem_exit
     
164. * description: semaphore exit
     
165. * input:       int sem_id
     
166. * output:      null
     
167. * return:      0:SUCCEED  other: FAILED
     
168. ***************************************************************/
     
169. int wea_api_sem_exit(int sem_id)
     
170. {
     
171.     if(semctl(sem_id,0,IPC_RMID,(struct msquid_ds *)0) == -1)
     
172.     {
     
173.         return FAILED;
     
174.     }
     
175. 
     
176.     return SUCCEED;
     
177. 
     
178. }
     

复制代码