多线程 读写同步

多线程同步时   等待信号后  需要while条件判断 不能用if。 具体原因不确定 。

此文章说是因为可能有“惊群效应”。 

/* 等待缓冲区非空*/
    while (b->writepos == (b->readpos) )
    {
        pthread_cond_wait(&b->notempty, &b->lock);
    }

#include <stdio.h>
#include <pthread.h>
#include <sys/types.h>
#include <sys/syscall.h>
#define BUFFER_SIZE 16 // 缓冲区数量

// gcc example.c -lpthread -o example

struct prodcons
{
    // 缓冲区相关数据结构
    int buffer[BUFFER_SIZE]; /* 实际数据存放的数组*/
    pthread_mutex_t lock; /* 互斥体lock 用于对缓冲区的互斥操作 */
    int readpos, writepos; /* 读写指针*/
    pthread_cond_t notempty; /* 缓冲区非空的条件变量 */
    pthread_cond_t notfull; /* 缓冲区未满的条件变量 */
};
/* 初始化缓冲区结构 */
void init(struct prodcons *b)
{
    pthread_mutex_init(&b->lock, NULL);
    pthread_cond_init(&b->notempty, NULL);
    pthread_cond_init(&b->notfull, NULL);
    b->readpos = 0;
    b->writepos = 0;
}
/* 初始化缓冲区结构 */
void release(struct prodcons *b)
{
    pthread_mutex_destroy(&b->lock);
    pthread_cond_destroy (&b->notempty);
    pthread_cond_destroy (&b->notfull);
    b->readpos = 0;
    b->writepos = 0;
}
/* 将产品放入缓冲区,这里是存入一个整数*/
void put(struct prodcons *b, int data)
{
    pthread_mutex_lock(&b->lock);
    /* 等待缓冲区未满*/
    if ((b->writepos + 1) % BUFFER_SIZE == b->readpos)
    {
        pthread_cond_wait(&b->notfull, &b->lock);
    }
    /* 写数据,并移动指针 */
    b->buffer[b->writepos] = data;
    b->writepos++;
    // if (b->writepos >= BUFFER_SIZE)
    //     b->writepos = 0;
    //if ((b->writepos + 1) % BUFFER_SIZE == b->readpos){
        b->writepos = (b->writepos ) % BUFFER_SIZE;
    //}
    /* 设置缓冲区非空的条件变量*/
    pthread_cond_signal(&b->notempty);
    pthread_mutex_unlock(&b->lock);
} 
/* 从缓冲区中取出整数*/
int get(struct prodcons *b)
{
    int data;
    pthread_mutex_lock(&b->lock);
    /* 等待缓冲区非空*/
    while (b->writepos == (b->readpos) )
    {
        pthread_cond_wait(&b->notempty, &b->lock);
    }
    // printf("***%d %d 
", b->writepos,b->readpos);
    /* 读数据,移动读指针*/
    data = b->buffer[b->readpos];
    b->readpos++;
    // if (b->readpos >= BUFFER_SIZE)
    //     b->readpos = 0;
    //if ((b->readpos + 1) % BUFFER_SIZE == b->writepos){
        b->readpos = (b->readpos) % BUFFER_SIZE;
    //}
    /* 设置缓冲区未满的条件变量*/
    pthread_cond_signal(&b->notfull);
    pthread_mutex_unlock(&b->lock);
    return data;
}
 
/* 测试:生产者线程将1 到10000 的整数送入缓冲区,消费者线
   程从缓冲区中获取整数,两者都打印信息*/
#define OVER ( - 1)
struct prodcons buffer;
void *producer(void *data)
{
    int n;
    for (n = 0; n < 50; n++)
    {
        printf("%d --->
", n);
        put(&buffer, n);
    } put(&buffer, OVER);
    put(&buffer, OVER);
    put(&buffer, OVER);
    put(&buffer, OVER);
    return NULL;
}
 
void *consumer(void *data)
{
    int d;
    while (1)
    {
        d = get(&buffer);
        if (d == OVER)
            break;
        printf("--->%d %d 
", d,pthread_self());
    }
    return NULL;
}
 
int main(void)
{
    pthread_t th_a, th_b, th_c, th_d;
    void *retval;
    init(&buffer);
    /* 创建生产者和消费者线程*/
    pthread_create(&th_a, NULL, producer, 0);
    pthread_create(&th_b, NULL, consumer, 0);
    pthread_create(&th_c, NULL, consumer, 0);
    pthread_create(&th_d, NULL, consumer, 0);
    /* 等待两个线程结束*/
    pthread_join(th_a, &retval);
    pthread_join(th_b, &retval);
    pthread_join(th_c, &retval);
    pthread_join(th_d, &retval);
    release(&buffer);
    return 0;
}

　　

https://www.cnblogs.com/x_wukong/p/7909895.html

文章 介绍了“惊群效应” 必须用while的原因。

https://www.cnblogs.com/charlesblc/p/6143397.html

信号量、共享内存，以及消息队列等System V IPC三剑客主要关注进程间通信；

而条件变量、互斥锁，主要关注线程间通信。

pthread_cond_signal即可以放在pthread_mutex_lock和pthread_mutex_unlock之间，也可以放在pthread_mutex_lock和pthread_mutex_unlock之后，但是各有有缺点。

 之间：

pthread_mutex_lock
    xxxxxxx
pthread_cond_signal
pthread_mutex_unlock

缺点：在某下线程的实现中，会造成等待线程从内核中唤醒（由于cond_signal)然后又回到内核空间（因为cond_wait返回后会有原子加锁的 行为）（注：意思是说这时候signal的线程还没有unlock，所以wait的线程加锁会导致堵塞，并进入内核），所以一来一回会有性能的问题。但是在LinuxThreads或者NPTL里面，就不会有这个问题，因为在Linux 线程中，有两个队列，分别是cond_wait队列和mutex_lock队列， cond_signal只是让线程从cond_wait队列移到mutex_lock队列，而不用返回到用户空间，不会有性能的损耗。
所以在Linux中推荐使用这种模式。

 

之后：
pthread_mutex_lock
    xxxxxxx
pthread_mutex_unlock
pthread_cond_signal
优点：不会出现之前说的那个潜在的性能损耗，因为在signal之前就已经释放锁了
缺点：如果unlock和signal之前，有个低优先级的线程正在mutex上等待的话，那么这个低优先级的线程就会抢占高优先级的线程（cond_wait的线程)，而这在上面的放中间的模式下是不会出现的。