임연섭
가입: 2005년 10월 5일 올린 글: 9
|
올려짐: 2005년11월8일 1:51 주제: 5-3에서 질문입니다. |
|
|
k--에서 보면
ASSIGNV(x, e1) 나 LETV(x, e1, e2)가..
e1을 실행하고 대입하거나 바인딩 하게 되있는데요..
그럼
let x:=malloc(1024)
in
x:=malloc(10)
end
와 같은 경우에는 malloc(10)을 하면서 메모리를 할당할때
GC가 필요하다면 앞서의 x때문에
malloc(1024)는 free가 안될 것 같은데요..
malloc를 실행하면서 앞으로 어디로 바인딩될지도 판단해서
앞에 껄 풀어줘야 하는 걸까요??
어떻게 해야할지..
구현하신 분들 힌트라도.. ㅜ.ㅜ
낼이 아 오늘 이구나.. ㅠ.ㅠ due date인데..
도무지 되는게 없는거 같아서.. 암울 모드 그자체임다..ㅜ.ㅜ |
|