게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

5-1 조금 난해할 수도 있는 테스트셋(updated)

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2005)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이기석



가입: 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


결과:
코드:
2
1


할당받은 바운드를 넘어가도 주소계산은 가능하더군요.
혹시 빠뜨리신 분 있을까봐 올립니다.



upated test set



코드:

let
  x := malloc(-2)
in
  if (x < x +3) then
    write 777
  else
    write 444
  end
end



결과:
코드:
777
위로
사용자 정보 보기 비밀 메시지 보내기 MSN 메신저
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2005년11월11일 16:27    주제: 인용과 함께 답변

코드:
x := malloc(-2)


이 부분 말인데요,

주어진 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.
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문 MSN 메신저
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2005년11월11일 17:01    주제: 인용과 함께 답변

인용:
인터프리터가 sound 하고 complete 하다고 믿고 있어요





저는 믿음이 부족한 신도인가 봅니다.ㅠㅜ

실은...

믿고 싶지 않아요.;; Crying or Very sad
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
서성현



가입: 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씩 증가하는 것을 의미한다고 멋대로 가정한 뒤 Shocked 에러로 처리했었습니다.
여기에는 malloc(0)이 <b,0>과 <b,-1>의 두개 cell을 할당하는 것이 어색할 뿐더러, 0이하 크기를 갖는 malloc의 쉬운 구현을 위해서는 주어진 memory구현을 변경해야 한다는 주어진 semantics 밖에서의 판단이 작용한 것이 사실입니다만 Embarassed

이전에 언급되었던 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.
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문 MSN 메신저
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2005) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay