[No00003D]操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock
操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock
可以操刀了—从纸上到实际
从Linux 0.11 那里学点东西…
读磁盘块
bread(int dev,int block){
struct buffer_head * bh;
ll_rw_block(READ,bh);
wait_on_buffer(bh);
启动磁盘读以后睡眠,等待磁盘读完由磁盘中断将其唤醒,也是一种同步
lock_buffer(buffer_head*bh)
{cli();
while(bh->b_lock)???
sleep_on(&bh->b_wait);
bh->b_lock = 1;
sti(); }
void sleep_on(struct task_struct **p){
struct task_struct *tmp;
tmp = *p;
*p = current;
current->state = TASK_UNINTERRUPTIBLE;
schedule();
if (tmp)
tmp->state=0;}
Linux 0.11 sleep_on形成的队列
sleep_on(struct task_struct **p) p 是一个指向task_struct 结构体的指针的指针
如何从Linux 0.11 的这个队列中唤醒?
static void read_intr(void){
... 磁盘中断
end_request(1);
end_request(int uptodate){
...
unlock_buffer(CURRENT->bh);
unlock_buffer(struct buffer_head * bh){
bh->b_lock=0;
wake_up(&bh->b_wait);}
schedule();
if (tmp)
tmp->state=0; 这是sleep_on 的最后三句
wake_up(struct task_struct **p){
if (p && *p) {
(**p).state=0; *p=NULL;}}
死锁处理Deadlock
死锁的成因
资源 互斥使用,一旦占有别人无法使用
进程 占有 了一些资源,又不释放,再去 申请 其他资源
各自占有的资源和互相申请的资源形成了环路等待
死锁的4个必要条件
互斥使用(Mutual exclusion)
资源的固有特性, 如道口
不可抢占(No preemption)
资源只能自愿放弃, 如车开走以后
请求和保持(Hold and wait)
进程必须占有资源,再去申请
循环等待(Circular wait)
在资源分配图中存在一个环路
死锁处理方法概述
死锁预防 "no smoking" ,预防火灾
破坏死锁出现的条件
死锁避免 检测到煤气超标时,自动切断电源
检测每个资源请求,如果造成死锁就拒绝
死锁检测+ 恢复 发现火灾时,立刻拿起灭火器
检测到死锁出现时,让一些进程回滚,让出资源
死锁忽略 在太阳上可以对火灾全然不顾
就好像没有出现死锁一样
死锁预防的方法例子
在进程执行前, 一次性申请所有需要的资源, 不会占有资源再去申请其它资源
缺点1: 需要预知未来,编程困难
缺点2: 许多资源分配后很长时间后才使用,资源利用率低
对资源类型进行排序, 资源申请必须按序进行 ,不会出现环路等待
缺点: 仍然造成资源浪费
死锁避免: 判断此次请求是否引起死锁?
如果系统中的所有进程存在一个可完成的执行序列P 1 ,…P n ,则称系统处于安全状态
都能执行完成当然就不死锁
找安全序列的银行家算法(Dijkstra 提出)
int Available[1..m]; // 每种资源剩余数量
int Allocation[1..n,1..m]; // 已分配资源数量
int Need[1..n,1..m];// 进程还需的各种资源数量
int Work[1..m]; // 工作向量
bool Finish [1..n]; // 进程是否结束
Work = Available; Finish[1..n] = false;
while(true){
for(i=1; i<=n; i++){
if(Finish[i]==false && Need[i]≤Work){
Work = Work + Allocation[i];
Finish[i] = true; break;} //T(n)=O(mn 2 )
else {goto end;}
}
}
End: for(i=1;i<=n;i++)
if(Finish[i]==false) return "deadlock";
死锁避免之银行家算法实例
请求出现时:首先假装分配,然后调用银行家算法
P 0 申请(0,2,0)
进程P 0 , P 1 , P 2 , P 3 , P 4 一个也没法执行,死锁进程组
此次申请被拒绝
死锁检测+ 恢复: 发现问题再处理
基本原因: 每次申请都执行O(mn 2 ) ,效率低。 发现问题再处理
定时检测或者是发现资源利用率低时检测
Finish[1..n] = false;
if(Allocation[i] == 0) Finish[i]=true;
...// 和Banker 算法完全一样
for(i=1;i<=n;i++)
if(Finish[i]==false)
deadlock = deadlock + {i};
选择哪些进程回滚? 优先级? 占用资源多的? …
如何实现回滚? 那些已经修改的文件怎么办?
到此:提供以前所有操作系统 doc下载
[No00003D]操作系统Operating Systems信号量的代码实现Coding Semaphore &死锁处理Deadlock的更多相关文章
- [No00003C]操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore
操作系统Operating Systems进程同步与信号量Processes Synchronization and Semaphore 进程合作:多进程共同完成一个任务 从纸上到实际:生产者− − ...
- [No00003A]操作系统Operating Systems 内核级线程Kernel Threads内核级线程实现Create KernelThreads
开始核心级线程 内核级线程对多核的支持怎么样? 和用户级相比,核心级线程有什么不同? ThreadCreate 是系统调用,内核管理TCB ,内核负责切换线程 如何让切换成型? − − 内核栈,TCB ...
- [No000036]操作系统Operating Systems系统调用的实现System_Call
实现一个whoami 系统调用 系统调用的直观实现 问题+直观想法… 用户程序调用whoami, 一个字符串"systemcall "放在操作系统中(系统引导时载入) ,取出来打印 ...
- [No000037]操作系统Operating Systems操作系统历史与硬件概况History of OS & Summaries!
培根:读史使人明智 操作系统的简史 (1955-1965) 计算机非常昂贵,上古神机IBM7094 ,造价在250万美元以上 计算机使用原则:只专注于计算 批处理操作系统(Batch system) ...
- [No000031]操作系统 Operating Systems 之Open the OS!
从打开电源开始… 这神秘的黑色背后发生着什么?… 打开电源,计算机执行的第一句指令什么? 计算模型(图灵机) ⇒ 我们要 关注 指针IP 及其 指向的内容 看看x86 PC (1) 刚开机时CPU 处 ...
- [No000038]操作系统Operating Systems -CPU
管理CPU ,先要使用CPU… CPU 的工作原理 CPU上电以后发生了什么? 自动的取指 — 执行 CPU 怎么工作? CPU怎么管理? 管理CPU 的最直观方法 设好PC 初值就完事! 看看这样做 ...
- [No000039]操作系统Operating Systems用户级线程User Threads
多进程是操作系统的基本图像 是否可以资源不动而切换指令序列? 进程 = 资源 + 指令执行序列 线程: 保留了并发的优点,避免了进程切换代价 实质就是映射表不变而PC 指针变 多个执行序列+ 一个地址 ...
- Modern Operating Systems(Ⅰ)——2014.12.15
进程 进程模型 进程就是一个正在执行的程序的实例 值得注意的是,若一个程序运行了两遍,则算作两个进程 创建进程 在通用系统中,有四种主要事件导致进程的创建 ①系统的初始化 ②执行了 正在 ...
- Operating Systems (COMP2006)
Operating Systems (COMP2006) 1st Semester 2019Page 1, CRICOS Number: 00301JOperating Systems (COMP20 ...
随机推荐
- Sharepoint学习笔记—习题系列--70-576习题解析 -(Q63-Q65)
Question 63You are designing a SharePoint 2010 implementation that will be used by a company with a ...
- AppCompatActivity实现全屏的问题
前言:我的 Activity 是继承 BaseActivity , 而 BaseActivity 继承 AppCompatActivity . BaseActivity 的继承 /** * 应用程序的 ...
- mac os intellij如何快路查看一个java类的所有方法,结构
如果是自己写的java类,点击点击导航的project-setting-show members 如果是系统库的,点击structure 再点一下lib中的类,或者快捷键 command+F12
- MVVM 模式下iOS项目目录结构详细说明
➠更多技术干货请戳:听云博客 我们在做项目的时候,会经常用到各种设计模式,最常见的要数 MVC (模型,视图,控制器)了.但是,今天我们要说的是另一种设计模式——MVVM. 所以 MVVM 到底是什么 ...
- Swift开发第七篇——字面量转换&下标
本篇分为两部分: 一.Swift 中的字面量转换 二.Swift 中的下标 一.Swift 中的字面量转换 所谓字面量就是指像特定的数字,字符串或者是布尔值这样能够直接了当地指出自己的类型并未变量进行 ...
- IOS block 循环引用的解决
在介绍block循环引用前我们先了解一下typeof. typeof是什么??? typeof 是一个一元运算,放在一个运算数之前,运算数可以是任意类型. 它返回值是一个字符串,该字符串说明运算数的类 ...
- wpf开发桌面软件记录
我的开发环境是win7,vs2013,sql2012,用wpf开发了一个很简单的桌面软件,用Installshield制作的安装包,安装包包含了.framework4.5,在自己电脑上测试正常,想着挺 ...
- ArrayList vs LinkedList vs Vector
List概览 List,正如它的名字,表明其是有顺序的.当讨论List的时候,最好拿它跟Set作比较,Set中的元素是无序且唯一:下面是一张类层次结构图,从这张图中,我们可以大致了解java集合类的整 ...
- 编写可测试的JavaScript代码
<编写可测试的JavaScript代码>基本信息作者: [美] Mark Ethan Trostler 托斯勒 著 译者: 徐涛出版社:人民邮电出版社ISBN:9787115373373上 ...
- MVC Ajax Helper或jQuery异步方式加载部分视图
Model: namespace MvcApplication1.Models { public class Team { public string Preletter { get; set; } ...