Linux线程---线程同步互斥:信号量

从概念上来说,信号量是一个非负整数计数。信号量通常用来协调对资源的访问,其
中信号计数会初始化为可用资源的数目。然后,线程在资源增加时会增加计数,在删
除资源时会减小计数,这些操作都以原子方式执行。

如果信号计数变为零,则表明已无可用资源。计数为零时,尝试减小信号的线程会被
阻塞,直到计数大于零为止。

由于信号无需由同一个线程来获取和释放,因此信号可用于异步事件通知,如用于信
号处理程序中。同时,由于信号包含状态,因此可以异步方式使用,而不用像条件变
量那样要求获取互斥锁。但是,信号的效率不如互斥锁高。

缺省情况下,如果有多个线程正在等待信号,则解除阻塞的顺序是不确定的。
信号在使用前必须先初始化,但是信号没有属性。

调用时:
如果当做互斥锁的时候,一般初始化的时候初始化为1
如果需要进行同步的时候,一般初始化的时候信号量为0或可用资源数目

一个简单的例子
保证线程执行顺序为:线程1、线程2、线程3

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

sem_t sem_one, sem_two;

void onef()
{
    printf("t1 runing\n");

    // int sem_post(sem_t *sem);
    // 可以原子方式增加sem所指示的信号
    // 如果多个线程基于该信号阻塞,则系统会解除阻塞其中一个线程
    sem_post(&sem_one);
}

void twof()
{
    // int sema_wait(sema_t *sp);
    // 可以一直阻塞调用线程,直到sp所指向的信号的计数变得大于零为止
    // 计数变得大于零时,系统会以原子方式减小计数
    sem_wait(&sem_one);
    printf("t2 runing\n");
    sem_post(&sem_two);
}

void threef()
{
    sem_wait(&sem_two);
    printf("t3 runing\n");
}

int main()
{
    pthread_t one, two, three;

    // int sem_init(sem_t *sem, int pshared, unsigned int value);
    // 如果pshared的值为零,则不能在进程之间共享信号。
    // 如果pshared的值不为零,则可以在进程之间共享信号。
    // value为可用资源数
    sem_init(&sem_one, 0, 0);
    sem_init(&sem_two, 0, 0);

    pthread_create(&one, NULL, (void*)onef, NULL);
    pthread_create(&two, NULL, (void*)twof, NULL);
    pthread_create(&three, NULL, (void*)threef, NULL);

    pthread_join(one, NULL);
    pthread_join(two, NULL);
    pthread_join(three, NULL);

    sem_destroy(&sem_one);
    sem_destroy(&sem_two);

    return 0;
}

这里写图片描述

多个生产者、多个消费者

1).满足互斥与同步条件,用互斥锁和信号量实现

2).多个生产者和消费者:生产者和生产者属于互斥关系;生产者和消费者属于互斥和同步关系;消费者和消费者属于互斥关系

3).生产者和消费者模型中存在如下几种关系和角色:3种关系,2种角色,1种交换媒介(一般是一段内存)

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

pthread_mutex_t proMutex;
pthread_mutex_t conMutex;
sem_t occupied;
sem_t empty;

int count = 1;
const int maxCount = 5;

void producer()
{
    while(1)
    {
        sem_wait(&empty);
        pthread_mutex_lock(&proMutex);
        count = count + 1;
        printf("producer_%d: %d\n", (unsigned int)pthread_self(), count);
        pthread_mutex_unlock(&proMutex);        
        sem_post(&occupied);
        usleep(1000);
    }
}

void consumer()
{
    while(1)
    {
        sem_wait(&occupied);
        pthread_mutex_lock(&conMutex);
        count = count - 1;
        printf("consumer_%d: %d\n", (unsigned int)pthread_self(), count);
        pthread_mutex_unlock(&conMutex);    
        sem_post(&empty);
        usleep(1000);
    }
}

int main()
{
    pthread_t pro, pro1, con, con1;

    pthread_mutex_init(&proMutex, NULL);
    pthread_mutex_init(&conMutex, NULL);
    sem_init(&occupied, 0, 0);
    sem_init(&empty, 0, maxCount);

    pthread_create(&pro, NULL, (void*)producer, NULL);
    pthread_create(&pro1, NULL, (void*)producer, NULL);
    pthread_create(&con, NULL, (void*)consumer, NULL);
    pthread_create(&con1, NULL, (void*)consumer, NULL);

    pthread_join(pro, NULL);
    pthread_join(pro1, NULL);
    pthread_join(con, NULL);
    pthread_join(con1, NULL);   

    pthread_mutex_destroy(&proMutex);
    pthread_mutex_destroy(&conMutex);
    sem_destroy(&occupied);
    sem_destroy(&empty);

    return 0;
}

这里写图片描述

参考
多线程编程指南
https://blog.csdn.net/qq_29924041/article/details/69053518
https://blog.csdn.net/qq_34328833/article/details/56012780

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
<h3>回答1:</h3><br/>Linux线程同步互斥是指在多个线程同时访问共享资源时,为了避免数据竞争和不一致性而采取的一些措施。同步是指多个线程按照一定的顺序执行,以保证数据的正确性和一致性;互斥是指在同一时间只允许一个线程访问共享资源,以避免多个线程同时修改数据而导致的错误。在Linux系统中,常用的同步和互斥机制包括信号量互斥、条件变量等。这些机制可以通过系统调用或者库函数来实现,从而保证多线程程序的正确性和稳定性。 <h3>回答2:</h3><br/>在多线程编程中,线程同步互斥是非常重要的一个话题。在Linux系统下,线程同步互斥通常使用pthread库提供的相关函数来实现。本文将重点介绍pthread库中几个常用的线程同步互斥的相关函数。 线程同步: 1. pthread_cond_init/pthread_cond_destroy 这两个函数主要用于条件变量的初始化和销毁。条件变量是线程同步的一种方式,用于在线程之间传递信息。 2. pthread_cond_signal/pthread_cond_broadcast 这两个函数用于唤醒一个或多个等待的线程。 3. pthread_cond_wait 这个函数用于阻塞当前线程,直到条件变量被唤醒。 线程互斥: 1. pthread_mutex_init/pthread_mutex_destroy 这两个函数主要用于互斥量的初始化和销毁。互斥量是一种保护共享资源的一种机制。 2. pthread_mutex_lock/pthread_mutex_trylock/pthread_mutex_unlock 这三个函数分别用于加、尝试加和解互斥量。 以上这些函数是pthread库中最常用的线程同步互斥相关函数。在实际编程中,经常使用这些函数来保证线程之间的互斥和同步。另外,还有很多其他的线程同步互斥的方式,如信号量、读写等等。需要根据具体的应用场景和需求来选择。 <h3>回答3:</h3><br/>线程同步互斥是多线程程序开发中重要的概念。在多个线程同时访问共享资源时,为了保证数据的正确性和一致性,需要使用线程同步互斥技术来防止数据竞争(Data Race)。 线程同步是指协调多个线程的执行顺序,让它们以正确的顺序访问共享资源。线程同步的方法有很多种,比如信号量互斥、条件变量等。其中,互斥(Mutex)是最常用的一种同步方法。 互斥是用来保护共享资源,实现线程互斥的一种机制。在临界区(Critical Section)内,只能有一个线程访问共享资源。当一个线程进入临界区时,首先要尝试获得互斥。如果已经被其他线程占用,则当前线程会被阻塞,直到其他线程释放。当当前线程执行完临界区的代码后,需要释放互斥,让其他线程获得资源的使用权。 互斥的实现方式有很多种,比如基于原子操作、自旋互斥量等。在Linux系统中,最常用的是互斥量(pthread_mutex_t)。互斥可以确保临界区内的代码在同一时刻只会被一个线程执行,从而避免了数据竞争所带来的副作用。 除了互斥Linux系统还提供了其他同步机制,比如条件变量(pthread_cond_t)和信号量(sem_t)。这些机制的主要作用是在多个线程之间传递信号和状态,从而实现线程同步。 总之,在多线程编程中,线程同步互斥是必不可少的。只有通过合适的同步措施,才能保证多个线程能够正确地协作,从而充分利用多核CPU的计算能力,提高程序的性能和响应速度。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值