码农知识堂 - 1000bd
  •   Python
  •   PHP
  •   JS/TS
  •   JAVA
  •   C/C++
  •   C#
  •   GO
  •   Kotlin
  •   Swift
  • 14.信号量的代码实现


    【README】

    1.本文内容总结自 B站 《操作系统-哈工大李治军老师》,内容非常棒,墙裂推荐;

    2.信号量基础知识,refer2 posts below.

    12.进程同步与信号量_PacosonSWJTU的博客-CSDN博客1.本文内容总结自 B站 《操作系统-哈工大李治军老师》,内容非常棒,墙裂推荐;【1】https://blog.csdn.net/PacosonSWJTU/article/details/12553612013.信号量临界区保护_PacosonSWJTU的博客-CSDN博客1.本文内容总结自 B站 《操作系统-哈工大李治军老师》,内容非常棒,墙裂推荐;2.操作系统使用信号量实现进程同步(合作),走走停停,推进多进程合理有序向前执行; 3.靠临界区保护信号量,靠信号量实现进程同步;0)信号量1)问题 图解: 并发问题例子,empty = -1,但有2个生产者进程睡眠,这说明empty信号量的值是错误的;1)竞争条件: 图片解说:错误和调度顺序有关;2)解决竞争条件的方法 上图显示的执行顺序如下:时间进程代码或操作1P1检查并给empty上锁2P1.register=empthttps://blog.csdn.net/PacosonSWJTU/article/details/125542224


    【1】信号量回顾

    1)信号量定义:

    • 一个整型数字;通过对信号量的访问修改,实现多进程同步(合作),有序执行,(或互相等待,交替执行);

    2)操作系统内部也是有信号量来实现多进程同步合作

    • 如一个进程操作磁盘,磁盘寻道时,该进程阻塞;
    • 一旦磁盘准备好数据后,通过中断通知cpu读取数据;则cpu唤醒上述进程读取数据;

    3)借助信号量可以完成的工作

    • 工作1:借助信号量实现用户态的进程调度,实现上层应用程序间的同步(合作),交替执行;
    • 工作2:借助信号量实现内核态的进程调度;

    4)信号量数据结构

    • 信号量数据结构包括 value值(信号量值), pcb队列(阻塞到信号量的进程队列);
    • 因为信号量的值要被所有进程看到,所以信号量在内核态;pcb是存储进程信息的数据结构;

    【2】信号量代码

    【2.1】代码1-打开信号量

     

    1. Producer(item) {
    2. P(empty); // P是生产者,empty减1
    3. ...
    4. V(full); // V是消费者,full 加1
    5. }
    6. // 用户态程序 producer.c
    7. main(){
    8. sd = sem_open("empty"); // 打开信号量
    9. for (i=1 to 5)
    10. sem_wait(sd); // 写数据前,要看是否有空闲缓冲区;
    11. write(fd, &i, 4); // 把5个数字(1 2 3 4 5) 写入到磁盘,每个数字4个字节
    12. }
    13. // sem.c // 进入内核
    14. // 信号量结构体
    15. typedef struct {
    16. char name[20]; // 信号量名称
    17. int value; // 信号量值,一个整型变量
    18. task_struct* queue; // 缓冲区队列
    19. } semtable[20];
    20. // 系统调用:打开信号量或创建信号量
    21. sys_sem_open(char *name) {
    22. 在 semtable 中寻找name对上的项;
    23. 没找到则创建;
    24. 找到则返回对应下标;
    25. }
    26. // 写数据前,要看是否有空闲缓冲区
    27. // 开关中断用于保护临界区
    28. sys_sem_wait(int sd) {
    29. cli();// 关中断,不允许cpu响应其他中断请求,
    30. // 不响应中断的目的是不响应时钟中断,从而不触发进程调度
    31. // 这里判断信号量用的是if ,目的是唤醒第1个进程
    32. if (semtable[sd].value-- < 0) {
    33. // 设置自己为阻塞;
    34. // 将自己加入到 semtable[sd].queue 中;
    35. schedule(); // 切换到其他进程执行
    36. }
    37. sti(); // 开中断
    38. }

    【2.2】代码2-读磁盘的信号量

     

    1. // 读磁盘块
    2. bread(int dev, int block)
    3. {
    4. struct buffer_head* bh; // 申请一段空闲缓冲区内存(用于映射磁盘块空间)
    5. ll_rw_block(READ, bh); // 发起读命令
    6. wait_on_buffer(bh); // 等待磁盘响应,然后读数据到缓冲区bh
    7. }
    8. // 启动磁盘读以后睡眠,
    9. // 等待磁盘读完由磁盘中断将其唤醒,也是一种同步
    10. // 开关中断用于保护临界区,临界区保证同时仅有一个进程操作信号量
    11. lock_buffer(buffer_head* bh)
    12. {
    13. cli(); // 关中断
    14. // 这里判断信号量用的是 while,目的是唤醒所有阻塞进程
    15. while(bh->b_lock)
    16. sleep_on(&bh->b_wait); // 如果被锁上,当前进程睡眠
    17. bh->b_lock = 1; // b_lock也是信号量;这里上锁; 数据读完后,中断服务程序解锁;
    18. sti(); // 开中断
    19. }
    20. // 当前进程阻塞(睡眠),切换到其他进程
    21. void sleep_on(struct task_struct **p)
    22. {
    23. struct task_struct *tmp;
    24. tmp = *p;
    25. *p = current;
    26. current->state = TASK_UNINTERRUPTIBLE; // 把进程状态更新为阻塞态
    27. schedule(); // 调度, 底层调用switch_to()以切换到其他进程执行;
    28. if (tmp)
    29. tmp->state = 0;
    30. }

    【2.3】代码3-sleep_on形成的队列


    【2.4】 代码4-从队列中唤醒阻塞进程

     

    1. // 对阻塞进程的唤醒 (通过磁盘中断来唤醒)
    2. static void read_intr(void)
    3. {
    4. ...
    5. end_request(1); // 磁盘准备数据完成后调用
    6. }
    7. end_request(int uptodate)
    8. {
    9. ...
    10. unlock_buffer(CURRENT->bh); // 解锁缓冲区
    11. }
    12. // 解锁缓冲区
    13. unlock_buffer(struct buffer_head *bh)
    14. {
    15. bh->b_lock = 0;
    16. wake_up(&bh->b_wait); // 唤醒阻塞的进程
    17. }
    18. // 唤醒阻塞的进程
    19. wake_up(struct task_struct **p)
    20. {
    21. if (p && *p)
    22. {
    23. (**p).state = 0; // 把阻塞进程的state设置为0,该进程就变成就绪态了
    24. *p = NULL;
    25. }
    26. }


    注意:代码1用 if 判断信号量,代码2用 while 判断信号量,注意两者的区别;

  • 相关阅读:
    C++入门基础05:表达式(表达式基础、算术运算符与赋值运算符、逻辑关系运算符、成员访问运算符与条件运算符、位运算符、移位运算符与类型转换)
    CVE-2016-4977 Spring远程代码执行漏洞复现 POC、EXP在文末
    【QT】信号和槽机制
    excel函数的基本操作和案例演示
    数据分析(python)学习笔记1.0
    洛谷-官方题单版【入门篇】
    LeetCode-分割回文串(C++)
    459. 重复的子字符串(力扣LeetCode)
    【软件测试】别人家的才是最优秀的,一位“屌丝”的逆袭......
    SimSiam-Exploring Simple Siamese Pepresentation Learning
  • 原文地址:https://blog.csdn.net/PacosonSWJTU/article/details/125552958
  • 最新文章
  • 沪漂五周年了:我越来越迷茫了
    Agentic Skill Routing 实战:别再把所有 Skill 塞进 AI Agent 上下文
    MySQL-Seconds_behind_master的精度误差
    [MAF预定义ChatClient中间件-03]CachingChatClient——利用缓存省钱省时间
    AI的至暗历史:从万众期待到被政府撤资,AI的两次死亡徘徊
    Agent OS :五种驯服不确定性的范式
    PortSwigger SQL注入LAB11
    数据库即时编译JIT
    [Begin]AI Learn Data Day 0
    深度学习进阶(二十七)现代 LLM 的核心架构设计其二:SwiGLU
  • 热门文章
  • 十款代码表白小特效 一个比一个浪漫 赶紧收藏起来吧!!!
    奉劝各位学弟学妹们,该打造你的技术影响力了!
    五年了,我在 CSDN 的两个一百万。
    Java俄罗斯方块,老程序员花了一个周末,连接中学年代!
    面试官都震惊,你这网络基础可以啊!
    你真的会用百度吗?我不信 — 那些不为人知的搜索引擎语法
    心情不好的时候,用 Python 画棵樱花树送给自己吧
    通宵一晚做出来的一款类似CS的第一人称射击游戏Demo!原来做游戏也不是很难,连憨憨学妹都学会了!
    13 万字 C 语言从入门到精通保姆级教程2021 年版
    10行代码集2000张美女图,Python爬虫120例,再上征途
小工具 小游戏
Copyright © 2022 侵权请联系2656653265@qq.com    京ICP备2022015340号-1

京公网安备 11010502049817号