 |
|
| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
김진현
가입: 2005년 9월 20일
올린 글: 91
위치: SNUCSE OPT. lab.
|
 올려짐: 2005년10월19일 21:15 주제: malloc 의 구현에서 ㅗ 으로 채우기 |
 |
|
주어진 의미 정의에서는 malloc 후 새로 할당된 영역을 모두 ㅗ 으로 채웁니다.
그런데 조교님께서 주신 소스의 VAR 에 대한 부분을 보면,
| 코드: | (* VAR *)
| eval env m (VAR x) =
(case Mem.fetch (env_loc x env) m of
Some v => v
| None => Bot,
m) |
임을 발견하게 됩니다.
즉, 메모리 주소에서 None 이 fetch되면 이를 Bot 으로 보는 것입니다.
None 에 대해 정확히 이해하고 있는건지 모르겠는데, 이 구현방식을 보면-
malloc 에서 실제로 ㅗ을 ㅗ할당하는 과정을 생략하면 모두 None 이 되므로,
malloc 의 구현에서 ㅗ로 직접 메모리를 채우는 과정은 생략해도 될 것 같습니다.
물론 이에 맞춰서 STAR 도 구현해야겠지만요. None 은 ㅗ 으로.
이러한 구현도 허용되는 것인가요, 아니면
단순히 VAR 의 구현에서 혹시 모를 체크를 해준 것인가요?
_________________
The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it. |
|
| 위로 |
|
 |
김덕환
가입: 2005년 8월 29일
올린 글: 190
|
| 올려짐: 2005년10월19일 22:59 주제: Re: malloc 의 구현에서 ㅗ 으로 채우기 |
|
|
| 김진현 씀: |
None 에 대해 정확히 이해하고 있는건지 모르겠는데, 이 구현방식을 보면-
malloc 에서 실제로 ㅗ을 ㅗ할당하는 과정을 생략하면 모두 None 이 되므로,
malloc 의 구현에서 ㅗ로 직접 메모리를 채우는 과정은 생략해도 될 것 같습니다.
|
문서에서 bottom은 초기화되지 않았음을 나타내므로, 말씀하신 것처럼 구현하셔야 합니다.
_________________
TheyAreAsSmartAsYouAre |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
