본문으로 건너뛰기
Modern Embedded Recipes · 130/152

DMA Completion 메커니즘 — Interrupt·Polling·Completion Ring

· Hawk · 6분 읽기

#한 줄 요약

“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 1024
struct 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당 IRQ32%작음 (수 µs)
DMA cyclic + half/full IRQ0.6%작음
DMA cyclic + polling1.5%가장 작음 (sub-µs)

NVMe 4 KB 랜덤 read에서는 양상이 다릅니다.

방식QD=1 latQD=32 IOPSCPU/IOP
IRQ-driven (kernel)65 µs420 k높음
Hybrid NAPI 방식48 µs900 k중간
SPDK polling12 µs2.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

  1. 1Modern Embedded Recipes — 모던 임베디드 실전 레시피 시리즈 소개
  2. 2디지털 신호 기초 — Voltage Level·Edge·Setup/Hold 분석
  3. 3임베디드 클럭과 타이밍 — Skew·Jitter·PLL·MMCM 분석
  4. 4GPIO 내부 구조 분해 — Push-Pull·Open-Drain·Schmitt Trigger
  5. 5UART 하드웨어 동작 분석 — Baud Rate·Framing·FIFO
  6. 6SPI 하드웨어 분석 — Clock Mode·MOSI/MISO·Chip Select
  7. 7I2C 하드웨어 분석 — Open-Drain·Clock Stretching·Arbitration
  8. 8ADC 동작 원리 — SAR·Sigma-Delta·Pipelined 비교
  9. 9DAC 동작 원리 — R-2R Ladder·Sigma-Delta·Settling Time
  10. 10PWM 신호 생성 분석 — Duty·Frequency·Dead Time·Center-Aligned
  11. 11CAN 버스 전기적 특성 — Differential·Termination·Dominant/Recessive
  12. 12RS-485·RS-422 차동 신호 분석 — Termination·Biasing·Topology
  13. 13LVDS 차동 신호 분석 — Common-Mode·Impedance·Eye Pattern
  14. 14ARM Cortex-M 시리즈 비교 — M0·M3·M4·M7·M33·M55 분석
  15. 15ARM Cortex-A 시리즈 비교 — A53·A55·A72·A78·X1 분석
  16. 16ARM 레지스터 구조 분석 — R0~R15·CPSR·SPSR·Banked Registers
  17. 17Cortex-M 예외 처리 — Vector Table·NVIC·Tail-Chaining 추적
  18. 18ARM 메모리 맵 분석 — Normal·Device·Strongly-Ordered Region
  19. 19ARM L1·L2 캐시 분석 — Set Associative·Inclusive·Maintenance
  20. 20ARM MPU 활용 — Region·Attribute·Privilege Separation
  21. 21ARM MMU 기초 분석 — Translation Table·TLB·ASID
  22. 22ARM TrustZone-M 기초 — Secure/Non-Secure·NSC·MPC
  23. 23ARM Memory Barrier 실전 — DMB·DSB·ISB·DMA·MMIO
  24. 24임베디드 크로스 컴파일러 분석 — GCC·Clang·Sysroot 구성
  25. 25C 컴파일 4단계 — Preprocess·Compile·Assemble·Link 추적
  26. 26ELF 파일 구조 분석 — Section·Segment·Symbol Table·DWARF
  27. 27링커 스크립트 기초 — SECTIONS·MEMORY·entry point
  28. 28링커 스크립트 고급 — Overlay·BSS·init_array·LMA/VMA
  29. 29임베디드 스타트업 코드 분석 — Reset_Handler·Vector Table·SystemInit
  30. 30C 런타임 crt0 분석 — Stack·BSS Zero·Data Copy·atexit
  31. 31임베디드 메모리 레이아웃 — .text·.rodata·.data·.bss·.heap·.stack
  32. 32임베디드 컴파일러 최적화 분석 — -O0~-O3·-Os·-LTO 비교
  33. 33Map 파일 분석 — Symbol·Section·Size 추적으로 코드 크기 진단
  34. 34Make·CMake 크로스 컴파일 — Toolchain File·Sysroot 통합
  35. 35임베디드 Bootloader 체인 — BootROM·SPL·U-Boot·Kernel·Secure Boot
  36. 36첫 bare-metal 프로그램 작성 — Linker·Startup·main의 최소 구성
  37. 37MMIO 레지스터 직접 접근 — volatile·Memory Map·Aliasing 분석
  38. 38GPIO 드라이버 직접 구현 — STM32 HAL 없이 레지스터로
  39. 39임베디드 클럭 설정 분석 — HSE·PLL·SYSCLK·AHB/APB 분주
  40. 40Cortex-M 인터럽트 핸들링 — NVIC·Priority·Vector·EXTI
  41. 41SysTick 타이머 활용 — 24-bit Counter·1ms Tick·delay 구현
  42. 42UART 드라이버 구현 — polling·interrupt·DMA 3가지 방식 비교
  43. 43SPI 드라이버 구현 — Master·Slave·CRC·DMA
  44. 44I2C 드라이버 구현 — Master·7-bit/10-bit·Clock Stretching 처리
  45. 45임베디드 DMA 기초 — Memory-to-Memory·Peripheral·Circular Mode
  46. 46저전력 모드 분석 — Sleep·Stop·Standby·Wake-up Source
  47. 47IWDG·WWDG 워치독 구현 — Independent vs Window 비교
  48. 48임베디드 Flash 프로그래밍 — Erase·Program·Read While Write
  49. 49DDR 초기화 실패 진단 — Timing·Calibration·Walking Bit Test
  50. 50PWM 출력 실전 — LED 밝기·모터 속도 제어
  51. 51DC 모터 제어 — H-Bridge·PWM Duty·Encoder Feedback
  52. 52스테퍼 모터 제어 — Full Step·Half Step·Microstepping
  53. 53서보 모터 제어 — PWM 1ms~2ms·Closed Loop·PID
  54. 54Character LCD 제어 — HD44780·4-bit Mode·Custom Char
  55. 55SPI OLED 제어 — SSD1306·Frame Buffer·Page 단위 갱신
  56. 56TFT 디스플레이 구동 — RGB565·FSMC·LTDC·DMA2D
  57. 57환경 센서 활용 — BME280 온습압·SHT3x·BMP180 비교
  58. 58IMU 센서 활용 — MPU6050·LSM6DSO·Sensor Fusion
  59. 59CAN 통신 구현 — bxCAN·Filter·Mailbox·CAN-FD
  60. 60USB Device 기초 — Descriptor·Enumeration·Endpoint·HID/CDC
  61. 61Ethernet MAC+PHY 통합 — RMII·lwIP·DMA Descriptor
  62. 62SD Card + FatFs 구현 — SPI/SDIO 모드·CSD/CID·Wear
  63. 63RTC 활용 — Calendar·Alarm·Wake-up Timer·Backup Domain
  64. 64RTOS 도입 결정 분석 — Super Loop vs RTOS 트레이드오프
  65. 65RTOS Task 설계 패턴 — 우선순위·스택·State Machine
  66. 66RTOS Scheduler 동작 분석 — Tick·Context Switch·Yield
  67. 67RTOS Semaphore 활용 — Binary·Counting·ISR Give
  68. 68RTOS Mutex 활용 — Recursive·Priority Inheritance 적용
  69. 69RTOS Queue 활용 — By-Value·By-Reference·Timeout 패턴
  70. 70RTOS Event Group 활용 — Bit Wait·Sync·Notify
  71. 71RTOS Software Timer 활용 — One-shot·Auto-reload·Daemon Task
  72. 72ISR-Safe API 설계 — Reentrant·Atomic·Defer 패턴
  73. 73Priority Inversion 진단·예방 — Mars Pathfinder Lesson 추적
  74. 74Timer Wheel 분석 — Hashed·Hierarchical·O(1) Tick
  75. 75RTOS 디버깅 기법 — Tracealyzer·SystemView·Stack 추적
  76. 76임베디드 Linux 부팅 흐름 분석 — BootROM·U-Boot·Kernel·init
  77. 77U-Boot 활용 — bootcmd·env·tftp·boot.scr 분석
  78. 78Device Tree 실전 — DTS·DTB·Overlay·Phandle 추적
  79. 79Device Tree Overlay 적용 — Runtime fragment·dtoverlay
  80. 80임베디드 커널 빌드 — defconfig·menuconfig·Image·zImage
  81. 81커널 모듈 기초 — init/exit·Parameter·KBuild·DKMS
  82. 82캐릭터 드라이버 작성 — file_operations·cdev·register_chrdev
  83. 83Platform 드라이버 작성 — probe·remove·of_match·DT 바인딩
  84. 84mmap 4가지 모드 — Anonymous·File·Shared·Huge Page
  85. 85epoll 실전 — LT·ET·ONESHOT·EXCLUSIVE 비교
  86. 86UIO·VFIO 분석 — User-Space Driver와 IOMMU 격리
  87. 87sysfs·configfs 활용 — kobject 기반 User 인터페이스
  88. 88IRQ Affinity 튜닝 — smp_affinity·isolcpus·irqbalance
  89. 89루트 파일시스템 구축 — Buildroot 기초·Package·Toolchain
  90. 90임베디드 동적 메모리 — malloc 위험·결정성·대안 분석
  91. 91메모리 정렬과 패딩 분석 — Natural·Strict Alignment·Trap
  92. 92Cache Line Alignment — alignas·Padding·SoA 적용
  93. 93DMA-Friendly Allocator — dma_alloc_coherent·IOMMU·Pool
  94. 94Zero-Copy Pipeline — DMA-BUF·sendfile·io_uring·splice
  95. 95NUMA Memory Topology — numactl·numa_alloc·HBM 적용
  96. 96SIMD 활용 분석 — Intrinsics·Auto-Vectorization·OpenMP SIMD
  97. 97ARM NEON 심화 — Matrix Multiply·FFT·Image Filter 적용
  98. 98임베디드 스택 분석 — high-water·overflow 탐지
  99. 99임베디드 코드 크기 최적화 — -Os·LTO·Section Garbage Collection
  100. 100임베디드 전력 최적화 — Sleep Mode·Clock Gating·DVFS
  101. 101WCET 분석 기법 — Static·Measurement·Hybrid 방법론
  102. 102Lock-Free Ring Buffer 구현 — SPSC·Power-of-2·Memory Order
  103. 103Wait-Free Signaling — Atomic Flag·Sequence·Latest-Value
  104. 104RCU (Read-Copy-Update) 기초 — Quiescent State·Grace Period
  105. 105Hazard Pointer 분석 — Lock-Free Memory Reclamation
  106. 106Compare-And-Swap 패턴 — Stack·Counter·Linked List 적용
  107. 107Atomic Operation 비용 분석 — Fence·Cache Line·Contention
  108. 108Spinlock vs Mutex 결정 가이드 — Context Switch·Hold Time
  109. 109ABA 문제 회피 — Tagged Pointer·Hazard·Generation Counter
  110. 110False Sharing 해결 — Cache Line Padding·SoA 적용
  111. 111MPMC Queue 구현 — Multi-producer Multi-consumer Lock-Free
  112. 112임베디드 디버깅 마인드셋 — 가설·격리·재현·이분탐색
  113. 113JTAG·SWD 안 붙을 때 — 핀·전압·속도·세션 진단
  114. 114GDB 원격 디버깅 — OpenOCD·J-Link·target remote 구성
  115. 115Cortex-M 하드폴트 분석 — Stacked Frame·CFSR 읽기
  116. 116UART 안 찍힐 때 — Bare-metal 체크리스트
  117. 117임베디드 부팅 실패 진단 — 단계별 Isolation
  118. 118인터럽트 누락·중복 진단 — Priority·Pending·Re-entry 추적
  119. 119메모리 오버플로우·오염 진단 — Canary·MPU·Pattern 분석
  120. 120타이밍·Race 진단 — Heisenbug 잡는 법
  121. 121통신 프로토콜 분석 — Logic Analyzer와 Protocol Decoder
  122. 122임베디드 로깅 시스템 설계 — 레벨·버퍼·SWO·Deferred
  123. 123임베디드 포스트모템 분석 — Core Dump와 Field Crash
  124. 124FPGA 기초 분석 — LUT·FF·BRAM·DSP 자원 구조
  125. 125Vivado 사용법 — Project·Constraint·Synth·Impl·Bitstream
  126. 126PCIe BAR 매핑 분석 — Config Space·Enumeration·MMIO 접근
  127. 127AXI 인터페이스 — AXI4·AXI4-Lite·AXI-Stream 비교
  128. 128Zynq PS-PL 통신 — GP·HP·ACP 인터페이스 선택
  129. 129Mailbox Protocol 분석 — Host와 Accelerator를 잇는 Doorbell
  130. 130Command Queue·Submission Queue — NVMe·XDMA 공통 패턴
  131. 131DMA Completion 메커니즘 — Interrupt·Polling·Completion Ring
  132. 132PCIe Streaming 분석 — BAR Type·MSI-X·Kernel Bypass
  133. 133Vitis HLS 분석 — Pragma·Pipeline II·Dataflow 실전 감각
  134. 134HLS 최적화 기법 — Pipeline·Unroll·Partition·Dataflow
  135. 135Vitis AI 분석 — DPU·xmodel·VART
  136. 136OpenCL on FPGA — Kernel·Channel·Burst Memory 분석
  137. 137Intel Quartus 사용법 — Platform Designer·Nios II·HLS
  138. 138Edge Inference 분석 — Cloud vs Edge·Latency·Privacy
  139. 139NPU 아키텍처 분석 — Ethos·Hexagon·Systolic Array 비교
  140. 140딥러닝 Quantization 분석 — PTQ·QAT·INT8·INT4·Calibration
  141. 141TensorRT 분석 — ONNX→Engine·FP16·INT8·DLA·Multi-Stream
  142. 142TFLite Micro 분석 — Op Resolver·Tensor Arena·Cortex-M
  143. 143ONNX Runtime 분석 — Execution Provider와 Cross-Platform 배포
  144. 144Edge Thermal Management — Throttling·DVFS·Fan Curve·Sustained
  145. 145NVIDIA Jetson 분석 — Nano·Xavier·Orin·Thor·JetPack·DLA·VPI
  146. 146Zero-Copy Camera Pipeline — V4L2·DMA-BUF·GPU Import·NPU 직결
  147. 147온디바이스 LLM 추론 — llama.cpp·GGUF·MLX·KV Cache·NPU Backend
  148. 148Cortex-M33 TF-M·TrustZone — Secure Firmware·PSA·MCUboot
  149. 149Matter·Thread 분석 — IoT 통합 표준·Commissioning·Multi-Fabric
  150. 150PCIe → CXL 진화 — 같은 PHY 위 cache-coherent 프로토콜 추가
  151. 151QEMU CXL Type 3 디바이스 에뮬레이션 — 노트북에서 CXL 개발 환경 구축
  152. 152Linux CXL 드라이버 분석 — cxl_pci·cxl_core·region·DAX