고급 프로그래밍 언어

3. 실행 방식

현대 고급 프로그래밍 언어는 일반적으로 다음 세 가지 방식 중 하나로 실행된다.^[6][7][8]

• 인터프리터 방식: 인터프리터는 컴파일 과정 없이 코드를 실행한다.
• 컴파일 방식: 컴파일된 코드는 실행 전에 실행 가능한 형태로 변환된다. 기계어 생성과 중간 표현 방식이 있다.
• 소스 대 소스 번역 (트랜스컴파일): 코드를 저급 프로그래밍 언어 형태로 변환한다.

3. 1. 인터프리터 방식

4. 고급 언어 컴퓨터 아키텍처

고급 언어 컴퓨터 아키텍처는 컴퓨터 아키텍처 자체가 특정 고급 언어를 대상으로 설계되는 것을 의미한다. 즉, 컴퓨터가 고급 프로그래밍 언어(HLL) 코드를 직접 실행하는 것이다. 예를 들어, 버로스 대형 시스템은 ALGOL 60을 위한 타겟 머신이었다.^[12]

고급 프로그래밍 언어와 하드웨어 사이에는 큰 시맨틱 갭이 존재한다. 이 갭을 메우기 위해 컴파일러나 인터프리터와 같은 프로그래밍 언어 처리 시스템이 사용되며, 이를 효율화하기 위한 다양한 노력이 이루어져 왔다.

과거에는 하드웨어를 고급 프로그래밍 언어에 맞추려는 노력이 있었다. 1961년 배로우스 B5000이 대표적인 예시이며, LISP 머신이나 최근 메인프레임 중에는 COBOL의 명령(MOVE, ADD 등)을 거의 하나의 기계어로 변환하는 아키텍처를 가진 것도 있다. ARM 아키텍처의 Jazelle처럼 중간 표현을 실행할 수 있는 것도 있다. High-level language computer|고급 언어 컴퓨터^영어

다른 한편으로는 컴파일러가 생성하는 프로그램이나 인터프리터가 고성능을 낼 수 있도록 하는 노력이 있었다. RISC는 하드웨어를 단순화하고 컴파일러가 고성능 프로그램을 생성하도록 하는 방향이었다. 반면, 컴파일러가 사용하기 쉬운 복잡한 명령을 준비한 TRON 칩과 같은 예도 존재한다.

5. 기타

고급 프로그래밍 언어와 하드웨어 사이에는 큰 시맨틱 갭이 있다. 그 갭을 메우는 것은 컴파일러나 인터프리터와 같은 프로그래밍 언어 처리계인데, 이를 효율화하기 위해 과거 다양한 노력이 이루어져 왔다.

하드웨어를 고급 프로그래밍 언어 쪽에 맞추려는 노력으로, 1961년의 배로우스 B5000이 있으며, LISP 머신이나 최근 메인프레임에는 COBOL의 1명령(MOVE나 ADD 등)을 거의 하나의 기계어로 변환할 수 있는 아키텍처를 가진 것이나 ARM 아키텍처의 Jazelle처럼 중간 표현을 실행할 수 있는 것 등이 있다. (고수준 언어 머신)

컴파일러가 생성하는 프로그램이나 인터프리터가 고성능이 되도록 하는 노력도 있었다. RISC는 일부러 하드웨어를 단순하게 하고, 컴파일러가 고성능의 프로그램을 생성하도록 하는 방향이었다. 한편, 컴파일러가 사용하기 쉬운 복잡한 명령을 준비한 TRON 칩과 같은 예도 있다.

참조

_[1] 웹사이트 HThreads - RD Glossary https://web.archive.[...]
_[2] 서적 Introduction to Computers Faber and Faber Limited
_[3] 서적 Introduction to Computers Faber and Faber Limited
_[4] 간행물 Konrad Zuse's Plankalkül: The First High-Level "non von Neumann" Programming Language http://doi.ieeecompu[...] IEEE Annals of the History of Computing 1997
_[5] 문서
_[6] 학술지 Meta-Compilation of Language Abstractions. http://lispnyc.org/m[...] 2008-03-17
_[7] 웹사이트 The Data Abstraction Penalty (DAP) Benchmark for Small Objects in Java. https://web.archive.[...] 2008-03-17
_[8] 서적 Proceedings - 7th International Conference on Reliable Software Technologies - Ada-Europe'2002 Springer
_[9] 학술지 High-level languages for small devices: a case study http://www.clip.dia.[...] ACM
_[10] 서적 The C Programming Language: 2nd Edition https://books.google[...] Prentice Hall 1988
_[11] 서적 The art of assembly language https://books.google[...] No Starch Press 2010
_[12] Citation High-Level Language Computer Architecture Elsevier 1975
_[13] 웹사이트 高水準言語とは - IT用語辞典 https://e-words.jp/w[...] 2024-03-14
_[14] 문서 HThreads - RD Glossary https://web.archive.[...]
_[15] 서적 Faber and Faber Limited
_[16] 서적 Faber and Faber Limited
_[17] 간행물 Konrad Zuse's Plankalkül: The First High-Level "non von Neumann" Programming Language http://doi.ieeecompu[...] IEEE Annals of the History of Computing 1997