| Autor: |
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas |
| Jazyk: |
angličtina |
| Rok vydání: |
2011 |
| Předmět: |
|
| Zdroj: |
Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 44-58 (2011) |
| Druh dokumentu: |
article |
| ISSN: |
2075-2180 |
| DOI: |
10.4204/EPTCS.69.4 |
| Popis: |
Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking primitives, and locks which are implicitly associated with references. The proposed type system does not impose a strict lock acquisition order and thus increases programming language expressiveness. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
