利用Linux互斥鎖解決生產(chǎn)者—消費者問題

趙顥凱 柴玉梅

摘要：在計算機操作系統(tǒng)的學習過程中，生產(chǎn)者—消費者問題向來是難點。結(jié)合Linux系統(tǒng)提供的互斥鎖機制，編寫C語言程序?qū)崿F(xiàn)生產(chǎn)者—消費者問題，并對運行結(jié)果進行了詳細分析，旨在幫助學習者更好地理解該問題，為掌握其他進程同步與互斥問題奠定基礎。

關鍵詞：生產(chǎn)者—消費者問題;進程同步;Linux;互斥鎖

中圖分類號：TP316? ? ? ? 文獻標識碼：A

文章編號：1009-3044（2021）36-0132-03

開放科學（資源服務）標識碼（OSID）：

Using Linux Mutex Mechanism to Solve Producer-consumer Problem

ZHANG Hao-kai， CHAI Yu-mei

（School of Computer and Software Engineering，University of Science and Technology Liaoning， Anshan 114051， China）

Abstract： In the process of learning computer operating system， the producer-consumer problem has always been difficult . Based on the mutex mechanism provided by Linux， a C program is written to solve the problem.And the results are analyzed in detail to help learners better understand the problem and lay? foundation for mastering other process synchronization and mutex problems.

Key words：producer-consumer problem; process synchronization; Linux; mutex

1 引言

生產(chǎn)者—消費者問題是操作系統(tǒng)中一個經(jīng)典的進程同步問題。該問題是指有若干個生產(chǎn)者和消費者線程，連接在可數(shù)個單位緩沖區(qū)的有界環(huán)狀緩沖上，故又稱有界緩沖問題。在緩沖區(qū)內(nèi)生產(chǎn)者線程所產(chǎn)生的產(chǎn)品不斷地被投入，只要緩沖區(qū)未空，消費者線程就會不斷地從緩沖區(qū)中取走或消費產(chǎn)品[1]。

在學習的過程中，筆者發(fā)現(xiàn)自己及周圍的很多同學對此都不甚理解。因此想借助Linux系統(tǒng)提供的互斥鎖機制，設計一個C語言的程序來更好地理解該問題。

2 生產(chǎn)者—消費者問題描述

2.1 二者的關系圖

生產(chǎn)者線程與消費者線程關系如圖1所示。

2.2 問題分析

生產(chǎn)者線程和消費者線程對緩沖區(qū)進行操作時，如果未加以限制，就會造成緩沖區(qū)結(jié)果不唯一。并且兩者的交替的執(zhí)行會導致線程之間永遠的等待，造成系統(tǒng)出現(xiàn)死鎖的狀態(tài)。原因是兩者之間訪問緩沖區(qū)的速度不匹配，需要調(diào)整并發(fā)的線程的執(zhí)行速度，這種關系也被叫作線程同步。

3 Linux互斥鎖解決生產(chǎn)者—消費者問題

3.1 涉及的函數(shù)

表1列出了解決該問題所需的Linux API[2]。

3.2 代碼實現(xiàn)

3.2.1 設計思路

變量P_MEMBER，C_MEMBER分別控制生產(chǎn)者、消費者數(shù)量，NUMBER表示緩沖區(qū)的大小，循環(huán)控制兩者對緩沖區(qū)buff的操作次數(shù)也就是局部變量j。線程對緩沖區(qū)buff[NUMBER]中的數(shù)據(jù)進行+1、-1操作。全局變量in、out則控制二者在緩沖區(qū)的位置。當生產(chǎn)者進行操作時，空則buff[in]+1，滿則釋放互斥鎖;消費者進行操作時，滿則buff[in]-1，空則釋放互斥鎖。

3.2.2 程序清單

#include "stdio.h"

#include "pthread.h"

pthread_cond_t g_empty = PTHREAD_COND_INITIALIZER;? ? ? ? //條件變量初始化

pthread_cond_t g_full = PTHREAD_COND_INITIALIZER;? ? ? ? ?//條件變量初始化

pthread_mutex_t g_mutex = PTHREAD_MUTEX_INITIALIZER;? ? ? //互斥鎖初始化

#define P_MEMBER 3

#define C_MEMBER 1

#define NUMBER 6

int buff[NUMBER] = { 0 };? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?//緩沖區(qū)大小

int producer_id = 0;? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? //生產(chǎn)者線程ID

int customer_id = 0;? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? //消費者線程ID

int in = 0;

int out = 0;

//生產(chǎn)者方法

void* producer（）

{

int id = ++producer_id;? ? ? ? ? ? ? ? ? ? ? ? ? ?//分配生產(chǎn)者ID

int j = 0;? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?//限制生產(chǎn)者操作次數(shù)

while （j < 4）

{

sleep（1）;? ? ? ? ? ? ? ? ? ? ? ? &nbsp; ? ?//調(diào)節(jié)生產(chǎn)者消費者速度便于觀察

pthread_mutex_lock（&g_mutex）;? ? ? ? ?//上鎖

in = in % NUMBER;

while （buff[in] == 1）? ? ? ? ? ? ?//緩沖區(qū)滿，釋放互斥鎖，消費者線程操作

{

printf（"buff[%d] is full，producer %d is waiting for customer.＼n"， in， id）;

pthread_cond_wait（&g_full， &g_mutex）;

}

printf（"producer %d put into buff[%d]. buff[%d]+1 ＼t＼n"， id， in，in）;

buff[in] += 1;

in += 1;

pthread_cond_signal（&g_empty）;? ? ? ? ? //生產(chǎn)出資源，喚醒條件變量

pthread_mutex_unlock（&g_mutex）;? ? ? ? //解鎖

j++;

}

}

//消費者方法

void* customer（）

{

int id = ++customer_id;? ? ? ? ? ? ? ?//分配生產(chǎn)者ID

int j = 0;? ? ? ? ? ? ? ? ? ? ? ? ? ?//限制消費者操作次數(shù)

while （j < 12）

{

sleep（1）;

pthread_mutex_lock（&g_mutex）;

out = out % NUMBER;

while （buff[out] == 0）? ? ? ? ? //緩沖區(qū)空，釋放互斥鎖，生產(chǎn)者線程操作

{

printf（"buff[%d] is empty，customer %d is waiting for producer＼n"， out， id）;

pthread_cond_wait（&g_empty， &g_mutex）;

}

printf（"customer %id take out buff[%d]. buff[%d]-1 ＼t＼n"， id， out.out）;

buff[out] -= 1;

out += 1;

pthread_cond_signal（&g_full）;? ? ? ? ? //消費了資源，喚醒條件變量

pthread_mutex_unlock（&g_mutex）;

j++;

}

}

int main（void）

{

int i， p_ret[P_MEMBER]， c_ret[C_MEMBER];

pthread_attr_t p_attr[P_MEMBER]， c_attr[C_MEMBER];? //定義生產(chǎn)者消費者線程

pthread_t p_tid[P_MEMBER]， c_tid[C_MEMBER];? ?//初始化生產(chǎn)者消費者線程ID

for （i = 0;i < P_MEMBER;++i）

{

pthread_attr_init（&p_attr[i]）;? ? ? ? ? ? ? ? ? ? //初始化生產(chǎn)者線程

pthread_attr_setdetachstate（&p_attr[i]， PTHREAD_CREATE_DETACHED）;

}

for （i = 0;i < C_MEMBER;++i）

{

pthread_attr_init（&c_attr[i]）;? ? ? ? ? ? ? ? ? ? //初始化消費者線程

pthread_attr_setdetachstate（&c_attr[i]， PTHREAD_CREATE_DETACHED）;

}

//創(chuàng)建MEMBER個生產(chǎn)者線程

for （i = 0;i < P_MEMBER;++i）

{

p_ret[i] = pthread_create（&p_tid[i]， &p_attr[i]， producer， （void*）（&i））;

if （p_ret[i] ！= 0）

{

printf（"producer error code：%d＼n"， i）;

}

}

//創(chuàng)建MEMBER個消費者線程

for （i = 0;i < C_MEMBER;++i）

{

c_ret[i] = pthread_create（&c_tid[i]， &c_attr[i]， customer， NULL）;

if （c_ret[i] ！= 0）

{

printf（"customer error code：%d＼n"， i）;

}

}

pthread_exit（NULL）;

}

3.3 結(jié)果分析

在VMware Workstation虛擬機中裝載的CentOS-7-64中編譯、運行該程序，某次運行的部分結(jié)果如圖2所示。

圖2中的（1）表明第一個到達的是消費者，初始時緩沖區(qū)是空的，所以customer 1要等待。隨后，陸續(xù)到達一批生產(chǎn)者放產(chǎn)品入緩沖區(qū)。當buff[0]中有產(chǎn)品時，會喚醒customer 1，如圖2中的（2）所示。圖2中的（3）表明當某個緩沖區(qū)位置滿時，生產(chǎn)者要等待，另外，還實現(xiàn)了多個生產(chǎn)者對同一個緩沖區(qū)位置的互斥訪問。圖2中的（4）和（5）則表示當消費者取走產(chǎn)品后，喚醒等待的生產(chǎn)者。

3.4 深入理解

改變生產(chǎn)者、消費者的數(shù)量及緩沖區(qū)的大小可以對生產(chǎn)者—消費者問題進行更深入的理解。

3.4.1供求基本平衡的情況

修改生產(chǎn)者、消費者數(shù)量為2，改變緩沖區(qū)大小為buff[4]，修改每個生產(chǎn)者、消費者執(zhí)行次數(shù)為2。某次輸出結(jié)果如圖3所示。

多次運行程序，都會得到類似的結(jié)果，因此可初步斷定供求基本平衡時，可能不會出現(xiàn)等待狀態(tài)。

3.4.2供大于求的情況

修改生產(chǎn)者數(shù)量為3，消費者數(shù)量為1，改變緩沖區(qū)大小為buff[6]，修改每個生產(chǎn)者執(zhí)行次數(shù)4、消費者執(zhí)行次數(shù)為12。某次部分輸出結(jié)果如圖4所示。

多次運行程序，大都會有生產(chǎn)者處于等待的狀態(tài)。

3.4.3供不應求的情況

修改生產(chǎn)者數(shù)量為1，消費者數(shù)量為3，改變緩沖區(qū)大小為buff[3]，修改每個生產(chǎn)者執(zhí)行次數(shù)為3、消費者執(zhí)行次數(shù)為1。某次部分輸出結(jié)果如圖5所示。

多次運行程序，大都會有消費者處于等待的狀態(tài)。

4 結(jié)語

本文使用Linux提供的互斥鎖機制，設計、編寫程序解決生產(chǎn)者—消費者問題。詳細分析了供求基本平衡、供大于求及供不應求時，生產(chǎn)者與消費者如何競爭、搶占和等待資源。筆者及同學們通過此程序?qū)@個經(jīng)典的進程同步問題有了更直觀?的理解。但此程序未能實現(xiàn)封裝，操作不便，不利于多次使用。這也是筆者下一步要解決的問題。

參考文獻：

[1] 費翔林，駱斌.操作系統(tǒng)教程[M].5版.北京：高等教育出版社，2014.

[2] 文全剛.嵌入式 Linux 操作系統(tǒng)原理與應用[M].北京：北京航天航空大學出版社，2011.

[3] Andrew S Tanenbaum.Modern Operating Systems[M]. Englewood，Pearson，2007.

[4] Randal E Bryant/David O`Hallaron.深入理解計算機[M].3版.北京：機械工業(yè)出版社，2016.

[5] 李梅.生產(chǎn)者-消費者的Linux多線程實現(xiàn)[J].價值工程，2012，31（30）：221-222.

【通聯(lián)編輯：王力】