2012年10月
Type-based safe resource deallocation for shared-memory concurrency
Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
- ,
- ,
- 開始ページ
- 1
- 終了ページ
- 20
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1145/2398857.2384618
- 出版者・発行元
- ASSOC COMPUTING MACHINERY
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. Copyright © 2012 ACM.
- リンク情報
-
- DOI
- https://doi.org/10.1145/2398857.2384618
- DBLP
- https://dblp.uni-trier.de/rec/conf/oopsla/SuenagaFI12
- Web of Science
- https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000311296200001&DestApp=WOS_CPL
- URL
- http://doi.acm.org/10.1145/2384616.2384618
- URL
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#conf/oopsla/SuenagaFI12
- ID情報
-
- DOI : 10.1145/2398857.2384618
- ISSN : 1523-2867
- DBLP ID : conf/oopsla/SuenagaFI12
- SCOPUS ID : 84870438060
- Web of Science ID : WOS:000311296200001