• 컴퓨터/IT > 프로그래밍

출판사 리뷰

출판사 서평 ★ 이 책에서 다루는 내용 ★ ■ LLVM의 모듈식 디자인과 LLVM 도구 소개 ■ 언어에 대한 프론트엔드 작성 ■ JIT 기능 추가 및 여러 언어의 프론트엔드 사용 ■ LLVM 패스 구조 및 LLVM 패스 매니저 이해 ■ 분석 패스 개발 및 최적화 패스 변환 ■ TOY 언어로 LLVM 백엔드 구현 ■ Selection DAG 단계에서 코드 최적화 및 변수 레지스터 할당 ★ 이 책의 대상 독자 ★ 컴파일러 개념에 익숙하고 LLVM 기반 구조를 이해하고 탐험하기를 원하며, 업무에 활용하고자 하는 컴파일러 엔... ★ 이 책에서 다루는 내용 ★ ■ LLVM의 모듈식 디자인과 LLVM 도구 소개 ■ 언어에 대한 프론트엔드 작성 ■ JIT 기능 추가 및 여러 언어의 프론트엔드 사용 ■ LLVM 패스 구조 및 LLVM 패스 매니저 이해 ■ 분석 패스 개발 및 최적화 패스 변환 ■ TOY 언어로 LLVM 백엔드 구현 ■ Selection DAG 단계에서 코드 최적화 및 변수 레지스터 할당 ★ 이 책의 대상 독자 ★ 컴파일러 개념에 익숙하고 LLVM 기반 구조를 이해하고 탐험하기를 원하며, 업무에 활용하고자 하는 컴파일러 엔지니어를 위한 것이다. 또한 컴파일러와 직접 연관은 없지만 수천 라인의 코드를 작성하는 프로그래머를 위한 책이기도 하다. 컴파일러 동작 방식에 대한 지식을 바탕으로 최적화된 코드를 작성해 고성능의 깔끔한 프로그램을 개발할 수 있다. ★ 이 책의 구성 ★ 1장, ‘LLVM 설계와 사용법’에서는 LLVM과 Clang를 다운로드해 설치하는 방법과 LLVM 내부 동작과 관련된 여러 예제를 통해 LLVM의 모듈 구조에 대해 설명한다. 또한 프론트엔드에 관련된 다양한 예제를 다룬다. 2장, ‘프론트엔드 작성 단계’에서는 프로그래밍 언어의 프론트엔드 구현 방법을 설명한다. TOY 언어를 위해 하위 단계부터 간단한 컴파일러 프론트엔드를 만들며, 이를 통해 프론트엔드 언어가 LLVM IR로 변환되는 과정을 눈으로 확인해본다. 3장, ‘프론트엔드 확장과 JIT 컴파일 추가’에서는 TOY 언어의 고급 기능을 살펴보고 프론트엔드에 JIT 컴파일 기능을 추가한다. 대부분의 현대 프로그래밍 언어에서 찾을 수 있는 강력한 기능을 구현한다. 4장, ‘최적화 준비’에서는 LLVM IR의 패스 기반 구조를 다룬다. 다양한 최적화 단계를 탐험하고, 각 단계에서 어떤 최적화 기술이 적용되는지 살펴본다. LLVM 패스를 스스로 작성할 수 있게 단계별로 설명한다. 5장, ‘최적화 구현’에서는 흔히 사용되는 LLVM IR에 대한 다양한 최적화 패스 구현 방법을 설명한다. 또한 아직 LLVM 오픈소스 코드에 공개되지 않은 벡터화 기술 관련 내용도 살펴본다. 6장, ‘타겟 독립적 코드 생성기’에서는 타겟 독립적 코드 생성기의 추상적인 기반 구조에 대해 설명한다. LLVM IR이 최종적으로 기계 코드를 생성하기 위해 사용하는 Selection DAG로 어떻게 변환되는지도 살펴본다. 7장, ‘머신 코드 최적화’에서는 Selection DAG가 어떻게 최적화되고 타겟 레지스터가 어떻게 변수에 할당되는지 살펴본다. 또한 Selection DAG의 최적화와 여타 레지스터 할당 기술에 대해서도 설명한다. 8장, ‘LLVM 백엔드 작성’에서는 레지스터와 명령어 집합, 호출 규약, 인코딩, 보조 타겟 기능 등 타겟 아키텍처를 표현하는 방법을 설명한다. 9장, ‘다양한 프로젝트에서의 LLVM 활용’에서는 LLVM IR 기반 구조를 사용할 수 있는 다양한 프로젝트를 살펴본다. LLVM은 단순한 컴파일러가 아니라 컴파일러 기반 구조다. 코드 조각들에 적용할 수 있는 다양한 프로젝트를 살펴보고 유용한 정보를 얻는 것이 9장의 목표다.

★ 지은이의 말 ★

프로그래머라면 프로그래밍하면서 컴파일러를 접해봤을 것이다. 컴파일러란 쉽게 설명하면 사람이 이해할 수 있는 형태의 고수준 코드를 기계가 이해할 수 있는 형태의 저수준 코드로 변환해주는 프로그램이다. 컴파일러가 어떻게 동작하는지 내부 구조에 의문을 가져본 적이 있는가? 컴파일러는 최적화된 기계어 코드를 생성해내기 위해 수많은 작업을 수행하며, 좋은 컴파일러를 구현하려면 복잡한 알고리즘이 많이 필요하다.
이 책은 컴파일 과정인 프론트엔드, 코드 최적화, 코드 생성 등 모든 단계를 다루는데, 단순한 기반 구조를 가진 LLVM이 각 컴파일 단계를 학습하는 데 적합하다. LLVM은 여러 모듈과 계층으로 나눠져 있으며 모든 컴파일러 기능들이 독립적으로 구현돼 있다. 또한 객체지향 언어인 C++로 구현됐으며, 프로그래머에게 단순한 인터페이스와 수많은 API를 제공해 독자적인 컴파일러를 구현하기 쉽게 해준다.
복잡한 솔루션보다는 단순한 솔루션을 여러 번 다루는 것이 나을 것이다. 이 책에서는 모든 컴파일 옵션을 고려하고 단순히 코드를 컴파일하는 것 이상의 것을 이해할 수 있도록 보여줌으로써 독자의 실력 향상에 도움이 되는 다양한 예제를 다룬다.
또한 컴파일러 개발과 관련이 없는 개발자라 할지라도 이 책을 통해 많은 것을 얻을 수 있다고 믿는다. 컴파일러 구현에 대한 이해는 최적화된 코드를 짤 수 있게 도와줄 것이다.
책에서 다루는 예제들이 유익하다고 생각하길 바라며, 이 예제들을 학습한 뒤에는 스스로 컴파일러를 만들 수 있을 것이다.

★ 옮긴이의 말 ★

컴파일러는 소프트웨어 개발자라면 누구나 매일 사용하는 도구지만, 실제 내부가 어떻게 동작하는지 아는 개발자는 그리 많지 않다. 과거엔 오픈소스 컴파일러인 GCC, 마이크로소프트에서 개발하는 MSVC를 많이 사용했지만, 최근에는 LLVM이 관심을 많이 받고 있고 특히 엑스코드(XCode)가 LLVM을 기본 컴파일러로 채택하면서 LLVM으로 빌드하는 상용 애플리케이션이 많아졌다. LLVM은 더 나아가 FreeBSD 운영체제를 빌드할 때도 쓰인다. 이렇듯 LLVM의 인기가 높아지면서 LLVM을 제외하고는 컴파일러를 논할 수 없게 됐다.
일리노이 대학의 연구 주제로 시작한 LLVM은 재사용이 가능한 코어 라이브러리, 프론트엔드, 링커 등 컴파일러 및 툴체인의 집합이다. 컴파일러의 구성 요소들이 모두 모듈화돼 있다는 특징 때문에 LLVM 모듈들을 사용한 다양한 프로젝트들이 활발하게 개발되고 있다. C/C++, 오브젝티브 C(Objective-C) 등 셀 수 없는 프로그래밍 언어들을 지원할 뿐만 아니라 디스어셈블러, 에뮬레이터의 코어 역할을 하기도 한다.
이 책은 LLVM 컴파일러 사용 기초부터 중간 언어, 최적화 과정까지 빠짐없이 다룬다. 관련 컴파일러 이론도 충분히 설명함으로써 컴파일러 이론에 대한 이해가 부족한 독자들도 내용을 소화할 수 있도록 책을 구성했다. 컴파일러를 공부함으로써 독자적인 컴파일러를 만들겠다는 거창한 목표를 이루지 못하더라도, 평소에 작성하는 코드를 컴파일러는 내부적으로 어떻게 해석하고 최적화하는지 감을 잡을 수 있는 좋은 기회가 될 것이다.

목차
1장. LLVM 설계와 사용법
__소개
__모듈 설계 이해
__Clang/LLVM을 이용한 크로스컴파일링
__C 소스코드를 LLVM 어셈블리로 변환
__IR을 LLVM 비트코드로 변환
__LLVM 비트코드를 타겟 머신 어셈블리로 변환
__LLVM 비트코드를 LLVM 어셈블리로 역변환
__LLVM IR 변환
__LLVM 비트코드 링킹
__LLVM 비트코드 실행
__C 프론트엔드 Clang 사용
__GO 프론트엔드 사용
__드래곤에그 사용
2장. 프론트엔드 작성 단계
__소개
__TOY 언어 정의
__렉서 구현 방법
__추상 구문 트리 정의
__파서 구현
__단순 표현식의 파싱
__이항 표현식의 파싱
__파싱을 위한 드라이버 적용
__TOY 언어 대상 렉서 실행
__각 추상 구문 트리 클래스를 위한 IR 코드 생성 기법 정의
__표현식을 위한 IR코드 생성
__함수를 위한 IR 코드 생성
__IR 코드 최적화 기능 추가
3장. 프론트엔드 확장과 JIT 컴파일 추가
__소개
__조건문 코드 생성: if/then/else
__반복문 코드 생성
__사용자 정의 연산자: 이항 연산자
__사용자 정의 연산자: 단항 연산자
__JIT 컴파일 추가
4장. 최적화 준비
__소개
__최적화의 다양한 레벨
__LLVM 패스 구현
__opt 툴로 구현한 패스 실행
__새로운 패스에서 다른 패스 사용
__패스 매니저에 패스 등록
__분석 패스 구현
__에일리어스 분석 패스 구현
__다른 분석 패스 사용
5장. 최적화 구현
__소개
__죽은 코드 제거 패스
__인라인 변환 패스 작성
__메모리 최적화 패스 작성
__LLVM IR 병합
__반복문 변환과 최적화
__표현식 재배치
__IR 벡터화
__기타 최적화 패스
6장. 타겟 독립적 코드 생성기
__소개
__LLVM IR의 생명주기
__GraphViz를 이용한 LLVM IR 제어 흐름 그래프 시각화
__TableGen을 이용한 타겟 지정
__명령어 집합 정의
__머신 코드 디스크립터 추가
__MachineInstrBuilder 클래스 구현
__MachineBasicBlock 클래스 구현
__MachineFunction 클래스 구현
__명령어 선택자 작성
__SelectionDAG 교정
__SelectionDAG 최적화
__DAG에서 명령어 선택
__SelectionDAG에서 명령어 스케줄링
7장. 머신 코드 최적화
__소개
__머신 코드의 공통부분 표현식 제거
__유효 구간 분석
__레지스터 할당
__프롤로그-에필로그 코드 삽입
__코드 생성
__꼬리 호출 최적화
__형제 호출 최적화
8장. LLVM 백엔드 작성
__소개
__레지스터와 레지스터 집합 정의
__호출 규약 정의
__명령어 집합 정의
__프레임 저수준화 구현
__명령어 출력
__명령어 선택
__명령어 인코딩 추가
__보조 타겟 지원
__다중 명령어로 저수준화
__타겟 등록
9장. 다양한 프로젝트에서의 LLVM 활용
__소개
__LLVM의 예외 처리
__Sanitizer 사용 방법
__LLVM으로 가비지 컬렉터 작성
__LLVM IR을 자바스크립트로 변환
__Clang 정적 분석기의 사용
__bugpoint 사용
__LLDB 사용
__LLVM 유틸리티 패스 사용