# 어셈블리 언어 (Assembly Language)

어셈블리 언어는 컴퓨터의 CPU가 직접 이해하는 기계어(Machine Code)와 일대일 대응 관계를 가지는 저수준 프로그래밍 언어이다. 이 언어는 특정 CPU 아키텍처에 종속적이라는 핵심적인 특성을 가진다.

## 1. 개요
어셈블리 언어는 0과 1로 이루어진 이진수 형태의 기계어를 인간이 읽을 수 있는 문자(니모닉, Mnemonic)로 치환한 언어이다. 하드웨어의 물리적 구조에 직접적으로 접근할 수 있어 시스템 자원을 극도로 효율적으로 사용할 수 있으며, CPU의 레지스터와 메모리를 직접 제어하는 특성을 갖는다. 이는 고수준 언어(C, Java, Python 등)가 제공하는 추상화 계층을 제거하고 하드웨어의 동작 원리를 그대로 반영하므로, 하드웨어 제어 및 최적화에 있어 결정적인 역할을 한다.

## 2. 동작 원리 및 구조
어셈블리 언어의 동작은 CPU의 **명령어 세트 아키텍처(ISA, Instruction Set Architecture)**에 기반한다. ISA는 CPU가 실행할 수 있는 명령어의 집합과 레지스터 구조, 메모리 접근 방식을 정의한 표준이다.

### 2.1 핵심 동작 요소
*   **레지스터(Register):** CPU 내부에 존재하는 초고속 저장 공간으로, 연산에 필요한 데이터나 메모리 주소를 일시적으로 저장한다.
*   **메모리 주소 지정(Addressing Mode):** 데이터가 저장된 위치를 찾는 방식으로, 즉시 주소 지정(Immediate), 직접 주소 지정(Direct), 간접 주소 지정(Indirect) 등이 있다.
*   **명령어 사이클:** CPU는 '인출(Fetch) $\rightarrow$ 해독(Decode) $\rightarrow$ 실행(Execute) $\rightarrow$ 저장(Write-back)'의 과정을 반복하며 코드를 처리한다.

### 2.2 언어 계층 대응 관계
| 계층 | 형태 | 예시 | 특징 |
| :--- | :--- | :--- | :--- |
| **고수준 언어** | 추상적 문장 | `a = a + 1;` | 가독성 높음, 이식성 좋음 |
| **어셈블리 언어** | 니모닉(Mnemonic) | `INC EAX` | 하드웨어 종속적, 정밀 제어 가능 |
| **기계어** | 이진수(Binary) | `01000000 10000000` | CPU가 직접 실행, 인간이 읽기 어려움 |

## 3. 주요 구성 요소
어셈블리 코드는 기본적으로 다음과 같은 문법 구조를 가진다.

*   **명령어(Instruction):** CPU가 수행할 동작을 정의한다. (예: `MOV`, `ADD`, `PUSH`, `POP`)
*   **피연산자(Operand):** 명령어가 적용될 대상이다. 레지스터, 메모리 주소, 상수 등이 올 수 있다.
*   **레이블(Label):** 코드의 특정 위치에 이름을 붙여 `JMP`(점프)나 `CALL`(함수 호출) 시 참조점으로 사용한다.
*   **지시어(Directive):** CPU가 실행하는 명령어가 아니라, 어셈블러에게 데이터 영역 설정이나 세그먼트 정의를 지시하는 명령이다. (예: `.data`, `.text`, `section`)

### 코드 예제: 기본 연산
```assembly
section .data
    num1 dd 10          ; dd (Define Double-word): 4바이트 정수 10 정의
    num2 dd 20          ; dd (Define Double-word): 4바이트 정수 20 정의

section .text
    global _start

_start:
    mov eax, [num1]     ; eax 레지스터에 num1의 값을 이동
    add eax, [num2]     ; eax 값에 num2의 값을 더함 (eax = 10 + 20)
    ; 결과값 30이 eax 레지스터에 저장됨
```

## 4. 스택과 힙 메모리 구조
어셈블리 수준에서 메모리 관리는 매우 중요하다. 프로그램이 실행되면 메모리는 크게 여러 영역으로 나뉘며, 특히 스택과 힙의 동작 방식을 이해해야 한다.

### 4.1 스택 (Stack)
*   **특징:** LIFO(Last-In, First-Out) 구조의 메모리 영역이다.
*   **동작:** `PUSH` 명령어로 데이터를 넣고, `POP` 명령어로 데이터를 꺼낸다.
*   **용도:** 함수 호출 시 복귀 주소 저장, 지역 변수 할당, 함수 인자 전달에 사용된다.
*   **포인터:** `ESP`(Stack Pointer)가 현재 스택의 최상단 주소를 가리킨다.

### 4.2 힙 (Heap)
*   **특징:** 프로그래머가 동적으로 할당하고 해제하는 자유 메모리 영역이다.
*   **동작:** OS의 시스템 콜(System Call)을 통해 메모리를 요청하여 할당받는다.
*   **용도:** 실행 시간(Runtime)에 크기가 결정되는 대규모 데이터 저장에 사용된다.

## 5. 어셈블리 프로세스 (Assembling)
소스 코드가 실행 파일이 되기까지는 다음과 같은 단계를 거친다. 일반적으로 고수준 언어는 컴파일러(Compiler)를 통해 변환되지만, 어셈블리 언어는 어셈블러(Assembler)를 통해 기계어로 변환된다는 차이가 있다.

1.  **소스 코드 작성:** `.asm` 확장자의 텍스트 파일을 작성한다.
2.  **어셈블링(Assembling):** **어셈블러(Assembler)**(예: NASM, MASM)가 소스 코드를 기계어로 변환하여 **목적 파일(Object File, `.o` 또는 `.obj`)**을 생성한다.
3.  **링킹(Linking):** **링커(Linker)**가 여러 개의 목적 파일과 외부 라이브러리를 결합하여 최종적인 **실행 파일(Executable File, `.exe` 또는 ELF)**을 생성한다.

## 6. 주요 아키텍처별 특징
CPU 설계 철학에 따라 크게 **CISC**와 **RISC**로 나뉜다.

### CISC vs RISC 비교
| 구분 | CISC (Complex Instruction Set Computer) | RISC (Reduced Instruction Set Computer) |
| :--- | :--- | :--- |
| **설계 철학** | 복잡하고 다양한 명령어로 코드 길이 최소화 | 단순하고 필수적인 명령어로 실행 속도 및 전력 효율 극대화 |
| **명령어 길이** | 가변 길이 (Variable Length) | 고정 길이 (Fixed Length) |
| **명령어 수** | 매우 많음 | 상대적으로 적음 |
| **메모리 접근** | 명령어 내에서 직접 메모리 연산 가능 | Load/Store 구조 (전용 명령어로만 메모리 접근) |
| **대표 예시** | x86 (Intel, AMD) | ARM, RISC-V, Apple Silicon |

### x86 vs ARM 상세 비교
| 구분 | x86 (Intel/AMD) | ARM (Apple Silicon/Qualcomm) |
| :--- | :--- | :--- |
| **설계 철학** | CISC | RISC |
| **명령어 길이** | 가변 길이 (1~15 바이트) | 고정 길이 (주로 4 바이트) |
| **레지스터** | 상대적으로 적음 (범용 레지스터 중심) | 매우 많음 (대량의 범용 레지스터) |
| **메모리 접근** | 명령어 내에서 메모리 연산 가능 | Load/Store 구조 (전용 명령어로만 접근) |
| **주요 용도** | 데스크톱, 서버, 워크스테이션 | 스마트폰, 태블릿, 임베디드, M1/M2 맥 |

## 7. 실행 가능한 전체 코드 예제 (x86-64 Linux)
다음은 두 숫자를 더해 시스템 종료 코드로 반환하는 간단한 Linux 64비트 어셈블리 코드이다. 이 예제는 커널에 특정 동작을 요청하는 **시스템 콜(System Call)** 호출 방식을 보여준다.

```assembly
; 파일명: add.asm
section .text
    global _start       ; 링커에게 프로그램 시작점 알림

_start:
    mov rax, 5          ; rax 레지스터에 5 저장
    mov rbx, 10         ; rbx 레지스터에 10 저장
    add rax, rbx        ; rax = rax + rbx (결과: 15)

    ; 시스템 콜을 이용한 프로그램 종료 (sys_exit)
    mov rdi, rax        ; 종료 상태 값으로 연산 결과(15)를 rdi에 전달
    mov rax, 60         ; Linux x64 sys_exit 시스템 콜 번호는 60
    syscall             ; 커널에 요청
```
**컴파일 및 실행 방법:**
```bash
nasm -f elf64 add.asm -o add.o    # 어셈블링
ld add.o -o add                   # 링킹
./add                             # 실행
echo $?                           # 종료 코드 확인 (출력: 15)
```

## 8. 디버깅 도구 및 환경 설정
어셈블리 언어는 런타임 에러 발생 시 추적이 매우 어렵기 때문에 전문적인 디버깅 도구가 필수적이다.

### 8.1 주요 디버깅 도구
*   **GDB (GNU Debugger):** 리눅스 표준 디버거. 레지스터 값 확인, 메모리 덤프, 단계별 실행(Step-by-step)이 가능하다.
*   **x64dbg / OllyDbg:** 윈도우 환경의 강력한 GUI 기반 디버거로, 리버스 엔지니어링에 주로 사용된다.
*   **IDA Pro / Ghidra:** 바이너리 파일을 분석하여 어셈블리 코드로 복원하는 디스어셈블러(Disassembler) 및 디컴파일러이다.

### 8.2 환경 설정 팁
1.  **툴체인 설치:** Linux의 경우 `build-essential` 패키지를 통해 `gcc`, `ld`, `gdb`를 설치하고, `nasm`을 별도로 설치한다.
2.  **심볼 정보 포함:** 어셈블링 시 `-g` 옵션을 사용하여 디버깅 심볼을 포함시켜야 GDB에서 소스 코드 라인과 매칭하여 분석할 수 있다.
3.  **레지스터 모니터링:** GDB 사용 시 `layout regs` 명령어를 통해 CPU 레지스터의 변화를 실시간으로 관찰하는 것이 효율적이다.

## 9. 활용 분야 및 장단점

### 9.1 활용 분야
*   **OS 커널 및 드라이버 개발:** 하드웨어 인터럽트 처리, 메모리 관리 유닛(MMU) 설정 등 CPU의 특수 기능을 제어해야 하는 영역.
*   **임베디드 시스템:** 메모리와 전력이 극도로 제한된 환경에서 최적의 성능을 내기 위한 펌웨어 작성.
*   **리버스 엔지니어링 및 보안 분석:** 컴파일된 바이너리를 분석하여 취약점을 찾거나 악성코드를 분석하는 작업.
*   **고성능 라이브러리 최적화:** 수학 연산 라이브러리 등에서 SIMD(Single Instruction Multiple Data) 명령어를 사용하여 연산 속도를 극대화할 때 사용.

### 9.2 장단점 분석
| 장점 | 단점 |
| :--- | :--- |
| **최고의 성능:** 불필요한 오버헤드 없이 하드웨어를 직접 제어하여 실행 속도 극대화 | **낮은 생산성:** 단순한 작업도 많은 양의 코드를 작성해야 함 |
| **정밀한 제어:** 레지스터, 스택, 메모리 주소를 직접 관리하여 자원 최적화 가능 | **이식성 부재:** 특정 CPU 아키텍처에서 작성된 코드는 다른 아키텍처에서 작동하지 않음 |
| **시스템 이해도 향상:** 컴퓨터 구조와 OS의 동작 원리를 깊게 이해할 수 있음 | **높은 진입 장벽:** 하드웨어 지식이 필수적이며 디버깅 난이도가 매우 높음 |