Posix信号量

Posix 信号量

有名信号量

无名信号量

sem_open

sem_init

sem_close

sem_destroy

sem_unlink

sem_wait

sem_post

有名信号量

#include <fcntl.h>           /* For O_* constants */
#include <sys/stat.h>        /* For mode constants */
#include <semaphore.h>
sem_t *sem_open(const char *name, int oflag);
sem_t *sem_open(const char *name, int oflag, mode_t mode, unsigned int value);
int sem_close(sem_t *sem);
int sem_unlink(const char *name);

与Posix类IPC用法类似: 名字以/somename形式标识,且只能有一个/ ,并且总长不能超过NAME_MAX-4 (i.e., 251)。

Posix有名信号量需要用sem_open 函数创建或打开,PV操作分别是sem_wait 和 sem_post,可以使用sem_close 关闭,删除用sem_unlink。

有名信号量用于不需要共享内存的进程间同步(可以通过名字访问), 类似System V 信号量。

匿名信号量

#include <semaphore.h>
int sem_init(sem_t *sem, int pshared, unsigned int value);
int sem_destroy(sem_t *sem);

匿名信号量只存在于内存中, 并要求使用信号量的进程必须可以访问内存; 这意味着他们只能应用在同一进程中的线程, 或者不同进程中已经映射相同内存内容到它们的地址空间中的线程.

匿名信号量必须用sem_init 初始化,sem_init 函数的第二个参数pshared决定了线程共享(pshared=0)还是进程共享(pshared!=0),也可以用sem_post 和sem_wait 进行操作,在共享内存释放前,匿名信号量要先用sem_destroy 销毁。

Posix信号量PV操作

int sem_wait(sem_t *sem);	//P操作
int sem_post(sem_t *sem);	//V操作

wait操作实现对信号量的减1, 如果信号量计数原先为0则会发生阻塞;

post操作将信号量加1, 在调用sem_post时, 如果在调用sem_wait中发生了进程阻塞, 那么进程会被唤醒并且sem_post增1的信号量计数会再次被sem_wait减1;

Posix互斥锁

#include <pthread.h>
int pthread_mutex_init(pthread_mutex_t *mutex,
                       const pthread_mutexattr_t *mutexattr);		//互斥锁初始化, 注意:函数成功执行后,互斥锁被初始化为未锁住状态。
int pthread_mutex_lock(pthread_mutex_t *mutex);	//互斥锁上锁
int pthread_mutex_trylock(pthread_mutex_t *mutex);	//互斥锁判断上锁
int pthread_mutex_unlock(pthread_mutex_t *mutex);	//互斥锁解锁
int pthread_mutex_destroy(pthread_mutex_t *mutex);	//消除互斥锁

互斥锁是用一种简单的加锁方法来控制对共享资源的原子操作。这个互斥锁只有两种状态,也就是上锁/解锁,可以把互斥锁看作某种意义上的全局变量。在同一时刻只能有一个线程掌握某个互斥锁,拥有上锁状态的线程能够对共享资源进行操作。若其他线程希望上锁一个已经被上锁的互斥锁,则该线程就会阻塞,直到上锁的线程释放掉互斥锁为止。可以说,这把互斥锁保证让每个线程对共享资源按顺序进行原子操作。

其中,互斥锁可以分为快速互斥锁(默认互斥锁)、递归互斥锁和检错互斥锁。这三种锁的区别主要在于其他未占有互斥锁的线程在希望得到互斥锁时是否需要阻塞等待。快速锁是指调用线程会阻塞直至拥有互斥锁的线程解锁为止。递归互斥锁能够成功地返回,并且增加调用线程在互斥上加锁的次数,而检错互斥锁则为快速互斥锁的非阻塞版本,它会立即返回并返回一个错误信息。

生产者消费者问题

运用C++, 将缓冲区封装成class Storage

//Storage类设计
class Storage
{
public:
    Storage(unsigned int _bufferSize);
    ~Storage();

    void consume(int id);   //消费
    void produce(int id);   //生产

private:
    // 打印缓冲区状态
    void display(bool isConsumer = false);

private:
    unsigned int buffSize;
    int *m_storage; //缓冲区

    unsigned short int in;  //生产位置
    unsigned short int out; //消费位置
    unsigned int product_number;    //产品编号

    sem_t sem_full; //满信号量
    sem_t sem_empty;//空信号量
    pthread_mutex_t mutex;  //互斥量: 保护缓冲区互斥访问
};
//Storage类实现
Storage::Storage(unsigned int _bufferSize)
    :buffSize(_bufferSize), in(0), out(0), product_number(0)
{
    m_storage = new int[buffSize];
    for (unsigned int i = 0; i < buffSize; ++ i)
        m_storage[i] = -1;

    sem_init(&sem_full, 0, 0);
    //将empty信号量初始化为缓冲区大小
    sem_init(&sem_empty, 0, buffSize);
    pthread_mutex_init(&mutex, NULL);
}

Storage::~Storage()
{
    delete []m_storage;

    pthread_mutex_destroy(&mutex);
    sem_destroy(&sem_empty);
    sem_destroy(&sem_full);
}
void Storage::produce(int id)
{
    printf("producer %d is waiting storage not full\n", id);
    //获取empty信号量
    sem_wait(&sem_empty);
    //获取互斥量
    pthread_mutex_lock(&mutex);

    //生产
    cout << "++ producer " << id << " begin produce "
         << ++product_number << " ..." << endl;
    m_storage[in] = product_number;
    //打印此时缓冲区状态
    display(false);
    in = (in+1)%buffSize;
    cout << "   producer " << id << " end produce ...\n" << endl;

    //释放互斥量
    pthread_mutex_unlock(&mutex);
    //释放full信号量
    sem_post(&sem_full);
    sleep(1);
}
void Storage::consume(int id)
{
    printf("consumer %d is waiting storage not empty\n", id);
    //获取full信号量
    sem_wait(&sem_full);
    //获取互斥量
    pthread_mutex_lock(&mutex);

    //消费
    int consume_id = m_storage[out];
    cout << "-- consumer " << id << " begin consume "
         << consume_id << " ..." << endl;
    m_storage[out] = -1;
    //打印此时缓冲区状态
    display(true);
    out = (out+1)%buffSize;
    cout << "   consumer " << id << " end consume ...\n" << endl;

    //解锁互斥量
    pthread_mutex_unlock(&mutex);
    //释放empty信号量
    sem_post(&sem_empty);
    sleep(1);
}
void Storage::display(bool isConsme)
{
    cout << "states: { ";
    for (unsigned int i = 0; i < buffSize; ++i)
    {
        if (isConsme && out == i)
            cout << '#';
        else if (!isConsme && in == i)
            cout << '*';

        if (m_storage[i] == -1)
            cout << "null ";
        else
            printf("%-4d ", m_storage[i]);
    }
    cout << "}" << endl;
}
//生产者, 消费者代码实现
//缓冲区
Storage *storage;
//生产者-线程
void *producer(void *args)
{
    int id = *(int *)args;
    delete (int *)args;

    while (1)
        storage->produce(id);   //生产
    return NULL;
}
//消费者-线程
void *consumer(void *args)
{
    int id = *(int *)args;
    delete (int *)args;

    while (1)
        storage->consume(id);   //消费
    return NULL;
}
//主控线程
int main()
{
    int nProducer = 1;
    int nConsumer = 2;
    cout << "please input the number of producer: ";
    cin >> nProducer;
    cout << "please input the number of consumer: ";
    cin >> nConsumer;
    cout << "please input the size of buffer: ";

    int size;
    cin >> size;
    storage = new Storage(size);

    pthread_t *thread = new pthread_t[nProducer+nConsumer];
    //创建消费者进程
    for (int i = 0; i < nConsumer; ++i)
        pthread_create(&thread[i], NULL, consumer, new int(i));
    //创建生产者进程
    for (int i = 0; i < nProducer; ++i)
        pthread_create(&thread[nConsumer+i], NULL, producer, new int(i));

    //等待线程结束
    for (int i = 0; i < nProducer+nConsumer; ++i)
        pthread_join(thread[i], NULL);

    delete storage;
    delete []thread;
}

完整源代码:http://download.csdn.net/download/hanqing280441589/8444613

Linux多线程实践(5) --Posix信号量与互斥量解决生产者消费者问题的更多相关文章

  1. POSIX信号量与互斥锁实现生产者消费者模型

    posix信号量 Link with -lpthread. sem_t *sem_open(const char *name, int oflag);//打开POSIX信号量 sem_t *sem_o ...

  2. linux网络编程之posix信号量与互斥锁

    继上次学习了posix线程之后,这次来讨论一下posix信号量与互斥锁相关的知识: 跟posix消息队列,共享内存的打开,关闭,删除操作一样,不过,上面的函数是对有名信号量进行操作,通过man帮助可以 ...

  3. posix 匿名信号量与互斥锁 示例生产者--消费者问题

    一.posix 信号量 信号量的概念参见这里.前面也讲过system v 信号量,现在来说说posix 信号量. system v 信号量只能用于进程间同步,而posix 信号量除了可以进程间同步,还 ...

  4. linux下多线程互斥量实现生产者--消费者问题和哲学家就餐问题

    生产者消费者问题,又有界缓冲区问题.两个进程共享一个一个公共的固定大小的缓冲区.其中一个是生产者,将信息放入缓冲区,另一个是消费者,从缓冲区中取信息. 问题的关键在于缓冲区已满,而此时生产者还想往其中 ...

  5. Linux多线程实践(8) --Posix条件变量解决生产者消费者问题

    Posix条件变量 int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr); int pthread_co ...

  6. Linux多线程实践(6) --Posix读写锁解决读者写者问题

    Posix读写锁 int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *rest ...

  7. linux网络编程-posix信号量与互斥锁(39)

    -posix信号量信号量 是打开一个有名的信号量 sem_init是打开一个无名的信号量,无名信号量的销毁用sem_destroy sem_wait和sem_post是对信号量进行pv操作,既可以使用 ...

  8. Linux多线程实践(六)使用Posix条件变量解决生产者消费者问题

    前面的一片文章我们已经讲过使用信号量解决生产者消费者问题.那么什么情况下我们须要引入条件变量呢? 这里借用  http://www.cnblogs.com/ngnetboy/p/3521547.htm ...

  9. linux c编程:Posix信号量

    POSIX信号量接口,意在解决XSI信号量接口的几个不足之处: POSIX信号量接口相比于XSI信号量接口,允许更高性能的实现. POSIX信号量接口简单易用:没有信号量集,其中一些接口模仿了我们熟悉 ...

随机推荐

  1. BZOJ#1717:[Usaco2006 Dec]Milk Patterns 产奶的模式(后缀数组+单调队列)

    1717: [Usaco2006 Dec]Milk Patterns 产奶的模式 Description 农夫John发现他的奶牛产奶的质量一直在变动.经过细致的调查,他发现:虽然他不能预见明天产奶的 ...

  2. 18. 4Sum(中等)

    Given an array S of n integers, are there elements a, b, c, and d in S such that a + b + c + d = tar ...

  3. easyui datagrid属性和方法

    本文可以当做api来使用 使用方法(Usage Example) 从现有的表单元素创建数据表格,定义在html中的行,列和数据. <table class="easyui-datagr ...

  4. Flume 读取RabbitMq消息队列消息,并将消息写入kafka

    首先是关于flume的基础介绍 组件名称 功能介绍 Agent代理 使用JVM 运行Flume.每台机器运行一个agent,但是可以在一个agent中包含多个sources和sinks. Client ...

  5. TypeScript入门教程

    TypeScript是什么 TypeScript是JavaScript的一个超集 TypeScript需要编译为JavaScript才能运行(语法糖) TypeScript提供了类型系统,规范类似Ja ...

  6. Rails关闭html_safe字符串过滤

    在某些情况下我希望html的文本中包含一些换行,因为html5产生换行的方法是插入 <br />所以我可以这么写: text = "hello world!<br /> ...

  7. Latex:简介及安装

    http://blog.csdn.net/pipisorry/article/details/53998352 LaTex是一个排版工具,功能强大.它是一个"所想即所得"的工具,你 ...

  8. Spring Security安全框架入门篇

    一.Spring Security相关概念 1.1..Spring Security介绍: Spring Security是一个能够为基于Spring的企业应用系统提供声明式的安全访问控制解决方案的安 ...

  9. 从Cell类型转变成数据型

    我们有一个如下的cell数据 cdata = {'1' '11' '111' '1111' '11111'}; 现在要把他转变成double型的数组,很自然会想到的方法是cell2mat,可悲的是会遇 ...

  10. bash shell while语法

    在编写脚本时,一定要注意空格 基本语法: while [ condition ] do command1 command2 command3 done condition为true时命令1到命令3将会 ...