267. 직접 사상 (Direct Mapping)

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

1. 본질: 직접 사상 (Direct Mapping)은 메모리 블록마다 들어갈 캐시 라인 (Cache Line)을 단 하나로 고정해, 검색 위치를 주소 비트만으로 즉시 결정하는 가장 단순한 캐시 배치 방식이다.
2. 가치: 비교 대상이 한 줄뿐이므로 하드웨어가 작고 전력이 적게 들며, 적중 여부를 매우 빠르게 판단할 수 있어 초기 프로세서와 저전력 설계에서 특히 유리하다.
3. 판단 포인트: 빠른 적중 시간 (Hit Time)을 얻는 대신 충돌 미스 (Conflict Miss)에 취약하므로, 접근 패턴이 특정 인덱스에 몰리는 workload에서는 오히려 평균 메모리 접근 시간 (AMAT, Average Memory Access Time)을 악화시킬 수 있다.

Ⅰ. 개요 및 필요성

직접 사상은 주기억장치의 한 블록이 캐시의 정확히 한 위치에만 들어가도록 정해 놓는 캐시 사상 방식이다. CPU (Central Processing Unit)가 주소를 내보내면 캐시 컨트롤러는 그 주소의 일부 비트만 보고 "어느 줄을 열어야 하는지"를 바로 결정한다. 즉, 캐시 전체를 탐색하는 대신 지정된 줄 하나만 확인하므로, 캐시 조회 자체가 짧고 예측 가능해진다.

이 방식이 필요했던 이유는 초기 캐시 설계에서 속도와 회로 면적이 절대 제약이었기 때문이다. 캐시가 아무 줄에나 저장될 수 있다면, 조회 때마다 여러 태그를 동시에 비교해야 하고 비교기, 배선, 전력이 급격히 늘어난다. 직접 사상은 이런 비용을 줄이기 위해 "위치 자유도"를 포기하고 "조회 단순성"을 택한 구조다.

특히 L1 (Level 1) 캐시처럼 한두 사이클 안에 응답해야 하는 계층에서는, 구조 단순성이 곧 성능이 된다. 캐시 크기가 작고 접근 패턴이 비교적 규칙적이라면, 직접 사상은 값싼 구현으로도 꽤 높은 효과를 낼 수 있다. 반대로 접근 주소가 특정 인덱스에 집중되면, 캐시에 빈 줄이 남아 있어도 충돌 때문에 데이터를 번갈아 쫓아내게 된다.

아래 그림은 직접 사상이 왜 빠른지, 그리고 왜 같은 인덱스끼리 충돌하는지를 한 번에 보여준다.

┌──────────────────────────────────────────────────────────────────────┐
│ Direct Mapping: address decides one and only one cache line         │
├──────────────────────────────────────────────────────────────────────┤
│ 32-bit address = [ Tag 17b ][ Index 9b ][ Offset 6b ]               │
│                               │            │                         │
│                               │            └─ byte in 64B line       │
│                               └────────────── line 0..511            │
│                                                                      │
│ block 13    ─┐                                                       │
│ block 525   ─┼─ mod 512 = 13 ─────────────▶ cache line 13            │
│ block 1037  ─┘                                                       │
│                                                                      │
│ lookup flow: read line 13 ─▶ compare stored tag ─▶ hit or miss       │
└──────────────────────────────────────────────────────────────────────┘

핵심은 주소가 저장 위치를 먼저 결정하고, 태그 (Tag)는 그 위치의 데이터가 정말 원하는 블록인지 나중에 확인한다는 점이다. 그래서 직접 사상은 "찾는 비용"은 매우 낮지만, "같은 자리를 두고 경쟁하는 비용"은 높다.

• 📢 섹션 요약 비유: 직접 사상은 아파트 우편함이 "동·호수 끝자리 규칙"으로 배정된 것과 같다. 편지를 찾을 때는 무조건 한 칸만 열어 보면 되니 빠르지만, 끝자리가 같은 집이 많아지면 한 칸을 두고 계속 자리다툼이 난다.

Ⅱ. 아키텍처 및 핵심 원리

직접 사상의 주소 해석은 보통 태그 + 인덱스 + 블록 오프셋으로 설명한다. 블록 오프셋은 캐시 라인 내부에서 몇 번째 바이트를 읽을지 결정하고, 인덱스는 어느 캐시 라인을 열지 결정하며, 태그는 그 라인에 들어 있는 데이터가 원하는 메모리 블록인지 확인한다. 이 분해 덕분에 캐시 하드웨어는 복잡한 탐색 없이도 즉시 후보 위치를 좁힐 수 있다.

예를 들어 32킬로바이트 캐시, 64바이트 라인이라면 캐시 라인 수는 512개다. 이때 인덱스는 9비트, 오프셋은 6비트가 필요하고, 나머지 상위 비트가 태그가 된다. 메모리 블록 번호를 캐시 라인 수로 나눈 나머지가 인덱스가 되므로, 같은 나머지를 갖는 블록들은 반드시 같은 라인 하나를 공유해야 한다.

직접 사상이 빠른 이유는 비교기가 한 줄에만 동작하기 때문이다. 세트 연관 사상 (Set Associative Mapping)은 같은 세트 안의 여러 Way를 병렬 비교해야 하고, 완전 연관 사상 (Fully Associative Mapping)은 전체 후보를 비교해야 한다. 반면 직접 사상은 인덱스가 후보를 하나로 줄여 주므로 회로 지연과 소비 전력이 작다.

하지만 이 단순함은 곧 충돌 가능성을 내장한다. 예를 들어 배열 A와 B의 시작 주소 차이가 캐시 전체 크기와 정확히 같다면, 두 배열의 같은 상대 위치 원소는 동일한 인덱스로 떨어진다. A[0]을 읽고 곧바로 B[0]을 읽는 순간 같은 라인을 교대로 덮어쓰게 되고, 이후 A[1], B[1]도 같은 문제가 반복된다. 이것이 직접 사상의 대표적 병목인 스래싱 (Thrashing)이다.

Time →
A0 access  : miss, line 13 <= A0
B0 access  : miss, line 13 <= B0   (A0 evicted)
A0 reaccess: miss, line 13 <= A0   (B0 evicted)
B0 reaccess: miss, line 13 <= B0   (A0 evicted)

즉, 직접 사상은 캐시 용량이 부족해서가 아니라 배치 규칙이 너무 엄격해서 미스를 만든다. 그래서 미스 원인을 볼 때는 단순히 "캐시가 작다"가 아니라 "같은 인덱스에 몰렸는가"를 함께 봐야 한다.

• 📢 섹션 요약 비유: 직접 사상은 반별로 사물함 번호가 하나씩 고정된 학교와 같다. 사물함 찾기는 빠르지만, 우연히 같은 번호를 배정받은 학생 둘이 같은 시간대에 오면 빈 사물함이 많아도 자기 칸 하나만 두고 계속 밀고 나가게 된다.

Ⅲ. 비교 및 연결

직접 사상을 제대로 이해하려면 완전 연관 사상, 세트 연관 사상과 함께 봐야 경계가 선명해진다. 직접 사상은 "후보를 1개로 줄인 구조", 완전 연관 사상은 "후보를 전체로 열어 둔 구조", 세트 연관 사상은 "후보를 몇 개로 제한한 절충 구조"라고 기억하면 된다.

이 비교에서 중요한 것은 "좋고 나쁨"이 아니라 "무엇을 희생했는가"다. 직접 사상은 공간 활용과 적중률 일부를 희생해서 짧은 hit time을 얻는다. 완전 연관은 반대로 충돌 제거를 위해 큰 비용과 느린 조회를 감수한다. 세트 연관은 이 둘 사이에서 보통 2-Way, 4-Way, 8-Way 정도로 현실적 타협을 한다.

운영체제와 컴파일러 최적화 관점에서도 직접 사상은 중요한 연결점을 가진다. 페이지 컬러링 (Page Coloring)은 물리 페이지가 특정 캐시 인덱스에 과도하게 몰리지 않게 분산시키는 기법이고, 데이터 구조 패딩은 배열이나 구조체의 배치를 바꿔 충돌 인덱스를 피하는 방법이다. 즉, 직접 사상은 하드웨어 내부 규칙 같아 보여도 소프트웨어 배치 전략과 직접 연결된다.

또한 직접 사상은 해시 테이블의 단순 버킷 배정과도 닮아 있다. key mod N으로 버킷이 정해지면 조회는 빠르지만, 특정 키가 같은 버킷에 몰리면 충돌 비용이 커진다. 이 유사성 덕분에 캐시 충돌 문제를 이해할 때 해시 충돌을 떠올리면 훨씬 직관적이다.

• 📢 섹션 요약 비유: 직접 사상은 "지정 좌석 한 자리", 완전 연관은 "아무 자리", 세트 연관은 "해당 구역 안 자유석"에 가깝다. 결국 캐시 설계는 사람을 얼마나 자유롭게 앉힐지와, 찾을 때 얼마나 빨리 찾을지를 저울질하는 좌석 운영 문제다.

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

실무에서 직접 사상을 채택할지는 "충돌 비용보다 조회 단순성이 더 중요한가"로 판단한다. 초저전력 MCU (Microcontroller Unit), 면적 제약이 큰 임베디드 코어, 아주 짧은 응답 시간이 필요한 소형 L1 캐시에서는 직접 사상이 여전히 매력적이다. 구조가 단순해 타이밍 폐쇄가 쉽고, 비교기와 배선이 적어 전력과 면적을 아끼기 때문이다.

반면 워크로드가 다중 배열 순회, 큰 stride 접근, 멀티태스킹 혼합 부하처럼 주소 분산이 불규칙하면 직접 사상은 쉽게 손해를 본다. 캐시 용량이 충분해 보여도 특정 인덱스 충돌 때문에 적중률이 급락하고, 결과적으로 메모리 대기 시간이 늘어난다. 이 경우에는 2-Way 이상 세트 연관 구조, victim cache, 페이지 컬러링, 데이터 패딩 같은 보완 수단을 고려해야 한다.

설계·분석 체크리스트

1. 캐시 라인 수와 데이터 배치가 mod line_count 기준으로 특정 인덱스에 몰리지 않는가?
2. miss rate 감소보다 hit time 단축이 더 중요한 계층인가?
3. 전력·면적 제약 때문에 비교기 수를 최소화해야 하는가?
4. 소프트웨어적으로 패딩, 정렬 변경, page coloring으로 충돌을 완화할 수 있는가?

대표 안티패턴

• 캐시 크기와 정확히 같은 간격으로 배열을 배치해 직접 사상 충돌을 반복시키는 설계
• 성능 저하 원인을 "용량 부족"으로만 단정하고 conflict miss를 측정하지 않는 분석
• 저가 임베디드 코어의 직접 사상 캐시에 서버급 랜덤 접근 workload를 그대로 올리는 배치

기술사 답안 관점에서는 "직접 사상 = 무조건 구식"이라고 쓰면 부족하다. 핵심은 조회 지연 최소화와 충돌 증가 사이의 교환관계를 설명하고, 어떤 환경에서는 여전히 합리적 선택임을 보여주는 것이다. 즉, 직접 사상은 시대에 뒤처진 구조가 아니라 비용 제약이 강한 곳에서 여전히 유효한 극단값이다.

• 📢 섹션 요약 비유: 직접 사상은 작은 편의점 계산대 하나를 아주 빠르게 돌리는 방식과 같다. 손님 흐름이 단순하면 최고로 효율적이지만, 비슷한 시간에 같은 상품만 몰리면 계산대 앞이 금방 막혀 버린다.

Ⅴ. 기대효과 및 결론

직접 사상의 가장 큰 효과는 구조 예측 가능성이다. 조회 경로가 짧고 단순하므로 고주파 설계, 저전력 설계, 작은 다이 면적 확보에 유리하다. 특히 캐시가 작고 접근 패턴이 잘 통제되는 환경에서는 복잡한 연관 캐시보다 더 나은 전성비를 보일 수 있다.

하지만 이 장점은 "주소 분포가 비교적 고르게 퍼진다"는 전제 위에서만 유지된다. 충돌이 잦아지면 직접 사상은 남는 공간을 활용하지 못하고, 한두 개 인덱스만 과열되면서 AMAT를 악화시킨다. 그래서 현대 시스템은 직접 사상 자체를 버리기보다, 세트 연관 확대, victim cache, way prediction, 주소 해싱 같은 보완 기법으로 단점을 완화해 왔다.

결론적으로 직접 사상은 캐시 설계의 출발점이자 기준점이다. 이 구조를 이해하면 왜 연관도가 필요해졌는지, 왜 현대 CPU가 세트 연관 사상을 선택했는지, 왜 소프트웨어 배치가 하드웨어 성능에 영향을 주는지가 함께 보인다. 기억해야 할 문장은 단순하다. 직접 사상은 가장 빠르게 찾기 위해 가장 엄격하게 배정하는 방식이며, 그 엄격함이 곧 장점이자 한계다.

• 📢 섹션 요약 비유: 직접 사상은 번호표가 아주 잘 붙은 창고다. 물건 찾기는 누구보다 빠르지만, 같은 번호표를 쓰는 물건이 몰리면 빈 칸이 있어도 서로를 밀어내며 창고 효율이 무너진다.

📌 관련 개념 맵

📈 관련 키워드 및 발전 흐름도

메모리 계층 (Memory Hierarchy)
        │
        ▼
캐시 메모리 (Cache Memory)
        │
        ▼
캐시 사상 (Cache Mapping)
        │
        ├─▶ 직접 사상 (Direct Mapping)
        │        │
        │        ├─ 장점: 짧은 hit time · 낮은 회로 복잡도
        │        └─ 한계: 충돌 미스 · 스래싱
        │
        ▼
집합 연관 사상 (Set Associative Mapping)
        │
        ▼
희생자 캐시 (Victim Cache) · 페이지 컬러링 · 주소 해싱

이 흐름은 "단순 배정 → 충돌 노출 → 절충 구조 → 보완 기법"으로 발전한 캐시 설계의 사고 과정을 보여준다.

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

1. 직접 사상은 장난감마다 "넣을 서랍 번호"가 하나씩 딱 정해져 있는 정리법이에요.
2. 그래서 장난감을 찾을 때는 그 서랍 하나만 열어 보면 되니까 아주 빨라요.
3. 하지만 서로 같은 서랍을 쓰는 장난감이 많아지면, 다른 서랍이 비어 있어도 그 자리에서만 계속 밀고 나가며 싸우게 돼요.