归纳法证个题，谁会？ - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Unix - 噫吁兮，危乎高哉

归纳法证个题，谁会？

归纳法证个题，谁会？# Unix - 噫吁兮，危乎高哉

d*t2002-11-17 08:11

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*g2002-11-17 08:11

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*d2002-11-17 08:11

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*t2002-11-17 08:11

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*g2002-11-17 08:11

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*t2002-11-17 08:11

6 楼

哎，老师要求用MATH INDUCTION ：（
这操作系统的东西居然要这么弄，麻烦。
我都很久没做过数学了。

【在 D****g 的大作中提到】

: why induction?