Linux下实现多线程的生产者消费者问题.docVIP

Linux下实现多线程的生产者消费者问题 一、原理的理解 生产者-消费者问题是一个经典的线程同步问题，该问题最早由Dijkstra提出，用以演示他提出的信号量机制。在同一个线程地址空间内执行的两个线程。生产者线程生产物品，然后将物品放置在一个空缓冲区中供消费者线程消费。消费者线程从缓冲区中获得物品，然后释放缓冲区。当生产者线程生产物品时，如果没有空缓冲区可用，那么生产者线程必须等待消费者线程释放出一个空缓冲区。当消费者线程消费物品时，如果没有满的缓冲区，那么消费者线程将被阻塞，直到新的物品被生产出来。semaphore和mutex，而解决这个问题，多采用一个类似资源槽的结构，每个槽位标示了指向资源的指针以及该槽位的状态，生产者和消费者互斥查询资源槽，判断是否有产品或者有空位可以生产，然后根据指针进行相应的操作。同时，为了告诉生产者或者消费者资源槽的情况，还要有一个消息传送机制，无论是管道还是线程通信。 然而，本次试验有几个特殊的要求： A、循环缓冲。 B、除了stderr,stdout等外，只用小于2个的互斥锁、 C、放弃资源槽分配机制，采用额外的数据结构。 D、生产者一直持续生产，形成生产消费的良性循环。 首先，使用一个互斥锁，意味着资源槽机制就不能使用了。因为资源槽虽以用一个互斥锁完成，但是需要有额外的通信，如果使用管道通信，则管道也必须是互斥，这就不满足1个互斥锁的要求。其次，要求生产者一直生产，这就否定了另外一种方法：消费者、生产者的位置均平等，消费者消费的时候生产者不能生产，生产者生产的时候消费者不能消费。因此，就需要采用A要求，也就是循环链表的形式。 为了保证互斥要求，需要定义一个数据结构，这个数据结构包含两个指针，一个读一个写，同时有一个资源数目量，告诉生产者和消费者是否可以生产或者消费。由于该数据结构很小，因而可以对此结构互斥访问。同时，对于每组数据，都有一个标志位，表示此组数据是否被占用，生产者和消费者均可以先占用此位置然后完成相应的操作。 当消费者互斥访问此结构时，首先判断是否有数据可以取，如果没有，直接等待，若有数据可取，先更改标志位占用此数据，并将资源数目-1。然后交出互斥，把数据拷贝到自己缓冲区内，清空数据。当生产者访问时，首先判断有没有空位可以生产，如果没有，直接等待，若有数据可以生产，先判断该位是否被占用，如果没被占用，则占用此位置进行生产。生产完成后，将占用位改为未占用，同时将资源数目+1。这个过程可以如图所示： 2、重要函数和数据结构 (1)数据结构 #define N 5 // 生产者的数目 #define N2 15 // 消费者数目 #define M 20 // 缓冲数目 #define debug 0 //调试模式 #define nowait 1 //是否添加额外等待 pthread_mutex_t mutex; // 互斥信号量 int prod_id = 0; //生产者id int proc_id = 0; //消费者id //成功以及失败次数计数 int Succ[N+N2]; int Fail[N+N2]; //用于生产的填充数据 char dt[30]=aaaaaaaaaabbbbbbbbbbcccccccccc; int toexit=0;//退出标记 //共用数据区 struct data_struc { int Occupied; //该位置是否被占用 无论生产还是消费 char d[1024]; //数据 struct data_struc* nx; //下一个指针 }; //互斥量 struct mtx { struct data_struc* rd_p; struct data_struc* wr_p; int cnt; //产品数量 }; struct mtx *mymutex; (2)函数说明 void printinfo();//调试函数，打印公用数据区的内容和状态 void Create_Empty_DS();//初始化循环链表 void *buy();//消费者 void *sell();//生产者 void *Recount();//数据统计，同时控制程序自动退出 3、程序流程图 A、主函数 B、统计线程 C、生产者线程 D、消费者线程  三、实验数据 1、程序运行截图 虚拟机：VMware Workstation7.0，win7；硬件：i3，2G DDR1333；编译：gcc product.c –pg –lpthread；报告生成：gprof –b。 运行时截图： CPU占用情况（无额外等待）： 2、原始数据 由于程序要求使用gprof进行分析，而在机器配置较好的情况下，使用gprof可能分析不出每个函数执