Microsoft MVP성태의 닷넷 이야기
인터프리터 원리가 궁금합니다. [링크 복사], [링크+제목 복사],
조회: 4782
글쓴 사람
한예지 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]

[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
5936ds4/26/2024766활성화 되어 있는 커뮤니티 발견하게 되어 기분이 좋습니다. 자주 놀러 올께요. (내용 없습니다. [1]
5935양승조 donator4/25/2024615Reflection 관련 질문 드립니다. [5]파일 다운로드1
5934양승조 donator4/24/2024607Reflection 관련 질문 드립니다. [1]
5933vict...4/23/2024636cpp 라이브러리 디버깅 방법 문의 드립니다. [1]
5932EK4/12/2024858다음 제네릭에서 널익셉션이 뜨는 이유를 알수있을까요? [1]
5931이대희4/2/20241165Windows 앱 SDK C# 템플릿의 용도가 무엇인지요? [1]
5930vict...2/22/20241970ef core, FromSqlRaw 맵핑 질문입니다. [4]
5929a2/17/20242060.Net 8 에서 디버거 변경 [1]
5928vict...2/5/20242264wpf에서 대량 데이터 보여주는 방법 추천 부탁드립니다. [1]
5926엄태영1/12/20242268잘못된 Task 사용으로 인한 데드락 관련 질문 입니다. [3]
5925Euni...12/22/20232099Visual Studio에서 nodejs 사용시 npm install -g @vue/cli 실행시 오류 [1]
5924Euni...12/21/20232174Visual Studio에서 nodejs 사용시 C:\Program Files\nodejs\\node.exe" "C:\Program Files\nodejs\\node_modules\npm\bin\npm-cli.js" prefix -g 를 찾지 못하는 설치 오류 [2]
5923정두호12/4/20232632MSSQL 데이터 전송과 공유폴더의 데이터 전송 차이점 [1]
5922Heeg...10/27/20234869C++의 double pointer를 C#에서 구현하는 방법이 잘 안됩니다. [3]
5921한예지 donator10/3/20234679마샬링 정의 및 목적이 궁금합니다. [5]
5920한예지 donator10/3/20233503C#과 WIN32 API 관계 질문드립니다. [4]
5919이건우9/27/20233079WinForm의 로딩속도 관련 질문입니다 [2]
5917한예지 donator9/14/20233195동기화 도구 질문 있습니다. [4]
5916한예지 donator9/3/20233342Thread.Sleep(500), await Task.Delay(500), Task.Delay(500) 차이점이 궁금합니다. [2]
5915한예지 donator8/30/20233231비동기 코드를 for 문 안에 작성한 경우 제어 변수가 올바르게 동작하지 않는 이유가 궁금합니다. [3]
5914한상욱8/11/20233077.net wpf에서 skiasharp 의 skelement 를 canvas로 사용 하고 있습니다. [1]
5913김태우8/10/20233153지역변수로 이해하는 메서드매개변수 게시글 댓글 [3]
5912guest4/25/20235510[참고 - 초보용] Sqlite 디비는 double이 없고 Real이 대신합니다 [3]
5911guest4/24/20233694Form1.cs와 외부 class.cs와 통신 (static async method포함) [4]파일 다운로드1
5910guest4/24/20233512Async 메서드와 try~catch [1]
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...