信号量定义及实例讲解

信号量

引用:

  • 借鉴自《深入理解计算机系统》

作用:

  • 信号量的一个作用是用来做线程间对贡献变量的互斥访问。
  • 信号量的另一个重要作用是调度对共享资源的访问。一个线程用信号量操作来通知另一个线程。

实现:

  • 信号量是具有非负整数值的全局变量,只能由两种特殊的操作来处理,这两种操作称为P和V。
  • P(s):如果s是非零的,那么P将s减一,并且立即返回。如果s为零,那么就挂起这个线程,直到s变为非零,而一个V操作会重启这个线程。
  • V(s):V操作将s加1,如果有任何线程阻塞在P操作等待s变为非零,那么V操作会重启这些线程中的一个,然后该线程将s减1,完成它的P操作
  • P中的测试和减一操作是不能分割的。V中的加一操作也是不可分割的。
  • P和V的定义确保了一个正在运行的程序绝不可能进入这样一种状态,也就是一个正确初始化了的信号量有一个负值。这个属性成为信号量不变性。
  • 信号量提供了一种很方便的方法来确保对共享变量的互斥访问。
  • 在一个互斥锁上执行P操作称为对互斥锁加锁,执行V操作称为对互斥锁解锁。
  • 对一个互斥锁加了锁但是还没有解锁的线程称为占用这个互斥锁,一个被用作一组可用资源的计数器的信号量成为计数信号量。

函数定义

#include <semaphore.h>
int sem_int(sem_t *sem, unsigned int value);
void P(sem_t *sem) 
{
    if (sem_wait(sem) < 0)
     unix_error("P error");
}
void V(sem_t *sem)
{
    if (sem_post(sem) < 0)
    unix_error("V error");
}

使用信号量解决读者写者问题:

描述:
  • 读者线程只读取对象
  • 写者线程修改对象
  • 写者对于对象的访问是互斥的
  • 多个读者可以同时读取对象
应用场景
  • 在线订票系统(多读一写)
  • 多线程缓存 web 代理
第一类读者写者问题(读者优先)
  • 如果写者没有获取到使用对象的权限,不应该让读者等待
  • 在等待的写者之后到来的读者应该在写者之前处理
  • 也就是说,只有没有读者的情况下,写者才能工作
  • 代码示例:
int readcnt;    /* Initially = 0 */
sem_t mutex, w; /* Both initially = 1 */

void reader(void) 
{
    while (1) {
        P(&mutex);
        readcnt++;
        if (readcnt == 1) /* First in */
            P(&w);          
        V(&mutex);          

        /* Critical section */
        /* Reading happens  */

        P(&mutex);
        readcnt--;
        if (readcnt == 0) /* Last out */
            V(&w);
        V(&mutex);
    }
}
/* $end reader1 */

/* $begin writer1 */
void writer(void) 
{
    while (1) {
        P(&w);

        /* Critical section */
        /* Writing happens  */ 

        V(&w);
    }
}
/* $end writer1 */
第一类读者写者问题(写者优先)
  • 一旦写者可以处理的时候,就不应该进行等待
  • 在等待的写者之后到来的读者应该在写者之后处理
  • 代码示例:
/* Global variables */
sem_t sem;    /* Initially = N */
sem_t wmutex; /* Initially = 1 */

void reader(void) 
{
    while (1) {
        P(&sem);

        /* Critical section: */
        /* Reading happens   */

        V(&sem);
    }
}

void writer(void) 
{
    int i;

    while (1) {
        P(&wmutex);
        for (i=0; i<N; i++)
            P(&sem);
        V(&wmutex);

        /* Critical section: */
        /* Writing happens   */

        for (i=0; i<N; i++)
            V(&sem);
    }
}
/* $end rw3 */
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 1.信号量机制 信号量机制即利用pv操作来对信号量进行处理。 什么是信号量?信号量(semaphore)的数据结构...
    杀手的手刹阅读 16,930评论 0 5
  • 现代操作系统提供了三种基本的构造并发程序的方法: 1、进程: 每个逻辑控制流都是一个进程,由内核来调度和维护。因为...
    ShawnPanCn阅读 3,777评论 0 0
  • 第十二章、并发编程 现代操作系统提供了三种基本的构造并发程序的方法: 1、进程: 每个逻辑控制流都是一个进程,由内...
    wenmingxing阅读 3,627评论 0 3
  • 第10章:信号量与管程 信号量信号量使用互斥访问条件同步管程经典同步问题哲学家就餐问题读者-写者问题 10.1 信...
    liuzhangjie阅读 7,885评论 0 1
  • 2.1进程的基本概念 一、程序顺序执行时的特征 (一)、顺序性:处理机的操作严格按程序规定顺序执行 (二)、封闭性...
    山隹金易锡阅读 7,347评论 0 2