[JinIKyun]

1. gc는 SM5의 어떤 부품이든 인자로 받을 수 있는 것인가요?

2. gc는 메모리의 상태(메모리와 loccount)만 변화시킬수 있는 것인가요?

아니면 환경도 변화시킬 수 있나요?

3. malloc을 하려고 하는데 만일 메모리가 full(2^13)이 되어서,

(숙제의 가정 때문에) 더이상 allocate할 수 없는 경우엔 error를 내야 하나요?

4. Sm5의 malloc을 수행하는 부분은 자유롭게 수정 가능한가요?

5. gc가 효율적일 필요가 있나요?

예를들어 한번 일어날 때 마다 모든 주소를 재활용 해야 한다던지...

[최원태]

1.
네. Sm5 의 구성성분중 어떤 것이든 부품으로 받아들일 수 있습니다.

2.
환경을 변화시켜도 상관 없습니다.
현실세계로 가서 생각해보면 환경을 변화시키지 않고 하려면 너무 어렵겠죠?

3.
네. GC를 돌려도 방법이 없으면 에러를 내야겠죠.

4.
변경으로 인해 Sm5의 바깥으로 드러나는 Semantics가 변하지 않는 범위 안에서
Memory나 malloc 의 구현이 바뀌어도 상관없습니다.

[JinIKyun]

환경을 변화 시켜도 된다면 (malloc의 의미정의와 관련해서)

gc가 하는 일이 좀 달라져야 할 것 같은데요.

(S, M, E, malloc :: C, K) => (l :: S, gc(...), E, C, K)

gc : Memory * 기타등등 -> Memory

가 본래의 gc이지만 환경을 변화 시키려면

(S, M, E, malloc :: C, K) => (l :: S, M', E', C, K) where (M', E') = gc(...)

gc : Memory * 기타등등 -> Memory * Environment

가 되어야 하지 않을 까요...

malloc 부분을 수정해도 되니까 별 문제가 되지는 않지만 혹시나 해서 질문 드립니다.

[최원태]

GC는 Sm5이용자에게는 보이지 않는 내적인 개념이기 때문에,
Sm5의 외부 인터페이스가 바뀌지 않는 범위에서 다양하게 구현가능합니다.
교수님이 적어두신 것은 개념적인 예시라고 생각하세요.