摘要
OOPN is widely used, but the detection of its deadlock is a problem to be solved. This paper aims to decrease the complexity of the detection of its deadlock as an important step towards the solution of the deadlock detection problem of OOPN. Mathematical analysis is used as it's attacking tool. Definitions of OOPN are given. The deadlocks are divided into structural deadlock, restrictive deadlock and mark deadlock. The way to detect these three types of deadlocks in a given OOPN is given. If a designer detects his specific OOPN to contain structural deadlocks, he should make changes until no structural deadlock can be detected. Thus the detection method appears to be satisfactory for decreasing the complexity of deadlock detection of OOPN.
| 源语言 | 英语 |
|---|---|
| 页（从-至） | 166-170 |
| 页数 | 5 |
| 期刊 | Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University |
| 卷 | 22 |
| 期 | 2 |
| 出版状态 | 已出版 - 4月 2004 |