[노윤철]

안녕하세요? Exercise 2 메모리 재활용 관련해서 질문 드리고 싶습니다.

다른 Cmd 와는 달리 push v 는 Value를 담고 있고, Loc 및 Record 가 Value에 포함되므로 push v를 통해서 접근 가능한 메모리 주소가 있을 것 같습니다.

예를 들어 PUSH (Val (L (1, 0))) 를 하고 STORE, LOAD를 하여 L (1, 0) 에 접근하는 작동 가능한 Sm5의 프로그램 C를 구성할 수 있을 것으로 보입니다. 이 프로그램에서 S, E, K만 확인한다면 빠뜨리는 메모리 주소가 있을 것 같습니다.

그런데 GC를 위해 C를 확인한다면, S/E/C/K를 확인하게 되어 "현재 기계 상태의 세 개의 부품에서부터 도달 가능한 모든 메모리 주소" 라는 숙제의 설명과는 다르게 되는 것으로 보입니다.

C 또한 확인하는 것이 맞는지, 아니면 PUSH 에 주소를 넣는 경우는 틀린 프로그램으로 보고 무시하면 되는지 궁금합니다.

감사합니다.
노윤철 올림

[안중원]

안녕하세요, 프로그래밍 언어 조교 안중원입니다.

말씀하신바와 같이 메모리 재활용을 정확히 수행하려면 S, M, E, C, K 모든 부품을 고려하여야 합니다.
C 및 K에 주소를 직접 읽고 쓰는 명령이 들어있는 경우도 고려하여 구현하는 것이 정확합니다.

감사합니다.
_________________
TA 안중원
e-mail: jwahn@ropas.snu.ac.kr