초록

AI-Helper

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

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

AI 본문요약

엑셀 다운로드 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

• 연구 주제
• 연구 방법
• 연구 결과

문제 정의

• 본 논문에서는 실행시간 정보 전달을 통해 효과적으로 메모리를 즉각 재사용할 수 있는 방법을 제시하고, 메모리 재사용이 안전하다는 것을 증명할 수 있는 메모리 타입 시스템을 제시한다.

가설 설정

• 메모리 타입 분석의 기술을 간단히 하기 위해 다음을 가정한다. (1) 프로그램 내의 모든 변수 이름은 서로 曰■르다. (2) 모든 함수는 자유 변수(bee variable)가 없다.
• (1) 프로그램 내의 모든 변수 이름은 서로 曰■르다. (2) 모든 함수는 자유 변수(bee variable)가 없다. (3) 모든 데, 타 구성 자(data constructor)는 하나 이상의 인자를 갖 는다.
• (2) 모든 함수는 자유 변수(bee variable)가 없다. (3) 모든 데, 타 구성 자(data constructor)는 하나 이상의 인자를 갖 는다. (4)함수는 메모리에 저장되지 않는다.
• (3) 모든 데, 타 구성 자(data constructor)는 하나 이상의 인자를 갖 는다. (4)함수는 메모리에 저장되지 않는다. 즉, 데이타 구성자의 인자로 함수가 올 수 없다.
• 즉, 데이타 구성자의 인자로 함수가 올 수 없다. (5) 모든 데이타 구성자와 그의 인자들이 저장되는 메모리의 크기는 같다.
• 재 사용 정보 了는 함수 호출 간에 전달될 수 있어, 보다 적극적으로 메모리를 재사용할 수 있다. 정확한 의미구조는 그림 1과 같고 타입은 일반적인 단순한 타입 규칙을 따른다고 가정한다.

제안 방법

• (그림2). 가능한 구체적인 메모리 타입 내에서 메모리를 분석하다가 정확한 분석이 불가능할 경우 요약하여 분석한다. 이렇게 요약된 메모리 타입은 필요에 의해 다시 구체화될 수 있다.

후속연구

• 그러기 위해서는 재사용 명령어를 자동으로 유추해내는 알고리즘도 개발하여야 한다. 제시된 타입 시스템은 자동 유추를 염두에 두고 고안되었기 때문에 검증을 위한 다른 메모리 타입 시스템들[7]과 는 달리 자동 유추가 가능할 것으로 보인다. 또한 다형 타 입 (polymorphic type), 참조값 (reference value) 등에 대해서도 메모리 타입 시스템을 확장할 필요가 있다.

본문요약 정보가 도움이 되었나요? 예 아니오 제출

이 논문을 인용한 문헌

더보기