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

本期主题:

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


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

运行结果:

利用工具来检查:

检查代码:

检查结果:

相关推荐
序属秋秋秋12 分钟前
《C++进阶之STL》【红黑树】
开发语言·数据结构·c++·笔记·学习·stl
zzywxc78714 分钟前
苹果WWDC25开发秘鉴:AI、空间计算与Swift 6的融合之道
java·人工智能·python·spring cloud·dubbo·swift·空间计算
小白学大数据1 小时前
模拟登录与Cookie持久化:爬取中国汽车网用户专属榜单数据
开发语言·爬虫·python
hqxstudying1 小时前
Java类加载机制
java·开发语言
lifallen2 小时前
Caffeine TimerWheel时间轮 深度解析:O(1)复杂度增删和触发时间事件
java·数据结构·算法·缓存·中间件
xzkyd outpaper4 小时前
Java中协变逆变的实现与Kotlin中的区别
java·kotlin
fuyongliang1234 小时前
Linux shell 脚本基础 003
java·服务器·前端
小蒜学长6 小时前
汽车专卖店管理系统的设计与实现(代码+数据库+LW)
java·数据库·spring boot·后端·汽车
nece0016 小时前
PHP单独使用phinx使用数据库迁移
开发语言·php·数据库迁移·phinx
pusue_the_sun6 小时前
C语言强化训练(1)
c语言·开发语言·算法