由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Unix版 - 归纳法证个题,谁会?
相关主题
数学归纳法。Re: 归纳法证个题,谁会?Re: How can I get the whole process list?
how to run background process after logoutHelp with HVision
Help please! 怎么keep当前还在运行的child processowner of cgi process
how to kill a process in emacs?Help on shell script
A problem about child process.FreeBSD: Can't kill child process!
how to fork a subroutine in unix?how to record the process end time in a child process and obtain it in the parent process?
A Unix questionRe: how to record the process end time in a child process and obtain i
kill init process有没有什么工具可以显示哪个process占用了哪些port?
相关话题的讨论汇总
话题: pi话题: processes话题: deadlock话题: 归纳法话题: 个题
进入Unix版参与讨论
1 (共1页)
d*******t
发帖数: 4
1
N processes,{Pi: 1<= i <= N}
one share resource R
let all processes Pi require the use of R. I.e.,each process
performs a wait(R).
证明DEADLOCK不存在。
D****g
发帖数: 2860
2
no one is holding and waiting. hence no dl.

【在 d*******t 的大作中提到】
: N processes,{Pi: 1<= i <= N}
: one share resource R
: let all processes Pi require the use of R. I.e.,each process
: performs a wait(R).
: 证明DEADLOCK不存在。

f***d
发帖数: 101
3
three dead lock requirements:
1. limited resources
2. circular waiting
3. no progress
Break any one of these three, there will be no dead lock.

【在 d*******t 的大作中提到】
: N processes,{Pi: 1<= i <= N}
: one share resource R
: let all processes Pi require the use of R. I.e.,each process
: performs a wait(R).
: 证明DEADLOCK不存在。

d*******t
发帖数: 4
4
还是不懂啊:(
用归纳法的话,
应该是
N=1,就一个PROCESS,P1,一个RESOURCE,R
肯定没有DEADLOCK。
N=2,2个PROCESSES,P1,P2。P1使用R时,P2是WAIT。
也不是DEADLOCK。
然后怎么推广到N呢?
这是归纳法吧?

【在 f***d 的大作中提到】
: three dead lock requirements:
: 1. limited resources
: 2. circular waiting
: 3. no progress
: Break any one of these three, there will be no dead lock.

D****g
发帖数: 2860
5
why induction?

【在 d*******t 的大作中提到】
: 还是不懂啊:(
: 用归纳法的话,
: 应该是
: N=1,就一个PROCESS,P1,一个RESOURCE,R
: 肯定没有DEADLOCK。
: N=2,2个PROCESSES,P1,P2。P1使用R时,P2是WAIT。
: 也不是DEADLOCK。
: 然后怎么推广到N呢?
: 这是归纳法吧?

d*******t
发帖数: 4
6
哎,老师要求用MATH INDUCTION :(
这操作系统的东西居然要这么弄,麻烦。
我都很久没做过数学了。

【在 D****g 的大作中提到】
: why induction?
1 (共1页)
进入Unix版参与讨论
相关主题
有没有什么工具可以显示哪个process占用了哪些port?A problem about child process.
fork() and execve() in Unixhow to fork a subroutine in unix?
Top on SolarisA Unix question
How to get process info on AIX?kill init process
数学归纳法。Re: 归纳法证个题,谁会?Re: How can I get the whole process list?
how to run background process after logoutHelp with HVision
Help please! 怎么keep当前还在运行的child processowner of cgi process
how to kill a process in emacs?Help on shell script
相关话题的讨论汇总
话题: pi话题: processes话题: deadlock话题: 归纳法话题: 个题