当进程进入信号量（临界区）并休眠时会发生什么？

Question

根据我的理解，当一个进程进入临界区时，其他进程不能同时进入。但我通过程序发现事实并非如此。

我创建进程 A 和子进程 B。 孩子进入临界区，然后睡觉，同时我惊讶地发现，当孩子睡觉时，父母也进入临界区。怎么可能呢？ 2个进程在关键部分同时进行？

enter code here
#include <semaphore.h>
#include <unistd.h>
#include <stdio.h>

sem_t sem;
int shared=0;
int pid;

void func()
{
 sem_trywait(&sem);
 if(pid==0)printf("Child entered\n");
 else if(pid>0)printf("Parent entered\n");
 sleep(2);
 shared++;
 sem_post(&sem);
 if(pid==0)printf("Child exited\n");
 else if(pid>0)printf("Parent exited\n");
}

int main()
{
 pid=fork();
 sem_init(&sem,1,0);
 if(pid==0){
  printf("In child\n");
  func();
 }
 else {
 func();
}
}
Output:
 [root@dhcppc0 semaphore]# gcc semaphore1.c -lrt
 [root@dhcppc0 semaphore]# ./a.out
  In child
  Child entered
  Parent entered

  <pause 2 secs>

  Child exited
  Parent exited

Answer 1

对于跨进程工作的信号量，它需要驻留在共享内存中并使用pshared==1进行初始化 - 您没有将信号量放入共享内存中。查找例如 shm_open 或 mmap。

您还应该在 fork() 之前初始化信号量 - 初始化信号量两次是行不通的。还可以使用 sem_wait 而不是 sem_trywait，因为您似乎想阻止信号量。如果您想要sem_trywait，至少检查try部分是否成功。

编辑：更正来源。

#include <semaphore.h>
#include <unistd.h>
#include <stdio.h>
#include <sys/mman.h>

sem_t * sem; /* MODIFIED: We want a semaphore in shared memory, using a pointer instead */
int shared=0;
int pid;

void func()
{
 sem_wait(sem); /* MODIFIED &sem to sem */
 if(pid==0)printf("Child entered\n");
 else if(pid>0)printf("Parent entered\n");
 sleep(2);
 shared++;
 sem_post(sem); /* MODIFIED &sem to sem */
 if(pid==0)printf("Child exited\n");
 else if(pid>0)printf("Parent exited\n");
}

int main()
{
  /* MODIFIED: Put semaphore in shared memory */
  sem = mmap(0, sizeof(sem_t), PROT_READ | PROT_WRITE, MAP_SHARED | MAP_ANONYMOUS, -1, 0);
 /* MODIFIED: Initial count of 1, so that a sem_wait will succeed */
 sem_init(sem,1,1);
 /* MODIFIED: fork() after sem_init() */
 pid=fork();
 if(pid==0){
  printf("In child\n");
  func();
 }
 else {
 func();
}
}

Answer 2

并检查 sem_* 函数的返回值！从手册页：

sem_trywait() 函数应锁定
仅由 sem 引用的信号量
如果信号量当前不是
锁定；也就是说，如果信号量
目前价值为正。
否则不予锁定
信号量。

因此，如果您不检查它返回的内容，您根本不知道自己是否锁定了任何内容。

Answer 3

您正在使用 sem_trywait 函数，那么您应该检查此调用的返回值，以确保系统同步...

可以参考 此以获得更多帮助...

希望这有帮助...