信号量(Semaphore) 例子

本文介绍了一个使用Qt的QSemaphore实现的生产者-消费者模式的多线程示例。生产者线程向缓冲区写入数据,而消费者线程读取数据。通过信号量协调两者对缓冲区的访问,确保数据的正确生产和消费。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

翻译自Qt帮助文档:Semaphore Example


使用Qt证明多线程编程。

这个信号量例子展示了如何使用 QSemaphore 来控制对一个循环缓冲区的访问,生产者线程和消费者线程共享该缓冲区。

生产者线程往缓冲区写数据,直到缓冲区的尾部,然后从缓冲区开头重新开始重写已经存在的数据。当数据被生产出来后消费者线程读取数据并写道标准错误中。

与互斥量(mutex)相比,信号量(semaphore)使高效并行成为可能。如果使用QMutex控制访问缓冲区,消费者线程不可能和生产者线程同时访问缓冲区。然而,两个线程同时访问缓冲区的不同部分并没什么害处。

这个例子包括两个类: Producer 和 Consumer 。这两个类都继承了QThread。这两个线程通过循环缓冲区交互,信号量被设为全局的,它保护这种交互。

使用QSemaphore 可以解决“生产者-消费者”的问题,另一种替代方法是使用 QWaitCondition 和 QMutex。


全局变量

让我们从循环缓冲区和相关的信号量开始吧。

const int DataSize = 100000;

const int BufferSize = 8192;
char buffer[BufferSize];

QSemaphore freeBytes(BufferSize);
QSemaphore usedBytes;
DataSize 是生产者将要产生的数据的数量。为了使这个例子尽量简单,我们将它设为常量。

BufferSize 是循环缓冲区的大小。它小于DataSize,就意味着在某种程度上,生产者将会到达缓冲区的结尾处并重新从头开始。

为了同步生产者和消费者,我们需要两个信号量:

freeBytes 信号量控制着缓冲区的“free”区域(即生产者未写数据的区域,或者消费者已经读过的区域)。

usedBytes 信号量控制着缓冲区的“used”区域(即生产者已经写了数据的但消费者还未读取的区域)。

同时,信号量确保生产者永远不会超过消费者 BufferSize 字节,并且消费者永远不会读到生产者还未产生的数据。

freeBytes 信号量用BufferSize初始化,因为一开始整个缓冲区是空的。

usedBytes 信号量初始化为0(默认值,如果未指定任何值)。


生产者类

让我们看下生产者类的代码:

class Producer:public QThread
{
public:
    void run()
    {
         qsrand(QTime(0,0,0).secsTo(QTime::currentTime()));
         for(int  i=0; i<DataSize; i++){
            <span style="background-color: rgb(255, 255, 153);">freeBytes.acquire();</span>
            buffer[i%BufferSize] = "ACGT"[(int)qrand()%4];//qrand()%4 : 0,1,2,3;
            <span style="background-color: rgb(255, 204, 255);">usedBytes.release();</span>
        }
    }
};
生产者产生了DataSize字节的数据。在写到循环缓冲区之前,必须使用 freeBytes 信号量获得一个“free”字节。如果消费者没有跟上生产者的速度,QSemaphore::acquire() 调用可能会阻塞。

最后,生产者使用 usedBytes 信号量释放一个字节。“free”的字节被成功的转移到一个”used“字节中,以备消费者读取。


消费者类

现在我们转到 Consumer 类:

class Consumer : public QThread
{
    Q_OBJECT
public:
    void run()
    {
        for(int i=0; i<DataSize; i++){
             usedBytes.acquire();
             fprintf(stderr, "%c", buffer[i%BufferSize]);
             freeBytes.release();
        }
        fprintf(stderr, "\n");
    }

signals:
    void stringConsumed(const QString &text);

protected:
    bool finish;
};
此处代码与生产者的类似,除了这次我们获得一个“used”字节,释放一个“free”字节,而不是相反的。


主函数

int main(int argc, char *argv[])
{
    QCoreApplication app(argc,argv);

    Producer producer;
    Consumer consumer;
    producer.start();
    consumer.start();
    producer.wait();
    consumer.wait();

    return 0;
}
当我们运行程序时将会发生什么呢?开始时,只有生产者线程可以做事情,消费者阻塞等待 usedBytes 信号量被释放(开始时 available() 的 count 值是 0)。一旦生产者往缓冲区写一个字节,freeBytes.available() 就是 BufferSize -1,并且 usedBytes.available() = 1。此时,将会发生两件事:要么消费者线程接收并读取那个字节,要么生产者继续产生第一个字节。

这个例子展示的生产者-消费者模式使那些写出高并发的多线程应用程序称为可能。在一个多处理器机器上,这个程序的效率可能是那些基于mutex的程序两倍,因为处理缓冲区的不同部分时可以运行两个线程。

注意,尽管经常未意识到这些好处,获取和释放一个 QSemaphore 需要付出一个代价。事实上,这样做是值得的:将缓冲区分成数块(chunks),然后操作块而不是单个字节。基于实验,选取缓冲大小时要留心。






<think>首先,用户的问题是:“我想了解互斥锁mutex和信号量semaphore之间的区别请问mutex与semaphore的区别及使用场景”。所以,我需要专注于解释Mutex和Semaphore的区别及使用场景。系统级指令要求:-所有行内数学表达式使用$...$格式。-独立公式使用$$...$$格式并单独成段。-LaTeX语法正确。-使用中文回答。-生成相关问题。-在回答中引用的段落末尾自然地添加引用标识,例如[^1]。-回答结构清晰,帮助用户逐步解决问题。-尽量保证回答真实可靠。参考站内引用:-[^1]:Mutex和Semaphore的目的不同,但Mutex有时被误称为binarysemaphore。-[^2]:在C#多线程中,Mutex和Semaphore是同步工具,各有特点和适用场景。-[^3]:Mutex的函数在内核中定义,包括初始化、锁定等操作。-[^4]:互斥锁与信号量的定义、区别、使用,包括pthread示例。-[^5]:命名Mutex支持跨进程同步。我的回答需要基于这些引用,但不要直接复制;要自然地融入。用户的问题是区别和使用场景,所以我需要结构化地回答。回答结构:1.**介绍**:简要定义Mutex和Semaphore。2.**区别**:详细解释主要区别。-所有权:Mutex有所有者,Semaphore没有。-计数:Mutex是二进制(0或1),Semaphore可以计数。-使用场景:基于引用解释。3.**使用场景**:给出具体例子。4.**生成相关问题**:在末尾添加相关问题。5.**引用标识**:在引用段落末尾添加[^n]。确保使用中文。行内数学表达式:如果有数学内容,比如计数,可以用$...$。例如,Semaphore的计数可以是$n$,但问题中没有太多数学,所以可能少用。独立公式:如果没有复杂公式,可能不需要,但如果有,单独成段。LaTeX语法正确:例如,$x^2$。现在,构建回答大纲:-开头:直接回答问题。-主体:-Mutex的定义和特点。-Semaphore的定义和特点。-关键区别:基于引用[^1]和[^4],强调目的不同。-Mutex用于互斥访问共享资源。-Semaphore用于控制访问资源的线程数。-所有权:Mutex必须由锁定它的线程解锁(引用[^4])。-计数:Mutex是二进制,Semaphore可以有多个(引用[^3]和[^4])。-使用场景:-Mutex:保护临界区,如共享变量(引用[^4]示例)。-Semaphore:生产者-消费者问题,限制资源访问(引用[^2]和[^4])。-跨进程:Mutex可以命名用于跨进程(引用[^5]),Semaphore也可以但较少。-结尾:总结,并生成相关问题。生成相关问题:类似示例,3-4个问题,如:1.Mutex和Semaphore在性能上有什么差异?2.如何实现一个Semaphore?3.在分布式系统中如何使用同步机制?引用标识:在描述引用内容时添加。例如,“Mutex和Semaphore的目的不同,可能由于实现相似而被混淆[^1]。”确保回答真实可靠:基于标准知识,引用提供的信息。</think>### Mutex与Semaphore的区别及使用场景 Mutex(互斥锁)和Semaphore信号量)是多线程编程中常用的同步机制,用于协调线程对共享资源的访问,防止竞态条件。它们虽然表面上类似(例如,Mutex有时被误称为二进制信号量[^1]),但设计目的、实现和行为有本质区别。以下我将逐步解析它们的区别,并给出典型使用场景,帮助您清晰理解。 #### 1. **基本定义与核心区别** - **Mutex(互斥锁)**: - Mutex是二进制锁,状态为“锁定”或“解锁”($0$ 或 $1$),用于确保一次只有一个线程访问共享资源。Mutex具有“所有权”概念:只有锁定它的线程才能解锁它[^4]。这防止了其他线程误释放锁,从而避免死锁。例如,在Linux内核中,`mutex_lock`函数获取锁时,如果失败,线程会休眠等待[^3]。 - 数学表示:Mutex的状态可建模为二元变量 $s \in \{0, 1\}$,其中 $s=1$ 表示资源可用。 - **Semaphore信号量)**: - Semaphore是一个计数器,允许指定数量的线程同时访问资源(计数范围 $n \geq 0$)。它没有所有权概念,任何线程都可以释放信号量信号量常用于控制资源池(如数据库连接)[^4]。例如,初始值为 $k$ 的信号量表示最多 $k$ 个线程可并发访问。 - 数学表示:信号量计数 $c$ 满足 $c \geq 0$,操作基于 $P$(等待,减少计数)和 $V$(发信号,增加计数)原语。 关键区别总结: - **所有权**:Mutex要求锁的持有者解锁(线程绑定),而Semaphore可由任何线程释放[^4]。 - **计数**:Mutex是二进制($0/1$),Semaphore支持多计数($n \geq 0$)[^3][^4]。 - **目的**:Mutex专为互斥访问(保护临界区),Semaphore用于协调资源访问(如限制并发线程数)[^1][^2]。 - **实现复杂度**:Mutex通常更轻量,适合简单互斥;Semaphore更灵活,但可能引入更多开销。 #### 2. **使用场景分析** 基于实际应用,Mutex和Semaphore各有适用场景: - **Mutex的使用场景**: - **保护共享变量**:当多个线程需读写同一变量时(如计数器),使用Mutex确保原子操作。例如,在C语言中: ```c pthread_mutex_t mutex; pthread_mutex_init(&mutex, NULL); pthread_mutex_lock(&mutex); // 临界区:共享变量操作,如 num++ pthread_mutex_unlock(&mutex); ``` 这防止了数据竞争[^4]。 - **跨进程同步**:命名Mutex可用于不同进程间的互斥(如C#中的`Mutex mutex = new Mutex(false, "GlobalMutex")`),适用于分布式系统资源协调[^5]。 - 典型场景:文件写入、全局配置更新。 - **Semaphore的使用场景**: - **资源池管理**:当资源有限(如线程池或数据库连接)时,Semaphore控制最大并发数。例如,初始值为$5$的信号量允许最多5个线程同时访问。 - **生产者-消费者问题**:Semaphore协调生产者和消费者线程,通过两个信号量(一个表示缓冲区空位,一个表示数据项数)实现高效同步[^2][^4]。 - 典型场景:Web服务器请求处理、多线程下载。 为什么选择? - 用Mutex当需要严格互斥(如银行账户转账)。 - 用Semaphore当需允许多个线程共享资源(如打印机队列)[^2]。 #### 3. **注意事项** - **死锁风险**:Mutex的所有权特性减少了误解锁风险,但不正确使用(如嵌套锁)仍可导致死锁。Semaphore的计数机制在资源竞争激烈时可能引发优先级反转问题[^1]。 - **性能**:在单资源场景,Mutex通常更快(因轻量级);Semaphore在复杂协调中更高效[^3]。 - **跨平台**:Mutex(如C#的`Mutex`类)支持跨进程;Semaphore也可实现,但需额外配置[^5]。 总之,Mutex和Semaphore的核心区别在于所有权和计数机制:Mutex是“独占锁”,Semaphore是“资源门”。正确选择能提升并发程序可靠性[^1][^2]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值