[손효민]

안녕하세요 조교님, Mem 모듈을 정의하는 과정에서
load와 store 둘 다 메모리의 해당 주소에 접근해서 값을 읽거나 쓰는 함수인데
load는 Loc.diff boundary loc - 1에 접근하고
store는 Loc.diff boundary loc 에 접근하는 이유를 잘 모르겠습니다...
이러면 동일한 loc에 대하여 서로 다른 위치에 읽고 쓰는게 되는 것 아닌가요?

[이재호]

안녕하세요,

Mem 모듈에 보면 replace_nth 구현은 1로 시작하는 인덱싱을 가정한 것을 확인할 수 있고, OCaml 설명서를 보시면 List.nth는 0으로 시작하는 인덱싱을 사용한다고 적혀있습니다.

구현 세부사항이기 때문에 걱정하지 않으셔도 됩니다. 직접 Mem 모듈을 utop 등에 입력 후 확인해보면 원하는 대로 작동하는 것을 확인하실 수 있을 것입니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr