Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2002.04b
  • /
  • Pages.352-354
  • /
  • 2002
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Memory Type System for Safe and Efficient Memory Reuse

메모리 타입 분석을 통한 안전하고 효율적인 메모리 재사용

  • 이욱세 (한국과학기술원 전자전산학과/프로그램 분석 시스템 연구단) ;
  • 이광근 (한국과학기술원 전자전산학과/프로그램 분석 시스템 연구단)
  • Published : 2002.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords