操作系统并发控制——使用互斥锁实现同步

本期主题:

操作系统中的并发控制,互斥锁


往期链接:
linux设备驱动中的并发
操作系统中的多线程问题------原子操作、自旋锁的底层实现


操作系统并发控制

  • [1. 问题描述](#1. 问题描述)
  • [2. 互斥锁来解决同步](#2. 互斥锁来解决同步)

1. 问题描述

典型的同步场景------ 生产者、消费者问题

  • 生产者:生产(任务)资源,放入队列中
  • 消费者:从队列中取出任务来执行

假设这么一个场景:

  1. 生产者任务负责打印 左括号,"("
  2. 消费者任务负责打印 右括号,")"
  3. 括号的深度可以变化,例如 3就是代表最多同时3个左括号
  4. 最终打印出来的括号要符合语法,这就需要 先生产再消费(即先打印左括号,再打印右括号)

2. 互斥锁来解决同步

对于生产者任务而言:

  1. 进程进来先拿锁
  2. 拿完锁,判断是否当前有n个左括号,有的话就不要再打印了,释放锁并retry,否则再打印然后释放锁

对于消费者任务而言:

  1. 进程进来先拿锁
  2. 拿完锁,判断现在左括号是否为0,为0就释放锁并retry,否则打印然后释放锁

看代码:

cpp 复制代码
#include "thread.h"
#include "thread-sync.h"

//count用来记录有几个左括号
int n, count = 0;
mutex_t lk = MUTEX_INIT();

void Tproduce() {
  while (1) {
retry:
    mutex_lock(&lk);
    if (count == n) {
      mutex_unlock(&lk);
      goto retry;
    }
    count++;
    printf("(");
    mutex_unlock(&lk);
  }
}

void Tconsume() {
  while (1) {
retry:
    mutex_lock(&lk);
    if (count == 0) {
      mutex_unlock(&lk);
      goto retry;
    }
    count--;
    printf(")");
    mutex_unlock(&lk);
  }
}

int main(int argc, char *argv[]) {
  assert(argc == 2);
  n = atoi(argv[1]);
  setbuf(stdout, NULL);
  for (int i = 0; i < 8; i++) {
    create(Tproduce);
    create(Tconsume);
  }
}

运行结果:

利用工具来检查:

检查代码:

检查结果:

相关推荐
Grey Zeng9 小时前
Java SE 25新增特性
java·jdk·jdk新特性·jdk25
雨白10 小时前
Java 线程通信基础:interrupt、wait 和 notifyAll 详解
android·java
架构师沉默14 小时前
设计多租户 SaaS 系统,如何做到数据隔离 & 资源配额?
java·后端·架构
Java中文社群16 小时前
重要:Java25正式发布(长期支持版)!
java·后端·面试
每天进步一点_JL17 小时前
JVM 类加载:双亲委派机制
java·后端
用户2986985301417 小时前
Java HTML 转 Word 完整指南
java·后端
渣哥17 小时前
原来公平锁和非公平锁差别这么大
java
渣哥18 小时前
99% 的人没搞懂:Semaphore 到底是干啥的?
java
J2K18 小时前
JDK都25了,你还没用过ZGC?那真得补补课了
java·jvm·后端
kfyty72518 小时前
不依赖第三方,不销毁重建,loveqq 框架如何原生实现动态线程池?
java·架构