Type-based Safe Resource Deallocation for Shared-Memory Concurrency
Type-based Safe Resource Deallocation for Shared-Memory Concurrency
复制标题
用于共享内存并发的基于类型的安全资源释放
DOI：
10.1145/2384616.2384618
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Atsushi Igarashi
中科院分区：
文献类型：
--
作者：
Kohei Suenaga;Ryota Fukuda;Atsushi Igarashi
我们提出了一个类型系统，以保证安全的共享内存并发程序的资源重新分配，通过扩展以前的类型系统的基础上，分数优先级。这里，安全资源释放意味着当程序终止时，内存单元、锁或线程不会被分配。我们的框架支持（1）fork/join并行，（2）锁同步，（3）动态分配的内存单元和锁。该类型系统被证明是合理的。我们还提供了一个类型系统的类型推理算法和算法的原型实现。
We propose a type system to guarantee safe resource deallocation for shared-memory concurrent programs by extending the previous type system based on fractional ownerships. Here, safe resource deallocation means that memory cells, locks, or threads are not left allocated when a program terminates. Our framework supports (1) fork/join parallelism, (2) synchronization with locks, and (3) dynamically allocated memory cells and locks. The type system is proved to be sound. We also provide a type inference algorithm for the type system and a prototype implementation of the algorithm.