操作系统 [系统学习六]

本文详细探讨了操作系统中的管程概念,旨在解决信号量机制在编写并发程序时的复杂性问题。管程提供了高级同步机制,简化了程序员的工作。接着,文章深入讨论了死锁,包括其定义、必要条件、处理策略,如破坏互斥条件、避免死锁等,并介绍了银行家算法来防止系统进入不安全状态。
摘要由CSDN通过智能技术生成

管程

为什么要引入管程

  • 信号量机制存在的问题 : 编写程序困难, 易出错.
    • 必须要线操作之后V, 后操作之前P; 必须要先检查后进入 (先同步, 后互斥)
  • 能不能设计一种机制, 让程序员写程序时不需要关注复杂的PV操作,写代码更轻松
  • 管程 : 一种高级同步机制 (为了改进信号量而产生)

在这里插入图片描述

管程的定义和基本特征

  • 管程是一个特殊的软件模块, 由以下部分构成

    • 局部于管程的共享数据结构说明 (私有属性)
    • 对共享数据结构进行操作的一组过程 (公有方法)
    • 对局部于管程的共享数据设置的初始值的语句 (属性初始化)
    • 一个名字 (类名)
  • 管程的基本特征:

    • 局部于管程的数据只能被局部于管程的方法所访问
    • 一个进程只有通过调用管程内的过程才能进入管程访问共享数据
    • 每次仅允许一个进程在管程内执行某个内部过程

用管程解决生产者消费者问题

在这里插入图片描述
在这里插入图片描述

Java中类似与管程的机制

在这里插入图片描述

总结

  • 管程使用了封装的思想, 将互斥同步等一系列复杂的操作(什么时候P什么时候V, 死锁等情况, 在内部都被处理好了, 程序员不必关系)隐藏在了管程内部, 对外只提供了一个简单的接口.
    在这里插入图片描述

死锁

在这里插入图片描述

什么是死锁

在这里插入图片描述

在这里插入图片描述

  • 死锁 : 各进程互相等待对方手里的资源, 导致各进程都阻塞, 无法向前推进的现象.
    • 发生死锁后, 若无外力干涉, 这些进程都无法向前推进

死锁, 饥饿, 死循环

  • 死锁 : 各进程互相等待对方手里的资源, 导致各进程都阻塞, 无法向前推进的现象
  • 饥饿 由于长期得不到想要的资源, 某进程无法向前推进的现象.
    • 比如: 短进程(SPF)优先算法中, 若有源源不断的短进程到来, 则长进程将一直得不到处理机, 从而发生饥饿
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值