Copyright, 2011 H. Y. Kwak, Jeju National University. Kwak, Ho-Young http://cybertec.cheju.ac.kr Contents 1 프로그래밍 언어 소개 2 언어의 변천 3 프로그래밍 언어 설계 4 프로그래밍 언어의 구문과 구현 기법 5 6 7 컴파일러 개요 변수, 바인딩, 식 및 제어문 자료형 8 영역과 수명 9 기억장소 배당 10 부프로그램 11 추상 자료형 12 예외 처리 / 병렬 프로그래밍과 병렬 처리 1
Chapter 3. 프로그래밍 언어 설계 주요 언어 성공 요인 (언어 자체보다는 외적 요인에 의함) Fortran 컴퓨터 제조회사 후원 Cobol 미 국방성 지원 Lisp 인공지능 분야에서 사용 Pascal 교육용, 마이크로컴퓨터 표준언어 역할 PL/I IBM의 적극 후원 C UNIX 운영체제의 성공 Ada 미국방성 지원 주요 언어의 설계 목적 Fortran 실행의 효율성 Cobol 영어와 유사한 문법 구조로 program의 easy readability Algol60 블록 구조 제공으로 알고리즘 작성 용이 Pascal 간단한 명령형 언어, 하향식 설계 증진 2 Chapter 3. 프로그래밍 언어 설계 P.L 역사와 설계 기준 1950년대 초기 설계기준 : Efficiency of execution Fortran Cobol과 Algol 60의 등장으로 효율성보다 일반적인 원칙 중시 1960년대 Algoll 60 : 블록구조, 재귀적 용법으로 논리적으로 간결 명료한 알고리즘 표현 용이 Cobol : 프로그램 판독성 증가 (영어 유사 문법 구조) 복잡성 제어(complexity control) 필요성 인식 - 추상화 기법, 언어 규칙과 제한의 감소 필요성 Simula67: 강력한 추상화 기법 제공 Algol68: 일반성, 직교성(othogonality) 제공으로 언어의 복잡성 감소 1970년대 - 1980년대 초 간결성(simplicity)과 추상화(abstraction)를 강조 예) Pascal, C, Euclid, Modula-2, Ada 언어 구성에 수학적 정의 도입 프로그램의 정확성 증명 기법을 갖춘 언어 제공 프로그램 신뢰성 증진 3
Chapter 3. 프로그래밍 언어 설계 P.L 역사와 설계 기준 1980년대 언어에 논리 또는 수학 개념의 삽입 증진 논리를 프로그래밍 언어 자체에 포함 함수형 언어에 관심 ML, Miranda, Scheme 객체 지향 언어에 관심 증가 C++ 4 Chapter 3. 프로그래밍 언어 설계 프로그래밍 언어 설계 원칙 언어 설계의 기본 원칙 효율성 (efficiency) 일반성 (generality) 직교성 (orthogonality) 획일성 (uniformity) 기타 설계 원칙 간결성 (simplicity) 안전성 (security) 표현력 (expressiveness) 기존 표기나 규칙과의 일관성 정확성 (preciseness) 확장성 (extensibility) 기계 독립성 (machine independence) 제약성 (restrictability), 부분성 (subset) 5
Chapter 3. 프로그래밍 언어 설계 효율성(efficiency) 효율성의 기준에 따른 분류 목적 코드의 효율성 번역기의 효율적 실행 코드 생성 최적화 (code optimization) 예) Pascal에서 상수는 수식으로 표현되지 않음. 상수 식별자는 번역과정 시 배정된 값으로 대체 번역의 효율성 적절한 크기의 번역기로 빠르게 번역할 수 있는 것 예) 언어 번역의 단계 구성 문제 (Pascal : 1-pass, Modula-2 : 2-pass) 구현의 효율성 번역기의 효율적 작성 가능 여부 예) 번역기 구현의 어려움, 번역 수행 알고리즘의 충분치 못한 이해로 실패한 언어 (Algol 60) 프로그래밍 효율성 프로그램 작성의 단순성, 용이성 문제 언어의 표현성, 추상화 메커니즘과 관련 이상적인 언어 - Lisp, Prolog 실제 효율성은 신뢰도(reliability)와 관계됨 생성된 Software의 효율성 : readability와 maintainability에 좌우 6 Chapter 3. 프로그래밍 언어 설계 일반성, 직교성, 획일성 일반성(Generality) 특별한 경우를 피하거나 밀접한 관련의 여러 개념들을 하나의 개념으로 결합 일반성이 부족한 경우의 예 프로시저 Pascal : 프로시저 선언과 매개 변수 허용, 프로시저형 변수 不 許 Modula-2 : 일반성 보유 Ada : 매개 변수에 프로시저 사용 못함 배열 Pascal : 가변 배열 不 許 C, Ada : 가변 배열 許 容 Modula-2, Fortran : 가변 배열 전달능력, 가변배열 선언 不 許 동등 연산자, 배정 연산자(=, :=) 대부분 언어 : 배열, 레코드에 적용 不 許 Ada : 배열 레코드에 적용 許 容 Ada : 배열, 레코드에 적용 許 容 매개변수 Fortran : call by reference 만 許 容 Algol l 68, C, Java : call by value, 객체에 대한 포인터를 값으로 전달 가능 일반성 제공 Ada : 일반성 제공 7
Chapter 3. 프로그래밍 언어 설계 일반성, 직교성, 획일성 일반성이 갖는 문제점 언어의 간결성 저하 언어의 판독성 저하 언어의 신뢰성 저하 예) C 언어의 포인터 (일반성 제공) - 문제점 제기 Java는 포인터 불허 : 신뢰성과 판독성 문제 해결 Pascal에서는 이명(aliasing)과 위험을 줄이기 위해 포인터가 본질적으로 제한 직교성(Orthogonality) 수학 개념에서 유래 직각 또는 완전히 독립적인 방향 언어의 구성자들이 각각의 의미를 가진 채 결합하는 성질 (구성자간의 상호작용 또는 문맥의 사용이 예상 밖의 행위를 야기하지 않아야 함) 비직교성(non-orthogonality) 문맥에 의존하는 제한 비일반성(non-generality) 문맥과 관계없는 제한 8 Chapter 3. 프로그래밍 언어 설계 일반성, 직교성, 획일성 직교성(Orthogonality) -계속 직교성이 부족한 경우의 예 함수 반환 값 자료형 Pascal : 스칼라형, 포인터형만 허용 C : 배열형만 제외 Ada : 완벽한 직교성 제공 (모든 자료형 허용) 파일 Pascal : 화일형은 특별한 상태 취급 (화일을 프로시저 매개 변수로 전달 금지, 화일 변수는 배정 금지) 대부분 언어 : 화일을 라이브러리로 취급 (비직교성 탈피) 문자열 Modula-2 : 문자열 배정 (작은 문자열 더 큰 문자열), 크기가 다른 객체에 대한 유일한 배정 매개변수 전달기법 C : 배열 - call by reference, 이외 모든 자료형 - call by value 방식 Ada : 모든 자료형 - call by value, result, value-result 허용(직교성 보장) Algol 68의 중요 설계 목표 - 직교성 보장 9
Chapter 3. 프로그래밍 언어 설계 일반성, 직교성, 획일성 획일성(Uniformity) 언어 구조들의 외모와 행동에서의 조화에 중점을 둠 유사한 것들은 유사하게 보이고 유사한 의미를 갖게 하며, 상이한 것들은 서로 다르게 보이고 서로 다르게 행동하여야 된다는 성질 획일성이 부족한 비조화의 예 if문, while 문 : begin-end 구조 요구, repeat 문: begin-end 구조비요구 가변 레코드에서 case 문, case 제어문 : 구문 상이 (Modula-2에서 해결) 함수 값의 반환 방법 - 배정문과 유사 (타 언어 return문 문 사용으로 해결) 1 function f : boolean ; procedure p ; (* terminator *) 2 begin var x : integer ; (* separator *) 3... y : real ; (* terminator t *) 4 f := true ; begin 5 end; x := 0 ; (* separator *) y := 1.0 end; (* terminator *) Pascal : 포인터 선언( integer)과 포인터 값(x )에 공용 (Modula-2는 POINTER TO로 해결) ; : Modula-2, Pascal에서 문장 구분자와 선언 종결자로 사용 (C : 종결자로만 사용) 비획일성은 특별한 문맥에서만 발생되고 구성자들 간의 상호작용으로 볼 수 있으므로 비직교성으로 간주될 수도 있다. 10 Chapter 3. 프로그래밍 언어 설계 프로그래밍 언어의 기타 설계 원칙 간결성(Simplicity) Pascal의 주된 설계 원칙은 간결성 직교성, 일반성, 획일성 : 간결성 보장 못함 예) Algol 68 구성자의 수가 적다고 언어가 간결한 것은 아님 예) Lisp, Prolog : 적은 수의 구성자를 가지나 복잡한 실행시간과 시스템에 의존적 과다한 단순성 - 언어 사용에 방해, 표현력이 부족, 많은 제한 발생 표현력(Expressiveness) 복잡한 과정이나 구조를 표현하는데 용이함을 의미 표현력은 강하나 단순하지 않은 언어 - Lisp, Prolog, Algol 68 표현력이 강하면서 단순한 언어 - C 언어 예) while ( * s++ == * t++) ; 정확성(Preciseness) 명확성(Definiteness) 언어에 대한 정확한 정의 언어의 행위가 예측 가능한 정의의 존재 여부 정확한 언어 정의 언어의 신뢰도, 번역기의 신뢰도에 영향 11
Chapter 3. 프로그래밍 언어 설계 프로그래밍 언어의 기타 설계 원칙 기계 독립성 (machine independence) 기계 독립적인 언어 정의를 통하여 보장 (호환성 제공) 기억 장소 할당과 기계 구조와 별개로 정의된 자료형 사용 안전성 (security) 프로그래밍 오류를 줄이고, 오류 발견 용이한 언어 목표 언어의 신뢰성과 정확성에 밀접한 관계 언어 설계 시 자료형, 형 검사, 변수 선언을 도입 기존 표기나 규칙과의 일관성 언어 설계 시 표준화된 특성과 개념을 갖도록 해야 함 Algol 68 - 표준화된 표기를 잘 따르지 않은 언어 언어 예) type 대신 mode 사용 12 Chapter 3. 프로그래밍 언어 설계 프로그래밍 언어의 기타 설계 원칙 확장성 (extensibility) 사용자가 언어의 특성을 쉽게 부가하도록 허용하는 기법 확장성을 가진 언어의 예 - Lisp 명령형 언어는 함수형 언어보다 언어 확장이 어려움 추상화 개념(자료 추상화, 제어 추상화)은 확장성 지원 제약성 (restrictability), 부분성 (subset) 일부의 언어 지식과 언어 구조만 가지고도 효과적인 프로그램 작성 가능 언어 제한성의 장점 프로그래머는 언어의 효과적인 사용을 위해 언어 전체를 배울 필요 없음 번역기 작성자가 언어 일부분 만을 선택하여 구현, 사용 가능 (부분언어 지원) 예) SP/1, SP/2,, SP/k : PL/I의 부분 언어들 13
Chapter 3. 프로그래밍 언어 설계 문제점과 해결책들 성공적인 언어 설계를 위한 충고 신뢰성 프로그램의 신뢰성 위해 진단 컴파일러 또는 점검 컴파일러 사용 Cornell : PL/I diagnostic, C 언어 환경(debugger 포함) 효율적인 번역 초기 고급 언어 (Fortran, Cobol...) : 분리 컴파일 제공 효율적 번역 가능, 오류 유발 Algol 68, Pascal(70년대 초반) : 신뢰성 강조 통합 컴파일러 Ada : 조화 (분리 컴파일의 장점+통합 컴파일의 장점), specification part, body part로 해결 코드 최적화 (optimization) 신뢰성 효율적인 목적 코드 / 컴파일링 비용 증가 반복 수행부 등 일부분만 최적화 효과 큼 실제 컴파일러 : 여러 최적화 단계 제공 언어 구문의 과다한 간결성과 생략은 프로그램 판독성을 저하 적절한 수준의 간결성은 프로그래머에게 좋은 훈련과 프로그램의 신뢰성을 증가 짧은 프로그램 신뢰성 증진 (APL, 4세대 언어) 14 Chapter 3. 프로그래밍 언어 설계 문제점과 해결책들 C. A. R Hoare 의 성공적인 프로그래밍 언어 설계를 위한 충고 언어 설계 : (1) 언어의 특정한 특성(feature) 고안 (2) 새로운 언어 설계 (기존 특성들을 선택 조합) (1) 언어의 특정한 특성 고안 새 특성의 설계자는 한번에 한가지 특성에만 집중 잘 알려진 언어에 특성 구현 이미 존재하는 언어의 장점을 해치지 않고, 단점과 불완전성 해결, 완화하는 것을 확신 이 특성들이 어떻게 단순하고, 효율적으로 구현되는지 보여야 함 사용자 지침서 작성 많은 예제 프로그램들 작성 (다른 방법들과 비교 평가) (2) 새로운 언어 설계 기존의 많은 특성들 : 숙지, 선택, 판단력 구비 특성들 사이의 불일치 제거, 중첩부분 조정 능력 요구 새 언어의 영역, 목적, 범위, 복잡성, 확장성에 대한 명확한 개념 실제 구현과 사용자 지침서(초보자용, 고급용) 제공 새 언어 설계 작업은 단지 기존의 개념을 통합하는 것이다. 15
Contents 1 프로그래밍 언어 소개 2 언어의 변천 3 프로그래밍 언어 설계 4 프로그래밍 언어의 구문과 구현 기법 5 6 7 컴파일러 개요 변수, 바인딩, 식 및 제어문 자료형 8 영역과 수명 9 기억장소 배당 10 부프로그램 11 추상 자료형 12 예외 처리 / 병렬 프로그래밍과 병렬 처리 16 Computer System Computer System 프로그램을 저장하고 실행할 수 있는 알고리즘과 자료 구조들의 전역 집합 Actual Computer Hardware Computer Software Simulated Computer 다른 프로그램으로 주어진 Computer를 Simulation Virtual Computer 고급 언어 프로그래머는 컴퓨터를 가상의 고급 언어 컴퓨터로 간주 가상의 Assembly 언어 컴퓨터 가상의 Ada 컴퓨터 가상의 Lisp 컴퓨터 어셈블러 Ada 번역기 운영체제 명령어 번역기 운영 체제 hardware Lisp 인터프리터 Power Builder 인터프리터 가상의 PowerBuilder 컴퓨터 C++ 번역기... Cobol 번역기 가상의 C++ 컴퓨터 가상의 Cobol 컴퓨터 17
언어 구문 - 프로그래밍 언어의 기본 문자 집합 Alphabet 문자 (A-Z) 26개 + 아라비아 숫자 (0-9) 10개 예) Fortran : 기본 문자 집합 + 13개의 특수문자 (= + - * / ( ),. $ : 공백) Algol60 : 알파벳 대소문자 52개 +Digit 10개 + 28개의 특수문자 relational < = > > boolean arithmetic + - special, 10 : ; ' special b ( ) [ ] 문자 코드 체계 EBCDIC(Extended Binary Coded Decimal Interchange Code) IBM에서 제안, 8비트 조합 코드 ASCII(American Standard Code for Information Interchange) ANSI에서 제안, 7비트 조합 코드(128개의 문자 표현) 영문자 대소문자 52개 + 숫자 10개 + 33개 특수문자 +33개의 제어문자 UNICODE 16 bit ISO표준 규격 Java에 시행 18 언어 구문 - 프로그래밍 언어의 기본 문자 집합 정합 순서(collating sequence) 문자 또는 문자열에 대한 일반적인 순서언어 예) 0 < 1 < 2 < 3 < 4 < 5 < 6 < 7 < 8 < 9, A < B < C <... < X < Y < Z 언어 구현 시에 결정, 일반적으로 문자의 bit 조합 표현 순서에 영향 (코드 체계 따름) 어휘 구조 용어 프로그래머 정의 가능 (RPG, Snobol) 어휘 토큰 (lexical token), 어휘 요소 (lexical element), 어휘 단위 (lexical unit) 언어 구성자 기본 의미 단위를 표현하는 한 개 이상의 프로그래밍 언어의 알파벳 문자로 구성된 문자열 한 개 이상의 어휘 토큰으로 형성되며, 구문적으로 허용된 프로그램의 일부 식별자(identifier), 미리 정의 된 식별자, 예약어(reserved-word) 언어 어휘를 구성하는 단어나 기호 형태의 문자 알파벳, 변수 이름으로 사용할 수 없음 장점 : 프로그램 판독성 증가, 컴파일러가 기호 테이블을 빠른 시간에 탐색 많은 예약어 언어 확장시 新 예약어와 이전에 사용된 프로그램의 식별자와 중복 우려 구분자, 분리자(separator) 19
Context-Free Grammar와 BNF 표기법 BNF(Backus-Naur(Normal) Naur(Normal) Form) 표기법 구문(syntax) 형식을 정의하는 가장 보편적인 표기법 한 언어의 구문에 대한 BNF 정의 언어의 문장을 생성하는 생성 규칙(production rule) 정의 생성 규칙 생성 규칙의 왼쪽(정의될 대상), 오른쪽에는 그 대상에 대한 정의를 표현 BNF 표기법에 의한 식별자(identifier) 정의 예 Meta symbols ::= 정의하다, < > nonterminal, alternative 20 Context-Free Grammar와 BNF 표기법 EBNF(Extended Backus-Naur Form) 표기법 BNF 표기법을 확장하여 보다 읽기 쉽고, 간단하게 표현된 표기법 BNF보다 추가된 특수한 의미를 갖는 EBNF의 메타 기호 반복 :{ }, { } 7 0 0번 이상 반복 선택 : [ ] 0 또는 1번 선택 { }, [ ],, ( ), ::=와 같은 메타 기호를 언어의 terminal로 사용하는 경우, ::= 와 같이 인용부호로 묶어 표현 sub-pascal 시작부에 대한 EBNF 표기 ; ; ; ; ; ; ; ; 21
구문 도표(Syntax diagram) 구문 도표 구문 도표는 그 형태가 순서도와 유사 구문 도표는 EBNF 와 일대일 대응 다시 정의될 대상은 box로, terminal 기호는 원이나 타원형으로 표시 이들 사이는 지시선(arc)으로 연결 예: terminal x x nonterminal B B 22 구문 도표(Syntax diagram) 구문 도표 그리는 방법 A:: ::= X 1 X 2... X n Xi가 nonterminal인경우 A X1 X2... X Xn Xi가 terminal인경우 A... x 1 x 2 x n A ::= α 1 α 2... α n α 1, α 2,, α n 이nonterminal일경우 α 1 A α 2... α n 23
구문 도표(Syntax diagram) 구문 도표 그리는 방법 (계속) EBNF A ::= { α } A EBNF A ::= [ α ] A A ::= (α 1 α 2 )β α α A α 1 α 2 β 24 구문 도표(Syntax diagram) A x ( B ) 예제 EBNF 구문도표 A ::= x ( B ) B ::= AC C ::= {+A} B C A A C + 조건 V N = { A, B, C } V T = { +, x, (, ) } A x ( A ) A +
구문 도표(Syntax diagram) Sub-pascal 시작부 구문도표 파스 트리(Parse Tree) Parse Tree 원시 프로그램의 문법 검사 과정에서 내부적으로 생성되는 트리 형태의 자료구조 문장 표현이 BNF에 의해 작성될 수 있는지 여부를 나타냄 예 : 식별자에 대한 BNF를 통해 다음 TEST1에 대한 파스 트리 작성 <identifier> <identifier> ::=<letter> <identifier><letter> <identifier><digit> <letter> ::=A B C... X Y Z <digit> ::= 0 1 2... 8 9 <identifier> <identifier> f <letter> <identifier> <letter> <identifier> <letter> <letter> <digit> T E S T 1 27
파스 트리(Parse Tree) 모호성, 결합성 및 우선 순위 서로 다른 유도 과정을 거쳐 B33을 생성한다. <identifier> <identifier> <digit> <identifier> 3 <identifier> <digit> 3 <identifier> 3 3 <letter> 3 3 B 3 3 <identifier> <identifier> <digit> <identifier> <digit> <digit> <letter> <digit> i <digit> i B <digit> i <digit> i B 3 <digit> B 3 3 <identifier> <identifier> ::=<letter> <identifier><letter> <identifier><digit> <letter> ::=A B C... X Y Z <digit> ::= 0 1 2... 8 9 <identifier> <identifier> <digit> <letter> <digit> B 3 3 28 파스 트리(Parse Tree) 모호성, 결합성 및 우선 순위 순위 폭포(precedence cascade) : 새로운 nonterminal symbol인 <term>과 문법 규칙을 추가하 여 문법의 우선 순위를 정함 <exp> ::= <exp> - <exp> <term> <term> ::= <term> * <term> (<exp>) <number> 7-3-2 parsing 시 동일한 표현이 좌-결합(left-associative) or 우-결합(right-associative)의 두 가지로 표현 - - - 2 7-7 3 3 2 29
파스 트리(Parse Tree) 모호성, 결합성 및 우선 순위 BNF 문법에 좌순환 규칙을 사용하면 좌-결합을 지원할 수 있음 <exp> ::= <exp> - <exp>를 <exp> ::= <exp> - <term>으로 대치하면 좌-결합으로 parsing됨 <exp> <exp> - <term> <exp> - <term> 2 7 3 [표 4.5] 표 4.4의 개정문법 <exp> ::= <exp> - <term> <term> <term> ::= <term> * <factor> <factor> <factor> ::= (<term>) <number> <number> ::= <number><digit> <digit> <digit> ::= 0 1 2 3 4 5 6 7 8 9 우순환 규칙 (<exp> > ::= <term> - <exp>)은 우-결합 parse tree를 parsing [표 4.5]는 [표 4.4]의 문법이 우선 순위와 좌-결합으로 인해 모호성을 갖지 않음 30 구문과 프로그램 신뢰성(reliability) 구문(Syntax) 언어의 신뢰성에 영향 FORTRAN PL/I DO 10 I = 2.6 2.6의 오류 (. 대신, 사용해야 함) A(I) = B + C(I) 10 CONTINUE DO10I에 2.6 배정으로 인식 A = B = C 다중배정문의 의미(A와 B에 C값 저장) (B equal to C)의 결과를 A에 저장하는 문장으로 인식 현수(dangling) else 문제 중첩된 if 문에서 else는 어떤 if의 else인가? 예제 if c1 then if c2 then S1 else S2 해석 1 if c1 then (if c2 then S1 else S2) 2 if c1 then (if c2 then S1) else S2 31
구문과 프로그램 신뢰성(reliability) 각 언어에서의 dangling else 문제 해결책 Algoll 60 1 if c 1 then begin if c 2 then S 1 else S 2 end 2 if c 1 then begin if c 2 then S 1 end else S 2 Algol 68 1 if c 1 then if c 2 then S 1 else S 2 fi fi 2 if c 1 then if c 2 then S 1 fi else S 2 fi PL/I 2 IF c 1 THEN IF c 2 THEN S 1 ; ELSE S 2 ; 또는 IF c 1 THEN IF c 2 THEN S 1 ; ELSE; ELSE S 2 ; Pascal 2 if c 1 then begin if c 2 then S 1 end else S 2 또는 if c 1 then if c 2 then S 1 else else S 2 PL/I과 Pascal은 일반적으로 1의 경우로 해석(가장 가까운 then의 else로 처리) 32 프로그래밍 언어 구현 기법 고급 언어는 기계어나 그와 상응하는 언어로 번역되어야만 함 번역 기법과 인터프리터 기법으로 분류 번역 기법 Source (원시 언어) Translator Target (목적 언어) 원시 프로그램 목적 프로그램 고급 언어 컴파일러 목적 모듈 고급 언어 컴파일러 목적 모듈 고급 언어 컴파일러 목적 모듈......... 어셈블리 언어 어셈블러 목적 모듈 Linker 로드 모듈 Loader 입력 자료 기계어 실행 결과 33
프로그래밍 언어 구현 기법 번역기법의 종류 1 컴파일러(compiler) -원시언어: 고급 언어 / 목적 언어 : 실제 기계 언어에 가까운 저급 언어 - 저급 언어 : 준 기계어 형태 또는 어셈블리 언어 2 어셈블러(assembler) -원시언어: 어셈블리 언어 / 목적 언어 : 준 기계어 형태 3 링케이지 에디터(linkage editor) - 여러 개의 프로그램(재배치 형태 기계어)을 묶음 로드 모듈 생성 - 로드 모듈 : 어느 정도 실행 가능한 하나의 기계어 프로그램 4 로더(loader) - 기계어 프로그램(로드 모듈)을 실제 실행 가능한 기계어로 번역해서 주 기억 장치에 적재 5 프리프로세서(preprocessor) - 원시 언어와 목적 언어가 모두 고급 언어인 번역기 - 고급 언어에 대한 언어를 확장하여 구현할 때 유용 (C++, concurrent C) 34 프로그래밍 언어 구현 기법 인터프리터 기법 고급 언어 기계를 다른 기계에서 소프트웨어로 simulation하는 방법 입력 자료 번역기 종류와 Interpreter 고급 언어로 작성된 원시 프로그램 인터프리터 실행 결과 원시 언어(입력) 소프트웨어 프로그램 목적 언어(출력) 고급 언어 프로그램 어셈블리 프로그램 번역기 목적 모듈(준기계어) 로드 모듈 컴파일러 어셈블러 링커(linker, linkage editor) 로더 (relocating loader) 기계어, 준기계어 (목적 모듈) 기계어, 준기계어 (목적 모듈) 로드 모듈 실행 가능 기계어 고급 언어 프로그램 Preprocessor 고급 언어 프로그램 원시 언어 (입력) 소프트웨어 프로그램 (하드웨어 기능) 출 력 인터프리터 고급 언어 프로그램 Interpreter 프로그램이 실행된 결과 35
인터프리터와 번역 기법의 비교 번역기 입력 프로그램과 동일한 의미의 목적 언어 프로그램 생성 인터프리터 직접 입력 프로그램을 실행하는 방법으로 처리 비교 분석 순수 번역 기법 (Assembly 등 저급 언어 가능) 순수 시뮬레이션 기법 (JCL, APL 등) 번역 효율적인 부분(반복 수행부와 수식 계산 등) 존재 원시 코드의 simulation이 효율적인 부분(I/O routine 등) 존재 순수 번역 기법이나 순수 시뮬레이션 기법은 실제로 거의 존재치 않음 적응성 simulation 효율성 Translation (object 모듈 발생) (I/O routine등 일부 code는 simulation) 36 인터프리터와 번역 기법의 비교 번역 기법의 장단점 장점 : 실행 시간 효율성 제공 (한번 decoding으로 반복 실행) 단점 : 번역된 프로그램이 큰 기억 장치 요구 (I/O routine 등) 인터프리터 기법의 장단점 번역 기법과 장단점이 반대 사용자 적응성(flexibility) 제공 하이브리드(hybrid) 기법 프로그램을 실행시키기 쉬운 형태로 번역한 후, 번역된 프로그램을 시뮬레이션으로 실행 현재 대부분의 인터프리터 언어가 이 방법을 따름 중간 형태 코드가 저급 언어이면 번역 기법으로 간주되기도 함 원시 프로그램 적당한 번역과정 중간 형태 코드 입력 자료 실행 결과 인터프리터 37
컴파일러 언어와 인터프리터 언어 컴파일러 언어 Fortran, Algol, PL/I, Pascal, Cobol, C, C++, Ada,... 컴파일러 방법의 장점 기계어로 번역된 것을 하드웨어 인터프리터가 decoding하여 실행 빠른 프로그램 실행(효율성) 인터프리터 언어 Lisp, SNOBOL4, APL, Prolog 구현 방법 번역기가 중간언어를 생성 후, 이를 다시 소프트웨어 인터프리터로 실행 hybrid 방법 인터프리터 방법의 장점 컴파일러 방법보다 실행 시간이 비효율적이지만 사용자에게 flexibility를 제공 38 Copyright, 2011 H. Y. Kwak, Jeju National University. To be Continue.. http://cybertec.cheju.ac.kr