# CSAPP Chapter 7.6: Symbol Resolution

2026-07-26 스터디용 강의노트와 재현 실습이다. CSAPP 3판 §7.6의 중복 심볼 이름,
정적 라이브러리, 아카이브 탐색을 현대 GCC와 ELF 도구로 확인한다.
CSAPP 3판의 §7.6은 §7.6.3에서 끝나며 다음 절은 §7.7 Relocation이다.

## 읽는 순서

1. [chapter-7.6.1.md](chapter-7.6.1.md): GitHub에서 읽는 Markdown 강의노트
2. [chapter-7.6.1.html](chapter-7.6.1.html): 반응형·다크 모드 HTML 강의노트
3. [references.md](references.md): 정본과 공식 문서, 조사 범위
4. [examples/](examples/): 사례별 C 소스
5. [results/verified-linux-aarch64.txt](results/verified-linux-aarch64.txt): 실제 검증 출력

`figures/`에는 강의노트용 SVG 원본이 있다. 외부 CDN이나 네트워크 요청 없이 HTML과
로컬 자산만으로 열 수 있다. Markdown은 HTML과 같은 학습 내용을 유지하면서 GitHub의
목차·표·코드 블록·접이식 정답 형식으로 다시 구성했다.

## 핵심 결론

- 교재의 strong/weak 규칙은 중복 이름을 이해하는 유용한 **링커 모델**이다.
- 교재가 “weak”라고 부르는 `int x;`는 `-fcommon`에서 보통
  `STB_GLOBAL + SHN_COMMON`으로 나타난다.
- GCC 10부터 C의 기본값이 `-fno-common`이 되어, 여러 번역 단위의 `int x;`는
  기본적으로 링크 오류가 된다.
- Linux kernel처럼 GCC 10 이전부터 `-fno-common`을 명시한 프로젝트도 있었다.
- 실제 `STB_WEAK` 함수는 `__attribute__((weak))` 같은 별도 표현으로 만든다.
- `COMMON`은 저장 공간 배정 전의 특별한 심볼 상태다. 최종 링크 때 보통 출력
  `.bss`에 공간을 배정받는다.
- 전역 변수는 헤더에 `extern` 선언을 두고 정확히 한 `.c` 파일에서 정의한다.

## 실습 실행

현재 호스트가 macOS이므로 ELF 결과는 Docker 안의 Linux에서 검증한다.

```bash
cd chapter07
./verify-in-docker.sh
```

스크립트는 Ubuntu 24.04 이미지를 만들고 아래 항목을 검사한다.

- strong + strong
- strong + COMMON (`-fcommon`)
- COMMON + COMMON (`-fcommon`)
- 중복 함수 정의
- tentative definition의 `COMMON`/`.bss` 배치
- GCC 10 이전/이후 의미를 재현하는 `-fcommon`/`-fno-common`
- 서로 다른 타입의 중복 이름
- 크기가 다른 COMMON의 최대 크기·정렬 병합
- `static` 내부 연결
- 실제 ELF `STB_WEAK`
- weak 기본 함수와 strong override
- unresolved weak의 0 값과 정적 라이브러리 미추출
- ELF weak hook과 런타임 optional dependency의 차이
- LTO의 번역 단위 간 타입 불일치 진단
- GNU ld와 lld의 진단 및 입력 순서 관찰
- compiler driver, raw `ld`, `lld`, `ldd`, glibc 정적 링크
- GNU ld, gold, LLD, mold의 위치와 `-fuse-ld` 선택
- Rust 증분 컴파일 뒤의 최종 링크 병목과 대규모 링크 시간 비교
- linker section GC와 LTO의 차이
- 번역 단위 사이 인라이닝, 상수 전파, 죽은 코드 제거
- Full LTO와 ThinLTO의 처리 구조, 병렬 백엔드와 캐시
- Rust의 thin local LTO 기본 범위와 cross-crate ThinLTO 설정
- `PT_INTERP`, `DT_NEEDED`, 동적 로더의 실행 순서
- ASLR 적용 범위와 명시적 PIE, 비 PIE 주소 비교
- PIC, PIE, ASLR의 역할 구분
- 정적 archive에서 참조된 멤버만 선택하는 동작
- GNU ld의 왼쪽부터의 탐색, 순환 archive의 반복과 그룹 처리
- LLD의 backward reference와 `--warn-backrefs`
- 일반 컴파일, `--gc-sections`, GCC Full LTO, Clang ThinLTO의 심볼 비교

빌드 산출물은 `examples/build/`에 생성되며 Git에서 제외한다. 검증 환경과 텍스트 출력은
`results/verified-linux-aarch64.txt`에 기록한다. `.o` 파일은 CPU와 플랫폼에 따라
달라지므로 소스, 재생성 명령, 검증 결과를 추적한다.

## 문서 구조 검사

```bash
node chapter07/verify-html.mjs
```

HTML과 Markdown의 필수 학습 블록, 내부 fragment link, 로컬 자산, 이미지 대체 텍스트,
코드 fence 및 외부 CSS/JS 의존성 여부를 검사한다.

7.1~7.5의 선행 개념과 7.7 재배치로 넘어가는 흐름은 `REMIND`에서 다룬다.