一种用于非结构化锁定的类型系统，它保证了死锁自由而不强加锁顺序

IF 0.1 4区历史学 0 ARCHAEOLOGY

Journal of Historic Buildings and Places Pub Date : 2011-10-18 DOI:10.4204/EPTCS.69.4

Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas

{"title":"一种用于非结构化锁定的类型系统，它保证了死锁自由而不强加锁顺序","authors":"Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas","doi":"10.4204/EPTCS.69.4","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"66 6 1","pages":"44-58"},"PeriodicalIF":0.1000,"publicationDate":"2011-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering\",\"authors\":\"Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas\",\"doi\":\"10.4204/EPTCS.69.4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":53164,\"journal\":{\"name\":\"Journal of Historic Buildings and Places\",\"volume\":\"66 6 1\",\"pages\":\"44-58\"},\"PeriodicalIF\":0.1000,\"publicationDate\":\"2011-10-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Historic Buildings and Places\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.69.4\",\"RegionNum\":4,\"RegionCategory\":\"历史学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"ARCHAEOLOGY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Historic Buildings and Places","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.69.4","RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"ARCHAEOLOGY","Score":null,"Total":0}

引用次数: 7

摘要

死锁发生在并发程序中，是线程之间循环获取资源的结果。在本文中，我们提出了一种新的类型系统，它保证了具有引用、非结构化锁原语和与引用隐式关联的锁的语言的死锁自由。所建议的类型系统没有强加严格的锁获取顺序，因此增加了编程语言的表达性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Historic Buildings and Places

自引率

0.00%

发文量