[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 ...
随机推荐
- abap--How to debug backgroud job
最近被一个朋友问起如何调试后台进程(一个abap的面试题),我一时也不知道如何答,他后来告诉我到sdn上找答案,我现在将答案收集供大家参考:Steps 1. Create variant called ...
- SharePoint 2013 WebPart 管理工具分享[开源]
前言 之前做门户的时候,经常要导入导出WebPart,非常的频繁,然后就需要一个个导出,然后一个个导入,非常繁琐:闲暇之际,就考虑能不能自动化一下,把这个功能写成一个工具,可以方便的管理WebPart ...
- Quartz2D复习(二) --- 手势解锁
这次支付宝手机客户端升级,把手势解锁那个功能去掉了,引起很多人的抱怨,觉得少了手势解锁的保护,个人信息容易泄漏了... 那么手势解锁功能是怎么是实现的呢,这里使用Quart2D来简单模拟一下, 先看下 ...
- 【读书笔记】iOS网络-应用间通信
一,URL方案 URL方案有3个主要用途:根据设备上其他应用的存在与否调整逻辑,切换到其他应用以及响应打开你的应用的其他应用.你还可以通过URL方案从某个站点或是在基于Web的认证流程结束是打开应用. ...
- iOS开发之多线程技术——GCD篇
本篇将从四个方面对iOS开发中GCD的使用进行详尽的讲解: 一.什么是GCD 二.我们为什么要用GCD技术 三.在实际开发中如何使用GCD更好的实现我们的需求 一.Synchronous & ...
- Swift中的部分更新与旧版的区别
1. 函数中的外部变量名取消 “#”方式,仅能用直接命名方式 错误 func swift(#str :NSString){} 正确 func swift(str str :NSString){} 2. ...
- WordCount的程序设计没写出来怎么办
这一星期要完成三个小作业,完成前两个已经让我很吃力的了,现在这个WordCount的编程我都没有头绪,不知道从何下手.虽然要求很看起来很简单,可是不知道怎么去设计这个程序,这两天我也在积极找书学习相关 ...
- CentOS vsftp安装与配置
详细配置说明:. http://www.cnblogs.com/app-lin/p/5189762.html 1.安装vsftpd yum install vsftpd 2.启动/重启/关闭vsftp ...
- 用java的jdk 生成android 的jni接口文档
1 检查系统是否安装了jdk,并将javac的路径配置到PATH中 cmd窗口,输入 java -version 查看输出项 2 创建需要so的接口类package com.ndk.test; p ...
- C# 重载运算符
如果你想让自己定义的类型可以用运算符进行运算,那么可以通过重载运算符来实现: 示例: class Salary { public int RMB { get; set; } public static ...