[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 ...
随机推荐
- SAP 调用RFC 的时候记录异常报错方式
DATA: lv_error TYPE char100. CALL FUNCTION 'ZRFC_WM_ZEL001' DESTINATION lv_desc EXPORTING process_fl ...
- SharePoint 2013 数据库中手动更新用户信息
在SharePoint的使用过程中,尤其是Windows认证的情况下,而且没有配置用户配置文件服务,经常会出现如果更新AD中的用户信息(包括名字.显示名.邮件等),SharePoint这边站点并不会更 ...
- 完美解决AutoCAD2012,AutoCAD2013本身电脑里有NET4.0或以上版本却装不上的问题
适用情况:电脑里本身有NET4.0或4.5版本,并且正确安装.或本身你就装有AutoCAD2013或AutoCAD2012要装AutoCAD2012或AutoCAD2013却装不上的情况 如图1所示. ...
- java连接hbase报错
报错信息如下: The node /hbase is not in ZooKeeper. It should have been written by the master. Check the va ...
- Thoughts on an Article from Science 'A network framework of cultural history'
Apparently, this is an excellent interdisciplinary study. This paper drawn on a simple but large dat ...
- Swift开发第十篇——可变参数函数&初始化方法顺序
本篇分为两部分: 一.Swift中的可变参数函数 二.初始化方法的顺序 一.Swift中的可变参数函数 可变参数函数指的是可以接受任意多个参数的函数,在 OC 中,拼接字符串的函数就属于可变参数函数 ...
- java反射机制一个例子
import java.lang.reflect.*; public class DumpMethods { public static void main(String args[]) { try ...
- C# MVC模式 404 500页面设置方法
<customErrors mode="On" defaultRedirect="Controllers/Action"> <error st ...
- Java基础知识学习(三)
面向对象部分 首先要了解面向对象的思想,与C#一致,都是面向对象的语言 访问修饰符 public 共有的,对所有类可见. protected 受保护的,对同一包内的类和所有子类可见. private ...
- Ajax最详细的参数解析和场景应用
4.1.定义和用法 AJAX即“Asynchronous Javascript And XML”(异步JavaScript和XML),是指一种创建交互式网页应用的网页开发技术. AJAX = 异步 J ...