在给出的 Sem
类中,sem_wait
和 sem_post
是 POSIX 信号量(semaphores)的操作函数,用于控制对共享资源的访问。
sem_wait(&_sem);
sem_wait
函数的作用是等待(或称为“P”操作,源于荷兰语 "Proberen" 的首字母,意为“尝试”)信号量 _sem
的值变为非零。如果信号量的值大于零,那么 sem_wait
会将其值减一(即“消费”一个信号量单位),并立即返回,允许调用线程继续执行。如果信号量的值为零,那么 sem_wait
会阻塞调用线程,直到信号量的值变为非零。
这通常用于保护临界区(critical sections)或共享资源,确保在任一时刻只有一个线程可以访问它。
sem_post(&_sem);
sem_post
函数的作用是增加(或称为“V”操作,源于荷兰语 "Verhogen" 的首字母,意为“增加”)信号量 _sem
的值。它使信号量的值加一(即“释放”一个信号量单位),并唤醒一个或多个等待该信号量的线程(如果有的话)。
这通常用于通知其他线程临界区或共享资源现在可以被访问了。
示例
假设有两个线程 A 和 B,它们都试图访问同一个共享资源。线程 A 首先获取资源(通过调用 sem_wait
),并在完成访问后释放资源(通过调用 sem_post
)。如果线程 B 在线程 A 释放资源之前尝试访问该资源,那么它会被 sem_wait
阻塞,直到线程 A 释放资源(通过 sem_post
)为止。
这种机制可以确保在任何时候只有一个线程可以访问共享资源,从而避免了数据竞争(data race)和其他并发问题。