Programming

Precise Garbage Collection for C

steloflute 2014. 10. 1. 22:02

http://www.cs.utah.edu/~regehr/papers/ismm15-rafkind.pdf


Abstract
Magpie is a source-to-source transformation for C programs that
enables precise garbage collection, where
precise
means that inte-
gers are not confused with pointers, and the liveness of a pointer
is apparent at the source level. Precise GC is primarily useful for
long-running programs and programs that interact with untrusted
components. In particular, we have successfully deployed precise
GC in the C implementation of a language run-time system that was
originally designed to use conservative GC. We also report on our
experience in transforming parts of the Linux kernel to use precise
GC instead of manual memory management.
Categories and Subject Descriptors
D.4.2 [
Storage Manage-
ment
]: Garbage Collection
General Terms
Design, Reliability
Keywords
garbage collection, precise, accurate, conservative, C




'Programming' 카테고리의 다른 글

(Common Lisp) Converting characters to integers  (0) 2014.10.27
Test EOF in Common Lisp  (0) 2014.10.24
setf macro in Common Lisp  (0) 2014.09.29
Download a file from the internet using Perl  (0) 2014.09.25
Continuations and tail recursion  (0) 2014.06.24