SIMD 명령과 커널 개발
커널 공간 SIMD 활용을 성능 향상과 문맥 전환 비용 관리 관점에서 심층 분석합니다. x86 SSE/AVX/AVX-512/AMX와 ARM NEON/SVE 레지스터 모델, kernel_fpu_begin/end 사용 규칙, preemption/irq 컨텍스트에서의 금지 패턴, FPU 상태 저장·복원 오버헤드, 대체 경로(fallback scalar) 설계, 컴파일 플래그와 ISA 기능 게이팅, crypto·checksum·memcpy 가속 사례, 성능 회귀를 피하기 위한 벤치마크·프로파일링 절차까지 실전 커널 최적화 포인트를 다룹니다.
핵심 요약
- 레지스터 계층 — XMM(128-bit) ⊂ YMM(256-bit) ⊂ ZMM(512-bit), SSE→AVX→AVX-512 순서로 확장.
- 커널 SIMD 제한 — 기본 커널 코드에서 SIMD 사용 불가. kernel_fpu_begin/end로 감싸야 안전.
- FPU 상태 저장 — context switch 시 XSAVE/XRSTOR로 FPU/SIMD 상태를 task 구조에 저장.
- ARM NEON/SVE — ARM64 커널에서도 동일 원칙 적용, fpsimd_save/load 사용.
- CPUID 확인 — 런타임에 SIMD 기능 존재 여부를 확인한 후 사용.
단계별 이해
- 레지스터 구조 파악
XMM/YMM/ZMM 계층 구조와 각 확장(SSE/AVX/AVX-512) 관계를 먼저 이해합니다. - 커널 사용 규칙 확인
kernel_fpu_begin/end 없이 SIMD를 쓰면 FPU 상태가 오염됩니다. - ARM 대응 확인
x86 SIMD가 ARM에서 어떻게 매핑되는지(NEON, SVE) 비교합니다. - 실제 커널 활용 사례
crypto, CRC32, memcpy 최적화에서 SIMD 사용 패턴을 분석합니다.
x86 SIMD 확장 역사
| 확장 | 레지스터 | 비트 폭 | 도입 | 주요 기능 |
|---|---|---|---|---|
| MMX | MM0-MM7 | 64-bit | Pentium MMX (1997) | 정수 SIMD, FPU 레지스터 공유 |
| SSE | XMM0-XMM7 | 128-bit | Pentium III (1999) | 단정밀도 부동소수점 4개 병렬 |
| SSE2 | XMM0-XMM15 (64-bit) | 128-bit | Pentium 4 (2001) | 배정밀도, 정수 128-bit. x86-64 기본 지원 |
| SSE3/SSSE3/SSE4 | XMM | 128-bit | 2004-2008 | 수평 연산, 문자열 비교, CRC32 |
| AVX | YMM0-YMM15 | 256-bit | Sandy Bridge (2011) | 256-bit 부동소수점, VEX 인코딩 |
| AVX2 | YMM0-YMM15 | 256-bit | Haswell (2013) | 256-bit 정수, Gather, FMA3 |
| AVX-512 | ZMM0-ZMM31, k0-k7 | 512-bit | Xeon Phi / Skylake-X (2016) | 512-bit, 마스크 레지스터, scatter/gather |
| AMX | TMM0-TMM7 | 타일 (최대 1KB) | Sapphire Rapids (2023) | 행렬 곱셈 가속 (INT8/BF16) |
| AVX10 | ZMM/YMM/XMM | 128~512-bit | Granite Rapids (2024+) | AVX-512 통합 후속, 벡터 길이 프로필 |
x86 SIMD 레지스터 레이아웃
VEX vs Legacy 인코딩: SSE 명령어(legacy)로 XMM 레지스터를 수정하면 YMM/ZMM의 상위 비트가 보존됩니다. 반면 VEX 인코딩(AVX) 명령어는 YMM 상위 128비트를 자동으로 0으로 클리어합니다. legacy SSE와 VEX/EVEX 명령어를 혼용하면 SSE-AVX 전환 페널티가 발생하므로, 커널 SIMD 코드에서는 한 가지 인코딩만 일관되게 사용해야 합니다.
x86 SIMD 핵심 명령어 패턴
로드/스토어 명령어
/* === SSE/AVX 로드/스토어 명령어 === */
/* 정렬된 로드/스토어 (16/32/64바이트 정렬 필수) */
movaps (%rdi), %xmm0 /* 128-bit aligned load (packed single) */
movapd (%rdi), %xmm0 /* 128-bit aligned load (packed double) */
movdqa (%rdi), %xmm0 /* 128-bit aligned load (integer) */
vmovaps (%rdi), %ymm0 /* 256-bit aligned load (VEX) */
vmovaps (%rdi), %zmm0 /* 512-bit aligned load (EVEX) */
/* 비정렬 로드/스토어 (정렬 불필요, 약간 느릴 수 있음) */
movups (%rdi), %xmm0 /* 128-bit unaligned (packed single) */
movdqu (%rdi), %xmm0 /* 128-bit unaligned (integer) */
vmovdqu (%rdi), %ymm0 /* 256-bit unaligned */
vmovdqu32 (%rdi), %zmm0 /* 512-bit unaligned (EVEX, 32-bit elem) */
/* Non-Temporal 스토어 (캐시 오염 방지, Write-Combining) */
movntps %xmm0, (%rdi) /* 캐시를 거치지 않고 메모리에 직접 기록 */
movntdq %xmm0, (%rdi) /* 정수 non-temporal store */
vmovntps %ymm0, (%rdi) /* 256-bit non-temporal */
sfence /* non-temporal store 후 반드시 sfence */
/* 마스크 로드/스토어 (AVX-512) */
vmovdqu32 (%rdi), %zmm0{%k1} /* k1 마스크 비트가 1인 요소만 로드 */
vmovdqu32 (%rdi), %zmm0{%k1}{z} /* zero-masking: 마스크 0인 요소는 0 */
산술/논리 연산
/* === SSE2 정수 연산 (128-bit) === */
paddb %xmm1, %xmm0 /* 바이트 단위 덧셈 (16개 병렬) */
paddw %xmm1, %xmm0 /* 워드 단위 덧셈 (8개 병렬) */
paddd %xmm1, %xmm0 /* 더블워드 단위 덧셈 (4개 병렬) */
paddq %xmm1, %xmm0 /* 쿼드워드 단위 덧셈 (2개 병렬) */
psubb %xmm1, %xmm0 /* 바이트 단위 뺄셈 */
/* 논리 연산 (비트 단위, 데이터 타입 무관) */
pxor %xmm1, %xmm0 /* 128-bit XOR (RAID, 암호에 핵심) */
pand %xmm1, %xmm0 /* 128-bit AND */
por %xmm1, %xmm0 /* 128-bit OR */
pandn %xmm1, %xmm0 /* ~xmm0 AND xmm1 */
/* === AVX2 정수 연산 (256-bit, VEX 3-operand) === */
vpaddd %ymm2, %ymm1, %ymm0 /* ymm0 = ymm1 + ymm2 (비파괴적) */
vpxor %ymm2, %ymm1, %ymm0 /* ymm0 = ymm1 XOR ymm2 */
/* === AVX-512 연산 (512-bit, EVEX) === */
vpaddd %zmm2, %zmm1, %zmm0 /* 16개 int32 병렬 덧셈 */
vpaddd %zmm2, %zmm1, %zmm0{%k1} /* 마스크 적용: k1=0인 요소 유지 */
vpaddd %zmm2, %zmm1, %zmm0{%k1}{z} /* 마스크 적용: k1=0인 요소 = 0 */
/* === 부동소수점 연산 === */
addps %xmm1, %xmm0 /* 4 × float 병렬 덧셈 */
mulpd %xmm1, %xmm0 /* 2 × double 병렬 곱셈 */
vfmadd231ps %ymm2, %ymm1, %ymm0 /* FMA: ymm0 = ymm1*ymm2 + ymm0 */
셔플/퍼뮤트/비트 조작
/* 데이터 재배열 명령어 — SIMD 프로그래밍의 핵심 */
/* PSHUFB (SSSE3): 바이트 단위 임의 셔플 (look-up table 패턴) */
/* xmm0의 각 바이트를 xmm1의 인덱스에 따라 재배열 */
pshufb %xmm1, %xmm0 /* xmm0[i] = xmm0[xmm1[i] & 0xF] */
/* xmm1[i] bit7=1이면 xmm0[i]=0 */
/* PSHUFD: 32-bit 요소 셔플 (즉시값으로 순서 지정) */
pshufd $0x39, %xmm1, %xmm0 /* xmm0 = {xmm1[0],xmm1[3],xmm1[2],xmm1[1]} */
/* PUNPCKLBW/PUNPCKHBW: 인터리브 (바이트 단위) */
punpcklbw %xmm1, %xmm0 /* 하위 8바이트를 인터리브 */
/* AVX2 퍼뮤트: 128-bit 레인 간 교차 가능 */
vperm2i128 $0x31, %ymm1, %ymm0, %ymm2 /* 128-bit 레인 교환 */
vpermd %ymm1, %ymm0, %ymm2 /* 32-bit 단위 임의 퍼뮤트 */
/* AVX-512 퍼뮤트 */
vpermb %zmm1, %zmm0, %zmm2 /* 바이트 단위 64-way 퍼뮤트 */
vpermt2d %zmm2, %zmm1, %zmm0 /* 2-source 퍼뮤트 (merge) */
/* 비트 시프트 (요소별) */
pslld $4, %xmm0 /* 각 32-bit 요소를 4비트 좌측 시프트 */
psrld $4, %xmm0 /* 각 32-bit 요소를 4비트 우측 시프트 */
vpsllvd %ymm1, %ymm0, %ymm2 /* AVX2: 요소별 가변 시프트 */
비교/블렌드/변환
/* === 비교 명령어 === */
pcmpeqb %xmm1, %xmm0 /* 바이트 비교: 같으면 0xFF, 다르면 0x00 */
pcmpgtd %xmm1, %xmm0 /* 부호있는 32-bit 비교: xmm0>xmm1이면 0xFFFFFFFF */
/* SSE4.2 문자열 비교 (커널에서 문자열 처리에 활용) */
pcmpistri $0x08, %xmm1, %xmm0 /* Equal Each: 바이트 일치 인덱스 → ECX */
pcmpestri $0x00, %xmm1, %xmm0 /* Equal Any: 문자 집합 검색 */
/* AVX-512 비교 → 마스크 레지스터 */
vpcmpeqd %zmm1, %zmm0, %k1 /* 16개 int32 비교 → k1 마스크 (16-bit) */
vpcmpud $1, %zmm1, %zmm0, %k2 /* 부호없는 less-than 비교 */
kmovw %k1, %eax /* 마스크 → 범용 레지스터 전송 */
popcnt %eax, %eax /* 일치 개수 세기 */
/* === 블렌드: 조건부 선택 === */
blendvps %xmm0, %xmm1, %xmm2 /* SSE4.1: xmm0 MSB로 xmm1/xmm2 선택 */
vpblendvb %ymm3, %ymm2, %ymm1, %ymm0 /* AVX2: 바이트별 조건부 선택 */
vpblendmd %zmm2, %zmm1, %zmm0{%k1} /* AVX-512: 마스크 기반 블렌드 */
/* === 데이터 타입 변환 === */
cvtdq2ps %xmm0, %xmm1 /* 4 × int32 → 4 × float */
cvtps2dq %xmm0, %xmm1 /* 4 × float → 4 × int32 (반올림) */
cvttps2dq %xmm0, %xmm1 /* 4 × float → 4 × int32 (truncate) */
vpmovzxbw %xmm0, %ymm1 /* 16 × uint8 → 16 × uint16 (zero-extend) */
vpmovsxwd %xmm0, %ymm1 /* 8 × int16 → 8 × int32 (sign-extend) */
암호화 전용 SIMD 명령어
/* === AES-NI 명령어 (커널 crypto 핵심) === */
aesenc %xmm1, %xmm0 /* AES 한 라운드 암호화 */
aesenclast %xmm1, %xmm0 /* AES 마지막 라운드 암호화 */
aesdec %xmm1, %xmm0 /* AES 한 라운드 복호화 */
aesdeclast %xmm1, %xmm0 /* AES 마지막 라운드 복호화 */
aeskeygenassist $1, %xmm0, %xmm1 /* AES 라운드 키 생성 보조 */
aesimc %xmm0, %xmm1 /* InvMixColumns (복호화 키 변환) */
/* VAES: 256/512-bit AES (AVX-512 + VAES) */
vaesenc %ymm2, %ymm1, %ymm0 /* 2블록 병렬 AES 암호화 */
vaesenc %zmm2, %zmm1, %zmm0 /* 4블록 병렬 AES 암호화 */
/* === PCLMULQDQ: 갈루아 필드 곱셈 (GCM, CRC) === */
pclmulqdq $0x00, %xmm1, %xmm0 /* Carry-less multiply: xmm0[63:0] × xmm1[63:0] */
pclmulqdq $0x11, %xmm1, %xmm0 /* xmm0[127:64] × xmm1[127:64] */
vpclmulqdq $0x00, %zmm1, %zmm0, %zmm2 /* 512-bit VPCLMULQDQ (4 병렬) */
/* === SHA-NI 명령어 === */
sha256rnds2 %xmm0, %xmm1 /* SHA-256 2라운드 처리 */
sha256msg1 %xmm1, %xmm0 /* SHA-256 메시지 스케줄 1 */
sha256msg2 %xmm1, %xmm0 /* SHA-256 메시지 스케줄 2 */
sha1rnds4 $0, %xmm1, %xmm0 /* SHA-1 4라운드 처리 */
sha1nexte %xmm1, %xmm0 /* SHA-1 다음 E값 계산 */
/* === CRC32 (SSE4.2) === */
crc32b (%rdi), %eax /* CRC32C: 1바이트 누적 */
crc32q (%rdi), %rax /* CRC32C: 8바이트 누적 */
Gather/Scatter (AVX2/AVX-512)
/* Gather: 불연속 메모리 주소에서 벡터로 모아 읽기 */
/* 기존 스칼라 코드:
* for (i = 0; i < 8; i++) result[i] = base[index[i]];
* → 단일 Gather 명령어로 대체 */
/* AVX2 Gather */
vgatherdps %ymm2, (%rdi,%ymm1,4), %ymm0
/* ymm0[i] = MEM[rdi + ymm1[i]*4] (ymm2 마스크 기반)
* ymm2는 마스크 겸 오류 추적, 실행 후 0으로 클리어됨 */
vgatherdpd %xmm2, (%rdi,%xmm1,8), %ymm0
/* 4개 인덱스(xmm1, 32-bit) → 4개 double 로드 → ymm0 */
/* AVX-512 Gather (마스크 레지스터 사용, 더 효율적) */
vgatherdps (%rdi,%zmm1,4), %zmm0{%k1}
/* k1 마스크가 1인 요소만 로드, 완료된 요소의 k1 비트 클리어 */
/* AVX-512 Scatter: 벡터에서 불연속 메모리 주소로 흩뿌려 쓰기 */
vscatterdps %zmm0, (%rdi,%zmm1,4){%k1}
/* MEM[rdi + zmm1[i]*4] = zmm0[i] (k1 마스크 적용)
* Gather의 역연산. AVX-512 이전에는 없었음 */
Gather 성능 주의: Gather 명령어는 편리하지만, 내부적으로 여러 개의 스칼라 로드를 수행합니다. 캐시 라인이 연속적이지 않으면 성능 이점이 제한됩니다. Intel Skylake-X 이후부터 성능이 크게 개선되었으며, 커널에서는 주로 테이블 룩업이 빈번한 암호 알고리즘에서 활용됩니다.
ARM SIMD 확장
| 확장 | 레지스터 | 비트 폭 | 도입 | 주요 기능 |
|---|---|---|---|---|
| NEON (Advanced SIMD) | V0-V31 (AArch64) | 128-bit | ARMv7 / ARMv8 | 정수+부동소수점 SIMD, 암호 확장(CE) |
| SVE (Scalable Vector) | Z0-Z31, P0-P15 | 128~2048-bit | ARMv8.2-A | 가변 벡터 길이, 프레디케이트 레지스터 |
| SVE2 | Z0-Z31 | 128~2048-bit | ARMv9-A | NEON 명령어 세트 포괄, 암호 확장 |
| SME | ZA 타일 | SVE VL × SVE VL | ARMv9.2-A | 행렬 연산, Streaming SVE 모드 |
ARM NEON 핵심 명령어
/* ARM NEON (Advanced SIMD) 레지스터 구조
*
* V0-V31: 128-bit 벡터 레지스터
* 접근 방식:
* Vn.16B = 16 × byte Vn.8B = 하위 8 × byte (64-bit)
* Vn.8H = 8 × halfword Vn.4H = 하위 4 × halfword
* Vn.4S = 4 × single Vn.2S = 하위 2 × single
* Vn.2D = 2 × double Vn.1D = 하위 1 × double
* Bn/Hn/Sn/Dn = 스칼라 접근 (byte/half/single/double)
*/
/* === 로드/스토어 === */
ld1 {v0.16b}, [x0] /* 128-bit 연속 로드 */
ld1 {v0.16b, v1.16b}, [x0] /* 256-bit 연속 로드 (2 레지스터) */
ld1 {v0.4s-v3.4s}, [x0] /* 512-bit 연속 로드 (4 레지스터) */
st1 {v0.16b}, [x0] /* 128-bit 스토어 */
/* Structure 로드: 인터리브 해제 (SoA 변환) */
ld2 {v0.4s, v1.4s}, [x0] /* 2-way 디인터리브: ABABAB → A,B */
ld3 {v0.4s, v1.4s, v2.4s}, [x0] /* RGB → R,G,B 분리 */
ld4 {v0.4s-v3.4s}, [x0] /* 4-way 디인터리브 */
st2 {v0.4s, v1.4s}, [x0] /* 2-way 인터리브 저장 */
/* === 산술 연산 === */
add v0.4s, v1.4s, v2.4s /* 4 × int32 덧셈 */
sub v0.8h, v1.8h, v2.8h /* 8 × int16 뺄셈 */
mul v0.4s, v1.4s, v2.4s /* 4 × int32 곱셈 */
mla v0.4s, v1.4s, v2.4s /* v0 += v1 * v2 (multiply-accumulate) */
fmul v0.4s, v1.4s, v2.4s /* 4 × float 곱셈 */
fmla v0.4s, v1.4s, v2.4s /* fused multiply-add (FP) */
/* === 논리/비트 연산 === */
eor v0.16b, v1.16b, v2.16b /* 128-bit XOR */
and v0.16b, v1.16b, v2.16b /* 128-bit AND */
bsl v0.16b, v1.16b, v2.16b /* Bitwise Select: bit=1 → v1, bit=0 → v2 */
/* === 비교 === */
cmeq v0.4s, v1.4s, v2.4s /* 같으면 0xFFFFFFFF, 다르면 0 */
cmgt v0.4s, v1.4s, v2.4s /* 부호있는 greater-than */
cmhi v0.4s, v1.4s, v2.4s /* 부호없는 greater-than (higher) */
/* === 셔플/퍼뮤트 === */
tbl v0.16b, {v1.16b}, v2.16b /* 테이블 룩업 (x86 PSHUFB와 유사) */
tbl v0.16b, {v1.16b, v2.16b}, v3.16b /* 32바이트 테이블 룩업 */
trn1 v0.4s, v1.4s, v2.4s /* Transpose (짝수 요소 인터리브) */
trn2 v0.4s, v1.4s, v2.4s /* Transpose (홀수 요소 인터리브) */
zip1 v0.4s, v1.4s, v2.4s /* 하위 절반 인터리브 */
uzp1 v0.4s, v1.4s, v2.4s /* 짝수 요소 추출 */
rev64 v0.16b, v1.16b /* 64-bit 단위 내 바이트 역순 */
ext v0.16b, v1.16b, v2.16b, #4 /* 연결 후 4바이트 시프트 추출 */
/* === 암호 확장 (ARMv8 Crypto Extension) === */
aese v0.16b, v1.16b /* AES 단일 라운드 암호화 */
aesd v0.16b, v1.16b /* AES 단일 라운드 복호화 */
aesmc v0.16b, v1.16b /* AES MixColumns */
aesimc v0.16b, v1.16b /* AES InvMixColumns */
pmull v0.1q, v1.1d, v2.1d /* 다항식 곱셈 (GHASH) */
sha256h q0, q1, v2.4s /* SHA-256 해시 업데이트 */
sha256su0 v0.4s, v1.4s /* SHA-256 스케줄 업데이트 */
ARM SVE 프로그래밍 모델
SVE(Scalable Vector Extension)는 벡터 길이를 하드웨어 구현에 의존하는 벡터 길이 비종속 (Vector Length Agnostic, VLA) 프로그래밍 모델입니다. 동일한 바이너리가 128비트~2048비트 구현에서 동작합니다.
/* SVE 레지스터 구조
*
* Z0-Z31: 스케일러블 벡터 (128~2048-bit, 하드웨어 정의)
* Zn의 하위 128비트 = NEON Vn과 공유 (아키텍처 보장)
* P0-P15: 프레디케이트 레지스터 (VL/8 비트)
* 각 비트가 벡터의 한 바이트에 대응
* P0-P7: governing predicate로 사용 가능
* FFR: First Fault Register (투기적 로드용)
* VL: Vector Length (cntb로 바이트 단위 조회)
*/
/* === 벡터 길이 조회 === */
cntb x0 /* x0 = VL (바이트 단위). 예: 512-bit → 64 */
cnth x0 /* x0 = VL / 2 (halfword 개수) */
cntw x0 /* x0 = VL / 4 (word 개수) */
cntd x0 /* x0 = VL / 8 (doubleword 개수) */
/* === 프레디케이트 생성 === */
ptrue p0.b /* 모든 바이트 활성 (all-true) */
ptrue p0.s /* 모든 word 활성 */
whilelt p0.s, x0, x1 /* x0 < x1인 요소만 활성 (루프 테일 처리) */
pfalse p0.b /* 모든 비트 비활성 (all-false) */
/* === VLA 루프 패턴 (커널에서 가장 중요) === */
/* memcpy를 SVE로 구현하는 예시 */
/* x0 = dst, x1 = src, x2 = len (바이트) */
mov x3, #0 /* 오프셋 초기화 */
whilelt p0.b, x3, x2 /* 프레디케이트 설정 */
.loop:
ld1b z0.b, p0/z, [x1, x3] /* 프레디케이트 기반 로드 */
st1b z0.b, p0, [x0, x3] /* 프레디케이트 기반 스토어 */
incb x3 /* x3 += VL (바이트 수만큼 증가) */
whilelt p0.b, x3, x2 /* 잔여 요소 프레디케이트 갱신 */
b.first .loop /* 활성 요소 있으면 계속 */
/* === Scatter/Gather (SVE 기본 지원) === */
ld1w z0.s, p0/z, [x0, z1.s, uxtw #2] /* Gather: x0 + z1[i]*4 */
st1w z0.s, p0, [x0, z1.s, uxtw #2] /* Scatter */
/* === First Fault 로드 (투기적 로드, 커널 문자열 처리) === */
ldff1b z0.b, p0/z, [x0, x1] /* First Fault 로드 */
rdffr p1.b /* FFR 읽기: 성공한 요소만 p1=1 */
SVE의 벡터 길이 비종속 설계: SVE 코드는 벡터 길이를 상수로 가정하지 않습니다. cntb로 런타임에 VL을 조회하고, whilelt 프레디케이트로 루프 테일을 자동 처리합니다. 이 덕분에 Fujitsu A64FX(512-bit)와 AWS Graviton3(256-bit) 등 다른 VL 구현에서 동일 바이너리가 동작합니다. 커널에서 SVE를 사용하는 코드는 arch/arm64/lib/의 문자열/메모리 함수에서 확인할 수 있습니다.
ARM SME 심화 — 행렬 연산 엔진
SME(Scalable Matrix Extension)는 ARMv9.2-A에 도입된 행렬 연산 전용 확장으로, 2D 타일 구조의 ZA 레지스터와 Streaming SVE 모드(SSVE)를 제공합니다. SVE2가 1차원 벡터를 다루는 데 반해, SME는 2차원 행렬 외적(Outer Product)을 하드웨어에서 직접 수행합니다.
| 구분 | SVE2 | SME / Streaming SVE |
|---|---|---|
| 레지스터 | Z0-Z31 (벡터) | ZA 타일 (2D 행렬, SVL×SVL 비트) |
| 데이터 형태 | 1차원 벡터 | 2차원 행렬 (타일 단위 조작) |
| 모드 전환 | 항상 활성 | smstart/smstop으로 Streaming 모드 진입/탈출 |
| 벡터 길이 | VL (SVE Vector Length) | SVL (Streaming Vector Length, 별도 독립) |
| 주요 연산 | 벡터 산술/비교/셔플 | 외적(FMOPA), 행렬-벡터 누적 |
| 활용 사례 | memcpy, 암호, DSP | 행렬 곱셈, 신경망 추론(INT8/BF16/FP16) |
/* Streaming SVE 모드 제어 */
smstart /* Streaming SVE 모드 + ZA 동시 활성화 */
smstart sm /* Streaming SVE 모드만 활성화 (ZA 제외) */
smstart za /* ZA 레지스터만 활성화 (SM 모드 제외) */
smstop /* Streaming SVE 모드 + ZA 비활성화 */
/* SVL(Streaming Vector Length) 조회 — VL과 독립 */
rdsvl x0, #1 /* x0 = SVL (바이트 단위) */
/* ZA 타일 로드/스토어 (가로/세로 슬라이스 단위) */
ld1w za0h.s[w12, #0], p0/z, [x0, x1, lsl #2]
/* za0의 가로(h) 슬라이스를 로드. w12: 슬라이스 인덱스 */
st1w za0v.s[w12, #0], p0, [x0, x1, lsl #2]
/* za0의 세로(v) 슬라이스를 스토어 */
/* 외적 누적 (Outer Product Accumulate) — SME 핵심 연산 */
fmopa za0.s, p0/m, p1/m, z0.s, z1.s
/* za0 += z0 × z1^T (부동소수점 외적, 마스크 p0/p1 적용) */
smopa za0.s, p0/m, p1/m, z0.b, z1.b
/* za0 += z0 × z1^T (INT8→INT32 누적, SME2 행렬 곱) */
bfmopa za0.s, p0/m, p1/m, z0.h, z1.h
/* za0 += z0 × z1^T (BF16→FP32 누적) */
/* 커널 SME 감지 — arch/arm64/include/asm/cpufeature.h */
#include <asm/cpufeature.h>
if (system_supports_sme()) {
/* SME 사용 가능: ZA 타일, FMOPA, SMOPA 등 */
unsigned int svl = task_get_svl(current);
/* SVL 예: 512-bit → ZA 크기 = 64×64/8 = 512바이트 */
}
if (system_supports_sme2()) {
/* SME2: 다중 벡터 ZA 연산, INT8/FP8 지원 */
}
/* ZA 상태 저장 비용 — arch/arm64/include/asm/fpsimd.h
*
* 스케줄러가 컨텍스트 스위치 시 자동 처리:
* fpsimd_save_state() → thread.uw.fpsimd_state에 NEON 저장
* za_state는 thread.za_state 별도 영역에 저장
*
* 크기 예시 (SVL 기준):
* SVL = 512-bit → ZA = 64× 64/8 = 512 bytes
* SVL = 1024-bit → ZA = 128×128/8 = 2,048 bytes
* SVL = 2048-bit → ZA = 256×256/8 = 8,192 bytes
* → SME 활성 프로세스는 context switch 비용이 현저히 증가
*/
/* 커널에서 SME를 직접 사용하지 않는 이유:
* 1. ZA 상태 저장 비용이 크고, 커널 경로 지연 증가
* 2. Streaming SVE 모드에서 일부 SVE 명령어 동작 변경
* 3. smstart/smstop이 모드 전환 비용(마이크로초 단위) 수반
* → SME는 유저 공간 라이브러리(BLAS, NN 추론)에서 사용
* → 커널 역할: SMAN 상태 저장/복원, cpufeature 노출만 담당
*/
Intrinsic 함수 실전 가이드
x86 Intrinsic 함수는 인라인 어셈블리 없이 C/C++ 코드에서 SIMD 명령어를 직접 호출하는 인터페이스입니다. 커널은 주로 어셈블리를 선호하지만, Intrinsic은 유저 공간 최적화와 컴파일러 생성 SIMD 이해에 필수적입니다.
헤더 체계와 네이밍 규칙
| 헤더 | 제공 Intrinsic 접두사 | 레지스터 | ISA |
|---|---|---|---|
<xmmintrin.h> | _mm_* (float) | XMM0-XMM7 | SSE |
<emmintrin.h> | _mm_* (int/double) | XMM0-XMM15 | SSE2 |
<tmmintrin.h> | _mm_shuffle_* | XMM | SSSE3 |
<smmintrin.h> | _mm_blend_* | XMM | SSE4.1 |
<wmmintrin.h> | _mm_aes* | XMM | AES-NI |
<immintrin.h> | _mm256_*, _mm512_* | YMM / ZMM | AVX+ |
/* 네이밍 규칙 예시 */
/* _mm256_add_epi32 → vpaddd ymm0, ymm1, ymm2 (어셈블리 변환) */
/* _mm512_mask_add_epi32 → vpaddd zmm0{k1}, zmm1, zmm2 */
AVX2 핵심 Intrinsic 예제
#include <immintrin.h>
#include <stdint.h>
/* 로드/스토어 */
__m256i a = _mm256_load_si256((const __m256i *)p); /* 32B 정렬 필수 */
__m256i b = _mm256_loadu_si256((const __m256i *)p); /* 비정렬 OK */
_mm256_storeu_si256((__m256i *)p, a);
_mm256_stream_si256((__m256i *)p, a); /* Non-Temporal */
/* 정수 산술 — int32 */
__m256i sum = _mm256_add_epi32(a, b); /* 8개 int32 덧셈 */
__m256i diff = _mm256_sub_epi32(a, b); /* 8개 int32 뺄셈 */
__m256i mul = _mm256_mullo_epi32(a, b); /* 하위 32비트 곱셈 */
/* 논리 연산 */
__m256i x = _mm256_xor_si256(a, b); /* 256-bit XOR */
__m256i y = _mm256_and_si256(a, b); /* 256-bit AND */
/* 부동소수점 FMA */
__m256 r = _mm256_fmadd_ps(a_ps, b_ps, c_ps);
/* r[i] = a[i]*b[i] + c[i] (단정밀도 8개 병렬 FMA) */
/* 셔플/퍼뮤트 */
__m256i perm = _mm256_permute2x128_si256(a, b, 0x31);
/* 결과 상위 128-bit = b 하위, 결과 하위 128-bit = a 상위 */
__m256i shuf = _mm256_shuffle_epi8(a, mask); /* PSHUFB 기반 바이트 셔플 */
/* 비교 → 마스크 */
__m256i cmp = _mm256_cmpeq_epi32(a, b);
int mask32 = _mm256_movemask_epi8(cmp); /* 각 바이트 MSB → 비트 마스크 */
/* 실용 예: 8개 uint32 배열 XOR */
void xor_8x32(uint32_t *dst, const uint32_t *src, size_t n)
{
for (size_t i = 0; i < n; i += 8) {
__m256i vd = _mm256_loadu_si256((const __m256i *)(dst + i));
__m256i vs = _mm256_loadu_si256((const __m256i *)(src + i));
_mm256_storeu_si256((__m256i *)(dst + i), _mm256_xor_si256(vd, vs));
}
}
AVX-512 마스크 연산 Intrinsic
/* AVX-512 고유 특성: __mmask8 / __mmask16 / __mmask32 / __mmask64 */
#include <immintrin.h>
/* 마스크 생성: 비교 결과 → 마스크 */
__mmask16 k = _mm512_cmp_epi32_mask(a, b, _MM_CMPINT_LT);
/* 16개 int32 비교: a[i] < b[i]이면 k 비트 i = 1 */
/* 마스크 적용 산술 — zeroing (k=0인 레인은 0) */
__m512i result = _mm512_maskz_add_epi32(k, a, b);
/* 마스크 적용 산술 — merging (k=0인 레인은 src 유지) */
__m512i merged = _mm512_mask_add_epi32(src, k, a, b);
/* 마스크 로드/스토어 (루프 테일 처리에 활용) */
__m512i data = _mm512_maskz_loadu_epi32(k, ptr);
_mm512_mask_storeu_epi32(ptr, k, data);
/* 마스크 비트 연산 */
__mmask16 k_and = _kand_mask16(k1, k2);
__mmask16 k_not = _knot_mask16(k1);
/* 루프 테일 처리 패턴 */
void process_avx512(float *arr, size_t n)
{
size_t i;
for (i = 0; i + 16 <= n; i += 16) {
__m512 v = _mm512_loadu_ps(arr + i);
_mm512_storeu_ps(arr + i, _mm512_mul_ps(v, v));
}
if (i < n) {
__mmask16 tail = (__mmask16)((1u << (n - i)) - 1u);
__m512 v = _mm512_maskz_loadu_ps(tail, arr + i);
_mm512_mask_storeu_ps(arr + i, tail, _mm512_mul_ps(v, v));
}
}
/* 커널에서 Intrinsic보다 인라인 어셈블리 선호 이유:
* 1. 커널 기본 CFLAGS: -mno-sse, -mno-avx 등 SIMD 전면 비활성화
* → 개별 파일/함수에 __attribute__((target("avx2"))) 필요
* 2. 컴파일러 버전별 VZEROUPPER 삽입 위치 불확실
* 3. 레지스터 clobber 목록의 명시적 제어 필요
* 4. 크리티컬 패스에서 어셈블리가 코드 검토를 더 명확히 함
* → 커널 crypto/RAID 코드는 거의 모두 인라인 asm 또는 .S 파일 */
커널에서의 SIMD 사용 — 핵심 제약
/* ⚠ 커널 코드에서 SIMD 레지스터를 직접 사용할 수 없다! */
/*
* 이유:
* 1. 커널은 유저 프로세스의 FPU/SIMD 상태를 보존해야 함
* 2. 인터럽트/softirq 컨텍스트에서 FPU 상태가 정의되지 않음
* 3. preempt 시 FPU 상태가 손상될 수 있음
*
* 해결: kernel_fpu_begin() / kernel_fpu_end()
* 이 API가 유저 FPU 상태를 저장/복원하고 preempt를 비활성화
*/
#include <asm/fpu/api.h>
void my_aes_encrypt(u8 *dst, const u8 *src, const u8 *key)
{
/* FPU/SIMD 사용 전에 반드시 호출 */
kernel_fpu_begin();
/* 이 구간에서만 SSE/AVX/AES-NI 명령어 사용 가능 */
asm volatile(
"movdqu (%[key]), %%xmm0\\n"
"movdqu (%[src]), %%xmm1\\n"
"pxor %%xmm0, %%xmm1\\n"
"aesenc %%xmm0, %%xmm1\\n"
"movdqu %%xmm1, (%[dst])\\n"
:: [dst] "r"(dst), [src] "r"(src), [key] "r"(key)
: "xmm0", "xmm1", "memory"
);
/* FPU/SIMD 사용 후 반드시 호출 */
kernel_fpu_end();
}
/* ARM64에서의 SIMD 사용 */
#include <asm/neon.h>
kernel_neon_begin();
/* NEON/SVE 명령어 사용 가능 */
kernel_neon_end();
- kernel_fpu_begin/end 필수 — 이 쌍 없이 SIMD 레지스터를 사용하면 유저 프로세스의 FPU 상태가 손상됨. 결과: 프로세스의 부동소수점 연산이 오염되어 무작위 연산 오류
- 컨텍스트 제한 —
kernel_fpu_begin()은preempt_disable()을 포함. sleep 불가. IRQ 핸들러, softirq에서도 사용 가능하지만 중첩 비용 큼 - 최소 구간 사용 — FPU begin/end 구간이 길면 preempt 지연이 증가하여 시스템 응답성 저하. 가능한 짧게 유지
- 대안: SIMD 전용 함수 — crypto API는 별도 SIMD 최적화 함수를
*-aesni,*-neon등으로 등록하여 자동 관리 - CONFIG_CRYPTO_SIMD — 비동기 crypto에서 SIMD를 안전하게 사용하기 위한 래퍼. softirq에서 자동으로 generic fallback
XSAVE/XRSTOR 메커니즘 상세
XSAVE는 FPU/SIMD 상태를 확장 가능한 방식으로 저장/복원하는 x86 메커니즘입니다. kernel_fpu_begin()의 핵심 구현이며, 새로운 SIMD 확장이 추가될 때마다 자동으로 대응합니다.
/* XSAVE 상태 컴포넌트 (CPUID Leaf 0x0D로 확인) */
/*
* 비트 컴포넌트 크기 오프셋
* ─────────────────────────────────────────────────
* 0 x87 FPU 512 bytes 0 (고정)
* 1 SSE (XMM0-XMM15) (위에 포함) 0 (고정)
* 2 AVX (YMM 상위 128) 256 bytes 576
* 3 MPX BNDREGS 64 bytes (가변)
* 4 MPX BNDCFG 64 bytes (가변)
* 5 AVX-512 opmask (k) 64 bytes (가변)
* 6 AVX-512 ZMM_Hi256 512 bytes (가변)
* 7 AVX-512 Hi16_ZMM 1024 bytes (가변)
* 9 PKRU 8 bytes (가변)
* 11 CET_U 16 bytes (가변)
* 12 CET_S 24 bytes (가변)
* 17 TILECFG (AMX) 64 bytes (가변)
* 18 TILEDATA (AMX) 8192 bytes (가변)
*/
/* 커널의 XSAVE 영역 크기 결정 — arch/x86/kernel/fpu/xstate.c */
void fpu__init_system_xstate(unsigned int legacy_size)
{
u64 xfeatures_mask;
unsigned int eax, ebx, ecx, edx;
/* CPUID Leaf 0x0D, Sub-leaf 0: 지원 컴포넌트 마스크 */
cpuid_count(0x0D, 0, &eax, &ebx, &ecx, &edx);
xfeatures_mask = eax | ((u64)edx << 32);
/* ebx = 현재 XCR0 기준 XSAVE 크기 */
/* ecx = 지원되는 모든 컴포넌트의 최대 XSAVE 크기 */
/* 각 컴포넌트의 크기/오프셋 조회 */
for (int i = 2; i < 64; i++) {
if (!(xfeatures_mask & (1ULL << i))) continue;
cpuid_count(0x0D, i, &eax, &ebx, &ecx, &edx);
/* eax = 컴포넌트 크기, ebx = 오프셋 */
/* ecx bit 1: 이 컴포넌트가 compacted XSAVE에서 정렬 필요 */
}
}
/* XSAVE 변종 명령어 */
/* XSAVE: 모든 컴포넌트 저장 (느림, 초기 변종) */
/* XSAVEOPT: 변경된 컴포넌트만 저장 (최적화) */
/* XSAVEC: Compacted 형식으로 저장 (커널 기본) */
/* XSAVES: Supervisor 컴포넌트 포함 + compacted */
/* XRSTOR: 컴포넌트 복원 */
/* XRSTORS: Supervisor 컴포넌트 포함 복원 */
/* kernel_fpu_begin() 내부 흐름 */
void kernel_fpu_begin_mask(unsigned int kfpu_mask)
{
preempt_disable();
if (!test_thread_flag(TIF_NEED_FPU_LOAD)) {
/* 유저 FPU 상태가 레지스터에 live → 메모리에 저장 */
fpu_save_regs(fpu);
/* 내부적으로 XSAVES 또는 XSAVEC 실행 */
}
/* 이제 커널 코드가 FPU/SIMD 레지스터를 자유롭게 사용 가능 */
}
void kernel_fpu_end(void)
{
/* TIF_NEED_FPU_LOAD 플래그 설정 → 다음 유저 복귀 시 lazy restore */
set_thread_flag(TIF_NEED_FPU_LOAD);
preempt_enable();
}
XSAVE 크기의 실무적 영향: SSE만 사용하면 XSAVE 영역이 ~576바이트이지만, AVX-512 전체를 사용하면 ~2.5KB 이상으로 증가합니다. AMX(TILEDATA)까지 포함하면 ~10KB에 달합니다. 이는 태스크당 thread.fpu 메모리 사용량과 컨텍스트 스위치 시간에 직접 영향을 미칩니다. 커널은 init_fpstate에서 각 프로세스가 실제로 사용하는 컴포넌트만 추적하여 불필요한 저장/복원을 최소화합니다.
FPU Lazy Restore 메커니즘 상세
Linux 커널은 FPU 상태 복원을 최대한 지연시켜 컨텍스트 스위치 비용을 줄입니다. TIF_NEED_FPU_LOAD 플래그가 이 최적화의 핵심입니다.
/* arch/x86/kernel/fpu/core.c — switch_fpu_finish() */
static inline void switch_fpu_finish(void)
{
/* 컨텍스트 스위치 직후 (새 태스크로 전환) */
if (!test_thread_flag(TIF_NEED_FPU_LOAD))
return; /* FPU가 이미 올바른 상태 — 복원 불필요 */
/*
* FPU 상태가 레지스터에 없음 → 유저 복귀 전에 복원 필요
* 이 시점에서는 아직 복원하지 않음!
* 유저 복귀 경로(exit_to_user_mode)에서 실제 XRSTOR 수행
*
* 최적화 이유:
* 커널 코드 실행 중에는 FPU 레지스터 불필요
* → 유저 복귀 직전까지 복원을 지연하면
* → 같은 태스크가 연속 컨텍스트 스위치되는 경우 복원 생략 가능
*/
}
/* arch/x86/kernel/fpu/core.c — fpregs_restore_userregs() */
void fpregs_restore_userregs(void)
{
struct fpu *fpu = ¤t->thread.fpu;
if (!test_thread_flag(TIF_NEED_FPU_LOAD))
return;
/* 실제 XRSTOR 수행 — 유저 복귀 직전에만 호출됨 */
restore_fpregs_from_fpstate(fpu->fpstate, XFEATURE_MASK_FPSTATE);
clear_thread_flag(TIF_NEED_FPU_LOAD);
}
/* kernel_fpu_begin()이 lazy restore에 미치는 영향:
*
* 1. 유저 FPU 상태가 레지스터에 live:
* → XSAVE로 메모리에 저장
* → TIF_NEED_FPU_LOAD 설정
* → 커널 SIMD 코드 실행
*
* 2. 이미 TIF_NEED_FPU_LOAD 상태 (이전 컨텍스트 스위치 이후):
* → XSAVE 불필요 (이미 메모리에 있음)
* → 바로 커널 SIMD 코드 실행 가능
* → 이 경우 kernel_fpu_begin()의 비용이 현저히 줄어듦!
*
* 결론: 컨텍스트 스위치 직후의 kernel_fpu_begin()은 매우 저렴
* 유저 코드가 FPU를 집중적으로 쓰는 태스크에서는 비용이 높음
*/
kernel_fpu_begin/end 오버헤드 측정
| 시나리오 | SSE만 | + AVX (YMM) | + AVX-512 (ZMM) | + AMX (TILE) |
|---|---|---|---|---|
| XSAVE 크기 | ~576 B | ~832 B | ~2,688 B | ~10,880 B |
| kernel_fpu_begin (FPU live) | ~0.15 μs | ~0.25 μs | ~0.6 μs | ~2.5 μs |
| kernel_fpu_begin (lazy) | ~0.02 μs | ~0.02 μs | ~0.02 μs | ~0.02 μs |
| kernel_fpu_end (항상) | ~0.01 μs | ~0.01 μs | ~0.01 μs | ~0.01 μs |
| 컨텍스트 스위치 복원 | ~0.15 μs | ~0.25 μs | ~0.55 μs | ~2.0 μs |
| 총 왕복 비용 (worst) | ~0.30 μs | ~0.50 μs | ~1.15 μs | ~4.5 μs |
측정 기준: 위 수치는 Skylake/Ice Lake 급 CPU에서의 대략적 참고값입니다. 실제 값은 CPU 모델, 캐시 상태, 메모리 대역폭에 따라 달라집니다. 핵심 판단 기준: kernel_fpu_begin/end의 오버헤드가 SIMD 가속으로 얻는 이득보다 작아야 합니다. 일반적으로 1KB 이상의 데이터를 처리할 때만 SIMD가 유리합니다. crypto API의 simd_skcipher 래퍼는 이 판단을 자동화합니다.
데이터 정렬 심화 — #GP 예외와 진단
SIMD 정렬 명령어(movaps, vmovaps 등)는 데이터가 정해진 바이트 경계에 맞지 않으면 #GP(General Protection Fault)를 발생시킵니다. 커널에서 이를 잘못 처리하면 oops로 이어집니다.
정렬 요구사항 상세 테이블
| ISA | 정렬 명령어 | 비정렬 명령어 | 정렬 바이트 | #GP 조건 |
|---|---|---|---|---|
| SSE | movaps, movdqa | movups, movdqu | 16B | addr % 16 ≠ 0 |
| AVX / AVX2 | vmovaps (256-bit) | vmovups, vmovdqu | 32B | addr % 32 ≠ 0 |
| AVX-512 | vmovaps (512-bit) | vmovdqu32/64 | 64B | addr % 64 ≠ 0 |
| Non-Temporal | movntps, vmovntps | 없음 (항상 정렬 필수) | 16/32/64B | 정렬 위반 시 #GP |
커널 정렬 보장 패턴
/* 커널에서 정렬을 보장하는 주요 방법 */
#include <linux/align.h>
#include <linux/slab.h>
/* 1. DECLARE_ALIGNED: 정적 배열 정렬 */
DECLARE_ALIGNED(32, u8, simd_buf[256]); /* 32B 정렬 */
DECLARE_ALIGNED(64, u8, avx512_buf[512]); /* 64B 정렬 */
/* 2. __attribute__((aligned(N))): GCC 정렬 지시 */
struct my_simd_ctx {
u8 key[32] __attribute__((aligned(32)));
u8 state[64] __attribute__((aligned(64)));
};
/* 3. PTR_ALIGN: 런타임 포인터 정렬 조정 */
void *buf = kmalloc(size + 63, GFP_KERNEL);
void *aligned = PTR_ALIGN(buf, 64); /* 64B 경계로 올림 */
/* 4. IS_ALIGNED: 정렬 여부 런타임 검사 */
if (!IS_ALIGNED((unsigned long)ptr, 32)) {
/* 비정렬 → vmovdqu 변종 사용 경로 */
do_simd_unaligned(ptr, len);
} else {
/* 정렬 확인 → vmovaps 사용 경로 (최적) */
do_simd_aligned(ptr, len);
}
/* 5. ROUND_UP: 정렬된 크기로 올림 */
size_t aligned_size = ROUND_UP(size, 64);
#GP 예외 진단 및 수정
# 1. dmesg에서 #GP 확인
dmesg | grep "general protection"
# 출력 예: general protection fault#GP 0000 [#1] SMP NOPTI
# RIP: 0010:my_aes_encrypt+0x2a/0x60
# 2. RIP 주소에서 위반 명령어 특정
objdump -d vmlinux | grep -A 3 "<my_aes_encrypt>"
# 출력 예:
# movaps (%rsi), %xmm0 ← 16B 정렬 필요인데 위반!
# 3. 즉시 수정: 비정렬 변종으로 교체
# movaps → movups (SSE)
# vmovaps → vmovups (AVX/AVX-512)
# vmovdqa → vmovdqu (AVX 정수)
# 4. 근본 수정: 구조체/버퍼 정렬 보장
# DECLARE_ALIGNED(32, u8, buf[256]);
# 5. 정렬 상태 확인 도구
pahole -C my_struct vmlinux # 구조체 레이아웃 출력
현대 CPU에서의 비정렬 패널티: Intel Nehalem(2008+)과 AMD Zen 이후부터는 movups(비정렬 변종)도 캐시 라인 경계를 넘지 않는 한 movaps와 동등한 성능을 냅니다. 따라서 커널에서는 안전한 비정렬 명령어를 기본으로 사용하고, 벤치마크로 정렬 효과를 확인한 후에만 정렬 명령어로 교체하는 것이 권장됩니다. Non-Temporal 스토어는 예외로 항상 정렬이 필수입니다.
커널 내 SIMD 활용 사례
| 용도 | x86 구현 | ARM64 구현 | 커널 코드 |
|---|---|---|---|
| AES 암호화 | AES-NI (AESENC/AESDEC) | ARMv8 Crypto Extension | arch/x86/crypto/aesni-intel_glue.c |
| SHA 해싱 | SHA-NI (Goldmont+) | CE SHA instructions | arch/x86/crypto/sha256_ssse3_glue.c |
| CRC32 | SSE4.2 CRC32 명령, PCLMULQDQ | CRC32 명령 | arch/x86/crypto/crc32c-intel_glue.c |
| ChaCha20 | AVX2/AVX-512 (4/8블록 병렬) | NEON (4블록 병렬) | arch/x86/crypto/chacha_glue.c |
| Poly1305 | AVX2 (radix 2^26 표현) | NEON | arch/x86/crypto/poly1305_glue.c |
| RAID5/6 XOR | AVX2/AVX-512 병렬 XOR | NEON XOR | lib/raid6/sse*.c, lib/raid6/neon*.c |
| memcpy/memset | REP MOVSB (ERMS) / AVX | NEON/SVE 최적화 copy | arch/x86/lib/memcpy_64.S |
| 체크섬 (IP/TCP) | ADC 체인 + SIMD | NEON 체크섬 | arch/x86/lib/csum-partial_64.c |
| SM3/SM4 (중국 표준) | AVX2 + AES-NI 활용 | CE SM3/SM4 명령 | arch/x86/crypto/sm4_aesni_avx2_glue.c |
| Zstd/LZ4 압축 | SIMD 직접 사용 안 함 (스칼라) | 스칼라 | lib/zstd/ (유저 라이브러리 포팅) |
crypto API와 SIMD 통합 구조
/* 커널 crypto API는 SIMD 가속을 투명하게 관리하는 구조를 갖추고 있음 */
/* arch/x86/crypto/aesni-intel_glue.c — 실제 등록 예시 */
static struct skcipher_alg aesni_skciphers[] = {
{
.base.cra_name = "cbc(aes)",
.base.cra_driver_name = "cbc-aes-aesni", /* AES-NI 가속 */
.base.cra_priority = 400, /* generic(100)보다 높은 우선순위 */
.setkey = aesni_skcipher_setkey,
.encrypt = cbc_encrypt, /* SIMD 사용 */
.decrypt = cbc_decrypt,
},
};
/* 우선순위 기반 자동 선택:
* cbc(aes) 요청 시:
* 1. cbc-aes-aesni (priority=400, AES-NI 필요)
* 2. cbc-aes-generic (priority=100, 항상 사용 가능)
* → CPU가 AES-NI를 지원하면 자동으로 #1 선택 */
/* simd_skcipher_create_compat(): softirq에서의 SIMD 안전 처리 */
/*
* 문제: softirq 컨텍스트에서 kernel_fpu_begin()이 실패할 수 있음
* (이미 process context에서 FPU를 사용 중일 때)
*
* 해결: simd 래퍼가 softirq를 감지하면 자동으로 generic fallback
* → cryptd (crypto daemon) 워크큐로 지연 처리
*/
struct simd_skcipher_alg *simd_skcipher_create_compat(
const char *algname, /* "cbc(aes)" */
const char *drvname, /* "cbc-aes-aesni" (내부 SIMD 알고리즘) */
const char *basename); /* "cbc(aes)" (fallback) */
/* 실제 호출 경로:
* 유저 요청 → crypto_alloc_skcipher("cbc(aes)")
* → 커널이 "cbc-aes-aesni"의 simd 래퍼 선택
* → process context → kernel_fpu_begin() + AES-NI 직접 사용
* → softirq context → cryptd 워크큐 → process context에서 실행
*/
RAID6 SIMD 최적화 심화
/* RAID6는 GF(2^8) 갈루아 필드 연산을 대량으로 수행 → SIMD 핵심 활용처 */
/* lib/raid6/algos.c — 런타임 벤치마크로 최적 알고리즘 자동 선택 */
const struct raid6_calls *const raid6_algos[] = {
/* 속도 순 (느림 → 빠름) */
&raid6_intx1, /* 순수 정수 (fallback) */
&raid6_intx2, /* 정수, 2-way unroll */
&raid6_sse1x1, /* SSE 128-bit */
&raid6_sse1x2, /* SSE 128-bit, 2-way unroll */
&raid6_sse2x1, /* SSE2 128-bit */
&raid6_sse2x2, /* SSE2 128-bit, 2-way unroll */
&raid6_sse2x4, /* SSE2 128-bit, 4-way unroll */
&raid6_avx2x1, /* AVX2 256-bit */
&raid6_avx2x2, /* AVX2 256-bit, 2-way unroll */
&raid6_avx2x4, /* AVX2 256-bit, 4-way unroll */
&raid6_avx512x1, /* AVX-512 512-bit */
&raid6_avx512x2, /* AVX-512 512-bit, 2-way unroll */
&raid6_avx512x4, /* AVX-512 512-bit, 4-way unroll */
NULL,
};
/* 부팅 시 각 알고리즘을 벤치마크하여 최적 선택 */
/* dmesg 출력 예시:
* raid6: avx512x4 gen() 29430 MB/s
* raid6: avx512x2 gen() 27891 MB/s
* raid6: avx2x4 gen() 18560 MB/s
* raid6: using algorithm avx512x4 gen() 29430 MB/s
*/
/* AVX2 RAID6 P+Q 신드롬 계산 핵심 루프 */
/* lib/raid6/avx2.c */
static void raid6_avx21_gen_syndrome(int disks, size_t bytes, void **ptrs)
{
kernel_fpu_begin();
asm volatile(
"vmovdqa %[x0f], %%ymm3\\n" /* 마스크 0x0F */
"vpxor %%ymm0, %%ymm0, %%ymm0\\n" /* P = 0 */
"vpxor %%ymm1, %%ymm1, %%ymm1\\n" /* Q = 0 */
/* 각 디스크 데이터를 순회하며:
* P ^= data[i] (단순 XOR)
* Q = GF_MUL(Q) ^ data[i] (GF(2^8) 곱셈 후 XOR)
* GF 곱셈은 VPSHUFB로 4-bit 룩업테이블 사용 */
::: "ymm0","ymm1","ymm2","ymm3","ymm4","ymm5","memory"
);
kernel_fpu_end();
}
커널 memcpy/memset SIMD 최적화
x86 리눅스 커널의 arch/x86/lib/memcpy_64.S는 복사 크기에 따라 여러 전략을 동적으로 선택합니다. 단순한 SIMD 루프가 아닌, CPU 마이크로아키텍처와 크기에 따른 계층적 결정 트리를 사용합니다.
arch/x86/lib/memcpy_64.S 구조
/* arch/x86/lib/memcpy_64.S — 단순화된 구조 */
/* 실제 구현은 CPU 특성 플래그를 런타임에 패치(alternatives)함 */
/* 소형 복사 (len < 64바이트): 레지스터 직접 이동 */
/* 1~7B: rep movsb (또는 개별 mov 명령어) */
/* 8~15B: mov + 겹침 허용 (end 기준 마지막 8B) */
/* 16~31B: movdqu × 2 (겹침 허용) */
/* 32~63B: vmovdqu × 2 (겹침 허용) */
/* 중형 복사 (64B ≤ len < 2KB): AVX2 루프 */
.memcpy_avx2_loop:
vmovdqu (%rsi), %ymm0
vmovdqu 32(%rsi), %ymm1
vmovdqu %ymm0, (%rdi)
vmovdqu %ymm1, 32(%rdi)
add $64, %rsi
add $64, %rdi
sub $64, %rcx
jg .memcpy_avx2_loop
vzeroupper /* AVX→SSE 전환 페널티 방지 */
/* 대형 복사 (len ≥ 2KB): Non-Temporal 스토어 */
.memcpy_nt_loop:
vmovdqu (%rsi), %ymm0 /* 소스: 일반 로드 (캐시 경유) */
vmovdqu 32(%rsi), %ymm1
vmovntdq %ymm0, (%rdi) /* 목적지: NT 스토어 (캐시 우회) */
vmovntdq %ymm1, 32(%rdi) /* Write-Combining Buffer 사용 */
add $64, %rsi
add $64, %rdi
sub $64, %rcx
jg .memcpy_nt_loop
sfence /* NT 스토어 가시성 보장 (필수!) */
vzeroupper
ERMS / FSRM vs AVX 수동 루프 선택 로직
| 기능 | 도입 CPU | 특징 | 커널 사용 조건 |
|---|---|---|---|
| ERMS (Enhanced REP MOVSB) | IvyBridge (2012) | rep movsb가 대용량에서도 SIMD 수준 성능 | X86_FEATURE_ERMS 플래그 |
| FSRM (Fast Short REP MOVSB) | IceLake (2019) | 소형(<128B)에서도 rep movsb가 최속 | X86_FEATURE_FSRM 플래그 |
| AVX2 루프 | Haswell (2013) | 중형 범위에서 최적, FSRM 없는 시스템 기본 | X86_FEATURE_AVX2 플래그 |
| NT 스토어 | Pentium III (SSE) | 대형 복사에서 캐시 오염 방지, 대역폭 향상 | len ≥ 2KB 임계값 |
/* 커널이 런타임에 memcpy 전략 선택 — alternatives 메커니즘 */
/* arch/x86/lib/memcpy_64.S에서 alternatives 패치로 결정 */
/* FSRM 검사 예시 (arch/x86/include/asm/cpufeatures.h) */
#define X86_FEATURE_ERMS (0*32+9) /* Enhanced REP MOVSB/STOSB */
#define X86_FEATURE_FSRM (3*32+4) /* Fast Short REP MOVSB */
/* 런타임 기능 검사 */
if (static_cpu_has(X86_FEATURE_FSRM)) {
/* rep movsb → 하드웨어가 최적화 수행 */
asm volatile("rep movsb"
: "+D"(dst), "+S"(src), "+c"(len) :: "memory");
} else if (static_cpu_has(X86_FEATURE_AVX2)) {
__memcpy_avx2(dst, src, len); /* AVX2 수동 루프 */
} else {
__memcpy_sse2(dst, src, len); /* SSE2 fallback */
}
Non-Temporal 스토어와 sfence
/* Non-Temporal 스토어 사용 패턴 — 커널 대형 복사 핵심 */
/*
* 일반 스토어: 데이터를 캐시에 올리고 → 메모리에 쓰기
* → 대형 복사 시 캐시를 오염시켜 다른 데이터 축출
*
* NT 스토어: Write-Combining Buffer(WCB)에 누적 → 메모리 직접 기록
* → 캐시 오염 없음, 메모리 대역폭 집중 활용
* → 단, sfence로 WCB 플러시 보장 필수
*/
void large_memcpy_nt(void *dst, const void *src, size_t len)
{
kernel_fpu_begin();
asm volatile(
".Lnt_loop:\\n"
"vmovdqu (%[s]), %%ymm0\\n" /* 소스: 일반 로드 */
"vmovdqu 32(%[s]), %%ymm1\\n"
"vmovntdq %%ymm0, (%[d])\\n" /* 목적지: NT 스토어 */
"vmovntdq %%ymm1, 32(%[d])\\n"
"add $64, %[s]\\n"
"add $64, %[d]\\n"
"sub $64, %[n]\\n"
"jg .Lnt_loop\\n"
"sfence\\n" /* NT 스토어 완료 보장 */
"vzeroupper\\n" /* AVX→SSE 전환 페널티 방지 */
: [d] "+r"(dst), [s] "+r"(src), [n] "+r"(len)
:: "ymm0", "ymm1", "memory"
);
kernel_fpu_end();
}
/* 경고: sfence 없이 NT 스토어를 사용하면 다른 CPU 코어에서
* 데이터가 보이지 않을 수 있음 (Write-Combining Buffer에 잔류).
* 특히 DMA, 크로스-CPU 공유 메모리 시나리오에서 치명적. */
AVX-512 커널 사용 시 특별 주의
- 주파수 다운클럭 — AVX-512 명령 사용 시 CPU가 자동으로 터보 주파수를 낮춤 (Intel "AVX offset"). 512비트 실행 유닛 전력 소비 때문
- 컨텍스트 스위치 비용 — ZMM0-ZMM31 + 마스크 레지스터를 저장/복원해야 하므로 XSAVE 크기 증가 (SSE: 512B, AVX: 1KB, AVX-512: 2.5KB+)
- 커널 정책 — 리눅스 커널에서는 AVX-512를 crypto와 RAID에만 제한적으로 사용. 일반 커널 코드에서 AVX-512 사용은 권장되지 않음
- clearcpuid 부트 옵션 —
clearcpuid=avx512f로 AVX-512 비활성화 가능. 서버 환경에서 주파수 안정성을 위해 사용되기도 함 - 하이브리드 CPU 주의 — Alder Lake 이후 일부 하이브리드 플랫폼은 P-core/E-core 간 AVX-512 지원이 비대칭입니다. 실제 사용 가능 여부는 CPU 모델, BIOS/마이크로코드, 커널 설정 조합에 따라 달라집니다.
SIMD 대안: 컴파일러 자동 벡터화
/* 커널 코드에서 직접 SIMD 인라인 어셈블리 대신 */
/* 컴파일러 자동 벡터화를 활용하는 방법 */
/* GCC/Clang __attribute__((target)) 으로 특정 ISA 확장 활성화 */
__attribute__((target("avx2")))
void xor_block_avx2(u8 *dst, const u8 *src, size_t len)
{
/* 컴파일러가 루프를 자동으로 AVX2 벡터화 */
for (size_t i = 0; i < len; i++)
dst[i] ^= src[i];
}
/* 주의: 커널 빌드 시 기본적으로 -mno-sse, -mno-mmx 플래그 적용 */
/* SIMD를 사용하는 .c 파일은 Makefile에서 명시적으로 활성화: */
/* CFLAGS_myfile.o += -msse2 -mavx2 */
| x86-64 마이크로아키텍처 레벨 | 보장 ISA | 대표 CPU |
|---|---|---|
| x86-64-v1 (기본) | SSE2, CMOV, CMPXCHG8B | 모든 x86-64 CPU |
| x86-64-v2 | SSE4.2, POPCNT, SSSE3, CMPXCHG16B | Nehalem / K10 이상 |
| x86-64-v3 | AVX2, FMA, BMI1/BMI2, MOVBE | Haswell / Excavator 이상 |
| x86-64-v4 | AVX-512F/BW/CD/DQ/VL | Skylake-X / Icelake 이상 |
# GCC 벡터화 보고서: -fopt-info-vec
gcc -O2 -march=native -fopt-info-vec-optimized myfile.c -o myfile
# 출력 예시:
# myfile.c:42:5: optimized: loop vectorized using 32-byte vectors
# myfile.c:58:5: optimized: basic block part vectorized using 32-byte vectors
# myfile.c:71:5: missed: couldn't vectorize loop (data dependency)
# 벡터화 실패 원인 상세 확인
gcc -O2 -march=native -fopt-info-vec-missed myfile.c -o myfile
# 실패 이유: aliasing, 정렬 불확실, 복잡한 제어 흐름 등
# __builtin_assume_aligned으로 힌트 제공
# void process(float *p, size_t n) {
# p = __builtin_assume_aligned(p, 32); // 32B 정렬 보장
# for (size_t i = 0; i < n; i++) p[i] *= 2.0f; // 자동 벡터화
# }
SIMD 코드 디버깅과 성능 분석
# SIMD 레지스터 확인 (GDB)
(gdb) info vector # SSE/AVX 레지스터 전체 출력
(gdb) p $xmm0.v4_float # XMM0을 4개 float로 해석
(gdb) p $xmm0.v16_int8 # XMM0을 16개 int8로 해석
(gdb) p $ymm0.v8_int32 # YMM0을 8개 int32로 해석
(gdb) p $zmm0.v64_int8 # ZMM0을 64개 int8로 해석
# perf로 SIMD 명령어 사용 분석
perf stat -e fp_arith_inst_retired.128b_packed_single \
-e fp_arith_inst_retired.256b_packed_single \
-e fp_arith_inst_retired.512b_packed_single \
-- ./my_program
# 128/256/512비트 packed FP 명령어 사용 횟수 측정
# AVX-512 다운클럭 모니터링
perf stat -e core_power.lvl0_turbo_license \
-e core_power.lvl1_turbo_license \
-e core_power.lvl2_turbo_license \
-- ./my_program
# Level 0=기본, Level 1=AVX2 offset, Level 2=AVX-512 offset
# 커널 RAID6 벤치마크 결과 확인
dmesg | grep raid6
# raid6: avx512x4 gen() 29430 MB/s
# raid6: using algorithm avx512x4 gen() 29430 MB/s
# 현재 CPU의 SIMD 지원 확인
grep -o 'sse\|sse2\|ssse3\|sse4_1\|sse4_2\|avx\|avx2\|avx512' /proc/cpuinfo | sort -u
# XSAVE 상태 크기 확인
cat /proc/cpuinfo | grep -o 'xsave[^ ]*'
# Intel PMU SIMD 전용 이벤트 (Skylake 기준)
perf stat -e avx_insts.all \
-e fp_arith_inst_retired.256b_packed_single \
-e fp_arith_inst_retired.256b_packed_double \
-e fp_arith_inst_retired.512b_packed_single \
-- ./my_program
# avx_insts.all: AVX/AVX2/AVX-512 명령어 총 실행 횟수
# SSE-AVX 전환 페널티 측정
perf stat -e assists.sse_avx_mix -- ./my_program
# 0이 아닌 값 → VEX/EVEX 인코딩 혼용 → vzeroupper 누락 의심
| 명령어 | 레이턴시 (clk) | 처리량 (/clk) | 비고 (Skylake) |
|---|---|---|---|
VPADDD ymm | 1 | 0.33 | 정수 덧셈, 3개 포트 분산 |
VMULPS ymm | 4 | 0.5 | float 곱셈, 2 포트 |
VDIVPS ymm | 11~14 | 5~14 | 나눗셈, 매우 느림 |
VGATHERDPS ymm | ~24 | ~24 | Gather, 캐시 미스 시 더 느림 |
VAESENC ymm | 4 | 1 | AES 라운드, 높은 처리량 |
VPSHUFB ymm | 1 | 0.5 | 바이트 셔플, SSSE3 |
/* objdump으로 SIMD 명령어 확인 */
/* objdump -d vmlinux | grep -E 'vmov|vpxor|vaes|vpshufb|vpadd' */
/* 커널 SIMD 코드의 일반적인 실수와 디버깅 */
/*
* 1. kernel_fpu_begin/end 누락
* 증상: 유저 프로세스의 부동소수점 결과가 무작위로 틀림
* 진단: KASAN/UBSAN으로는 감지 불가. CONFIG_X86_DEBUG_FPU 활성화
*
* 2. clobber 리스트 누락
* 증상: 최적화 수준에 따라 간헐적 오류
* 진단: -O0에서 정상, -O2에서 비정상 → clobber 확인
*
* 3. 정렬 문제
* 증상: movaps에서 #GP (General Protection) 예외
* 해결: movdqu/vmovdqu (비정렬 변종) 사용 또는
* __attribute__((aligned(32))) 으로 정렬 보장
*
* 4. SSE/AVX 전환 페널티
* 증상: 예상보다 성능이 낮음
* 진단: perf stat -e assists.sse_avx_mix
* 해결: VZEROUPPER로 상위 YMM 클리어 또는 VEX 인코딩 통일
*/
VZEROUPPER와 SSE/AVX 전환
/* AVX→SSE 전환 시 발생하는 성능 페널티 방지 */
/*
* 문제: AVX 코드(ymm 사용)에서 SSE 코드(xmm만 사용)로 전환 시,
* CPU가 상위 128비트 상태를 추적하느라 성능 저하
*
* Intel Sandy Bridge~Haswell: 큰 전환 페널티
* Intel Skylake+: "dirty upper state" 추적 비용 (더 작지만 존재)
* AMD Zen: 전환 페널티 없음 (다른 물리 레지스터 파일)
*/
/* AVX 코드 종료 시 반드시 실행 */
vzeroupper /* 모든 YMM/ZMM의 상위 비트를 0으로 */
/* 커널에서의 적용: kernel_fpu_end() 전에 호출 */
/* 또는 AVX 함수 끝에 __attribute__((target("avx"))) + vzeroupper */
/* 커널 crypto 코드에서의 전형적 패턴 */
asm volatile(
/* ... AVX2 연산 ... */
"vzeroupper" /* SSE 코드로 돌아가기 전 필수 */
::: "ymm0", "ymm1", ..., "memory"
);
커널 빌드와 SIMD: 커널은 -mno-sse -mno-mmx -mno-sse2 -mno-3dnow -mno-avx 플래그로 빌드됩니다. 이는 일반 C 코드에서 컴파일러가 SIMD를 자동 생성하는 것을 방지합니다. SIMD를 사용하는 특정 파일만 Makefile에서 CFLAGS_<file>.o += -msse2로 개별 활성화합니다. 어셈블리 파일(.S)에서는 이 제한이 없으므로 직접 SIMD 명령어를 사용할 수 있습니다.
하이브리드 CPU AVX-512 비대칭 처리
Intel Alder Lake(12세대) 이후 하이브리드 CPU는 P-core(고성능)와 E-core(효율) 간 SIMD 지원 능력이 비대칭적입니다. 커널은 이 차이를 투명하게 처리하기 위한 특별한 로직을 포함합니다.
| 플랫폼 | P-core 마이크로아키 | E-core 마이크로아키 | P-core AVX-512 | E-core AVX-512 |
|---|---|---|---|---|
| Alder Lake (2021) | Golden Cove | Gracemont | 하드웨어 지원 | 미지원 |
| Raptor Lake (2022) | Raptor Cove | Gracemont | 하드웨어 지원 | 미지원 |
| Meteor Lake (2023) | Redwood Cove | Crestmont | 미지원 | 미지원 |
| Arrow Lake (2024) | Lion Cove | Skymont | 미지원 | 미지원 |
| Lunar Lake (2024) | Lion Cove | Skymont | 미지원 | 미지원 |
/* 커널의 하이브리드 CPU AVX-512 처리 전략
* arch/x86/kernel/cpu/intel.c */
/* Alder Lake/Raptor Lake에서 BIOS가 AVX-512를 CPUID에 노출할 수 있음.
* 하지만 E-core가 없으면 P-core에서만 실행할 때 문제가 없다.
* E-core 존재 시: 태스크가 E-core로 이주되면 AVX-512 명령 → #UD 예외!
*
* 커널 해결책: 하이브리드 CPU에서 E-core AVX-512 미지원 감지 시
* CPUID에서 AVX-512 비트를 강제 클리어하여 사용 불가 처리 */
static void intel_clear_avx512_on_hybrid(struct cpuinfo_x86 *c)
{
if (cpu_feature_enabled(X86_FEATURE_HYBRID_CPU) &&
!cpu_feature_enabled(X86_FEATURE_AVX512F_ECORE)) {
/* E-core가 AVX-512를 지원하지 않으면 시스템 전체에서 비활성화 */
setup_clear_cpu_cap(X86_FEATURE_AVX512F);
pr_info("Disabling AVX-512 on hybrid CPU (E-core lacks support)\n");
}
}
/* 런타임 AVX-512 사용 가능 여부 확인 패턴 */
void my_simd_function(u8 *data, size_t len)
{
if (cpu_feature_enabled(X86_FEATURE_AVX512F)) {
/* AVX-512 경로: 커널이 시스템 전체에서 안전 보장 */
kernel_fpu_begin();
process_avx512(data, len);
kernel_fpu_end();
} else if (cpu_feature_enabled(X86_FEATURE_AVX2)) {
/* AVX2 fallback */
kernel_fpu_begin();
process_avx2(data, len);
kernel_fpu_end();
} else {
/* 스칼라 fallback (항상 동작) */
process_scalar(data, len);
}
}
/* clearcpuid 부트 파라미터로 수동 비활성화:
* clearcpuid=avx512f → AVX-512F 비활성화
* clearcpuid=avx512f,avx → AVX-512와 AVX 모두 비활성화
*
* /proc/cpuinfo에서 확인:
* grep avx512 /proc/cpuinfo → 항목 없으면 비활성화됨
*/
- BIOS 설정 영향 — 일부 Alder Lake/Raptor Lake BIOS는 AVX-512를 CPUID에 노출할지 말지를 선택할 수 있습니다. 같은 하드웨어라도 BIOS 설정에 따라 /proc/cpuinfo의
avx512f플래그 유무가 달라집니다. - 커널 자동 처리 — Linux 5.16+에서 E-core AVX-512 미지원 감지 시 자동으로 AVX-512를 시스템 전체에서 비활성화합니다. 개별 드라이버/모듈은
cpu_feature_enabled()만 확인하면 됩니다. - 마이크로코드 업데이트 — 마이크로코드 버전에 따라 AVX-512 지원 여부가 변경될 수 있습니다. 서버 운영 환경에서는 마이크로코드 갱신 시 SIMD 기능 재확인이 필요합니다.
SIMD 성능 엔지니어링
SIMD 명령어를 사용한다고 자동으로 성능이 향상되지 않습니다. 레지스터 압력, 명령어 수준 병렬성(ILP), 실행 포트 병목, 메모리 대역폭 한계를 이해해야 최적의 SIMD 코드를 작성할 수 있습니다.
레지스터 압력과 스택 스필
/* 레지스터 압력(Register Pressure) — SIMD 성능의 핵심 제약 */
/*
* 사용 가능한 벡터 레지스터 수:
*
* ISA 벡터 레지스터 마스크 레지스터
* ─────────────────────────────────────────────────
* SSE/AVX 16개 (xmm/ymm) 없음
* AVX-512 32개 (zmm) 8개 (k0-k7)
* ARM NEON 32개 (v0-v31) 없음
* ARM SVE 32개 (z0-z31) 16개 (p0-p15)
* RISC-V RVV 32개 (v0-v31) v0 (1개)
*
* LMUL/레지스터 그룹핑 시 사용 가능 수 감소:
* RVV LMUL=4 → 8개 논리 레지스터
* RVV LMUL=8 → 4개 논리 레지스터 (매우 제한적)
*/
/* 레지스터가 부족하면 스택 스필(Stack Spill) 발생 */
/*
* ❌ 나쁜 예: 너무 많은 라이브 변수 (SSE/AVX, 16개 레지스터)
*
* void bad_example(float *a, float *b, float *c, ...) {
* __m256 v0 = _mm256_load_ps(a);
* __m256 v1 = _mm256_load_ps(b);
* __m256 v2 = _mm256_load_ps(c);
* ...
* __m256 v17 = _mm256_load_ps(r); // 17번째 → 스택에 스필!
* // vmovaps %ymm0, -0x120(%rsp) ← 레지스터 → 스택 저장
* // ... 나중에 ...
* // vmovaps -0x120(%rsp), %ymm0 ← 스택 → 레지스터 복원
* }
*
* 스필 비용: ymm 스필 = L1 캐시 접근 (~4 사이클)
* zmm 스필 = L1 캐시 접근 (~5-6 사이클, 64바이트)
*
* ✓ 좋은 예: 루프 내에서 8-12개 레지스터만 라이브
*/
/* 커널 인라인 asm에서의 clobber 목록 관리 */
asm volatile(
/* 8개 레지스터만 사용 → 나머지 8개는 컴파일러가 활용 가능 */
"vmovdqu (%[src]), %%ymm0\n"
"vmovdqu 32(%[src]), %%ymm1\n"
"vmovdqu 64(%[src]), %%ymm2\n"
"vmovdqu 96(%[src]), %%ymm3\n"
"vpxor %%ymm4, %%ymm0, %%ymm0\n"
"vpxor %%ymm5, %%ymm1, %%ymm1\n"
"vpxor %%ymm6, %%ymm2, %%ymm2\n"
"vpxor %%ymm7, %%ymm3, %%ymm3\n"
"vzeroupper\n"
:: [src] "r"(src)
: "ymm0", "ymm1", "ymm2", "ymm3",
"ymm4", "ymm5", "ymm6", "ymm7", "memory"
/* ⚠ clobber에 ymm0-ymm7을 명시 → 컴파일러가 이 레지스터를 다른 용도로 쓰지 않음 */
/* clobber 목록이 너무 크면(16개 전부) 컴파일러가 주변 코드에서 스필 유발 */
);
명령어 수준 병렬성(ILP)과 파이프라이닝
/* ILP(Instruction-Level Parallelism) — SIMD 처리량 극대화 */
/* ❌ 데이터 의존성 체인 — 직렬 실행, ILP 없음 */
/*
* vaddps %ymm0, %ymm1, %ymm1 ; 3 사이클 레이턴시
* vaddps %ymm1, %ymm2, %ymm2 ; ← ymm1 대기 (3 사이클)
* vaddps %ymm2, %ymm3, %ymm3 ; ← ymm2 대기 (3 사이클)
* vaddps %ymm3, %ymm4, %ymm4 ; ← ymm3 대기 (3 사이클)
* 총: 4 × 3 = 12 사이클 (의존성 체인 길이)
*/
/* ✓ 독립 연산으로 ILP 확보 — 병렬 실행 */
/*
* vaddps %ymm0, %ymm1, %ymm1 ; 포트 0/1에서 실행
* vaddps %ymm2, %ymm3, %ymm3 ; 동시에 다른 포트에서 실행 (독립)
* vaddps %ymm4, %ymm5, %ymm5 ; 동시에 실행 가능 (독립)
* vaddps %ymm6, %ymm7, %ymm7 ; 동시에 실행 가능 (독립)
* 총: ~3-4 사이클 (4개가 병렬 실행)
*/
/* SIMD 명령어 레이턴시 vs 처리량 (Skylake/Ice Lake) */
/*
* 명령어 레이턴시 처리량(CPI) 실행 포트
* ──────────────────────────────────────────────────────
* vaddps (FP 덧셈) 4 clk 0.5 (p0/p1) FMA 유닛
* vmulps (FP 곱셈) 4 clk 0.5 (p0/p1) FMA 유닛
* vfmadd* (FMA) 4 clk 0.5 (p0/p1) FMA 유닛
* vpaddd (INT 덧셈) 1 clk 0.33 (p0/p1/p5) 다중 포트
* vpshufb (바이트셔플) 1 clk 0.5 (p5) 셔플 유닛
* vaesenc (AES 라운드) 4 clk 1.0 (p0) AES 유닛
* vdivps (FP 나눗셈) 11 clk 5.0 (p0) 분할기
* vsqrtps (제곱근) 12 clk 6.0 (p0) 분할기
*
* 핵심: 레이턴시가 높은 명령어(div, sqrt, AES)는
* 독립된 연산을 인터리빙하여 파이프라인 채워야 함
*/
/* AES-NI 파이프라이닝 예시 — 커널 crypto 코드의 실제 패턴 */
/* arch/x86/crypto/aesni-intel_asm.S 스타일 */
/* ❌ 단일 블록 AES — 파이프라인 미활용 */
aesenc %xmm0, %xmm1 ; 라운드 1 → 4 사이클 대기
aesenc %xmm0, %xmm1 ; 라운드 2 → 4 사이클 대기
; ... 총 10 라운드 = 40 사이클/블록
/* ✓ 4블록 인터리빙 AES — 파이프라인 충만 */
aesenc %xmm0, %xmm1 ; 블록1 라운드1 (포트0 사용)
aesenc %xmm0, %xmm2 ; 블록2 라운드1 (다음 사이클, 독립)
aesenc %xmm0, %xmm3 ; 블록3 라운드1
aesenc %xmm0, %xmm4 ; 블록4 라운드1
aesenc %xmm0, %xmm1 ; 블록1 라운드2 (xmm1 ready)
aesenc %xmm0, %xmm2 ; 블록2 라운드2
; ... 4블록 × 10라운드 = 40 aesenc → ~10-12 사이클/블록
; 처리량: 단일 블록 대비 ~3.5x 향상!
메모리 대역폭과 SIMD
/* SIMD 코드의 병목 판별 — 연산 vs 메모리 */
/*
* 산술 강도(Arithmetic Intensity) = 연산 수 / 메모리 접근 바이트
*
* ┌─────────────────────────────────────────────────────────┐
* │ 워크로드 유형 산술강도 병목 SIMD 효과 │
* ├─────────────────────────────────────────────────────────┤
* │ memcpy 0 ops/B 메모리 대역폭 낮음 │
* │ XOR (RAID) 1 ops/B 메모리 대역폭 중간 │
* │ AES-CTR ~8 ops/B 연산(CPU) 높음 │
* │ GHASH (GCM) ~4 ops/B 연산 높음 │
* │ SHA-256 ~10 ops/B 연산 매우 높음│
* │ 행렬 곱셈 (AMX) ~16 ops/B 연산 매우 높음│
* └─────────────────────────────────────────────────────────┘
*
* 메모리 바운드 (산술강도 ≤ 2):
* SIMD 레지스터 폭을 늘려도 성능 향상 제한적
* → NT 스토어, 프리페치, 캐시 최적화가 더 효과적
* → memcpy: REP MOVSB(FSRM)이 AVX보다 나을 수 있음
*
* 연산 바운드 (산술강도 ≥ 4):
* SIMD 폭 증가가 직접적 성능 향상
* → AES: 128-bit SSE → 256-bit AVX → 512-bit VAES
* → SHA: 파이프라인 인터리빙으로 처리량 극대화
*/
/* 커널 memcpy에서 SIMD가 유리한 구간 */
/*
* 크기 < 64B: 레지스터 이동 (mov) — SIMD 오버헤드만 증가
* 64B ~ 2KB: AVX2 vmovdqu 루프 — L1/L2 캐시 히트, SIMD 유리
* 2KB ~ 256KB: REP MOVSB (FSRM) — L2/L3 최적화된 마이크로코드
* > 256KB: NT 스토어 (vmovntdq) — 캐시 오염 방지, 대역폭 최대화
*
* perf stat으로 확인:
* perf stat -e L1-dcache-load-misses,LLC-load-misses \
* -- taskset -c 0 dd if=/dev/dm-0 of=/dev/null bs=4K count=10000
*/
SIMD 최적화 결정 트리: ① 산술 강도 확인 → 2 이하면 메모리 최적화 우선. ② perf stat으로 IPC 확인 → 1.0 이하면 메모리 바운드, 2.0 이상이면 프론트엔드/백엔드 병목. ③ 레지스터 압력 확인 → objdump -d에서 mov.*%[xyz]mm.*,.*(%rsp) 패턴(스택 스필) 검색. ④ 실행 포트 병목 → perf stat -e uops_dispatched_port.port_*로 확인.
RISC-V 벡터 확장 (RVV) 심화
RISC-V V 확장(RVV 1.0, 2021년 비준)은 ARM SVE와 유사한 벡터 길이 비종속(VLA) 프로그래밍 모델을 채택합니다. 하드웨어 구현에 따라 VLEN(최소 128비트, 최대 65536비트)이 달라지며, 동일 바이너리가 모든 구현에서 동작합니다. 커널에서의 RVV 사용은 ARM NEON/SVE와 동일한 원칙(FPU 상태 보존, preempt 비활성화)을 따릅니다.
RVV 핵심 명령어
/* RISC-V 벡터 확장 — 핵심 명령어 패턴 */
/* === vsetvli: 벡터 길이/타입 설정 (모든 벡터 연산 전에 필수) === */
vsetvli a0, a1, e32, m4, ta, ma
/* a0 = 실제 처리될 요소 수 (출력)
* a1 = 요청 요소 수 (AVL: Application Vector Length)
* e32 = SEW=32비트 요소
* m4 = LMUL=4 (v0-v3 그룹으로 사용)
* ta = tail agnostic (테일 요소 미정의)
* ma = mask agnostic (마스크 비활성 요소 미정의) */
vsetivli a0, 16, e8, m1, ta, ma
/* 즉시값 16으로 AVL 설정 (vsetvli의 즉시값 변종) */
/* === 벡터 로드/스토어 === */
vle32.v v4, (a0) /* 연속 로드: 32비트 요소, v4에 저장 */
vse32.v v4, (a1) /* 연속 스토어 */
vlse32.v v4, (a0), a2 /* Strided 로드: stride = a2 바이트 간격 */
vluxei32.v v4, (a0), v8 /* Indexed(Gather): base + v8[i]*4 */
vsuxei32.v v4, (a0), v8 /* Indexed(Scatter): v4[i] → base + v8[i]*4 */
/* 마스크 기반 로드 (v0이 마스크 레지스터) */
vle32.v v4, (a0), v0.t /* v0[i]=1인 요소만 로드, 나머지 유지 */
/* === 벡터 산술 === */
vadd.vv v4, v8, v12 /* v4[i] = v8[i] + v12[i] */
vadd.vx v4, v8, a0 /* v4[i] = v8[i] + a0 (스칼라 브로드캐스트) */
vadd.vi v4, v8, 5 /* v4[i] = v8[i] + 5 (즉시값) */
vsub.vv v4, v8, v12 /* 뺄셈 */
vmul.vv v4, v8, v12 /* 곱셈 */
vmacc.vv v4, v8, v12 /* v4[i] += v8[i] * v12[i] (Multiply-Accumulate) */
/* === 벡터 논리/시프트 === */
vxor.vv v4, v8, v12 /* XOR (RAID, 암호에 핵심) */
vand.vv v4, v8, v12 /* AND */
vor.vv v4, v8, v12 /* OR */
vsll.vx v4, v8, a0 /* 좌측 시프트 (스칼라) */
vsrl.vv v4, v8, v12 /* 논리 우측 시프트 */
/* === 비교 → 마스크 레지스터 === */
vmseq.vv v0, v4, v8 /* v0[i] = (v4[i] == v8[i]) ? 1 : 0 */
vmslt.vv v0, v4, v8 /* v0[i] = (v4[i] < v8[i]) ? 1 : 0 */
vcpop.m a0, v0 /* a0 = popcount(v0) 활성 요소 수 */
vfirst.m a0, v0 /* a0 = 첫 번째 활성 비트 인덱스 */
/* === 리덕션 (벡터 → 스칼라) === */
vredsum.vs v4, v8, v12 /* v4[0] = v12[0] + sum(v8[0..vl-1]) */
vredmax.vs v4, v8, v12 /* v4[0] = max(v12[0], max(v8[0..vl-1])) */
vredxor.vs v4, v8, v12 /* v4[0] = v12[0] ^ xor(v8[0..vl-1]) */
/* === 퍼뮤테이션 === */
vslidedown.vx v4, v8, a0 /* v4[i] = v8[i + a0] (요소 슬라이드 다운) */
vslideup.vx v4, v8, a0 /* v4[i + a0] = v8[i] (요소 슬라이드 업) */
vrgather.vv v4, v8, v12 /* v4[i] = v8[v12[i]] (임의 퍼뮤트) */
vcompress.vm v4, v8, v0 /* v0=1인 요소만 v4에 밀착 배치 */
커널 RVV 사용 패턴
/* arch/riscv/include/asm/vector.h — 커널 벡터 API */
#include <asm/vector.h>
/* 커널에서 RVV 사용 전 필수 API */
void my_rvv_xor(u8 *dst, const u8 *src, size_t len)
{
if (!has_vector())
return my_scalar_xor(dst, src, len);
kernel_vector_begin(); /* preempt_disable() + 벡터 상태 저장 */
/* RVV 명령어 사용 가능 구간 */
asm volatile(
"1:\\n"
" vsetvli t0, %[len], e8, m8, ta, ma\\n"
" vle8.v v0, (%[src])\\n"
" vle8.v v8, (%[dst])\\n"
" vxor.vv v8, v8, v0\\n"
" vse8.v v8, (%[dst])\\n"
" add %[src], %[src], t0\\n"
" add %[dst], %[dst], t0\\n"
" sub %[len], %[len], t0\\n"
" bnez %[len], 1b\\n"
: [dst] "+r"(dst), [src] "+r"(src), [len] "+r"(len)
:: "t0", "v0", "v1", "v2", "v3", "v4", "v5", "v6", "v7",
"v8", "v9", "v10", "v11", "v12", "v13", "v14", "v15",
"memory"
);
kernel_vector_end(); /* preempt_enable() + lazy restore 설정 */
}
/* 벡터 상태 관리 내부 — arch/riscv/kernel/vector.c */
/*
* kernel_vector_begin():
* 1. preempt_disable()
* 2. 현재 태스크의 벡터 상태가 레지스터에 live이면 메모리에 저장
* → riscv_v_vstate_save(current, task_pt_regs(current))
* 3. 벡터 레지스터를 커널이 자유롭게 사용 가능
*
* kernel_vector_end():
* 1. TIF_RISCV_V_DEFER_RESTORE 플래그 설정 (lazy restore)
* 2. preempt_enable()
* 3. 다음 유저 복귀 시 벡터 상태 복원
*
* 컨텍스트 스위치 시:
* riscv_v_vstate_save() → vsseg/vse 명령어로 벡터 레지스터 저장
* riscv_v_vstate_restore() → vlseg/vle 명령어로 복원
* 저장 크기: 32 × VLEN/8 바이트 (VLEN=256 → 1024바이트)
*/
/* 커널 RVV 활용 사례 (v6.5+) */
/* arch/riscv/lib/xor.S — RAID XOR 벡터화 */
/* arch/riscv/crypto/aes-riscv64-zvkned.S — AES (Zvkned 확장) */
/* arch/riscv/crypto/sha256-riscv64-zvknha.S — SHA-256 (Zvknha 확장) */
/* arch/riscv/crypto/chacha-riscv64-zvkb.S — ChaCha20 (Zvkb 확장) */
/* arch/riscv/lib/memcpy.S — 벡터화된 memcpy */
/* arch/riscv/lib/memset.S — 벡터화된 memset */
RISC-V 벡터 암호 확장 (Zvk*): RVV 1.0 위에 암호 전용 벡터 확장이 추가되었습니다. Zvkned(AES 암복호화), Zvknha/Zvknhb(SHA-256/SHA-512), Zvkb(비트 조작: vbrev, vrev8, vandn), Zvkg(GCM/GHASH), Zvksed/Zvksh(SM4/SM3 중국 표준). 이들은 x86의 AES-NI/SHA-NI, ARM의 Crypto Extension에 대응합니다. 커널 v6.7+에서 arch/riscv/crypto/에 SIMD 가속 알고리즘이 등록됩니다.
AMX 심화 — 행렬 연산 가속
Intel AMX(Advanced Matrix Extensions)는 Sapphire Rapids(2023)에서 도입된 타일 기반 행렬 곱셈 가속기입니다. 8개의 타일 레지스터(TMM0-TMM7, 각 최대 1KB)를 사용하여 INT8/BF16 행렬 외적(Outer Product)을 하드웨어에서 수행합니다. 커널에서는 직접 사용하지 않지만, 유저 공간 상태 관리가 커널의 핵심 역할입니다.
/* 커널의 AMX 상태 관리 — Lazy Allocation via XFD */
/*
* 문제: AMX TILEDATA는 태스크당 8,192바이트. 모든 프로세스에
* 미리 할당하면 메모리 낭비 (대부분의 프로세스는 AMX를 쓰지 않음)
*
* 해결: XFD (eXtended Feature Disable) 메커니즘
*
* 1. 프로세스 생성 시: TILEDATA에 대한 XFD 비트 = 1 (사용 금지)
* 2. 처음 TILELOAD/TDPB* 명령 실행 시: CPU가 #NM 예외 발생
* 3. 커널 #NM 핸들러:
* a. TILEDATA용 8,192바이트 메모리 동적 할당
* b. thread.fpu.fpstate 확장
* c. XFD 비트 = 0으로 클리어 (이제 AMX 사용 가능)
* 4. 이후 컨텍스트 스위치에서 XSAVE/XRSTOR로 저장/복원
*
* → 실제로 AMX를 사용하는 프로세스만 8KB 추가 메모리 소비
*/
/* arch/x86/kernel/fpu/xstate.c */
static int xfd_enable_feature(u64 xfd_err)
{
struct fpu *fpu = ¤t->thread.fpu;
int ret;
/* TILEDATA 요청인지 확인 */
if (!(xfd_err & XFEATURE_MASK_XTILE_DATA))
return -EINVAL;
/* fpstate를 확장하여 TILEDATA 공간 할당 */
ret = fpstate_realloc(xfd_err, 0, fpu);
if (ret)
return ret;
/* XFD MSR에서 해당 비트 클리어 → 이후 AMX 명령 정상 실행 */
xfd_update_state(fpu->fpstate);
return 0;
}
/* AMX 명령어 요약 */
/*
* ldtilecfg mem64 — TILECFG를 메모리에서 로드 (팔레트, 행/열 설정)
* sttilecfg mem64 — TILECFG를 메모리에 저장
* tileloadd tmm, mem — 타일에 행렬 데이터 로드 (stride 지정)
* tilestored mem, tmm — 타일에서 행렬 데이터 저장
* tilerelease — 모든 타일 상태 해제 (INIT 상태로)
* tilezero tmm — 지정 타일을 0으로 초기화
*
* tdpbssd tmm0, tmm1, tmm2 — C += A × B (signed×signed → int32)
* tdpbsud tmm0, tmm1, tmm2 — C += A × B (signed×unsigned → int32)
* tdpbusd tmm0, tmm1, tmm2 — C += A × B (unsigned×signed → int32)
* tdpbuud tmm0, tmm1, tmm2 — C += A × B (unsigned×unsigned → int32)
* tdpbf16ps tmm0, tmm1, tmm2 — C += A × B (BF16×BF16 → FP32)
* tdpfp16ps tmm0, tmm1, tmm2 — C += A × B (FP16×FP16 → FP32, AMX-FP16)
*/
/* XSAVE 크기 비교 (태스크당 FPU 상태 메모리) */
/*
* SSE만 사용: ~576 바이트
* + AVX: ~832 바이트 (+256)
* + AVX-512: ~2,688 바이트 (+1,856)
* + AMX: ~10,880 바이트 (+8,192)
*
* → AMX 활성 프로세스는 컨텍스트 스위치 시 ~10KB 저장/복원
* → XFD Lazy Allocation으로 실제 사용 프로세스만 부담
*/
- 컨텍스트 스위치 비용 — AMX 활성 프로세스의 XSAVE/XRSTOR는 ~10KB 메모리 접근. 빈번한 스위칭 시 성능 영향 큼
- 커널에서 미사용 — 커널 자체는 AMX를 사용하지 않음. XFD/#NM 핸들러와 XSAVE 상태 관리만 담당
- prctl(ARCH_REQ_XCOMP_PERM) — 유저 공간에서 AMX 사용 전에 명시적 권한 요청 필요 (Linux 5.16+)
- KVM 가상화 — 게스트 VM의 AMX 상태도 커널이 관리.
IA32_XFD_ERRMSR VMEXIT 처리 필요
아키텍처별 SIMD 비교
x86, ARM, RISC-V 세 아키텍처의 SIMD 확장을 직접 비교합니다. 커널 개발자가 크로스 플랫폼 SIMD 코드를 작성할 때 참고할 수 있습니다.
| 특성 | x86 SSE/AVX/AVX-512 | ARM NEON/SVE/SVE2 | RISC-V RVV 1.0 |
|---|---|---|---|
| 벡터 길이 | 고정: 128/256/512-bit | NEON: 고정 128-bit SVE: 128~2048-bit (하드웨어 정의) |
128~65536-bit (VLEN, 하드웨어 정의) |
| 프로그래밍 모델 | 벡터 길이 종속 (VLD) | NEON: VLD SVE: 벡터 길이 비종속 (VLA) |
벡터 길이 비종속 (VLA) |
| 레지스터 수 | XMM/YMM: 16개 ZMM: 32개 |
NEON: V0-V31 (32개) SVE: Z0-Z31 (32개) |
v0-v31 (32개) |
| 마스크/프레디케이트 | AVX-512: k0-k7 (8개) SSE/AVX: 없음 (비교→블렌드) |
SVE: P0-P15 (16개) NEON: 비교→BSL 블렌드 |
v0 레지스터가 마스크 역할 (전용 마스크 레지스터 없음) |
| Gather/Scatter | AVX2+: VGATHER AVX-512: + VSCATTER |
SVE: LD1/ST1 인덱스 형태 기본 지원 | vluxei/vsuxei 기본 지원 |
| 그룹핑/확장 | 없음 (고정 벡터 폭) | 없음 (VL이 고정, 레지스터 결합 없음) | LMUL (1/8~8): 레지스터 그룹핑으로 논리 폭 확장 |
| 테일 처리 | AVX-512: 마스크 SSE/AVX: 수동 스칼라 루프 |
SVE: whilelt 프레디케이트 자동 | vsetvli가 실제 처리 수 반환, 자동 |
| 커널 FPU 보호 | kernel_fpu_begin/end() | kernel_neon_begin/end() | kernel_vector_begin/end() |
| 상태 저장 메커니즘 | XSAVE/XRSTOR (확장 가능) | fpsimd_save/load_state() | vstate_save/restore() |
| 암호 전용 확장 | AES-NI, SHA-NI, PCLMULQDQ, VAES | ARMv8 CE: AESE/AESD, SHA, PMULL | Zvkned(AES), Zvknha(SHA), Zvkg(GCM) |
| 행렬 연산 | AMX (TMM0-TMM7, INT8/BF16) | SME (ZA 타일, FMOPA, BF16) | 미정 (향후 확장 예상) |
| 주파수 영향 | AVX-512: 다운클럭 (AVX offset) | SVE: 구현 의존 (보통 영향 없음) | 구현 의존 (보통 영향 없음) |
| 상태 저장 크기 | SSE: 512B, AVX: 1KB, AVX-512: 2.5KB, +AMX: 10KB+ |
NEON: 528B, SVE(256-bit): 1KB+ SME: ZA 크기 추가 (512B~8KB) |
32 × VLEN/8 (VLEN=256: 1KB) |
크로스 아키텍처 커널 SIMD 코드 패턴
/* 커널에서 아키텍처 독립적 SIMD 가속 구현 패턴 */
/* 예: crypto 서브시스템의 multi-arch 알고리즘 등록 */
/* === 아키텍처별 구현 파일 구조 === */
/*
* crypto/chacha_generic.c ← 순수 C fallback (모든 아키텍처)
* arch/x86/crypto/chacha_glue.c ← x86 SIMD 가속 (SSE3/AVX2/AVX-512)
* arch/arm64/crypto/chacha-neon-glue.c ← ARM64 NEON 가속
* arch/riscv/crypto/chacha-riscv64-zvkb.S ← RISC-V RVV 가속
*
* 각 아키텍처 구현은 동일한 crypto API 인터페이스를 제공:
* .cra_name = "chacha20"
* .cra_priority = 300 (SIMD) > 100 (generic)
* → 런타임에 가장 높은 우선순위의 구현이 자동 선택
*/
/* 조건부 컴파일 가드 패턴 */
#if defined(CONFIG_X86_64)
#include <asm/fpu/api.h>
#define SIMD_BEGIN() kernel_fpu_begin()
#define SIMD_END() kernel_fpu_end()
#define HAS_SIMD cpu_feature_enabled(X86_FEATURE_AVX2)
#elif defined(CONFIG_ARM64)
#include <asm/neon.h>
#define SIMD_BEGIN() kernel_neon_begin()
#define SIMD_END() kernel_neon_end()
#define HAS_SIMD cpu_have_named_feature(ASIMD)
#elif defined(CONFIG_RISCV) && defined(CONFIG_RISCV_ISA_V)
#include <asm/vector.h>
#define SIMD_BEGIN() kernel_vector_begin()
#define SIMD_END() kernel_vector_end()
#define HAS_SIMD has_vector()
#else
#define HAS_SIMD 0
#endif
/* 공통 호출 패턴 */
void my_crypto_op(u8 *dst, const u8 *src, size_t len)
{
if (HAS_SIMD && may_use_simd()) {
SIMD_BEGIN();
my_crypto_simd(dst, src, len); /* arch별 SIMD 구현 */
SIMD_END();
} else {
my_crypto_generic(dst, src, len); /* C fallback */
}
}
/* may_use_simd(): softirq/hardirq 컨텍스트에서는 false 반환
* → 이미 다른 코드가 FPU를 사용 중일 수 있으므로 중첩 방지
* → crypto API의 simd_skcipher 래퍼가 자동으로 cryptd 워크큐 fallback */
크로스 플랫폼 SIMD 전략: 커널 crypto 서브시스템은 crypto_register_skciphers()로 아키텍처별 구현을 등록합니다. cra_priority 값이 높은 SIMD 구현이 자동 선택되며, may_use_simd()가 false를 반환하면 cryptd 워크큐로 지연 실행되거나 generic C fallback이 사용됩니다. 새로운 아키텍처에서 SIMD 가속을 추가할 때는 arch/에 구현을 추가하고 높은 priority로 등록하면 됩니다.
커널 암호 서브시스템 SIMD 통합 상세
Linux crypto API는 SIMD 가속을 투명하게 관리하는 다층 구조를 제공합니다. 디스크 암호화(dm-crypt), 네트워크 암호화(IPsec/WireGuard), 파일시스템 암호화(fscrypt)가 모두 이 프레임워크를 통해 SIMD 가속의 혜택을 받습니다.
dm-crypt SIMD 가속 경로
/* dm-crypt 디스크 암호화의 SIMD 가속 데이터 흐름 */
/*
* 1. 유저 write() 호출
* 2. VFS → Block Layer → dm-crypt
* 3. dm-crypt가 crypto API 호출:
* skcipher_request_set_crypt(req, src_sg, dst_sg, nbytes, iv);
* crypto_skcipher_encrypt(req);
*
* 4. crypto API 내부:
* a. process context (kcryptd 워크큐):
* → may_use_simd() == true
* → kernel_fpu_begin()
* → AES-NI/VAES로 직접 암호화
* → kernel_fpu_end()
*
* b. softirq context (드물지만 가능):
* → may_use_simd() == false
* → cryptd 워크큐로 지연
* → 또는 aes-generic fallback 사용
*
* 5. 암호화된 데이터 → Block Layer → 디스크 기록
*/
/* dm-crypt 성능 최적화 포인트 */
/*
* kernel_fpu_begin/end 호출 빈도 최소화:
* dm-crypt는 여러 섹터를 한 번의 FPU 구간에서 처리
* → crypto_skcipher_encrypt()가 scatterlist 전체를 처리
* → FPU begin/end는 알고리즘 내부에서 한 번만 호출
*
* 워커 스레드 수 조정:
* /sys/block/dm-0/dm/num_write_same_max_bytes
* kcryptd_crypt 워크큐 → unbound workqueue (CPU별 분산)
*
* AES-XTS 모드 선택 근거:
* - XTS는 블록 단위 독립 → 병렬화 유리
* - VAES + AVX-512: 4블록(64B) 동시 암호화
* - 파이프라이닝: 이전 블록 스토어 + 현재 블록 연산 동시 수행
*/
/* dm-crypt 설정 시 SIMD 확인 */
/* $ cat /proc/crypto | grep -A4 "aes"
* driver : aes-aesni
* module : aesni_intel
* priority : 300
* type : cipher
*
* driver가 "aesni"이면 AES-NI 가속 활성화됨
* "aes-generic"이면 소프트웨어 fallback 사용 중
*/
IPsec/WireGuard SIMD 가속
/* IPsec: ESP 변환에서의 SIMD 사용 */
/*
* IPsec ESP 패킷 처리 경로:
* xfrm_output() → esp_output() → crypto_aead_encrypt()
* → GCM(AES) = AES-CTR + GHASH
*
* AES-CTR: AES-NI/VAES로 가속
* GHASH: PCLMULQDQ/VPCLMULQDQ (Galois Field 곱셈)
*
* 주의: IPsec은 softirq(NET_RX)에서도 실행됨
* → 이미 process ctx에서 FPU 사용 중이면 충돌
* → simd_skcipher 래퍼가 자동으로 cryptd 워크큐 fallback
*
* ESP 가속 알고리즘 등록:
* rfc4106(gcm(aes)) — RFC4106 GCM-AES (IPsec 표준)
* cra_driver_name = "rfc4106-gcm-aesni"
* cra_priority = 400 (generic보다 높음)
*/
/* WireGuard: ChaCha20-Poly1305 SIMD 가속 */
/*
* WireGuard는 ChaCha20-Poly1305 AEAD 사용 (고정 알고리즘)
*
* ChaCha20:
* x86: AVX2로 8블록(512B) 병렬 처리 → ~7 GB/s
* AVX-512로 16블록(1KB) 병렬 → ~12 GB/s
* ARM64: NEON으로 4블록(256B) 병렬 → ~4 GB/s
*
* Poly1305:
* x86: AVX2로 radix 2^26 표현, 4-way 병렬 → ~10 GB/s
* ARM64: NEON 4-way 병렬 → ~5 GB/s
*
* WireGuard 특수성:
* chacha20poly1305_encrypt()가 직접 구현 사용 (crypto API 미경유)
* → include/crypto/chacha20poly1305.h
* → lib/crypto/chacha20poly1305.c + arch별 SIMD 구현
* → kernel_fpu_begin/end를 내부에서 직접 관리
*/
/* 실제 WireGuard SIMD 호출 경로 */
/* drivers/net/wireguard/noise.c */
bool chacha20poly1305_encrypt(
u8 *dst, const u8 *src, const size_t src_len,
const u8 *ad, const size_t ad_len,
const u64 nonce, const u8 key[CHACHA20POLY1305_KEY_SIZE])
{
/* 내부적으로 may_use_simd() 확인 후 경로 분기:
* SIMD 가능: chacha20_simd() + poly1305_simd()
* SIMD 불가: chacha20_generic() + poly1305_generic()
*/
}
/* 성능 비교: cryptsetup benchmark (4KB 블록) */
/*
* 알고리즘 generic AES-NI AVX2 AVX-512
* ────────────────────────────────────────────────────────────
* aes-xts-256 200 MB/s 3,500 MB/s — 6,000 MB/s
* chacha20-poly1305 350 MB/s — 5,500 MB/s 8,000 MB/s
* aes-gcm-256 180 MB/s 4,200 MB/s — 7,000 MB/s
* sha256 250 MB/s 1,200 MB/s — 2,000 MB/s
* crc32c 800 MB/s 9,000 MB/s — —
*/
SIMD 가속 확인 방법: cat /proc/crypto | grep -B2 "priority.*[3-9][0-9][0-9]"으로 높은 우선순위(300+) 알고리즘을 찾으면 SIMD 가속 구현입니다. cryptsetup benchmark 명령으로 현재 시스템의 실제 crypto 처리량을 측정할 수 있습니다. dm-crypt가 어떤 알고리즘을 사용하는지는 dmsetup table --showkeys로 확인합니다.
관련 문서
SIMD와 관련된 다른 주제를 더 깊이 이해하고 싶다면 다음 문서를 참고하세요.