Linux线程互斥

瓴翎玲

已于 2022-05-26 12:55:55 修改

阅读量377

点赞数

分类专栏： Linux OS 文章标签： linux c语言运维

于 2022-02-16 09:41:50 首次发布

本文链接：https://blog.csdn.net/weixin_41446512/article/details/122782557

版权

Linux 同时被 2 个专栏收录

28 篇文章 1 订阅

订阅专栏

4 篇文章 0 订阅

订阅专栏

一、相关概念

1.临界资源：多线程执行流共享的资源
临界区：每个线程内部，访问临界资源的代码
互斥：任何时刻，互斥保证有且只有一个执行流进入临界区，访问临界资源，通常对临界资源起保护作用
原子性：不会被任何调度机制打断的操作，该操作只有两态，要么完成，要么未完

二、互斥

1.抢票例子
变量–：不是原子操作（一搬是三个步骤，存入，–，输出读取）

#include<stdio.h>
#include<stdlib.h>
#include<pthread.h>
#include<unistd.h>
#include<sys/types.h>

int ticket = 1000;
pthread_mutex_t lock;  //定义互斥锁

void *TicketGrabbing(void *arg)
{
  const char *name = (char*)arg;
  while(1)
  {

  pthread_mutex_lock(&lock);  //加锁
  //可让一人抢票时，别人不可进入抢票
    if(ticket > 0)
    {
      usleep(100);
      printf("[%s] get a ticket:%d\n",name,ticket--);
      pthread_mutex_unlock(&lock);
    }
    else{

      pthread_mutex_unlock(&lock);
      break;
    }
  }
  /*
  printf("%s quit!\n",name);
  pthread_exit((void*)0);
  */
 // pthread_mutex_unlock(&lock); //解锁
  
}
int main()
{
/*
  pthread_t t1,t2,t3,t4;
  pthread_create(&t1,NULL,TicketGrabbing,"thread 1");

  pthread_create(&t2,NULL,TicketGrabbing,"thread 2");
  pthread_create(&t3,NULL,TicketGrabbing,"thread 3");
  pthread_create(&t4,NULL,TicketGrabbing,"thread 4");

  pthread_join(t1,NULL);
  pthread_join(t2,NULL);
  pthread_join(t3,NULL);
  pthread_join(t4,NULL);
*/
  //以上代码转换
  pthread_t thds[5];
  pthread_mutex_init(&lock,NULL);

  for(int i = 0; i < 5; i++)
  {
    pthread_create(&thds[i],NULL,TicketGrabbing,(void*)i);
  }

  for(int i = 0; i < 5; i++)
  {
    pthread_join(thds[i],NULL);
  }

  pthread_mutex_destroy(&lock);
  return 0;
}

2.互斥量：本质上是一把锁
（1）代码必须要有互斥行为：当代码进入临界区执行时，不允许其他线程进入该临界区。
（2）如果多个线程同时要求执行临界区的代码，并且临界区没有线程在执行，那么只能允许一个线程进入该临界区。
（3）如果线程不在临界区中执行，那么该线程不能阻止其他线程进入临界区。

3.加锁：
（1）大部分情况下，加锁本身是有损于性能的，不可避免的，尽可能减少加锁带来的性能开销
(2)进行临界资源的保护，是所有执行流都应该遵守的标准，程序员编码应注意
(3)原子性体现：
a.没有申请锁
b.锁已经释放
(4)线程1在临界区内是否可以进行线程切换？
可能，即使当前线程被切走，其它线程也无法进入临界区进行资源访问，拿着锁被切走的，没有释放。
4.解锁：

(1)锁本身就是临界资源，锁存在是为了保护临界资源，锁是否需要被保护？
申请锁的过程，必须是原子的！

(2)锁的原子性是如何实现的？lock与unlock过程是怎样的？
把共享的mutex通过exchange方案，原子性的交换到线程自己的上下文当中。

(3)CPU内的寄存器，不是所有的线程共享的！！线程会有切换，但是内存中的数据是共享的

(4)每个线程都可以进行交换，但必须有顺序，指令周期决定！