码农知识堂 - 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 判断信号量,注意两者的区别;

  • 相关阅读:
    python基于PHP+MySQL的驾校练车预约系统
    c++内存的四大分区详解
    机器学习(监督学习)笔记
    MySQL之数据库编程(创建存储函数&&设置触发器)
    laravel5.1反序列化
    Docker部署ZooKeeper
    【C语言】字符串逆序
    【每天学习一点新知识】网络安全--拒绝服务攻击
    The Sandbox 正在 Polygon 网络上进行部署
    Java开源专业计算引擎:跑批真的这么难吗?
  • 原文地址:https://blog.csdn.net/PacosonSWJTU/article/details/125552958
  • 最新文章
  • 攻防演习之三天拿下官网站群
    数据安全治理学习——前期安全规划和安全管理体系建设
    企业安全 | 企业内一次钓鱼演练准备过程
    内网渗透测试 | Kerberos协议及其部分攻击手法
    0day的产生 | 不懂代码的"代码审计"
    安装scrcpy-client模块av模块异常,环境问题解决方案
    leetcode hot100【LeetCode 279. 完全平方数】java实现
    OpenWrt下安装Mosquitto
    AnatoMask论文汇总
    【AI日记】24.11.01 LangChain、openai api和github copilot
  • 热门文章
  • 十款代码表白小特效 一个比一个浪漫 赶紧收藏起来吧!!!
    奉劝各位学弟学妹们,该打造你的技术影响力了!
    五年了,我在 CSDN 的两个一百万。
    Java俄罗斯方块,老程序员花了一个周末,连接中学年代!
    面试官都震惊,你这网络基础可以啊!
    你真的会用百度吗?我不信 — 那些不为人知的搜索引擎语法
    心情不好的时候,用 Python 画棵樱花树送给自己吧
    通宵一晚做出来的一款类似CS的第一人称射击游戏Demo!原来做游戏也不是很难,连憨憨学妹都学会了!
    13 万字 C 语言从入门到精通保姆级教程2021 年版
    10行代码集2000张美女图,Python爬虫120例,再上征途
Copyright © 2022 侵权请联系2656653265@qq.com    京ICP备2022015340号-1
正则表达式工具 cron表达式工具 密码生成工具

京公网安备 11010502049817号