拒绝安全、快速行动者的能力

Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control Pub Date : 2015-10-26 DOI:10.1145/2824815.2824816

S. Clebsch, S. Drossopoulou, Sebastian Blessing, Andy McNeil

{"title":"拒绝安全、快速行动者的能力","authors":"S. Clebsch, S. Drossopoulou, Sebastian Blessing, Andy McNeil","doi":"10.1145/2824815.2824816","DOIUrl":null,"url":null,"abstract":"Abstract Combining the actor-model with shared memory for performance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness and immutability, but lack flexibility and high performance implementations. Our approach, based on deny properties, allows reading, writing and traversing unique references, introduces a new form of write uniqueness, and guarantees atomic behaviours.","PeriodicalId":316006,"journal":{"name":"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"109","resultStr":"{\"title\":\"Deny capabilities for safe, fast actors\",\"authors\":\"S. Clebsch, S. Drossopoulou, Sebastian Blessing, Andy McNeil\",\"doi\":\"10.1145/2824815.2824816\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract Combining the actor-model with shared memory for performance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness and immutability, but lack flexibility and high performance implementations. Our approach, based on deny properties, allows reading, writing and traversing unique references, introduces a new form of write uniqueness, and guarantees atomic behaviours.\",\"PeriodicalId\":316006,\"journal\":{\"name\":\"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control\",\"volume\":\"44 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-10-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"109\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2824815.2824816\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2824815.2824816","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 109

摘要

将参与者模型与共享内存相结合可以提高性能，但会引入数据竞争。现有的静态数据竞争自由方法基于唯一性和不变性，但缺乏灵活性和高性能实现。我们的方法基于deny属性，允许读、写和遍历唯一引用，引入了一种新的写惟一性形式，并保证了原子行为。

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

查看原文本刊更多论文

Deny capabilities for safe, fast actors

Abstract Combining the actor-model with shared memory for performance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness and immutability, but lack flexibility and high performance implementations. Our approach, based on deny properties, allows reading, writing and traversing unique references, introduces a new form of write uniqueness, and guarantees atomic behaviours.

求助全文

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

来源期刊

Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control

自引率

0.00%

发文量