TFLite Micro 분석 — Op Resolver·Tensor Arena·Cortex-M
#한 줄 요약
“TFLite Micro는 MCU에 들어가는 ML runtime입니다.” 메모리 100 KB대, no malloc, no OS 의존, INT8 quantized model이 기본입니다.
#어떤 상황에서 쓰나
Cortex-M4/M7/M33/M55, RISC-V MCU, ESP32 등 KB ~ 수십 MB RAM의 MCU에서 keyword spotting, person detection, gesture recognition, anomaly detection 같은 작은 신경망을 돌릴 때 표준입니다.
ARM Ethos-U NPU와 결합하면 Cortex-M55 + Ethos-U55 같은 MCU급 AI inference가 됩니다. Battery로 24/7 always-on inference가 가능합니다.
#핵심 개념 — 디자인 원칙
- No dynamic memory after init (no
malloc/free) - Single
.tflitemodel을 flash에 binary로 둠 - Tensor arena 한 덩어리 메모리에서 inference 동안 reuse
- Op resolver로 사용 op만 link → flash 절약
- C++ static link
이 원칙이 실시간 + 결정적 + 작은 memory 환경에 맞습니다.
#모델 변환 흐름
import tensorflow as tf
# Trainmodel = tf.keras.Sequential([...])model.compile(...)model.fit(...)
# Quantize to INT8converter = tf.lite.TFLiteConverter.from_keras_model(model)converter.optimizations = [tf.lite.Optimize.DEFAULT]converter.representative_dataset = rep_data_genconverter.target_spec.supported_ops = [tf.lite.OpsSet.TFLITE_BUILTINS_INT8]converter.inference_input_type = tf.int8converter.inference_output_type = tf.int8
tflite_model = converter.convert()with open('model.tflite', 'wb') as f: f.write(tflite_model).tflite는 FlatBuffer format. 그대로 MCU flash에 둡니다.
#.tflite → C array
xxd -i model.tflite > model.hunsigned char model_tflite[] = { 0x1c, 0x00, 0x00, 0x00, 0x54, 0x46, 0x4c, 0x33, /* ... */};unsigned int model_tflite_len = 24512;이 array가 MCU flash에 들어갑니다.
#TFLite Micro Basics
#include "tensorflow/lite/micro/all_ops_resolver.h"#include "tensorflow/lite/micro/micro_interpreter.h"#include "tensorflow/lite/schema/schema_generated.h"#include "model.h"
// 1. Memory arenaconstexpr int kArenaSize = 100 * 1024;alignas(16) static uint8_t tensor_arena[kArenaSize];
// 2. Modelstatic const tflite::Model *model = nullptr;
// 3. Interpreterstatic tflite::MicroInterpreter *interp = nullptr;
void setup(void) { model = tflite::GetModel(model_tflite); if (model->version() != TFLITE_SCHEMA_VERSION) { MicroPrintf("Model schema version mismatch\n"); return; }
static tflite::AllOpsResolver resolver; static tflite::MicroInterpreter static_interp( model, resolver, tensor_arena, kArenaSize); interp = &static_interp;
TfLiteStatus status = interp->AllocateTensors(); if (status != kTfLiteOk) { MicroPrintf("AllocateTensors failed\n"); return; }}
void loop(void) { // Get input tensor TfLiteTensor *input = interp->input(0);
// Fill input (INT8) for (int i = 0; i < input->bytes; i++) { input->data.int8[i] = sample_input[i]; }
// Invoke if (interp->Invoke() != kTfLiteOk) return;
// Read output TfLiteTensor *output = interp->output(0); int8_t max_value = output->data.int8[0]; int max_index = 0; for (int i = 1; i < output->dims->data[1]; i++) { if (output->data.int8[i] > max_value) { max_value = output->data.int8[i]; max_index = i; } } MicroPrintf("class=%d score=%d\n", max_index, max_value);}이게 전체입니다. Malloc 없음. OS 없음.
#Tensor Arena 크기
Arena는 intermediate tensor + scratch buffer를 담는 단일 영역입니다.
크기 결정:
- 처음에 넉넉히 (예: 200 KB)
AllocateTensors후interp->arena_used_bytes()호출- 실제 사용량 확인
- 그 + 10% 정도로 줄임
예시:
| 모델 | Arena |
|---|---|
| Person Detection 96×96 | ~70 KB |
| Speech Commands tiny | ~10 KB |
| Keyword Spotter | ~15 KB |
| Visual Wake Word | ~50 KB |
#Op Resolver 최적화
AllOpsResolver는 모든 op를 link해 flash가 큽니다. 사용하는 op만 명시:
#include "tensorflow/lite/micro/micro_mutable_op_resolver.h"
static tflite::MicroMutableOpResolver<8> resolver;resolver.AddConv2D();resolver.AddDepthwiseConv2D();resolver.AddFullyConnected();resolver.AddSoftmax();resolver.AddRelu();resolver.AddMaxPool2D();resolver.AddReshape();resolver.AddQuantize();AllOpsResolver가 200 KB이면 MutableOpResolver로 30 KB까지 줄어듭니다.
#CMSIS-NN — Cortex-M 최적화 kernel
CMSIS-NN은 ARM이 제공하는 Cortex-M용 최적화된 NN kernel. TFLite Micro에 통합됩니다.
# CMake buildmake -f tensorflow/lite/micro/tools/make/Makefile \ TARGET=cortex_m_generic \ TARGET_ARCH=cortex-m7+fp \ OPTIMIZED_KERNEL_DIR=cmsis_nn \ hello_worldCMSIS-NN을 활성화하면 INT8 conv가 5-10배 빨라집니다 (M7에서). Cortex-M4 SIMD (DSP extensions)와 M55의 Helium (MVE)을 활용.
#Ethos-U Delegate
Ethos-U NPU와 결합하려면 모델을 Vela로 변환:
vela model.tflite --accelerator-config ethos-u55-256# → model_vela.tflite 생성 (NPU command + 일부 CPU fallback)Vela 변환된 모델은 NPU custom op를 포함합니다. Op resolver에 추가:
#include "tensorflow/lite/micro/kernels/ethosu.h"
resolver.AddEthosU();이제 NPU-targetable layer는 Ethos-U55가, fallback layer는 Cortex-M55 + CMSIS-NN이 처리.
#사례 — Person Detection on STM32
STM32 Cube AI 또는 직접 빌드:
Model: MobileNetV1 0.25 96×96 grayscaleInput: 96 × 96 × 1 (int8)Flash: 350 KB (model + runtime + ops)RAM: 90 KB (arena) + 10 KB (other)// 카메라 frame을 96×96 grayscale로 변환camera_capture(rgb_buffer);resize_grayscale(rgb_buffer, 320, 240, gray_buffer, 96, 96);
// 입력 채우기TfLiteTensor *in = interp->input(0);for (int i = 0; i < 96*96; i++) in->data.int8[i] = gray_buffer[i] - 128; // -128~127 범위
// Inferenceinterp->Invoke();
// 출력: [no_person_prob, person_prob]TfLiteTensor *out = interp->output(0);int8_t person = out->data.int8[1];if (person > THRESHOLD) led_on();Cortex-M7 480 MHz에서 ~200 ms/inference. CMSIS-NN으로 ~30 ms. Ethos-U55 추가 시 ~5 ms.
#Memory Layout
Flash:
- Code: ~ 200 KB (TFLite Micro + kernels)
- Model: ~ 100~500 KB (.tflite as C array)
- Other code, libs: ~ 100 KB
RAM:
- Tensor arena: ~ 50~200 KB
- System (stack, etc.): ~ 50 KB
Cortex-M4 보드는 RAM 128 KB / Flash 512 KB가 흔합니다. 적당한 모델이 들어갑니다. M7 (1 MB RAM)에는 더 큰 모델.
#Profiling
#include "tensorflow/lite/micro/micro_profiler.h"
static tflite::MicroProfiler profiler;static tflite::MicroInterpreter static_interp( model, resolver, tensor_arena, kArenaSize, nullptr, &profiler);
interp.Invoke();profiler.LogTicksPerTagCsv();각 op의 실행 시간이 출력. Bottleneck을 찾아 optimize.
#측정 비교
Speech Commands (Tiny CNN) on Cortex-M4 (STM32F4 168 MHz): Reference kernel (no SIMD): 120 ms CMSIS-NN INT8: 25 ms → 5×
Person Detection (MobileNetV1 0.25) on Cortex-M7 (STM32H7 480 MHz): Reference: 300 ms CMSIS-NN INT8: 35 ms → 9×
MobileNetV1 0.25 on Cortex-M55 + Ethos-U55: CMSIS-NN only: 35 ms Ethos-U55 delegate: 5 ms → 7× over CMSIS-NN#자주 보는 함정
Float32 모델 그대로
Float32 MobileNet on Cortex-M4: > 2 secondsINT8 quantized: ~ 100 msMCU에서 float은 느림. 반드시 INT8 quantize.
Arena 너무 작음
AllocateTensors → kTfLiteErrorArena가 부족하면 silently fail 안 하고 error code 반환. 처음에 넉넉히 잡고 줄임.
AllOpsResolver 사용
Flash usage: 600 KB (model 50 KB) — 대부분이 op resolverMutableOpResolver로 필요한 op만.
CMSIS-NN 활성화 안 함
# build flagOPTIMIZED_KERNEL_DIR=cmsis_nn기본 빌드는 reference kernel. 5-10× 차이.
Unsupported op
Unsupported op: SOFTMAX_V2TFLite Micro는 모든 op를 지원 안 함. Vela report 또는 빌드 에러로 확인.
Input quantization 누락
// Input은 float이라고 가정in->data.f[i] = pixel / 255.0f;// → INT8 모델에는 잘못된 형식Quantized model은 INT8 input. q = round(x / scale - zero_point)로 변환.
#정리
- TFLite Micro = MCU용 TFLite, no malloc, OS-free.
- 모델은 .tflite → C array로 flash에 둠.
- Tensor arena 한 덩어리에서 intermediate tensor reuse.
- MutableOpResolver로 사용 op만 link.
- CMSIS-NN으로 Cortex-M INT8 5-10배 가속.
- Vela로 Ethos-U binary 변환 + Ethos-U delegate.
- INT8 quantization 필수. Float32는 MCU에 너무 무거움.
- Arena 크기는
arena_used_bytes()로 측정 후 조정.
다음 편은 ONNX Runtime입니다.
#관련 항목
Modern Embedded Recipes · 142 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
관련 글
온디바이스 LLM 추론 — llama.cpp·GGUF·MLX·KV Cache·NPU Backend
4-bit 양자화된 LLM이 모바일·edge에서 동작하는 시대. llama.cpp/GGUF, Apple MLX, KV cache 메모리, 백엔드 선택을 정리합니다.
Edge Thermal Management — Throttling·DVFS·Fan Curve·Sustained
Edge AI 보드의 sustained 성능을 결정하는 thermal 한계. throttle trip, DVFS, fan curve, nvpmodel, passive cooling 설계를 정리합니다.
ONNX Runtime 분석 — Execution Provider와 Cross-Platform 배포
ONNX format·ONNX Runtime의 Execution Provider (CUDA·TensorRT·DML·CoreML)·embedded build·cross-platform inference.