이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
이기석
가입: 2005년 10월 3일 올린 글: 33
|
올려짐: 2005년11월10일 22:40 주제: 5-1 조금 난해할 수도 있는 테스트셋(updated) |
|
|
코드: |
let
x := malloc(3)
in
(x + 0) := 0;
(x - (-1)) := 1;
(2 + x) := 2;
let
y := 0
in
y := x + 6;
write *(y - 4);
y := x - 3;
write *(y + 4)
end
end |
결과:
할당받은 바운드를 넘어가도 주소계산은 가능하더군요.
혹시 빠뜨리신 분 있을까봐 올립니다.
upated test set
코드: |
let
x := malloc(-2)
in
if (x < x +3) then
write 777
else
write 444
end
end
|
결과:
|
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2005년11월11일 16:27 주제: |
|
|
이 부분 말인데요,
주어진 K-- Interpreter에서 문제 없이 작동하기는 하지만
K-- Semantics에서 malloc(음수)가 의미가 있는건가요? |
|
위로 |
|
|
김진현
가입: 2005년 9월 20일 올린 글: 91 위치: SNUCSE OPT. lab.
|
올려짐: 2005년11월11일 16:37 주제: |
|
|
인터프리터가 sound 하고 complete 하다고 믿고 있어요
[?]
의미가 있다 iff 잘 돈다 _________________ The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it. |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2005년11월11일 17:01 주제: |
|
|
인용: | 인터프리터가 sound 하고 complete 하다고 믿고 있어요 |
저는 믿음이 부족한 신도인가 봅니다.ㅠㅜ
실은...
믿고 싶지 않아요.;; |
|
위로 |
|
|
서성현
가입: 2005년 9월 29일 올린 글: 54
|
올려짐: 2005년11월11일 20:34 주제: 의미가 있는 듯 합니다. |
|
|
공순호 씀: | K-- Semantics에서 malloc(음수)가 의미가 있는건가요? |
주어진 semantics 문서에 보면 malloc( n )을 할 때 n이 양수여야 한다는 조건은 없네요.
따라서 의미가 있지 않을까 하고 생각해봅니다.. ^^;;;
(저도 확실히는 모르겠어요 ㅠㅠ) _________________ http://snupl.wo.to |
|
위로 |
|
|
서상원
가입: 2005년 9월 27일 올린 글: 33
|
올려짐: 2005년11월12일 0:13 주제: Re: 5-1 조금 난해할 수도 있는 테스트셋(updated) |
|
|
흐음.... 그런거였나요?
전 offset이 0부터 시작하길래 당연히 양수만 되는 거라고 생각했는데... |
|
위로 |
|
|
안형찬
가입: 2005년 10월 22일 올린 글: 12
|
올려짐: 2005년11월13일 15:29 주제: |
|
|
주어진 sematics에는 아주 확실히 쓰여있지는 않다고 생각합니다.
숙제 3을 할 당시에 이것을 두고 고민하다가, 의미정의에서
<b,0>, ..., <b, n-1> (not in) dom(M1)
부분이 location offset이 0부터 1씩 증가하는 것을 의미한다고 멋대로 가정한 뒤 에러로 처리했었습니다.
여기에는 malloc(0)이 <b,0>과 <b,-1>의 두개 cell을 할당하는 것이 어색할 뿐더러, 0이하 크기를 갖는 malloc의 쉬운 구현을 위해서는 주어진 memory구현을 변경해야 한다는 주어진 semantics 밖에서의 판단이 작용한 것이 사실입니다만
이전에 언급되었던 malloc(1)-10 혹은 malloc(1)+10이 의미가 있는 것은 주어진 semantics에서 확실히 알 수 있지만(물론 참조하는 순간에 에러가 발생하겠지만), malloc({nonpositive integer})에 대해서는 애매한 것 같다는 생각입니다. |
|
위로 |
|
|
김진현
가입: 2005년 9월 20일 올린 글: 91 위치: SNUCSE OPT. lab.
|
올려짐: 2005년11월13일 17:11 주제: |
|
|
그런데 사실 두 번째 테스트셋에서 -2 가 큰 의미를 갖진 않을 것 같습니다.
결국 중요한 건, 한계(범위)를 벗어나는 주소간의 비교시 발생할 수 있는 문제, 일 것 같습니다. _________________ The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it. |
|
위로 |
|
|
|