Product Design, Manufacturing & Innovation Resources

집 » 3단계 컴파일러 구조

3단계 컴파일러 구조

1980

(설명을 위한 생성된 이미지입니다)

최신 컴파일러는 일반적으로 프런트엔드, 미들엔드, 백엔드의 세 단계로 구성됩니다. 프런트엔드는 소스 코드를 분석하고 정확성을 검사한 후 중간 표현(IR)을 생성합니다. 미들엔드는 이 IR에 최적화 작업을 수행합니다. 마지막으로 백엔드는 최적화된 IR을 특정 CPU 아키텍처에 맞는 대상 기계어로 변환합니다.

This modular three-stage design provides a crucial separation of concerns. The front end is language-dependent but machine-independent; it understands the syntax and semantics of a specific language like C++ or Rust. Its output, the Intermediate Representation (IR), is an abstract, machine-agnostic data structure like an Abstract Syntax Tree (AST) or Three-Address Code. This decouples the source language from the target machine.

The middle end is largely language- and machine-independent. It takes the IR and applies a series of optimization passes, such as dead code elimination, constant folding, and loop optimizations. Because it operates on the generic IR, these complex optimizations can be written once and applied to any language that can be compiled to that IR.

Finally, the back end is machine-dependent but language-independent. It takes the optimized IR and performs instruction selection, register allocation, and instruction scheduling to generate efficient machine code for a specific target architecture, like x86-64 or ARM. This structure makes it possible to build compilers that support M languages and N targets by writing M front ends and N back ends, rather than M*N individual compilers. This principle is exemplified by modern compiler infrastructures like GCC and LLVM.

알고리즘, 컴퓨터 지원 설계(CAD), 컴퓨터 지원 제조(CAM), 부서 간 협업, 소프트웨어 개발 키트(SDK), 소프트웨어 엔지니어링, 소프트웨어 테스트

UNESCO Nomenclature: 1203

컴퓨터 과학

유형

추상 시스템

분열

기초적인

용법

널리 사용됨

전구체

early monolithic compiler designs
concept of abstraction in software engineering
development of intermediate languages in early systems
research into portable software (e.g., the p-code system)

응용 프로그램

retargetable compilers (e.g., GCC, llvm)
cross-compilation for different hardware platforms
language-agnostic optimization frameworks
development of new programming languages by only creating a new front end
static analysis tools that operate on intermediate representation

특허:

잠재적 혁신 아이디어

현재 하루 4만 건이 넘는 봇 트래픽을 차단하기 위해 이 콘텐츠는 커뮤니티 회원만 이용할 수 있습니다.
> 로그인 < 또는 >등록 < 이 콘텐츠를 비롯한 모든 제한된 콘텐츠와 도구는 (100% 무료로) 이용할 수 있습니다.

Related to: compiler design, front end, middle end, back end, intermediate representation, ir, optimization, code generation, modularity, GCC, llvm.

역사적 맥락

복구 블록 스키마

복구 블록 스키마는 설계 다양성과 역방향 오류 복구를 기반으로 하는 소프트웨어 내결함성 기법입니다. 이 기법은 프로그램을 일련의 블록으로 구성하며, 각 블록은 주 모듈, 인수 테스트, 그리고 하나 이상의 대체 모듈로 이루어져 있습니다. 주 모듈의 출력이 인수 테스트를 통과하지 못하면 시스템 상태가 복원되고 대체 모듈이 실행됩니다.

Team of engineers discussing verification and validation in software development.

검증 vs. 유효성 검사

검증과 유효성 검사(V&V)는 서로 다른 프로세스입니다. 검증은 제품이 명시된 요구사항을 충족하는지 확인하는 과정입니다("제대로 만들고 있는가?"). 유효성 검사는 제품이 사용자의 실제 요구사항과 의도된 용도에 부합하는지 확인하는 과정입니다("올바른 제품을 만들고 있는가?"). 이 두 과정은 품질 관리 내에서 상호 보완적인 활동이며, 정확성과 유용성을 모두 보장하기 위해 순차적으로 또는 동시에 수행되는 경우가 많습니다.

Precision analytical instrument in a laboratory for measuring repeatability limit.

반복성 한계(통계)

반복성 한계 [latex]r[/latex]은 반복성 표준편차([latex]s_r[/latex])에서 도출된 임계값입니다. 이는 반복성 조건에서 얻은 두 번의 단일 검사 결과 간의 최대 예상 절대 차이를 95% 확률로 나타냅니다. 일반적으로 [latex]r = 2.8 times s_r[/latex]로 계산됩니다. 차이가 [latex]r[/latex]을 초과하면 결과는 의심스러운 것으로 간주됩니다.

3단계 컴파일러 구조

Software engineering team discussing the Spiral Model in a modern office setting.

나선형 모델(SW 프로세스)

스파이럴 모델은 프로토타이핑과 워터폴 모델의 요소를 결합한 위험 중심의 소프트웨어 개발 프로세스 모델입니다. 이는 프로젝트가 각 반복(나선형)마다 네 단계(목표 설정, 위험 식별 및 해결, 개발 및 테스트, 다음 반복 계획)를 거치는 반복 개발 방식입니다. 스파이럴 모델은 지속적인 위험 분석을 강조합니다.

Statistician analyzing drug safety data using disproportionality analysis in a modern office.

불균형 분석을 이용한 신호 탐지

신호 탐지란 대규모 데이터 세트(일반적으로 자발적 보고 시스템)에서 약물과 이상 반응 간의 잠재적 인과 관계를 식별하는 과정입니다. 이는 불균형 분석으로 알려진 통계적 방법을 사용하여 예상보다 더 자주 보고된 약물-이상 반응 조합을 찾아냅니다. 일반적으로 사용되는 측정 지표는 보고 확률비(ROR)이며, 이 값이 1보다 크면 추가 조사가 필요한 잠재적 신호가 있음을 시사합니다.

Software engineer optimizing JIT compilation in a modern workspace.

적시 생산(JIT) 컴파일

JIT(Just-in-Time) 컴파일은 컴파일과 인터프리터의 특징을 결합한 하이브리드 방식입니다. JIT 컴파일러는 AOT(Ahead-of-Time) 컴파일 방식과 달리, 실행 직전에 바이트코드를 네이티브 머신 코드로 변환합니다. 이를 통해 실제 런타임 동작에 기반한 동적 최적화가 가능하며, 순수 인터프리터 방식보다 성능이 향상되는 경우가 많습니다.

1975-06-01

1980

1986-01-01

1990

1973

1980

1982-07-01

1988-06-01

1990

1993

실시간 시스템에 대한 속도-단조 스케줄링을 분석하는 제어실의 컴퓨터 워크스테이션.

비율 단조 스케줄링(RMS)

RMS(Rate-Monotonic Scheduling)는 실시간 시스템에서 주기적인 작업을 위한 정적 우선순위 스케줄링 알고리즘입니다. RMS는 작업 빈도에 따라 우선순위를 할당합니다. 작업 주기가 짧을수록(작업 빈도가 높을수록) 우선순위가 높아집니다. RMS는 최적의 정적 우선순위 알고리즘으로, 다른 정적 우선순위 알고리즘이 작업 집합을 스케줄링할 수 있다면 RMS도 스케줄링할 수 있습니다. 스케줄링 가능성은 활용률 기반 테스트를 통해 확인할 수 있습니다.

Computational fluid dynamics workspace showcasing finite volume method simulation for aerospace engineering.

유한체적법(FVM)

유한체적법(FVM)은 전산유체역학(CFD)에서 편미분방정식을 푸는 데 널리 사용되는 수치 기법입니다. 이 방법은 영역을 제어체적 메쉬로 이산화하고, 지배방정식을 적분 형태로 각 체적에 적용합니다. 발산 정리를 이용하여 체적 적분을 표면 적분으로 변환함으로써, 각 셀 면을 가로지르는 보존 속성의 플럭스를 계산하는 데 중점을 둡니다.

Computer science engineer reviewing formal verification model in office.

형식적 검증

형식 검증은 수학적 방법을 사용하여 형식 명세에 대한 시스템 설계의 정확성을 증명하거나 반증하는 것입니다. 특정 입력에 대해서만 버그의 존재를 보여줄 수 있는 테스트와 달리, 형식 검증은 모든 가능한 입력에 대해 버그가 없음을 증명할 수 있습니다. 형식 검증은 시스템의 형식 모델을 생성하고 모델 검증이나 정리 증명과 같은 기법을 사용하는 과정을 포함합니다.

Computer programmer demonstrating lexical scoping in R programming language.

R에서의 어휘적 범위 지정

R은 스킴 언어에서 계승된 개념인 어휘적 스코프를 사용합니다. 즉, 함수 내의 자유 변수 값은 함수가 호출되는 환경이 아니라 함수가 정의된 환경에서 찾아 결정됩니다. 이는 함수의 동작을 더욱 예측 가능하게 만들고 호출 컨텍스트에 독립적으로 만들어주며, 함수형 프로그래밍의 핵심 특징입니다.

비잔틴 장애 허용(BFT)

BFT(비잔틴 장애 허용)는 시스템의 속성 중 하나로, 일부 구성 요소가 임의적이고 예측 불가능한 방식으로, 심지어 악의적인 행위(비잔틴 장애)로 인해 고장 나더라도 시스템이 정상적으로 작동하고 합의에 도달할 수 있도록 하는 기능입니다. 이는 단순한 시스템 충돌을 허용하는 것보다 훨씬 강력한 보장입니다. BFT를 구현하려면 최소 [latex]3f+1[/latex]개의 전체 구성 요소가 [latex]f[/latex]개의 결함 있는 악의적인 구성 요소를 허용해야 합니다.

RAID storage systems in a modern data center for enterprise applications.

RAID 데이터 저장소

RAID(Redundant Array of Independent Disks의 약자)는 데이터 중복성, 성능 향상 또는 둘 다를 위해 여러 개의 물리적 디스크 드라이브를 하나 이상의 논리적 단위로 결합하는 데이터 스토리지 가상화 기술입니다. RAID 레벨에 따라 신뢰성, 가용성, 성능 및 용량의 균형이 다릅니다. 예를 들어, RAID 1은 두 개의 디스크에 데이터를 미러링하는 반면, RAID 5는 최소 세 개의 디스크에 데이터와 패리티를 스트라이핑합니다.