숙제4: SM5용 D++ 컴파일러, 끝재귀 최적화, 메모리 재활용

프로그램

제공하는 프로그램 소스는 D++ 언어의 문법 분석기 (parser) 와 수행기, SM5 언어의 수행기 입니다. 반드시 1.n, 2.n, 3.n 만 제출해 주세요.

숙제 1번에 대하여

현재 뼈대만 있는 1.n을 수정해서 D++ to SM5 compiler 를 완성하면 됩니다. 이 과정을 요약해 보면,
  1. nmakegen -f 또는 nmakegen -f run.exe (MS 윈도우즈)
  2. 1.n 수정
  3. make
  4. run test1.d
1은 한 번만 해주고 이후에는 할 필요 없습니다. 4는 테스트 과정입니다.

while 문에 대한 힌트: 재귀 함수 호출로 변환할 수 있다. 

  while e1 do e2 end
  = let proc f(x) = if e1 then (e2; call f(unit)) 
    in  call f(unit)
    end

숙제 2번에 대하여

2.n에서 Tailcall_Sm5 모듈을 tail recursion 지원 되도록 수정합니다. (Tailcall_Sm5 모듈은 숙제 1번의 Sm5 모듈과 현재 동일합니다.) 더불어 맨 아래의 trans 함수도 숙제 1번 결과를 참고하여 채워 줍니다. 그리고 나서 컴파일하면 됩니다.
  1. 2.n 수정
  2. make
  3. run -tail test1.d
실행시 -tail 옵션을 주어야 수정한 Tailcall_Sm5 모듈을 사용합니다. 실행시 "== Running with your own tail call SM5 module ==" 이라는 메시지가 출력됩니다. 2.n 에서 수정할 부분은
  1. 필요하다면 4-18 줄의 SM5 정의 부분.
  2. 필요하다면 83-127 줄의 SM5 인터프리터 부분.
  3. 146 줄의 trans 함수는 숙제 1번 trans 함수를 그대로 사용하셔도 되고, 필요하다면 수정하셔서 채워 넣으세요.
  4. 그 외 부분은 D++ to SM5 변환기와 SM5 실행기가 정상적으로 컴파일되고 수행되는 한, 수정 안하셔도 감정 대상은 아닙니다. (예를 들어, SM5 출력 부분(print로 시작되는 함수들), 오류 처리 부분등)

숙제 3번에 대하여

3.n에서 Gc_Sm5 모듈을 수정합니다. (Gc_Sm5 모듈은 숙제 1번의 Sm5 모듈과 현재 동일하며 gc 함수만 추가로 정의되어 있습니다.) 더불어 맨 아래의 trans 함수도 숙제 1번 결과를 참고하여 채워 줍니다. 그리고 나서 컴파일하면 됩니다.
  1. 3.n 수정
  2. make
  3. run -gc testmem.d
실행시 -gc 옵션을 주어야 수정한 Gc_Sm5 모듈을 사용합니다. 실행시 "== Running with your own gc SM5 module ==" 이라는 메시지가 출력됩니다.
3.n 에서 수정할 부분은
  1. 필요하다면 80-84 줄의 새 메모리 할당 관련 부분.
  2. 필요하다면 101 줄의 SM5.MALLOC 실행 부분.

참고사항

여러분의 편의성을 위해 다음을 제공합니다.

구문구조

  1. D++ 프로그램의 구문구조는 hw3의 C- 언어에서 for 문, 값의 주소로 호출하기가 없는 언어로 숙제 문제를 보시면 알 수 있습니다.
  2. (* *) 로 주석을 사용할 수 있습니다. // 는 라인 코멘트용으로 사용합니다.

우선순위

사용되는 기호들의 우선순위는 아래와 같습니다. 위에 있는 기호가 우선 순위가 가장 높고, 아래로 갈수록 우선 순위가 낮아집니다. 
    not    (오른쪽)
    .      (왼쪽)
    *, /   (왼쪽)  
    +, -   (왼쪽) 
    =, <   (왼쪽)
    write  (오른쪽)
    :=     (오른쪽)
    else   
    then
    ;      (왼쪽)
괄호 안은 방향성 (associativity)을 나타내는 것으로 같은 우선순위의 기호가 연이어 나올시에 우선 순위를 결정해 줍니다. 예를 들어 방향성이 왼쪽인- 는 
  x-y-z   =>   (x-y)-z
가 되고, 오른쪽인 := 은 
  x := y := 1    =>   x := (y := 1)
이 되게 됩니다.