[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 ...
随机推荐
- 马旭飞:共探H3 BPM社区发展战略
近日,以"让天下没有难用的流程"为主题,H3 BPM10.0在北京金隅喜来登酒店正式发布. H3 BPM全新的业务流程管理系统是颠覆BPM行业的巨作,拥有众多独创技术,近200个业 ...
- Atitit。Web server Jetty9 使用 attilax 总结
Atitit.Web server Jetty9 使用 attilax 总结 1.1. 静态文件的资源1 1.2. Servlet使用1 1.3. code1 1.1. 静态文件的资源 WebAppC ...
- JavaScript学习10 JS数据类型、强制类型转换和对象属性
JavaScript学习10 JS数据类型.强制类型转换和对象属性 JavaScript数据类型 JavaScript中有五种原始数据类型:Undefined.Null.Boolean.Number以 ...
- C语言的基本输入与输出函数(全解)
C语言的基本输入与输出函数 1.1.1 格式化输入输出函数 Turbo C2.0 标准库提供了两个控制台格式化输入. 输出函数printf() 和scanf(), 这两个函数可以在标准输入输出设备上以 ...
- Android NDK之JNI陷阱
背景: 最近一个月一直在做移植库的工作,将c代码到share library移植到Android平台.这就涉及到Android NDK(native develop kit)内容.这里只想记录下JNI ...
- 防止IOS6与IOS7图标不一致
点击AppIcon在属性栏内找到iOS icon is pre-rendered打上勾. 如果之前已经安装过,需要先把APP卸载掉再安装.(因为模拟器有缓存) xcode4版本的话需要在INFO内增加 ...
- iOS中View生命周期与布局
生命周期 说到view的生命周期一般都是指视图控制器的view生命周期. view的创建:loadView 视图控制器(UIViewController)及其子类,无论是手写代码还是storyboar ...
- eclipse怎样在线安装hibernate tools插件并使用
不知不觉,小Alan已经将近3个月没有上班了,最近在复习一些知识,随时准备回到代码世界的战场,今天复习到了Hibernate,记录一下一点点小知识,那就是eclipse下hibernate Tools ...
- 学习 OAuth2.0
基于浏览器 访问后跳到登录页面,登录成功后跳转到授权页面,授权成功后跳转到redirect_uri指定的地址. 1.请求授权. http://localhost:8080/oauth/authoriz ...
- AngularJS 简介
AngularJS 是一个 JavaScript 框架. 它可通过 <script> 标签添加到 HTML 页面. <script src="http://apps.bdi ...