182. PC 상대 주소 지정 (PC-Relative)

핵심 인사이트 (3줄 요약)

본질: PC 상대 주소 지정(PC-Relative Addressing)은 메모리 주소를 절대 번지로 적지 않고, 현재 실행 중인 명령어의 위치를 담고 있는 프로그램 카운터(PC, Program Counter) 값에 명령어 내부의 짧은 변위(Offset/Displacement)를 더하여 목적지 유효 주소를 계산해 내는 방식이다.

가치/영향: "내가 지금 있는 곳에서 앞으로 100칸 점프해라"라는 상대적 지시를 통해, 프로그램이 통째로 메모리 1,000번지로 이사 가든 10만 번지로 이사 가든 내부의 점프 연결고리가 절대 깨지지 않는 위치 독립적 코드(PIC, Position Independent Code)의 핵심 생명줄이 되었다.

판단 포인트: 조건문(if)이나 반복문(while)으로 인해 발생하는 90% 이상의 프로그램 제어 흐름(Control Flow) 분기 거리가 매우 짧다는 통계적 사실을 이용하여, 32비트 절대 주소를 적어야 하는 무거운 JUMP 명령어를 8비트/16비트 오프셋으로 극한 다이어트 압축해 내는 파이프라인 최적화의 교과서다.

Ⅰ. 개요 및 필요성

PC-Relative 주소 지정은 "절대 번지 0x8000번지로 가라!"고 못 박지 않고, **"지금 네가 서 있는 곳(PC)에서 50바이트만 더 앞으로 걸어가라(PC + 50)!"**고 지시하는 '현재 내 위치 기반의 상대적 거리 계산' 아키텍처다.

초기 컴퓨터는 분기(Jump)할 때 메모리 번지를 하드코딩(Hardcoding)했다. 이 방식은 치명적인 재앙을 낳았다. 윈도우나 리눅스 같은 멀티태스킹 운영체제는 메모리 빈자리를 찾아 프로그램을 매번 다른 주소에 쑤셔 넣는다(Relocation). 만약 1000번지에 프로그램이 깔렸는데 코드 안에 JUMP 5000이라고 절대 주소가 박혀있으면, 이 프로그램이 10000번지로 이사 가는 순간 5000번지는 남의 프로그램 영토가 되어있어 찌르는 순간 시스템이 크래시(Segmentation Fault) 난다. 아키텍트들은 "메모리 어디로 이사를 가든 내 방에서 화장실까지 5걸음이라는 사실은 불변한다"는 점을 깨닫고, 모든 분기 주소를 **'현재의 PC(Program Counter) 값으로부터 떨어진 거리(Offset)'**로 치환해 버려 소프트웨어의 완벽한 이주성(Portability)을 확보했다.

📢 섹션 요약 비유: PC 상대 주소 지정은 **'그림자 따라가기 놀이'**와 같습니다. 내 그림자(PC)는 내가 서울에 있든 부산으로 이사 가든 항상 내 발밑에 있습니다. "내 그림자에서 동쪽으로 세 발짝"이라는 규칙(PC-Relative)을 쓰면, 내가 지구 어디로 텔레포트 당하더라도 항상 내 기준에서 완벽하게 목적지 3발짝을 찾아갈 수 있는 가장 안전하고 유연한 내비게이션입니다.

Ⅱ. 아키텍처 및 핵심 원리

명령어 비트 안에 숨겨진 짧은 음수/양수 거리가 PC 레지스터와 만나 텔레포트 주소로 연성되는 하드웨어 구조다.

┌────────────────────────────────────────────────────────────────────────┐
│         PC 상대 주소 지정(PC-Relative)의 동적 점프(Jump) 아키텍처             │
├────────────────────────────────────────────────────────────────────────┤
│                                                                        │
│   [ 시나리오: if 조건문 실패로 else 블록으로 점프해야 함! ]                     │
│                                                                        │
│   현재 실행 중인 주소: 0x1000 번지                                          │
│   명령어: JNE +100  (0이 아니면 내 위치에서 100칸 뛰어라!)                      │
│                                                                        │
│   [ 하드웨어 처리 스텝 (Pipeline) ]                                         │
│   1. Fetch (명령어 읽어옴)                                                 │
│      ──▶ CPU가 0x1000번지 명령어를 읽는 순간, 하드웨어 특성상 PC는 이미           │
│          자기를 '+4' 올려 다음 명령어 주소인 **[ 0x1004 ]**를 가리키고 있음!!     │
│                                                                        │
│   2. Address Generation (유효 주소 계산)                                    │
│      [ 현재 PC: 0x1004 ]  +  [ 명령어 변위(Offset): 100 ]                   │
│                                                                        │
│   3. PC Overwrite (점프 완료)                                             │
│      ──▶ 0x1004 + 100 = 0x1068 (10진수로 104)                            │
│      ──▶ CPU가 다음 턴에 0x1068 번지로 날아가 코드를 실행한다!                  │
│                                                                        │
│ * 핵심 주의점: PC 상대 주소는 '현재 멈춰있는 명령어 주소'가 아니라, 항상             │
│   '명령어 길이를 더한 다음 줄 주소'를 기준으로 오프셋을 더한다! 컴파일러의 계산 함정!│
└────────────────────────────────────────────────────────────────────────┘

이 구조에서 가장 소름 돋는 아키텍처 꼼수는 **'부호 확장(Sign Extension)'**이다. 반복문(while)을 돌려면 코드는 무조건 위로(뒤로) 거꾸로 점프를 뛰어야 한다. 명령어 꼬리표에 달린 오프셋은 고작 8비트 쪼가리다. 아키텍트들은 이 8비트 칸에 2의 보수(2's Complement) 음수값을 우겨넣고, ALU(덧셈기)에 넣기 전 하드웨어가 맨 앞의 부호 비트(1)를 왼쪽 끝까지 쫙 복제해서 32비트짜리 거대한 마이너스 숫자로 변신시킨 뒤 32비트 PC 값에 더해버린다. $PC + (-100)$ 이라는 음수 덧셈을 통해 칩은 뒤로 백도어 점프(Backward Branch)를 0.1ns 만에 성공해 낸다.

📢 섹션 요약 비유: 부호 확장을 통한 백워드 점프는 **'마법의 고무줄 줄자'**입니다. 명령어에 적어둔 오프셋은 아주 짧은 10cm짜리 자(8비트)에 불과하지만, 뒤로 엄청 멀리 뛰어야 할 때 이 고무줄 자를 쫙 늘리면 눈금의 비율(음수 부호)은 그대로 유지된 채 10m짜리 긴 줄자(32비트 음수)로 늘어나서 정확한 착지 지점을 재어주는 기계적 텐션 기술입니다.

Ⅲ. 비교 및 연결

절대 주소(Direct) 점프와 상대 주소(Relative) 점프 사이에서 컴파일러가 벌이는 피 말리는 다이어트 눈치 게임이다.

분기 점프 방식	목적지 주소 계산법	명령어 비트 소모량 (오버헤드)	하드웨어 / 컴파일러 아키텍처의 가치
절대 주소 점프 (Absolute Jump)	메모리 32비트 주소를 100% 하드코딩	명령어 1B + 주소 4B = 거대함 (5B)	엄청 멀리 뛸 수 있으나 메모리(캐시) 낭비 극심
레지스터 간접 점프 (Reg Indirect)	레지스터 뱃속에 주소를 넣어두고 뜀	명령어 1B + 레지스터 번호 = 가벼움 (2B)	주소를 런타임에 동적으로 바꿀 수 있는 최강의 자유도
PC 상대 점프 (PC-Relative)	PC + (8~16비트 Offset 변위)	명령어 1B + 변위 1B = 초경량 압축 (2B)	프로그램의 90%를 차지하는 짧은 if/for 점프 최적화

통계적으로 컴퓨터 프로그램이 점프(Branch)를 뛸 때, 그 목적지의 $90%$ 이상은 현재 위치에서 $\pm 128$ 바이트 이내(즉 if문이나 짧은 for 루프)에 몰려있다. (Locality 법칙). 아키텍트들은 "어차피 바로 코앞으로 뛸 건데 무식하게 32비트짜리 긴 절대 주소를 명령어에 다 적는 건 미친 짓이다!"라고 판단했다. 그래서 JUMP Short 같은 PC-Relative 전용 명령어를 창조해 냈다. 이 명령어는 변위(Offset) 비트를 딱 8비트만 주어 명령어 전체 길이를 절반으로 토막 냈다. 명령어 덩치가 작아지니 L1 캐시(Cache) 메모리에 명령어가 미친 듯이 많이 들어가고, 캐시 히트율이 폭발하여 파이프라인의 스피드가 우주로 치솟는 것이다.

📢 단점 요약 비유: 절대 주소와 PC-상대 주소의 차이는 **'동네 친구에게 길 알려주기'**와 같습니다. 동네 친구에게 떡볶이집을 알려줄 때 "서울특별시 강남구 테헤란로 123번지 위도 경도..."(절대 주소)라고 말하는 사람은 없습니다. 그냥 "여기서 앞으로 3블록 가서 우회전해(PC 상대 주소)"라고 아주 짧고 압축적으로 말합니다. 대화(명령어 크기)가 짧아지니 소통(캐시 통과)이 수십 배 빨라집니다.

Ⅳ. 실무 적용 및 기술사 판단

운영체제 보안과 컴파일러 백엔드의 생사를 가르는 절대 방어선이자 공격 루트다.

체크리스트 및 판단 기준

ASLR (Address Space Layout Randomization) 해킹 방어 융합 컴파일: 리눅스에서 gcc로 C/C++ 서버 코드를 빌드할 때 보안 엔지니어는 무조건 -fPIE (Position Independent Executable) 플래그를 박아 넣어야 한다. 이 플래그를 켜면 컴파일러는 프로그램 내부의 모든 함수 호출과 점프를 절대 주소가 아닌 PC-Relative 상대 주소로 100% 엮어서 기계어를 굽는다. 왜? 최신 OS 커널은 해커가 버퍼 오버플로우로 메모리를 공격하지 못하도록 부팅할 때마다 프로그램의 메모리 로딩 주소를 수시로 랜덤하게 섞어버리기(ASLR) 때문이다. 위치가 랜덤으로 요동쳐도 톱니바퀴가 완벽히 굴러가게 살아남는 유일한 방법은 오직 PC 기준의 상대적 변위 코드뿐이다.
분기 명령어 도달 범위 초과 (Branch Out-of-Range) 트램펄린(Trampoline) 회피 설계: 32비트 ARM 코어 펌웨어를 짤 때, 컴파일 타임에 relocation truncated to fit: R_ARM_CALL 에러가 터진다. Branch 명령어의 PC-Relative 변위 필드 공간이 24비트밖에 안 돼서 최대 $\pm 32\text{MB}$ 밖으로는 물리적으로 뛸 수가 없는데, 너무 방대한 100MB짜리 코드를 짜서 저기 끝에 있는 함수를 호출하려 했기 때문이다. 아키텍트는 짧은 변위의 한계를 우회하기 위해, 일단 가까운 빈 공간(Trampoline)으로 PC-Relative 짧은 점프를 뛰게 한 뒤, 그곳에서 32비트 절대 주소가 담긴 레지스터로 **레지스터 간접 롱 점프(Long Jump)**를 두 번 연쇄적으로 튕겨 날아가는 링커 스크립트 베니어(Veneer) 기법을 도입해 칩의 한계를 마취시켜야 한다.

안티패턴

PC(Program Counter) 레지스터를 일반 목적 덧셈 변수처럼 함부로 조작하는 어셈블리 꼼수: ARM(32-bit) 아키텍처는 특이하게 PC(R15) 레지스터가 범용 레지스터처럼 열려 있어서 프로그래머가 직접 ADD PC, R1, #4 처럼 PC에 대놓고 산술 덧셈을 할 수 있게 허락했다. 이를 이용해 초보 코더들이 switch-case 문을 가속한답시고 PC 값을 임의로 마구 더하고 꼬아서 분기 테이블 점프를 짠다. 현대의 슈퍼스칼라 분기 예측기(Branch Predictor)는 이런 "비표준 PC 무지성 조작"을 감지하는 순간 뇌 정지가 오며 파이프라인 버퍼를 다 찢어버리고 20클럭의 끔찍한 파이프라인 플러시(Flush) 페널티를 토해낸다. PC는 오직 정식 Branch 명령어의 PC-Relative 산술 가산기(AGU)에 의해서만 통제받아야 하드웨어 가속 트랙을 탈 수 있다.
📢 섹션 요약 비유: PC를 맘대로 조작하는 안티패턴은, 비행기 자동 조종 장치(분기 예측기)가 잘 날아가고 있는데 기장(프로그래머)이 멋 부린다고 조종간(PC)을 손으로 팍팍 꺾으며 수동 조작을 갈겨버리는 짓입니다. 비행기 컴퓨터는 순간적으로 경로를 잃고 미친 듯이 경고음을 울리며 급브레이크(파이프라인 스톨)를 밟게 되어 비행기 전체 속도가 바닥으로 곤두박질칩니다. 길 안내는 정해진 규격(PC-Relative Branch)대로 입력해야 시스템이 부드럽게 돕니다.

Ⅴ. 기대효과 및 결론

PC 상대 주소 지정(PC-Relative)은 무겁고 뻣뻣한 '절대 주소'의 감옥을 박살 내고, 소프트웨어라는 무형의 논리가 실리콘 칩 메모리 위를 액체처럼 자유자재로 흘러 다니며 실행될 수 있게 해방시켜 준 동적 컴퓨팅 생태계의 가장 위대한 해방자다.

이 "지금 내가 서 있는 곳을 0으로 생각하라"는 상대성의 철학이 없었다면, 오늘날 수백 개의 앱(프로세스)을 동시에 메모리에 올리고 내리는 멀티태스킹 윈도우 운영체제는 탄생조차 불가능했을 것이다. (이사 갈 때마다 주소를 다 다시 뜯어고치는 끔찍한 오버헤드 때문에 컴퓨터가 죽어버렸을 테니까). 명령어 비트의 다이어트(캐시 효율 증대)와 보안의 진화(ASLR 랜덤 주소 방어)라는 현대 아키텍처의 2대 지상 과제를 완벽하게 1타 2피로 달성해 낸 이 변위(Offset) 덧셈의 미학은, 앞으로 모든 마이크로프로세서가 멸망하는 그날까지 절대 대체할 수 없는 영구 불멸의 흐름 제어(Control Flow) 지배자로 남을 것이다.

📢 섹션 요약 비유: PC-Relative 방식은 소프트웨어에게 **'거북이 집(등껍질)'**을 선물한 것입니다. 절대 주소 방식이 땅에 기초 공사를 단단히 박아버린 '콘크리트 집'이라 이사 가는 게 불가능했다면, 이 방식은 코드 뭉치 전체가 자기들끼리의 상대적 거리(등껍질 속 방 구조)만 유지한 채 메모리 바다 어디로든 둥둥 떠다니며 100% 정상적으로 살아갈 수 있게 해준 완벽한 이동식 캠핑카 아키텍처입니다.

📌 관련 개념 맵

개념	연결 포인트
프로그램 카운터 (PC, Program Counter)	이 상대 주소 지정 마법의 절대적인 중심축이자 주인공. 모든 덧셈(Offset) 연산이 이 녀석이 품고 있는 '다음번 실행할 주소 번지'를 0점 기준으로 삼아 뻗어 나간다
위치 독립 코드 (PIC, Position Independent Code)	PC-Relative 아키텍처가 꽃피워낸 소프트웨어 공학의 기적. 프로그램이 램(RAM)의 10번지에 로딩되든 1만 번지에 로딩되든 소스코드 단 한 줄 수정 없이 100% 완벽히 굴러가게 만드는 무적의 콤보
변위 주소 지정 (Displacement)	레지스터 주소에 오프셋 숫자를 더한다는 이 PC-Relative의 모태가 되는 뿌리 문법. PC 대신 베이스 레지스터를 쓰면 구조체 변수를 파먹는 뼈대가 된다
분기 예측 (Branch Prediction)	PC-Relative 명령어를 만나는 순간, 뒤로 점프할지(루프) 앞으로 점프할지(If-Else) 과거 통계를 바탕으로 확률 도박을 걸어 파이프라인 버퍼를 미리 채워버리는 최신 칩셋의 AI 흑마술

👶 어린이를 위한 3줄 비유 설명

PC 상대 주소 지정은 숨바꼭질할 때 "보물은 서울시 강남구 1번지(절대 주소)에 있다"고 적는 대신, "네가 지금 서 있는 곳에서 앞으로 10걸음 뛰어가라!"라고 내 위치 기준으로 길을 알려주는 똑똑한 방법이에요.
만약 내가 서울에 있든 부산으로 이사를 가든, "앞으로 10걸음"이라는 규칙만 지키면 언제나 정확하게 내 목적지를 찾을 수 있어서 프로그램이 아무 곳으로 이사(메모리 이동)를 가도 절대 고장 나지 않아요.
게다가 복잡한 100자리 긴 주소를 외울 필요 없이 "10걸음"이라는 엄청 짧은 숫자만 쪽지에 적으면 되니까, 컴퓨터가 이 쪽지를 1초 만에 수만 개씩 가볍게 읽고 미친 듯이 빨리 달릴 수 있게 도와주는 최고의 꼼수랍니다!