Linux入门：线程同步与互斥（三）——信号量

POSIX版本的信号量（挂起等待锁）

之前实现了基于单链表的生产者——消费者模型，这次利用POSIX版本的信号量实现基于环形队列的生产者——消费者模型。

环形buffer：用一维数组来模拟（让下标模上数组元素的个数来实现）

（1）环形队列的判空判满：

生产者与消费者的下标相同时为空

生产者的下一个下标为消费者的下标时为满

（2）当队列为空时必须保证生产者先运行，当队列为满时必须保证消费者先运行

（3）生产者关心空格数，而消费者关心有效数据的数目

程序示例：（基于环形队列的生产者——消费者模型）

#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>

#define SIZE 64
int ring[SIZE];
sem_t blanks, datas;

void *producer(void *arg)
{
	int i = 0;
	while(1)
	{
		sem_wait(&blanks);
        int data = rand()%1234;
		ring[i] = data;
		printf("producer done...%d\n", data);
		i++;
		i %= SIZE;
		sem_post(&datas);
		sleep(1);
	}
}

void *consumer(void *arg)
{
	int i = 0;
	while(1)
	{
		sem_wait(&datas);
		int data = ring[i];
		printf("consumer done...%d\n", data);
		i++;
		i %= SIZE;
		sem_post(&blanks);
		//sleep(1);
	}
}

int main()
{
	sem_init(&blanks, 0, SIZE);
	sem_init(&datas, 0, 0);
	pthread_t id1, id2;
	pthread_create(&id1, NULL, producer, NULL);
	pthread_create(&id2, NULL, consumer, NULL);

	pthread_join(id1, NULL);
	pthread_join(id2, NULL);
    
	sem_destroy(&blanks);
	sem_destroy(&datas);

	return 0;
}

运行结果：

1.当生产者生产的比较快时，环形队列被填满后，生产者就需要停下来去等待消费者消费，当消费者消费了之后生产者才能继续生产：

2.当生产者生产的比较慢时，消费者必须等待生产者生产了之后才能消费：