线程互斥

最新推荐文章于 2024-02-16 21:25:20 发布

萧瑟丶丨情

最新推荐文章于 2024-02-16 21:25:20 发布

阅读量1.5k

点赞数 9

文章标签：多线程

本文链接：https://blog.csdn.net/a1299960335/article/details/116377414

版权

线程互斥

为什么会有线程互斥
互斥量mutex
可重入和线程安全

为什么会有线程互斥

线程与线程之间，都有共用的资源，如果一个线程修改公共资源，那么另一个线程在读取时，就会发生读取错误。或者说，在一个线程在读数据时，另一个同时在写，这时候就会发生数据错误。而为了保护临界区资源时，就引出线程互斥的概念。
在这里插入图片描述
为了保证数据变化是原子性的，我们在进行多线程访问临界区资源时，每次只有一个线程可以进入临界资源进行数据操作，其他线程在外等候。这样，就形成了线程之间的互斥关系。

互斥量mutex

大部分情况，线程使用的数据都是局部变量，变量的地址空间在线程栈空间内，这种情况，变量归属单个线程，其他线程无法获得这种变量
但有时候，很多变量都需要在线程间共享，这样的变量称为共享变量，可以通过数据的共享，完成线程之间的交互。
多个线程并发的操作共享变量，会带来一些问题。

抢票问题

用多线程抢票可以让我们很好的理解互斥关系。

#include<stdio.h> 
#include<pthread.h>
#include<unistd.h>
#include<sys/types.h>
     
     pthread_mutex_t lock;
     int ticket =10000;
     
     int get_ticket(void *arg)
    {
      usleep(1000);
     
   int num=(int)arg;
       while(1){
        pthread_mutex_lock(&lock);
        if(ticket>0){
          usleep(1000);
          printf("thread %d,get a ticket,no: %d\n",num,ticket);
          ticket--;
          pthread_mutex_unlock(&lock);
        }
        else{ 
          pthread_mutex_unlock(&lock);
          break;
        }
      }
    }
   int main()
    {
      int i=0;
      pthread_t tid[4];
     pthread_mutex_init(&lock,NULL);
      for(;i<4;i++){
     pthread_create(tid+i,NULL,get_ticket,(void*)i);
      }
   
      for(i=0;i<4;i++){
        pthread_join(tid[i],NULL);
      }
      pthread_mutex_destroy(&lock);
      return 0;
    }

在进行实际抢票的过程中，有些线程可能无法争取到结果，而且- -ticket的操作本身不是一个原子操作。要解决这些问题，我们需要做到下列几点：

代码必须要有互斥行为：当代码进入临界区执行时，不允许其他线程进入该临界区。
如果多个线程同时要求执行临界区的代码，并且临界区没有线程在执行，那么只能允许一个线程进入该临界区。
如果线程不在临界区执行，那么该线程不能阻止其他线程进入。

要做到这三点，本质就是需要一把锁。linux上提供的这把锁就叫互斥量。

互斥量实现原理

为了实现互斥锁操作，大多数体系结构都提供了swap或exchange指令，该指令的作用是把寄存器和内存单元的数据相交换，由于只有一条指令，保证了原子性，即使是多处理器平台，访问内存的总线周期有先后，一个处理器上的交换指令执行时另一个处理器的交换指令只能等待总线周期。

总结

一次保证只有一个线程进入临界区，访问临界资源，就叫做互斥！

可重入和线程安全

概念

线程安全：多个线程并发同一段代码时，不会出现不同的结果。常见对全局变量或者静态变量进行操作，并且没有锁保护的情况下，会出现该问题。
重入：同一个函数被不同的执行流调用，当前一个流程没有执行完，就有其他执行流再次进入，我们称之为重入。一个函数在重入的情况下，运行结果不会出现任何不同或者任何问题，则该函数称之为可重入函数，否则就是不可重入函数。