Deadlock and deadlock freedom
<p>We introduce a number of techniques for establishing the deadlock freedom of concurrent systems. Our methods are based on the local analysis (or at worst a directed global analysis) of networks. We identify the relationships between these techniques and the range of their application within...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
1989
|
| _version_ | 1797065797290426368 |
|---|---|
| author | Dathi, N |
| author_facet | Dathi, N |
| author_sort | Dathi, N |
| collection | OXFORD |
| description | <p>We introduce a number of techniques for establishing the deadlock freedom of concurrent systems. Our methods are based on the local analysis (or at worst a directed global analysis) of networks. We identify the relationships between these techniques and the range of their application within a framework of deadlock freedom types that we have defined. We also show that the problem of proving total correctness may be translated to one of proving deadlock freedom, with the consequence that our techniques for proving deadlock freedom may be utilised to effect a total correctness proof.</p> |
| first_indexed | 2024-03-06T21:33:44Z |
| format | Thesis |
| id | oxford-uuid:458852c5-fa20-41f4-8537-8085a063c546 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:33:44Z |
| publishDate | 1989 |
| record_format | dspace |
| spelling | oxford-uuid:458852c5-fa20-41f4-8537-8085a063c5462022-03-26T15:08:20ZDeadlock and deadlock freedomThesishttp://purl.org/coar/resource_type/c_db06uuid:458852c5-fa20-41f4-8537-8085a063c546Polonsky Theses Digitisation Project1989Dathi, N<p>We introduce a number of techniques for establishing the deadlock freedom of concurrent systems. Our methods are based on the local analysis (or at worst a directed global analysis) of networks. We identify the relationships between these techniques and the range of their application within a framework of deadlock freedom types that we have defined. We also show that the problem of proving total correctness may be translated to one of proving deadlock freedom, with the consequence that our techniques for proving deadlock freedom may be utilised to effect a total correctness proof.</p> |
| spellingShingle | Dathi, N Deadlock and deadlock freedom |
| title | Deadlock and deadlock freedom |
| title_full | Deadlock and deadlock freedom |
| title_fullStr | Deadlock and deadlock freedom |
| title_full_unstemmed | Deadlock and deadlock freedom |
| title_short | Deadlock and deadlock freedom |
| title_sort | deadlock and deadlock freedom |
| work_keys_str_mv | AT dathin deadlockanddeadlockfreedom |