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

本期主题:

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


往期链接:
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);
  }
}

运行结果:

利用工具来检查:

检查代码:

检查结果:

相关推荐
爱吃土豆的马铃薯ㅤㅤㅤㅤㅤㅤㅤㅤㅤ24 分钟前
如何使用Java WebSocket API实现客户端和服务器端的通信?
java·开发语言·websocket
Shartin30 分钟前
Can201-Introduction to Networking: Application Layer应用层
服务器·开发语言·php
是小崔啊37 分钟前
tomcat源码02 - 理解Tomcat架构设计
java·tomcat
没有bug.的程序员1 小时前
JAVA面试宝典 -《安全攻防:从 SQL 注入到 JWT 鉴权》
java·安全·面试
栈溢出了1 小时前
MyBatis实现分页查询-苍穹外卖笔记
java·笔记·mybatis
morningcat20181 小时前
java17 gc笔记
java·jvm·笔记
共享家95271 小时前
linux_线程概念
linux·开发语言·jvm
1 小时前
Unity开发中常用的洗牌算法
java·算法·unity·游戏引擎·游戏开发
apihz1 小时前
VM虚拟机全版本网盘+免费本地网络穿透端口映射实时同步动态家庭IP教程
android·服务器·开发语言·网络·数据库·网络协议·tcp/ip
Your易元2 小时前
设计模式-模板方法模式
java·设计模式·模板方法模式