Open AccessType-based safe resource deallocation for shared-memory concurrency
Author(s) -
Kohei Suenaga,
R. Fukuda,
Atsushi Igarashi
Publication year - 2012
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - English
Resource type - Conference proceedings
ISSN - 0362-1340
DOI - 10.1145/2384616.2384618
Subject(s) - computer science , concurrency , parallel computing , synchronization (alternating current) , memory protection , shared memory , transactional memory , distributed computing , memory management , concurrency control , operating system , programming language , uniform memory access , computer network , overlay , channel (broadcasting) , database transaction
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom