메모리 타입 분석을 통한 안전하고 효율적인 메모리 재사용 = A Memory Type System for Safe and Efficient Memory Reuse

국문 초록 (Abstract)

메모리 재활용 방법(garbage collection)은 안전하고 효율적이지만, 메모리를 재사용하려면 항상 메모리를 수거해야 하는 비용이 든다. 가능하면 메모리 수거없이 즉각적으로 메모리를 재사용하게 함으로써 비용을 줄일 수 있다. 본 논문에서는 실행시간 정보 전달을 통해 효과적으로 메모리를 즉각 재사용할 수 있는 방법을 제시하고, 그러한 메모리 재사용이 안전하다는 것을 증명하는 메모리 타입 시스템을 제시한다. 제시한 방법을 사용하여 프로그램 sieve를 28.1% 빠르게 실행할 수 있었다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 메모리 재사용 언어
• 3. 메모리 타입
• 4. 메모리 타입 시스템
• 5. 메모리 안전성
• 6. 결론
• 참고 자료