컴파일

컴파일(compile)이란 C, Java 등 인간이 이해할 수 있는 고급 언어로 작성된 프로그램 소스 코드를 컴퓨터가 이해할 수 있는 기계어 또는 바이트코드로 번역해 주는 것을 말한다. 반면 스크립트 언어인 JavaScript, jQuery, PHP, ASP, JSP 등은 컴파일 과정이 필요 없이 바로 실행될 수 있다. 쉽게 말해 사람이 이해하는 언어를 컴퓨터가 이해할 수 있는 언어로 바꿔주는 과정이다. 원시코드에서 목적 코드(목적 파일)로 바꾸는 것이 컴파일이로 목적 파일을 실행 파일로 바꾸는 것이 링크이다. 원시코드는 c언어나 java, 파이썬 같은 사람이 이해할 수 있는 언어를 말하고 목적 파일은 컴퓨터가 이해할 수 있는 언어를 말한다. 실행 파일도 마찬가지로 컴퓨터가 이해할 수 있는 언어로 구성되어 있다. 컴파일에 대해 알지 못한 사람들이 많이 오해하고 있는 부분이 자신이 소스 코드를 작성하고 실행 파일을 만드는 것을 컴파일이라고 생각하지만 이것은 컴파일러가 하는 역할일 뿐 컴파일이라는 개념은 원시코드에서 목적 파일로 바꾸는 것이다. 바꾸어진 목적 파일은 단순한 컴퓨터가 이해할 수 있는 목적 파일일 뿐 실행할 수는 없으면 이것을 링커라는 실행 가능할 파일로 만드는데 이 실행파일을 .exe파일이라고 부른다.

컴파일 이해

특징

필요성

컴파일의 필요성

컴퓨터는 모든 명령 CPU가 처리하고 CPU는 모든 명령을 0과 1로 이해하고 실행한다. CPU는 0과 1, 오직 2가지 경우 밖에 모른다. 'A'라는 알파벳을 입력할 때 우리는 'A'라고 해석하지만 컴퓨터는 00110010와 같은 이진코드로 해석하고 명령을 처리한다는 것이다. 즉, 우리의 언어는 컴퓨터가 이해하지 못하므로 컴퓨터가 이해할 수 있는 통역사인 컴파일이 필요하다.

종류

분할 컴파일

분할 컴파일

분할 컴파일이란 두 가지 이상의 소스코드 파일을 한꺼번에 컴파일하는 것을 말한다. 그냥 컴파일의 경우 1개의 소스코드를 1개의 목적 파일로 만들어 1개의 실행파일로 만들지만 분할 컴파일은 여러 개의 소스 코드를 여러 개의 목적 파일로 만들어 1개의 실행파일로 만든다. 여러 가지 소스파일로 분할하여 관리하면 업그레이드하거나 에러를 잡거나 디버깅하기가 쉬워진다.

컴파일과 빌드 차이점

컴파일과 빌드

빌드는 기본적으로 실행 파일을 만드는 것을 의미한다. 사실상 하나의 소소스파일이 하나의 실행 파일로 생성되기 위해서는 컴파일과정과 링크과정을 거쳐야 한다. 링크라는 것은 말 그대로 실행파일로 만드는데 필요한 기능들을 컴파일된 파일에 연결시킨다는 의미이다. 따라서 .c파일을 컴파일한 후에 생성된 오브젝트 파일들을 이용하여 링크 작업을 해야 실행 파일인 .exe파일이 생성된다. 비주얼 C++에서는 빌드를 통해서 링크 과정을 실행한다. 만약 .c파일이 컴파일 되어있지 않은 상태에서 빌드를 실행하면 컴파일과 링크를 모두 실행하며 이미 .obj로 컴파일된 파일이 존재하면 빌드를 실행했을 때 컴파일 작업을 생략하고 링크 작업을 한후에 실행파일을 생성한다. 그러나 컴파일된 파일은 실행파일이 아니다. 다시 말하면 우리가 윈도우 환경에서 실행할 수 있는 .exe파일의 형태가 아니라는 의미이다. 비쥬얼 C++에서는 .c로 되어있는 소스코드를 컴파일하면 .obj파일로 변환한다. 마찬가지로 리눅스나 유닉스에서도 .c로 되어있는 소스코드를 컴파일하면 .o파일로 변환한다. 이와 같은 .obj파일이나 .o와 같은 파일들을 오브젝트 파일이라고 부른다.

단계

컴파일은 다음 4가지 단계를 거쳐 실행된다.

1단계 스캔

스캐너(scanner)는 소스 코드에서 한 번에 한 문자씩 읽고 어떤 문자가 어느 라인에 있는지 추적한다.

2단계 어휘 분석

컴파일러는 소스 코드에 나타나는 문자 시퀀스를 일련의 문자열인 토큰으로 변환한다. 이 문자는 어휘 분석기라는 프로그램에서 특정한 규칙에 의해 연결이 된다. 어휘 분석기는 기호 표를 사용하여 생성된 토큰에 해당하는 단어를 소스 코드에 저장한다.

3단계 구문 분석

이 단계에서는 사전 분석을 통해 구문 분석을 수행한다. 사전 처리를 통해 어휘 분석 중에 작성된 토큰이 사용법에 따라 올바른 순서인지 여부를 결정한다. 원하는 결과를 얻을 수 있는 키워드의 집합의 올바른 순서를 구문이라 한다. 컴파일러는 구문의 정확성을 보장하기 위해 코드를 확인해야 한다.

4단계 의미 분석

의미 분석은 여러 가지 단계로 구성된다. 처음으로 주어진 언어의 문법에 대한 순서와 함께 토큰의 구조가 검사된다. 토큰의 구조의 의미는 파서와 분석기에 의해 해석되어 최종적으로 객체 코드라는 중간 코드를 생성한다. 오브젝트 코드는 프로그램에서 마주칠 때 대응하는 토큰에 대한 프로세서 조치를 나타내는 명령어를 포함한다. 마지막으로 전체 코드가 파싱되어 해석이 가능한지 확인한다. 일단 최적화가 수행될 수 있다면, 수정된 적절한 토큰이 오브젝트 코드에 삽입되어 최종 오브젝트 코드가 생성되어 파일 내에 저장된다.

평가

컴파일의 장단점은 다음과 같다.

장점

• 한번 컴파일을 하면 그대로 사용이 가능하며 반복 작업을 처리할 경우 시간 소모를 매우 줄일 수 있다.
• 컴파일 과정에서 단계별로 주기억장치로 들어가기 때문에 기억장소의 크기가 조정이 가능하다.
• 전체 실행 시간을 매우 효율적으로 절약할 수 있다.
• 컴파일러는 일일이 매번 따로 번역할 필요가 없다.

단점

• 한 줄로 입력할 경우 프로그램이 때로는 몇 십, 몇 백 개의 기계어로 번역되기 때문에 프로그램 실행을 위해서는 대용량의 기억공간이 필요하다.

참고자료

• Mark J, 〈(C언어)(컴파일)컴파일 이란?〉, 《네이버 블로그》, 2017-05-11
• File, 〈컴파일(Compile)과 빌드(Build)의 차이점〉, 《네이버 블로그》, 2003-12-26
• 〈[https://blog.naver.com/uosarang/503861 Compiler〉, 《techoped》, 2016-12-21

같이 보기

• 프로그램
• 프로그래밍
• 컴파일러
• 기계어
• 소스코드

이 컴파일 문서는 프로그래밍에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.

개발 : 프로그래밍 □■⊕, 소프트웨어, 데이터, 솔루션, 보안, 하드웨어, 컴퓨터, 사무자동화, 인터넷, 모바일, 사물인터넷, 게임, 메타버스, 디자인 프로그래밍 언어 ASP • C 언어 • C++ • C# • CSS • D 언어 • HTML • HTML5 • JSP • PHP • R • XHTML • XML • XSLT • 고(Go) • 고급언어 • 기계어 • 델파이 • 러스트 • 루비 • 루아 • 리액트 • 리퀴디티 • 무브 • 미켈슨 • 베이직 • 브이비스크립트 • 비주얼 C++ • 비주얼베이직(VB) • 비주얼베이직닷넷(VB.NET) • 솔리디티 • 스몰토크 • 스위프트 언어 • 스칼라 • 스크립트 언어 • 알골 • 어셈블리 • 언리얼스크립트 • 얼랭 • 에이잭스(Ajax) • 엠에프씨(MFC) • 오브젝티브-C • 오브젝트 파스칼 • 오카멜 • 웹어셈블리(WASM) • 이와즘(eWASM) • 자바 • 자바스크립트 • 저급언어 • 제이슨(JSON) • 제이쿼리(jQuery) • 카멜 • 코볼 • 코틀린 • 콜드퓨전 • 타입스크립트 • 파스칼 • 파워스크립트 • 파이썬 • 펄(Perl) • 포트란 • 프로씨(Pro-C) • 피엘에스큐엘(PL/SQL) • 피엘원(PL/I) • 하스켈 개발방법론 CBD 개발방법론 • EA • 구조적 개발방법론 • 객체지향 개발방법론 • 라이브러리 • 람다 아키텍처 • 모듈 • 모듈화 • 벤치마킹 • 소프트웨어 개발방법론 • 스크럼 • 스프린트 • 아키텍처 • 아키텍트 • 애자일 • 웹개발방법론 • 정보공학 개발방법론 • 컴포넌트 • 테일러링 • 템플릿 • 폭포수 모델 • 프로젝트 • 프로토타입 • 피드백 코딩 EUC-KR • UTF-8 • 값 • 글루웨어 • 디버깅 • 디코딩 • 마크업 • 버그 • 부트스트랩 • 세이브포인트 • 소스코드 • 시큐어코딩 • 아스키 • 액티브엑스 • 오픈소스 • 유니코드 • 인코딩 • 재컴파일 • 주석 • 컴파일 • 컴퓨터 프로그램 • 코드 • 코딩 • 태그 • 테스트 • 테이블 • 텍스트 • 파싱 • 퍼블리싱 • 퓨니코드 • 하드코딩 • 하이퍼링크 • 하이퍼텍스트 프로그래밍 C 명령어 • 객체 • 객체지향 • 객체지향 프로그래밍 • 거짓 • 관계연산자 • 기본형 변수 • 널 • 논리 • 논리연산 • 논리연산자 • 다중상속 • 다형성 • 대입 • 대입문 • 대입연산자 • 더블 • 도스 명령어 • 디폴트 • 레지스터변수 • 루프 • 리눅스 명령어 • 리턴 • 메모리 주소 • 메소드 • 멤버 • 명령문 • 명령어 • 무한루프 • 문자 • 문자열 • 바이트 • 반복문 • 배열 • 변수 • 분기 • 분기문 • 불린 • 브레이크 • 비교연산자 • 비트연산자 • 산술연산자 • 상속 • 상수 • 생성자 • 선언 • 선언문 • 설정자 • 속성 • 스위치 • 스태틱 • 시프트연산자 • 실행 • 실행문 • 어노테이션 • 에코 • 역참조 • 연산 • 연산문 • 연산자 • 오버로딩 • 오버라이딩 • 외부변수 • 윈도우 명령어 • 유닉스 명령어 • 인스턴스 • 인스트럭션 • 인클루드 • 인터페이스 • 임포트 • 입력 • 입력문 • 입출력 • 입출력문 • 자료형(데이터 타입) • 자바 명령어 • 자바 예약어 • 자바 컬렉션 • 전역변수 • 접근자 • 접근제어자 • 정보은닉 • 정수형 • 정적변수 • 제어 • 제어문 • 제어자 • 조건 • 조건문 • 조건연산자 • 주소 • 증감연산자 • 지역변수 • 참 • 참조 • 참조변수 • 초기화 • 추상메소드 • 추상클래스 • 추상화 • 출력 • 출력문 • 캡슐화 • 케이스 • 클래스 • 파라미터(매개변수) • 파이널 • 패키지 • 퍼블릭 • 포인터 • 프라이빗 • 프로텍티드 • 필드(멤버변수) • 함수 • 환경변수 명령어 abstract • array • boolean • break • byte • case • char • continue • default • double • do while • echo • elif • else • else if • false • final • float • for • gosub • goto • if • if else • import • include • int • join • long • long long • null • print • printf • println • private • protected • public • return • scanf • short • stdio.h • static • string • switch • temp • then • true • unsigned • void • while 디자인패턴 구조패턴 • 동시성패턴 • 동시실행패턴 • 모델-뷰-컨트롤러 패턴 • 상태패턴 • 생성패턴 • 싱글톤패턴 • 아키텍처패턴 • 전략패턴 • 커맨드패턴 • 행동패턴 프로그래밍 인물 귀도 반 로썸 • 그레이스 머레이 호퍼 • 니클라우스 비르트 • 댄 브릭클린 • 더그 커팅 • 데니스 리치 • 리누스 토르발스 • 리처드 그린블라트 • 마거릿 해밀턴 • 마크 앤드리슨 • 빈트 서프 • 빌 게이츠 • 빌 조이 • 스티브 잡스 • 에이다 러브레이스 • 제임스 고슬링 • 척 벤턴 • 켄 톰슨 • 팀 패터슨 위키 : 자동차, 교통, 지역, 산업, 기업, 단체, 업무, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반