DMA Completion 메커니즘 — Interrupt·Polling·Completion Ring
#한 줄 요약
“DMA가 끝났음을 알리는 방법은 interrupt, polling, completion ring 세 가지이고, transfer 크기와 latency 요구에 따라 다르게 고릅니다.” 셋을 섞은 hybrid가 보통의 실전 답입니다.
#어떤 상황에서 쓰나
UART RX 한 글자에 IRQ를 쏘면 CPU가 1 Mbps만으로도 30% 가까이 묶입니다. 반대로 NVMe IOPS 1 M을 처리할 때 매 4 KB 전송마다 IRQ를 쏘면 IRQ entry/exit 비용만으로 CPU가 폭주합니다.
같은 “DMA 완료를 어떻게 알 것인가”라는 질문이지만, audio·sensor·UART·NIC·NVMe·FPGA가 답을 다르게 가져갑니다. Completion 처리 패턴 세 가지를 알고 있으면 새로운 device를 봐도 어디부터 손대야 할지 보입니다.
#핵심 개념
세 가지 방식은 latency·CPU 비용·throughput 축에서 균형이 다릅니다.
Interrupt
- latency 5-30 µs (entry/exit + ISR)
- CPU 사용 적음 (idle 가능)
- 큰 transfer / 낮은 빈도에 유리
Polling
- latency sub-µs
- CPU 한 코어 100%
- 짧은 transfer / 매우 높은 빈도 (NVMe SPDK, DPDK)
Completion ring
- device가 descriptor에 결과를 적음
- CPU가 ring을 batch로 읽음
- IRQ coalescing(N개 또는 M µs마다 1 IRQ)과 결합
- NIC·NVMe·XDMA 표준
Completion ring은 사실 위 두 가지를 합친 모델입니다. 평소에는 batched IRQ, busy할 때는 잠시 polling으로 바뀌는 NAPI나 SPDK polling이 그 자연스러운 결과입니다.
#코드 / 실제 사용 예
#기본 interrupt 모델
volatile bool dma_done;
void DMA_IRQHandler(void) { if (DMA->ISR & TCIF) { DMA->IFCR = TCIF_CLR; dma_done = true; }}
void wait_dma(void) { while (!dma_done) __WFI(); /* IRQ가 깨움 */ dma_done = false;}Cortex-M에서 가장 직관적인 형태입니다. 짧은 transfer에는 IRQ entry/exit 비용이 transfer 시간보다 길어집니다.
#Polling 모델
HAL_DMA_Start(&hdma, src, dst, len);while (!(DMA->ISR & TCIF)) ; /* busy-wait */DMA->IFCR = TCIF_CLR;512 byte 같은 짧은 transfer를 µs 안에 끝내야 할 때 polling이 더 빠릅니다. 다만 CPU가 그 시간 동안 다른 일을 못 합니다.
#Completion ring (NIC RX 패턴)
struct rx_desc { uint64_t buf_addr; uint16_t len; uint16_t flags; /* DD = Descriptor Done */ uint32_t rss_hash;};
#define RING_SIZE 1024struct rx_desc rx_ring[RING_SIZE];int rx_head; /* CPU consumer */
int rx_reap(struct rx_desc **out, int max) { int n = 0; while (n < max) { struct rx_desc *d = &rx_ring[rx_head]; if (!(d->flags & FLAG_DD)) break; /* device가 아직 안 채움 */ out[n++] = d; d->flags = 0; /* re-arm */ rx_head = (rx_head + 1) % RING_SIZE; } writel(rx_head, NIC_REG_RX_HEAD); return n;}ISR은 한 번만 깨우고, 실제 처리는 NAPI poll context에서 ring을 batch로 훑습니다.
#Interrupt coalescing 설정
/* 매 IRQ가 너무 자주면 throughput 손해 */nic_set_rx_coalesce(&dev, .max_pkts = 32, .max_us = 64);/* 32개 packet 또는 64 µs 중 먼저 만족하면 1 IRQ */Latency-sensitive(VoIP, RT control)이면 max_us를 작게, throughput 우선(스토리지 backup)이면 크게 잡습니다.
#Hybrid — busy일 때 polling, idle일 때 IRQ
int reap_and_maybe_sleep(struct queue *q) { int n = q_reap_batch(q, 32);
if (n > 0) { consecutive_idle = 0; return n; }
if (++consecutive_idle > 1000) { enable_irq(q->irq); wait_event_interruptible(q->wait, q_has_completion(q)); disable_irq(q->irq); consecutive_idle = 0; } return 0;}SPDK·NVMe poll mode, NAPI, DPDK rx_burst가 모두 이 형태입니다. Burst가 있을 때는 polling으로 latency를 깎고, 한가할 때는 IRQ로 CPU를 양보합니다.
#Linux NAPI 골격
static int my_napi_poll(struct napi_struct *napi, int budget) { int done = 0; while (done < budget) { struct sk_buff *skb = rx_reap_one(); if (!skb) break; napi_gro_receive(napi, skb); done++; }
if (done < budget) { napi_complete_done(napi, done); enable_irq(rx_irq); /* idle → IRQ 다시 켬 */ } return done;}budget은 한 번 polling에서 처리할 최대 개수입니다. 큰 burst가 들어오면 budget까지 처리하고 다음 sched tick에 다시 들어옵니다.
#Cortex-M cyclic DMA + half/full IRQ
HAL_UART_Receive_DMA(&huart, rx_buf, 4096); /* cyclic */
void HAL_UART_RxHalfCpltCallback(UART_HandleTypeDef *h) { process(&rx_buf[0], 2048);}void HAL_UART_RxCpltCallback(UART_HandleTypeDef *h) { process(&rx_buf[2048], 2048);}DMA가 buffer를 wrap하면서 절반·전체 시점에 IRQ를 한 번씩 쏩니다. CPU는 batch로 처리할 수 있어 byte당 IRQ보다 훨씬 가볍습니다.
#완료 확인 후 release 순서
e = &cq[cq_head];if (e->phase != expected) return 0;
dma_rmb(); /* phase 확인 → payload 읽기 */process(e->result);
e->phase = !expected; /* slot 재사용 가능 표시 */cq_head = (cq_head + 1) % depth;writel(cq_head, cq_doorbell);dma_rmb()를 빼면 OoO CPU에서 payload가 phase보다 먼저 읽혀 옛 값을 잡습니다.
#측정 / 성능 비교
UART 1 Mbps 입력을 세 방식으로 받아 본 결과입니다.
| 방식 | CPU 사용 | latency 변동 |
|---|---|---|
| byte당 IRQ | 32% | 작음 (수 µs) |
| DMA cyclic + half/full IRQ | 0.6% | 작음 |
| DMA cyclic + polling | 1.5% | 가장 작음 (sub-µs) |
NVMe 4 KB 랜덤 read에서는 양상이 다릅니다.
| 방식 | QD=1 lat | QD=32 IOPS | CPU/IOP |
|---|---|---|---|
| IRQ-driven (kernel) | 65 µs | 420 k | 높음 |
| Hybrid NAPI 방식 | 48 µs | 900 k | 중간 |
| SPDK polling | 12 µs | 2.4 M | 가장 낮음 (per IOP) |
IRQ 한 번의 비용은 보통 1.5-3 µs입니다. Transfer가 그보다 짧으면 polling이 이깁니다. 길어지면 IRQ 비용이 무뎌지고 CPU를 양보하는 IRQ 모델이 유리해집니다.
#자주 보는 함정
Polling에 cpu_relax 누락
while (!(reg & DONE)) ; /* 코어 100% 가열, cache line 점유 */cpu_relax()(또는 __yield(), PAUSE)을 넣으면 hyperthread를 양보하고 spinlock 친구를 덜 굶깁니다.
IRQ coalescing 과도
nic_set_rx_coalesce(.max_us = 1000); /* 1 ms */Throughput은 좋아 보이지만 latency가 1 ms로 묶입니다. VoIP·게임·자율주행 control 경로에서는 치명적입니다. p99 latency를 함께 측정하지 않으면 못 잡습니다.
Phase·DD 확인 전 payload 읽기
process(e->result); /* phase 확인 전 */if (e->phase != expected) return;순서가 뒤집히면 stale data를 처리합니다. if (phase != expected) return; dma_rmb(); process(...);로 막습니다.
Completion 처리 후 ring slot 재사용 안 표시
ring의 다음 한 바퀴에서 device가 같은 slot에 새 entry를 쓰는데, host가 phase 토글이나 ownership 비트를 갱신하지 않으면 device가 옛 entry를 다시 처리하는 사고가 납니다.
ISR 안에서 무거운 work
void DMA_IRQHandler(void) { parse_packet(); /* µs 단위 작업 */ decrypt(); /* 수십 µs */}ISR은 짧게 두고 무거운 처리는 thread·tasklet·NAPI poll로 미룹니다. ISR이 길면 다른 IRQ가 묶입니다.
Half complete만, 또는 full complete만 사용
Cyclic DMA에서 half complete만 처리하면 buffer 두 번째 반을 못 보고, full complete만 처리하면 latency가 두 배가 됩니다. 두 callback을 모두 등록해야 double-buffer 효과가 납니다.
#정리
- DMA 완료는 interrupt, polling, completion ring 세 패턴으로 갈립니다.
- Interrupt는 가장 일반적이지만 짧은 transfer에는 entry/exit 비용이 큽니다.
- Polling은 latency가 최저이지만 CPU 한 코어를 차지합니다.
- Completion ring + IRQ coalescing이 NIC·NVMe·XDMA의 기본 모델입니다.
- Hybrid(busy면 poll, idle이면 IRQ)는 SPDK·NAPI가 보여주는 자연스러운 절충입니다.
- Cyclic DMA + half/full IRQ는 Cortex-M에서 UART·audio·sensor용 표준 패턴입니다.
- Phase·DD 비트 확인 전 payload를 읽지 않습니다.
dma_rmb로 순서를 박습니다. - 측정은 항상 throughput과 p99 latency를 같이 봅니다. IRQ coalescing을 과하게 잡으면 throughput만 좋아 보입니다.
다음 편은 PCIe Streaming입니다.
#관련 항목
Modern Embedded Recipes · 131 of 152
- 1Modern Embedded Recipes — 모던 임베디드 실전 레시피 시리즈 소개
- 2디지털 신호 기초 — Voltage Level·Edge·Setup/Hold 분석
- 3임베디드 클럭과 타이밍 — Skew·Jitter·PLL·MMCM 분석
- 4GPIO 내부 구조 분해 — Push-Pull·Open-Drain·Schmitt Trigger
- 5UART 하드웨어 동작 분석 — Baud Rate·Framing·FIFO
- 6SPI 하드웨어 분석 — Clock Mode·MOSI/MISO·Chip Select
- 7I2C 하드웨어 분석 — Open-Drain·Clock Stretching·Arbitration
- 8ADC 동작 원리 — SAR·Sigma-Delta·Pipelined 비교
- 9DAC 동작 원리 — R-2R Ladder·Sigma-Delta·Settling Time
- 10PWM 신호 생성 분석 — Duty·Frequency·Dead Time·Center-Aligned
- 11CAN 버스 전기적 특성 — Differential·Termination·Dominant/Recessive
- 12RS-485·RS-422 차동 신호 분석 — Termination·Biasing·Topology
- 13LVDS 차동 신호 분석 — Common-Mode·Impedance·Eye Pattern
- 14ARM Cortex-M 시리즈 비교 — M0·M3·M4·M7·M33·M55 분석
- 15ARM Cortex-A 시리즈 비교 — A53·A55·A72·A78·X1 분석
- 16ARM 레지스터 구조 분석 — R0~R15·CPSR·SPSR·Banked Registers
- 17Cortex-M 예외 처리 — Vector Table·NVIC·Tail-Chaining 추적
- 18ARM 메모리 맵 분석 — Normal·Device·Strongly-Ordered Region
- 19ARM L1·L2 캐시 분석 — Set Associative·Inclusive·Maintenance
- 20ARM MPU 활용 — Region·Attribute·Privilege Separation
- 21ARM MMU 기초 분석 — Translation Table·TLB·ASID
- 22ARM TrustZone-M 기초 — Secure/Non-Secure·NSC·MPC
- 23ARM Memory Barrier 실전 — DMB·DSB·ISB·DMA·MMIO
- 24임베디드 크로스 컴파일러 분석 — GCC·Clang·Sysroot 구성
- 25C 컴파일 4단계 — Preprocess·Compile·Assemble·Link 추적
- 26ELF 파일 구조 분석 — Section·Segment·Symbol Table·DWARF
- 27링커 스크립트 기초 — SECTIONS·MEMORY·entry point
- 28링커 스크립트 고급 — Overlay·BSS·init_array·LMA/VMA
- 29임베디드 스타트업 코드 분석 — Reset_Handler·Vector Table·SystemInit
- 30C 런타임 crt0 분석 — Stack·BSS Zero·Data Copy·atexit
- 31임베디드 메모리 레이아웃 — .text·.rodata·.data·.bss·.heap·.stack
- 32임베디드 컴파일러 최적화 분석 — -O0~-O3·-Os·-LTO 비교
- 33Map 파일 분석 — Symbol·Section·Size 추적으로 코드 크기 진단
- 34Make·CMake 크로스 컴파일 — Toolchain File·Sysroot 통합
- 35임베디드 Bootloader 체인 — BootROM·SPL·U-Boot·Kernel·Secure Boot
- 36첫 bare-metal 프로그램 작성 — Linker·Startup·main의 최소 구성
- 37MMIO 레지스터 직접 접근 — volatile·Memory Map·Aliasing 분석
- 38GPIO 드라이버 직접 구현 — STM32 HAL 없이 레지스터로
- 39임베디드 클럭 설정 분석 — HSE·PLL·SYSCLK·AHB/APB 분주
- 40Cortex-M 인터럽트 핸들링 — NVIC·Priority·Vector·EXTI
- 41SysTick 타이머 활용 — 24-bit Counter·1ms Tick·delay 구현
- 42UART 드라이버 구현 — polling·interrupt·DMA 3가지 방식 비교
- 43SPI 드라이버 구현 — Master·Slave·CRC·DMA
- 44I2C 드라이버 구현 — Master·7-bit/10-bit·Clock Stretching 처리
- 45임베디드 DMA 기초 — Memory-to-Memory·Peripheral·Circular Mode
- 46저전력 모드 분석 — Sleep·Stop·Standby·Wake-up Source
- 47IWDG·WWDG 워치독 구현 — Independent vs Window 비교
- 48임베디드 Flash 프로그래밍 — Erase·Program·Read While Write
- 49DDR 초기화 실패 진단 — Timing·Calibration·Walking Bit Test
- 50PWM 출력 실전 — LED 밝기·모터 속도 제어
- 51DC 모터 제어 — H-Bridge·PWM Duty·Encoder Feedback
- 52스테퍼 모터 제어 — Full Step·Half Step·Microstepping
- 53서보 모터 제어 — PWM 1ms~2ms·Closed Loop·PID
- 54Character LCD 제어 — HD44780·4-bit Mode·Custom Char
- 55SPI OLED 제어 — SSD1306·Frame Buffer·Page 단위 갱신
- 56TFT 디스플레이 구동 — RGB565·FSMC·LTDC·DMA2D
- 57환경 센서 활용 — BME280 온습압·SHT3x·BMP180 비교
- 58IMU 센서 활용 — MPU6050·LSM6DSO·Sensor Fusion
- 59CAN 통신 구현 — bxCAN·Filter·Mailbox·CAN-FD
- 60USB Device 기초 — Descriptor·Enumeration·Endpoint·HID/CDC
- 61Ethernet MAC+PHY 통합 — RMII·lwIP·DMA Descriptor
- 62SD Card + FatFs 구현 — SPI/SDIO 모드·CSD/CID·Wear
- 63RTC 활용 — Calendar·Alarm·Wake-up Timer·Backup Domain
- 64RTOS 도입 결정 분석 — Super Loop vs RTOS 트레이드오프
- 65RTOS Task 설계 패턴 — 우선순위·스택·State Machine
- 66RTOS Scheduler 동작 분석 — Tick·Context Switch·Yield
- 67RTOS Semaphore 활용 — Binary·Counting·ISR Give
- 68RTOS Mutex 활용 — Recursive·Priority Inheritance 적용
- 69RTOS Queue 활용 — By-Value·By-Reference·Timeout 패턴
- 70RTOS Event Group 활용 — Bit Wait·Sync·Notify
- 71RTOS Software Timer 활용 — One-shot·Auto-reload·Daemon Task
- 72ISR-Safe API 설계 — Reentrant·Atomic·Defer 패턴
- 73Priority Inversion 진단·예방 — Mars Pathfinder Lesson 추적
- 74Timer Wheel 분석 — Hashed·Hierarchical·O(1) Tick
- 75RTOS 디버깅 기법 — Tracealyzer·SystemView·Stack 추적
- 76임베디드 Linux 부팅 흐름 분석 — BootROM·U-Boot·Kernel·init
- 77U-Boot 활용 — bootcmd·env·tftp·boot.scr 분석
- 78Device Tree 실전 — DTS·DTB·Overlay·Phandle 추적
- 79Device Tree Overlay 적용 — Runtime fragment·dtoverlay
- 80임베디드 커널 빌드 — defconfig·menuconfig·Image·zImage
- 81커널 모듈 기초 — init/exit·Parameter·KBuild·DKMS
- 82캐릭터 드라이버 작성 — file_operations·cdev·register_chrdev
- 83Platform 드라이버 작성 — probe·remove·of_match·DT 바인딩
- 84mmap 4가지 모드 — Anonymous·File·Shared·Huge Page
- 85epoll 실전 — LT·ET·ONESHOT·EXCLUSIVE 비교
- 86UIO·VFIO 분석 — User-Space Driver와 IOMMU 격리
- 87sysfs·configfs 활용 — kobject 기반 User 인터페이스
- 88IRQ Affinity 튜닝 — smp_affinity·isolcpus·irqbalance
- 89루트 파일시스템 구축 — Buildroot 기초·Package·Toolchain
- 90임베디드 동적 메모리 — malloc 위험·결정성·대안 분석
- 91메모리 정렬과 패딩 분석 — Natural·Strict Alignment·Trap
- 92Cache Line Alignment — alignas·Padding·SoA 적용
- 93DMA-Friendly Allocator — dma_alloc_coherent·IOMMU·Pool
- 94Zero-Copy Pipeline — DMA-BUF·sendfile·io_uring·splice
- 95NUMA Memory Topology — numactl·numa_alloc·HBM 적용
- 96SIMD 활용 분석 — Intrinsics·Auto-Vectorization·OpenMP SIMD
- 97ARM NEON 심화 — Matrix Multiply·FFT·Image Filter 적용
- 98임베디드 스택 분석 — high-water·overflow 탐지
- 99임베디드 코드 크기 최적화 — -Os·LTO·Section Garbage Collection
- 100임베디드 전력 최적화 — Sleep Mode·Clock Gating·DVFS
- 101WCET 분석 기법 — Static·Measurement·Hybrid 방법론
- 102Lock-Free Ring Buffer 구현 — SPSC·Power-of-2·Memory Order
- 103Wait-Free Signaling — Atomic Flag·Sequence·Latest-Value
- 104RCU (Read-Copy-Update) 기초 — Quiescent State·Grace Period
- 105Hazard Pointer 분석 — Lock-Free Memory Reclamation
- 106Compare-And-Swap 패턴 — Stack·Counter·Linked List 적용
- 107Atomic Operation 비용 분석 — Fence·Cache Line·Contention
- 108Spinlock vs Mutex 결정 가이드 — Context Switch·Hold Time
- 109ABA 문제 회피 — Tagged Pointer·Hazard·Generation Counter
- 110False Sharing 해결 — Cache Line Padding·SoA 적용
- 111MPMC Queue 구현 — Multi-producer Multi-consumer Lock-Free
- 112임베디드 디버깅 마인드셋 — 가설·격리·재현·이분탐색
- 113JTAG·SWD 안 붙을 때 — 핀·전압·속도·세션 진단
- 114GDB 원격 디버깅 — OpenOCD·J-Link·target remote 구성
- 115Cortex-M 하드폴트 분석 — Stacked Frame·CFSR 읽기
- 116UART 안 찍힐 때 — Bare-metal 체크리스트
- 117임베디드 부팅 실패 진단 — 단계별 Isolation
- 118인터럽트 누락·중복 진단 — Priority·Pending·Re-entry 추적
- 119메모리 오버플로우·오염 진단 — Canary·MPU·Pattern 분석
- 120타이밍·Race 진단 — Heisenbug 잡는 법
- 121통신 프로토콜 분석 — Logic Analyzer와 Protocol Decoder
- 122임베디드 로깅 시스템 설계 — 레벨·버퍼·SWO·Deferred
- 123임베디드 포스트모템 분석 — Core Dump와 Field Crash
- 124FPGA 기초 분석 — LUT·FF·BRAM·DSP 자원 구조
- 125Vivado 사용법 — Project·Constraint·Synth·Impl·Bitstream
- 126PCIe BAR 매핑 분석 — Config Space·Enumeration·MMIO 접근
- 127AXI 인터페이스 — AXI4·AXI4-Lite·AXI-Stream 비교
- 128Zynq PS-PL 통신 — GP·HP·ACP 인터페이스 선택
- 129Mailbox Protocol 분석 — Host와 Accelerator를 잇는 Doorbell
- 130Command Queue·Submission Queue — NVMe·XDMA 공통 패턴
- 131DMA Completion 메커니즘 — Interrupt·Polling·Completion Ring
- 132PCIe Streaming 분석 — BAR Type·MSI-X·Kernel Bypass
- 133Vitis HLS 분석 — Pragma·Pipeline II·Dataflow 실전 감각
- 134HLS 최적화 기법 — Pipeline·Unroll·Partition·Dataflow
- 135Vitis AI 분석 — DPU·xmodel·VART
- 136OpenCL on FPGA — Kernel·Channel·Burst Memory 분석
- 137Intel Quartus 사용법 — Platform Designer·Nios II·HLS
- 138Edge Inference 분석 — Cloud vs Edge·Latency·Privacy
- 139NPU 아키텍처 분석 — Ethos·Hexagon·Systolic Array 비교
- 140딥러닝 Quantization 분석 — PTQ·QAT·INT8·INT4·Calibration
- 141TensorRT 분석 — ONNX→Engine·FP16·INT8·DLA·Multi-Stream
- 142TFLite Micro 분석 — Op Resolver·Tensor Arena·Cortex-M
- 143ONNX Runtime 분석 — Execution Provider와 Cross-Platform 배포
- 144Edge Thermal Management — Throttling·DVFS·Fan Curve·Sustained
- 145NVIDIA Jetson 분석 — Nano·Xavier·Orin·Thor·JetPack·DLA·VPI
- 146Zero-Copy Camera Pipeline — V4L2·DMA-BUF·GPU Import·NPU 직결
- 147온디바이스 LLM 추론 — llama.cpp·GGUF·MLX·KV Cache·NPU Backend
- 148Cortex-M33 TF-M·TrustZone — Secure Firmware·PSA·MCUboot
- 149Matter·Thread 분석 — IoT 통합 표준·Commissioning·Multi-Fabric
- 150PCIe → CXL 진화 — 같은 PHY 위 cache-coherent 프로토콜 추가
- 151QEMU CXL Type 3 디바이스 에뮬레이션 — 노트북에서 CXL 개발 환경 구축
- 152Linux CXL 드라이버 분석 — cxl_pci·cxl_core·region·DAX
관련 글
인터럽트 누락·중복 진단 — Priority·Pending·Re-entry 추적
NVIC pending·priority·level vs edge·shared IRQ — 인터럽트 동작 이상의 흔한 원인을 잡습니다.
DMA-Friendly Allocator — dma_alloc_coherent·IOMMU·Pool
DMA buffer 할당 패턴을 coherent와 streaming, CMA, IOMMU, MPU non-cacheable 영역으로 나눠 정리합니다.
임베디드 DMA 기초 — Memory-to-Memory·Peripheral·Circular Mode
Channel·trigger·half/full complete·circular·memory-to-memory.