一种统一处理区域和锁的并发语言
编程语言
2010-02-05 v1 分布式、并行与集群计算
摘要
编程语言研究的一个挑战是设计和实现多线程底层语言,使其能够为内存安全和无数据竞争提供静态保证。朝着这一目标,我们提出了一种并发语言,它采用了安全的基于区域的内存管理和区域的分层锁定。区域和锁都被统一处理,并且该语言以安全的方式支持所有权转移、区域的提前释放和锁的提前释放。
引用
@article{arxiv.1002.0940,
title = {A Concurrent Language with a Uniform Treatment of Regions and Locks},
author = {Prodromos Gerakios and Nikolaos Papaspyrou and Konstantinos Sagonas},
journal= {arXiv preprint arXiv:1002.0940},
year = {2010}
}