오늘날의 프로그래밍 언어는 생산성과 이식성을 제공하는데, 컴파일러에 최적화되지 않은 조잡한 코드를 쉽게 작성할 수도 있다. 로우레벨로 생각하고 고급 언어로 코딩하면 컴파일러로 좋은 기계어 코드를 생성해내는 소스 코드를 만들 수 있게 해준다.

“아직 서점에 있다면, 친구에게 부탁하거나 돈을 모아 이 책을 구입하라. 집에 도착하면, 그 안에 담긴 내용을 마스터할 수 있도록 읽고 또 읽어라.”

“이 책은 고급 언어로 애플리케이션을 작성할 때 개발자가 애플리케이션 성능에 더 많은 주의를 기울이도록 도와준다. 모든 고급 애플리케이션 개발자에게 필수 도서다.”

“고급 언어 프로그래머로서 프로그램에서 실제로 무슨 일이 일어나고 있는지 알고 싶다면 어셈블리 언어를 배워라. 그보다 더 쉬운 방법은 없다.”

“좋은 책이다. 매우 매우 훌륭한 책이다. 솔직히 글의 퀄리티가 엄청나다.”

◆ 코드가 좋은 기계어 코드를 생성하는지 컴파일러의 출력물을 분석해 확인하는 방법
◆ 컴파일러가 생성하는 기계어 코드 명령문의 유형을 이해하고, 고급 언어로 코딩할 때 최선의 명령문을 선택
◆ 컴파일러 출력을 읽기에 충분한 어셈블리 언어
◆ 컴파일러가 다양한 상수 및 변수 오브젝트를 기계어 데이터로 변환하는 방법

독자들이 어느 정도의 사전 지식을 갖췄다는 가정을 바탕으로 했다. 다음과 같은 스킬을 갖고 있다면 많은 도움을 얻을 수 있다.
적어도 하나 이상의 명령형(절차적) 프로그래밍 언어나 객체지향 프로그래밍 언어에 능숙해야 한다. 예를 들면 C, C++, 파스칼(Pascal), 자바(Java), 스위프트(Swift), 베이직(BASIC), 파이썬(Python), 어셈블리(assembly), 에이다(Ada), 모듈라-2(Modula-2), 포트란(FORTRAN) 등이 해당된다.
간단한 문제에 대한 설명을 듣고 해당 문제에 대한 소프트웨어 솔루션을 설계하고 구현할 수 있어야 한다. 대학에서 한 학기 정도 관련 과목을 수강했거나 몇 개월 정도 독학했다면 충분하다.
컴퓨터 구조나 데이터 표현에 대한 기본적인 이해가 있어야 하고, 16진수와 이진수 시스템을 알아야 한다. 부호 있는 정수, 문자, 문자열 등 다양한 고급 데이터 유형이 컴퓨터 메모리에 어떻게 표현되는지 이해하고 있어야 한다.

효율적인 코드를 작성하기 위해 전문 어셈블리 언어 프로그래머가 될 필요는 없지만 이 책의 컴파일러 출력을 이해하려면 최소한 이에 대한 기본 지식은 필요하다.
1장과 2장에서는 어셈블리 언어 학습의 여러 측면을 논의하고, 일반적인 오해, 컴파일러에 대한 고려사항, 사용 가능한 리소스를 다룬다.
3장에서는 80x86 어셈블리 언어에 대한 빠른 입문 가이드를 제공한다. 파워PC, ARM, 자바 바이트코드, CIL(Common Intermediate Language) 어셈블리 언어에 대한 입문 가이드를 제공한다.
4장과 5장에서는 컴파일러 출력을 검사해 고급 언어 구문의 품질을 결정하는 방법을 배운다. 또한 디스어셈블러, 오브젝트 코드 덤프 툴, 디버거, 어셈블리 언어 코드를 표시하기 위한 다양한 고급 언어 컴파일러 옵션과 기타 유용한 소프트웨어 도구를 설명한다.
6~15장에서는 컴파일러가 다양한 고급 언어 구문과 데이터 유형에 대해 기계어 코드를 생성하는 방법을 설명한다. 이 지식들로 가장 적절한 데이터 유형, 상수, 변수, 제어 구조를 선택해 효율적인 애플리케이션을 생성할 수 있다.

‘훌륭한 코드(great code)’란 무엇일까? 이에 대해서는 프로그래머마다 생각이 다를 것이다. 따라서 모든 사람이 만족할 수 있는 포괄적인 정의를 제공하는 것은 불가능하다. 이 책에서 사용할 정의는 다음과 같다. 훌륭한 코드는 소프트웨어의 우수한 특성을 살려 일관성 있게 작성된 소프트웨어다. 특히 알고리듬을 소스 코드로 구현할 때, 프로그래머의 생각대로 정해진 일련의 규칙을 따른다.
어떤 프로그래머는 이식 가능하고, 주어진 프로그래밍 스타일 지침을 따르거나 특정 언어로 작성돼야(또는 특정 언어로 작성되지 않아야) 훌륭한 코드라고 생각할 수 있다. 또는 가능한 한 단순하게 만들어야 한다거나 빨리 만들 수 있어야 한다고 생각할 수도 있다. 또 다른 관점으로 주어진 시간 내에 정해진 예산 내에서 만들어져야 한다고 할 수도 있다.
훌륭한 코드를 설명하는 여러 가지 관점이 있는데, 한 권의 책에서 제대로 설명하기에는 내용이 너무 많다. 이 책은 그중 ‘효율적인 성능’에 중점을 둔다. 효율성이 항상 소프트웨어 개발의 주요 목표가 되는 것도 아니고 코드가 반드시 훌륭해야 할 필요도 없지만, 비효율적인 코드가 훌륭한 코드는 아니라는 점에는 모두 동의할 것이다. 게다가 비효율성은 현대 애플리케이션의 주요 문제 중 하나이므로 여러 번 강조해도 될 만큼 중요한 주제다.

랜달 하이드(Randall Hyde)

『The Art of Assembly Language』, 『Write Great Code』 시리즈, 『Using 6502 Assembly Language』와 『P-Source』의 저자며, 『The Waite Group’s MASM 6.0 Bible』의 공저자다. 지난 40여 년간 원자력 발전기, 교통신호 시스템, 다양한 소비자용 전자 제품을 위한 임베디드 소프트웨어 및 하드웨어 개발 도구를 만들었고, 포모나에 위치한 캘리포니아 폴리테크닉 주립대학교(California State Polytechnic University)와 리버사이드에 위치한 캘리포니아 대학교(University of California)에서 컴퓨터 과학을 가르쳤다. 프로그래밍과 소프트웨어 엔지니어링에 대한 다양한 자료를 제공하는 웹 사이트(www.randallhyde.com)를 운영한다.

이 책은 무려 40여 년 전에 소프트웨어 개발자로 일을 시작했던 랜들 하이드의 ‘Great Code’ 시리즈 두 번째 책으로 지난 40여 년간 소프트웨어 개발 산업에 존재해왔던 방법론, 전략, 실무 이론, 체계를 집대성한 것이라 할 수 있다. 저자는 Great Code 시리즈 1, 3권을 통해 하드웨어와 효과적으로 소통하는 방법과 개발자가 어떻게 소프트웨어를 완성하는지를 소개했으며, 이번 2권에서 로우레벨로 생각하고 하이레벨로 코딩하는 방법을 설명한다.
저자 랜달 하이드의 시대에 각광받던 개발 주제는 현시점에서 클라우드, 인공지능, 양자컴퓨팅, 블록체인 등과 같은 주제로 바뀌었고, 개발 접근 전략이나 방법론 또한 좀 더 세분화되거나 아예 달라지기도 했다. 하지만 좀 더 좋은 소프트웨어를 만들기 위한 열정은 개발자 모두의 공통된 마음이 아닐까 한다.
이 책은 소프트웨어 개발자들이 하이레벨과 로우레벨 사이의 모든 것들을 이해하고, 프로그램 개발에 적극 활용하고자 할 때 읽기 좋을 것이다. 지난 수십 년간 존재해온 개발 담론을 확인하며 개발자로서 자신의 경력을 앞으로 어떤 방식으로 관리할 것인지 계획을 세우고 싶을 때 참고할 수 있다. 이런 독자들에게 저자는 다양한 예제와 코드를 활용해 체계적으로 자세히 설명한다.
지난 프로젝트보다 더 좋은 코드를 좀 더 효율적으로 만들기 위해 고민하는 개발자에게도 추천한다.

송주경

삼성전자 엔지니어 출신으로 현재 클라우드, 인공지능, 로봇, 메타버스, 블록체인 등 기술 융합 분야와 프로그래밍 강의를 하고 있다. 파이썬, 스파크, 스프링 분야의 책을 번역했다.