Microsoft MVP성태의 닷넷 이야기
인터프리터 원리가 궁금합니다. [링크 복사], [링크+제목 복사],
조회: 4922
글쓴 사람
한예지 donator
홈페이지
첨부 파일
 

선생님 안녕하세요!

컴파일러 언어의 경우 소스 코드를 컴퓨터가 실행할 수 있는 기계어로 번역하여 실행 파일을 만든 후 한꺼번에 실행하는 것으로 알고 있습니다.

다시 말하면 .EXE 파일을 만들기 전에 코드 전체를 훑어보기 때문에 전역변수 혹은 선언된 함수를 사용하기 위해 함수가 선언된 주소값을 매핑할 시간이 있다고

생각합니다.

하지만 인터프리터는 소스코드를 위에서 아래로 한 번에 한 행씩 번역하여 실행한다고 하는데

그러면 전역변수나 함수 내부에 함수가 호출되는 경우에는 따로 호출하는 놈들의 주소값들을 들고있어야 하는데

어떻게 바로바로 번역해서 실행하는지 궁금합니다.


예를 들어

public void cut(Carrot carrot) {
      // 생략
}

Machine machine = new Machine();

Carrot carrot = new Carrot();

machine.cut(carrot); // ★ ← 인터프리터가 이 문장을 바로 번역하고 실행하기 위해서는 machine, carrot, cut의 주소값을 알고 있어야 하는데
                             주소값을 알아낼 시간이 있나요? 컴파일러는 전처리부터 시작해서 컴파일러, 링커 등 다양한 단계를 거치기 때문에
                             충분한 시간이 있지만 인터프리터는 한 문장씩 바로 바로 번역해서 사용해야 되는데
                             저걸 실행하기 위해서 3개의 주소값을 알고 있어야 하는데 그러면 한 문장씩 번역해서 사용하는 것으로는 불가능하지 않을까요?










[최초 등록일: ]
[최종 수정일: 3/15/2022]


비밀번호

댓글 작성자
 



2022-03-15 10시56분
그런데, 올려 주신 예제에서 왜 그런 궁금함을 가지게 되신 건가요?

인터프리터가 해당 소스 코드를 입력으로 받아들이면, 위에서부터 아래로 계속 파싱을 하며 구문 분석을 할 것입니다. 예제의 소스 코드에서는 우선 cut 함수를 파싱하겠죠? 매개변수의 수와 반환 타입을 기록하고 내부 코드에 대해 역시 구문 분석을 해둘 것입니다.

그런 후, new Machine을 만나면 Machine 타입을 풀이해서 찾으면 new를 할 것이고, 찾지 못하면 구문 오류를 낼 것입니다. 그리고 new 한 결과는 현재 문맥 공간 내에 속한 symbol 테이블에 machine이라는 이름으로 new 인스턴스를 저장할 것입니다.

그리고, new Carrot도 마찬가지고.

그다음, machine.cut 실행은 마찬가지로 symbol 테이블에서 machine이 등록돼 있는지 살펴보고 없으면 구문 오류를 낼 것입니다. 있으면, 그것의 cut 메서드 호출로 실행을 점프할 것입니다.

그리고, (컴파일러도 그렇지만) 인터프리터의 종류에 따라 1-pass로 소스 코드를 실행하는 경우도 있지만, 2-pass로 실행하는 것도 있습니다. 후자의 2-pass인 경우에는 우선 1-pass로 소스 코드 전체를 훑으면서 필요한 정보를 최대한 수집하고, 그다음 다시 1-pass를 돌면서 실행하는 경우도 있습니다.

보다 자세한 사항은 아래의 글에 소개한,

BBI 인터프리터 C/C++ 코드를 C#으로 변환
; https://www.sysnet.pe.kr/2/0/10921

책을 참고하시는 것도 좋겠습니다. 개인적으로는, 한 번도 컴파일러를 만들어 본 적이 없고 저도 겨우 저 위의 책을 읽어 보면서 인터프리터 실습을 해본 정도입니다.

그나저나... 언제나 그렇지만... ^^ 마법은 없습니다.
정성태
2022-03-16 12시41분
[한예지] 제가 쓸데없는 궁금증이 많아서 문득, 갑자기 궁금하더라구요....
사실 선생님꼐서 말씀해 주신 책 이외에도 인터프리터 만들기 관련 책 여러 권을 서점에서 훑어봤는데
비전공자라서 많이 어렵더라구요ㅠ
컴파일러는 C언어 책 앞쪽에 쉽고 자세히 설명된 것들이 많은데
유독 인터프리터는 파이썬이나 자바스크립트 서적에 짧게 1 ~ 5줄로만 설명되어 있더라구요.
혹시 선생님이 인터프리터에 대해 설명해주신 내용은 대학교에서 배우는 건가요????
[guest]
2022-03-16 09시13분
제 경우에는 한창 공부할 때 컴파일러 이론서 한 번 공부한 것이 전부입니다. (지금 생각해 보면, 그때는 제대로 이해가 못 하고 읽었던 것 같습니다. ^^;)

그리고 천천히 가시면 됩니다. 꾸준히 공부하시면서 주변을 보면 자연스럽게 이해되는 부분도 있으니까요.
정성태
2022-03-16 03시11분
[한예지] 답변 감사합니다!
[guest]

... 61  62  63  64  65  66  67  68  69  70  71  72  73  [74]  75  ...
NoWriterDateCnt.TitleFile(s)
670조성택7/3/200710346.Net에서 Timer클래스.. [1]
667홍석헌6/29/20079860[c#] 윈도우 활성화에 관한 질문
669정성태6/30/200710335    답변글 [답변]: [c#] 윈도우 활성화에 관한 질문
666오야6/25/20079285System.Transactions 에서 트랜잭션 실패를 체크하는 방법 [1]
665김성태6/20/20078684안녕하세요^^
668정성태6/30/20079801    답변글 [답변]: 안녕하세요^^
663모름이6/19/20078532Microsoft.Framework 에서 OLE DB 사용하려면.. [1]
664모름이6/20/20079222    답변글 [추가질문]: 다른 OLE DB 를 사용하려면..
662조성택6/13/20079862C#에서 string클래스.. [1]
660신동열6/11/200711196ClickOnce 업데이트시 이전 버젼 제거오류 [1]
659한귀순6/11/200712493윈폼 프로그램 및 디자인. [2]
661한귀순6/12/200710027    답변글 [추가질문]: 윈폼 프로그램 및 디자인. [3]
657정해봉6/8/200720189요청 시간 초과 오류 [2]
655이방은5/28/200710818성태님 UML 도구 뭐 쓰십니까??? [1]
654임정훈5/23/20079846카드스페이스 관련질문
658정성태6/9/200710343    답변글 [답변]: 카드스페이스 관련질문 [1]
653사다수스5/22/200731205아래한글(HwpCtrl) ocx 메모리 릭 문제입니다. [4]파일 다운로드1
645송원석5/15/200712494ASP 의 ByVal 과 ByRef 특성
646정성태5/15/200712355    답변글 [답변]: ASP 의 ByVal 과 ByRef 특성
647송원석5/16/200712685        답변글 [답변]: [답변]: ASP 의 ByVal 과 ByRef 특성 [1]
648정성태5/16/200711438            답변글 [답변]: [답변]: [답변]: ASP의 ByVal과 ByRef 특성 [1]
649장윤태5/16/200710588                답변글 [답변]: [답변]: [답변]: [답변]: ASP 의 ByVal 과 ByRef 특성
650정성태5/16/20078805                    답변글 [답변]: [답변]: [답변]: [답변]: [답변]: ASP의 ByVal과 ByRef 특성 [2]
643해운대끓...5/15/20078444Singleton 패턴 테스트중 하나의 윈폼만 열기 오류파일 다운로드1
644정성태5/15/20079073    답변글 [답변]: Singleton 패턴 테스트중 하나의 윈폼만 열기 오류 [1]
642조성택5/10/20079957스레드와 WinINet? [1]
... 61  62  63  64  65  66  67  68  69  70  71  72  73  [74]  75  ...