一种统一处理区域和锁的并发语言

IF 0.1 4区历史学 0 ARCHAEOLOGY Journal of Historic Buildings and Places Pub Date : 2010-02-04 DOI:10.4204/EPTCS.17.7

Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas

{"title":"一种统一处理区域和锁的并发语言","authors":"Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas","doi":"10.4204/EPTCS.17.7","DOIUrl":null,"url":null,"abstract":"A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.","PeriodicalId":53164,"journal":{"name":"Journal of Historic Buildings and Places","volume":"15 1","pages":"79-93"},"PeriodicalIF":0.1000,"publicationDate":"2010-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"A Concurrent Language with a Uniform Treatment of Regions and Locks\",\"authors\":\"Prodromos Gerakios, N. Papaspyrou, Konstantinos Sagonas\",\"doi\":\"10.4204/EPTCS.17.7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.\",\"PeriodicalId\":53164,\"journal\":{\"name\":\"Journal of Historic Buildings and Places\",\"volume\":\"15 1\",\"pages\":\"79-93\"},\"PeriodicalIF\":0.1000,\"publicationDate\":\"2010-02-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Historic Buildings and Places\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.17.7\",\"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.17.7","RegionNum":4,"RegionCategory":"历史学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"ARCHAEOLOGY","Score":null,"Total":0}

引用次数: 10

摘要

编程语言研究的一个挑战是设计和实现多线程低级语言，为内存安全和免于数据竞争提供静态保证。为了实现这一目标，我们提出了一种采用基于安全区域的内存管理和分层区域锁定的并发语言。区域和锁都是统一处理的，并且该语言支持所有权转移、区域的早期回收和锁的早期安全释放。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A Concurrent Language with a Uniform Treatment of Regions and Locks

A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.

求助全文

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