시스템 개발 노트

유한 원자 카운터, 호스트 입력, 종료와 자원 배치를 구분합니다.

클러스터의 원격 shared-memory 접근, 동기화와 조건부 용량을 설명합니다.

Cortex-M: 리셋 벡터에서 main까지

벡터, 시작 코드, 링크 배치와 C 런타임의 역할을 구분해 main 이전의 실패를 찾습니다.

Cortex-M Step Out: LR·SP와 복귀 위치 읽기

소스 줄 단위 이동을 CPU 한 명령과 혼동하지 않고, 함수 복귀와 예외 복귀를 구분합니다.

RTOS 도입 판단: 태스크 수보다 지연·대기·메모리

단일 루프로 감당할 수 있는 조건과 RTOS를 도입해도 남는 시간·자원 제약을 나눕니다.

C 배열 크기: VLA·0길이 배열·유연한 배열 멤버

매크로 치환과 상수 크기를 구분하고, 런타임 길이의 검증과 저장 공간을 따로 확인합니다.

Ghidra의 bare-metal 분석: 파일 주소와 장치 메모리 맵

raw binary의 적재 주소를 근거로 정하고, 비어 있는 메모리 영역과 실행 중 값을 구별합니다.

같은 PCIe 카드 두 장을 KMDF에서 구별하기

드라이버 매칭, PnP 인스턴스, 장치별 문맥과 자원 소유권을 나눕니다.

libcamera 카메라 튜닝

RAW 수신과 색 재현을 나누고, LSC·CCM의 역할과 촬영 조건을 비교합니다.

병렬 컴퓨팅: 분할·통신·성능을 연결하는 학습 순서

UMD 2021 강의에서 MPI·OpenMP·CUDA를 잇고, 계산보다 통신과 대기가 커지는 지점을 찾습니다.

GPU Roofline: 연산 상한과 메모리 대역폭을 함께 보기

FLOP/byte의 분모와 연산 정밀도를 고정하고, 가상의 벡터 덧셈으로 두 상한을 계산합니다.

ThreadFuzzer: 프로토콜 상태와 TLV 구조를 이용한 검사

정상 통신에서 출발하는 퍼징이 무엇을 발견하고 무엇까지 입증하지 못하는지 구분합니다.

Intel AC’97: 32개 BDL descriptor와 PCM ring의 차이

descriptor 수, PCM period 수, sample 단위와 DMA 진행·인터럽트 조건을 나눠 읽습니다.

C++ RCU: 읽기 보호와 객체 회수의 계약

RCU protection region, retire, synchronize, barrier의 역할은 서로 다릅니다.

Android: Activity를 실행할 때마다 새 프로세스가 생기는 것은 아닙니다

화면·태스크 관리와 프로세스 관리를 나누고, 기존 프로세스를 사용하는 분기부터 확인합니다.

Android 오류 분석: LLDB·tombstone·ANR 자료를 구분합니다

실행 중인 프로세스의 상태와 종료 뒤 남은 기록은 다른 증거입니다. 먼저 빌드와 권한, 관측하려는 실행 계층을 맞춥니다.

Log.i에서 logcat까지: 기록을 요청했다고 logd가 받은 것은 아닙니다

Java 호출, liblog 송신, logd 버퍼와 logcat 읽기 경로를 Android 16의 같은 태그로 나누어 봅니다.

Android의 boot·vendor_boot·init_boot를 구분합니다

커널이 시작하기 전의 이미지 구성부터 first-stage init이 파티션을 마운트하는 과정까지 연결합니다.

Binder 호출에서 커널이 실제로 전달하는 것

함수처럼 보이는 원격 호출을 프로세스·스레드·버퍼·handle로 나누어 봅니다.

Android HAL과 property를 연결할 때 확인할 것

인터페이스 정의, 서비스 등록, 드라이버 접근, property와 SELinux를 하나의 동작 경로로 봅니다.

GKI module의 KMI와 드라이버 적재 시점

커널 module을 어디에 넣는지와 어떤 kernel interface를 사용할 수 있는지를 나누어 봅니다.

Android 화면 버퍼: 전달, 합성, 완료를 구분합니다

BufferQueue에서 버퍼를 받았다는 사실과 GPU가 쓰기를 끝냈다는 사실은 다릅니다.

OP-TEE 메모리 격리: 설정과 실제 접근 경로를 함께 봅니다

Linux가 접근을 거부했다고 해서 Secure World 메모리가 하드웨어에서 격리된 것은 아닙니다.

ESP32 OTA: 다운로드했다고 첫 부팅이 확정된 것은 아닙니다

새 이미지를 기록하고, 다음 부팅 대상으로 선택하고, 실제 동작을 확인하는 단계는 분리되어 있습니다. 앱 OTA의 복구 조건을 HTTPS·rollback·anti-rollback으로 나눠 읽습니다.

Linux가 부팅된 보드에서 더 확인할 것

셸까지 도달한 것은 중요한 결과이지만, 그렇다고 보드 전체가 적합하다는 뜻은 아닙니다.

ARM64 idle 상태에서 펌웨어 진입까지

DT의 상태 정의, CPUIdle의 선택, PSCI 호출과 실제 전력 결과를 따로 확인합니다.

Device Tree overlay: 부팅 전 적용과 실행 중 적용

같은 .dtbo라도 적용 주체와 시점에 따라 확인할 상태가 달라집니다.

Linux 초기 루트에서 실제 루트로 넘어가는 과정

initramfs 해제, 마운트 전환, PID 1의 프로그램 교체는 서로 다른 단계입니다.

RISC-V에서 보조 CPU가 시작할 때 받는 값

SBI 호출의 인자와 새 hart의 레지스터를 구분하고, Linux가 task와 stack을 준비하는 코드를 읽습니다.

CPU를 시작시키는 요청과 IPI는 무엇이 다릅니까?

ARM·RISC-V·x86에서 CPU 시작 주소를 전달하는 방법과, 실행 중인 CPU에 일을 알리는 방법을 비교합니다.

Secure Boot·TEE·RPMB는 서로 다른 문제를 해결합니다

부팅 이미지의 검증, 실행 중의 격리, 저장 데이터의 기밀성·무결성·재전송 방지를 구분합니다.

어셈블·링크 때 정하는 값과 실행할 때 바뀌는 값

지시어, relocation, ELF의 적재 주소와 실행 주소를 나누어 부팅 코드를 읽습니다.

Linux 보조 CPU와 DSP·MCU 시작은 어떻게 다릅니까

remoteproc의 펌웨어 시작과 rpmsg의 메시지 전달을 분리해서 읽습니다.

OpenSBI fw_base.S의 부팅 hart 선택과 펌웨어 헤더

지정 hart도 거치는 lottery, 공용 초기화와 hart별 진입, 헤더 인자의 경계를 원본 코드로 확인합니다.

비트스트림과 실행할 소프트웨어는 함께 배포되지만 서로 다른 단계에서 검사됩니다. Lattice Avant-X GSRD의 실제 부팅 흐름으로 그 경계를 읽습니다.

SPDM 장치 증명과 TPM은 무엇을 각각 맡나

장치 신원·측정 검증, 세션 보호, 명령 권한과 TPM의 역할을 구분합니다.

PDF 속 Linux는 어디에서 실행됩니까?

PDF 뷰어 안에 나타난 Linux 화면은 호스트 운영체제의 셸과 다릅니다. 에뮬레이터의 게스트 실행과 PDF 뷰어 취약점의 코드 실행을 구분합니다.

게스트의 시스템 호출은 어디로 갑니까?

ARM64의 SVC, Stage-2 fault, KVM_RUN 반환을 레지스터와 주소의 변화로 구분합니다.

SMMU는 누구의 주소를 변환합니까?

SID·PASID로 변환 표를 고르는 과정과 실제 주소 변환을 구분하고, SVA의 page fault와 DMA 종료 조건을 살펴봅니다.

GIC 인터럽트의 번호와 처리 완료를 따라가 봅니다

SGI 대상 CPU를 지정하는 비트, DT·INTID·Linux IRQ 번호, acknowledge와 처리 완료를 실제 값의 예로 연결합니다.

EDID 펌웨어가 바꾸는 것

파일 선택, 데이터 검증과 실제 표시 모드·물리 출력은 서로 다른 단계입니다.

광학 ToF의 거리와 위상

직접·간접 ToF와 왕복 지연, 단일 주파수의 거리 모호성을 계산합니다.

카메라 보정의 좌표와 오차

투영 모델·왜곡·RMS와 리사이즈·크롭의 계산을 구분합니다.

Linux MIPI DSI: 전송 요청에서 패킷 헤더까지

DCS·generic 타입과 네 헤더 바이트를 계산하고, 중간 구조체와 실제 링크의 ECC·CRC 처리를 구분합니다.

DCP: 장치 앞의 검증 경계와 측정 조건

호스트 Bridge의 역할과 MCU 코드 크기, 시험 표본의 의미를 따로 읽습니다.

NVMe 초기화: Admin 준비와 I/O 큐 생성을 나눕니다

PCIe 링크가 올라온 것만으로 저장장치를 읽을 수는 없습니다. 큐 수를 협상한 결과와 실제로 동작하는 큐도 구분해야 합니다.

파일 읽기에서 NVMe 완료까지: 조건부 경로를 따라갑니다

페이지 캐시, 블록 요청, DMA 주소와 장치 완료는 서로 다른 단계입니다. 모든 read()가 SSD까지 내려가는 것은 아닙니다.

SG-DMA 디스크립터: 메모리 체인과 FIFO 제출의 차이

Altera TSE 전용 DMA, dmaengine provider, Lattice SG-List의 주소·소유권·제출 경로를 구분합니다.

QSPI 전송 폭과 NOR 저장 단위, 보드 검증은 따로 확인합니다

읽기가 된다고 해서 쓰기 경계나 다른 보드에서의 동작까지 검증되지는 않습니다.

AXI WRAP에서 필요한 단어를 먼저 받는 조건

요청한 단어의 도착, 캐시 라인 충전 완료, 프로그램 성능은 서로 다른 관찰점입니다.

eMMC 영역 구성과 수명 지표를 구분합니다

파일시스템 파티션, 장치의 부트 영역, 건강 상태와 enhanced 설정은 같은 정보가 아닙니다.

GPIO ABI 버전과 출력 요청의 수명

커널 인터페이스의 v2와 사용자 공간 도구의 버전은 같은 번호 체계가 아닙니다.

실시간 기능을 켜고 지연을 측정해도 마감시간 검증은 따로 필요합니다

RT 커널 사용, 시험에서 본 최댓값, 응용의 시간 요구 충족은 각각 다른 증거가 필요합니다.

I²C 버스 복구는 무엇을 복구합니까?

전송 상태를 풀어 준다고 해서 배선·전원·신호 품질의 원인까지 해결되는 것은 아닙니다.

전원 버튼 입력에서 실제 전원 차단까지

버튼 감지, 종료 정책, 절전 복귀와 전원 차단을 구분합니다.

Queue Depth를 바꾸면 무엇을 측정하게 됩니까?

fio의 목표 깊이와 실제 깊이, 기존 파일만 읽는 시험 조건과 지연 분포를 구분합니다.

Lattice AXI 메모리 경로의 중재·CDC·레지스터 슬라이스

System Memory의 충돌, Register Slice의 지연, MPMC의 중재와 CDC를 구분합니다.

Lattice Unified Interconnect에서 응답이 멈추는 경계

1/4KiB 라우팅 블록, 활성 AXI ID, AXI4→APB 분해가 만드는 무응답·대기 경계를 설명합니다.

DMA 버퍼는 누가 읽고 쓰고 있습니까?

가상 주소·물리 주소·DMA 주소를 나누고, 버퍼를 CPU와 장치 사이에 넘기는 순서를 따라갑니다.

V4L2 카메라에서 프레임과 버퍼가 이동하는 과정

sensor·CSI receiver·video node의 역할과 QBUF·DQBUF로 바뀌는 버퍼 사용 상태를 연결합니다.

Device Tree 노드는 언제 동작하는 장치가 됩니까?

compatible 매칭 이후에 필요한 clock·regulator·IRQ와 probe defer를 설명합니다.

I²C·SPI·USB·PCIe: 연결과 전송을 구분해서 읽습니다

버스마다 다른 주소·전송·완료의 의미를 비교하고 driver가 지켜야 할 수명을 살펴봅니다.

MTD·UBI·UBIFS와 eMMC 파일 시스템을 구분합니다

raw flash의 erase block과 블록 장치의 sector가 다른 이유부터 이미지 형식까지 살펴봅니다.

ALSA·ASoC: PCM 버퍼에서 오디오 핀까지

frame·period·DMA·DAI clock을 연결하고 소리가 나지 않는 구간을 나누어 찾습니다.

Linux MMC: 호스트·카드·디스크는 서로 다른 장치입니다

카드 감지 신호가 왔다고 해서 블록 디스크가 준비된 것은 아님을 짚고, 실패한 단계를 소스와 연결합니다.

CAN DBC: 두 바이트를 속도로 읽기까지

프레임 ID, 신호 위치, 바이트 순서와 배율을 하나의 재현 가능한 예시로 연결합니다.

모터 노드의 PDM 데이터가 Main FPGA와 호스트로 이동할 때, EtherConnect·FIFO DMA·SGDMA는 같은 이름의 전송 단계가 아닙니다.

per-CPU work 제안: 데이터 위치와 실행 CPU

다른 CPU의 데이터를 처리한다고 해서 그 CPU에서 코드를 실행하는 것은 아닙니다. 제안된 최적화와 확인한 커널 구현을 분리해 읽습니다.

FreeRTOS heap_4: 여유 메모리가 있어도 할당이 실패하는 이유

총 여유량, 가장 큰 빈 블록, 관리 정보와 정렬 비용을 구분합니다.

LEA는 주소를 계산하지만 메모리를 읽지는 않습니다

대괄호가 같아도 LEA와 MOV의 결과는 다릅니다. 주소 크기·결과 크기·실행 비용을 나누어 읽습니다.

컨테이너 탐색: 비교 횟수와 메모리 접근을 따로 봅니다

연속 배치가 유리할 조건과 갱신·포인터 수명이 바꾸는 비용을 함께 비교합니다.

DPDK NUMA: NIC·수신 큐·패킷 풀·실행 코어를 맞춥니다

RX ring의 배치만 바꿔서는 패킷 버퍼와 처리 스레드가 함께 이동하지 않습니다.

FPGA 잠금·메시지·캐시는 별도로 확인합니다

공유 자원을 쓸 권한, 작업 알림, 새 데이터의 가시성은 서로 다른 조건입니다.

Tree RCU: CPU가 보고했다고 읽기 구간이 끝난 것은 아닙니다

한 CPU의 quiescent state, 선점된 reader, 유예기간 완료와 callback 실행을 구분합니다.

clocksource를 등록·선택했다고 정확도가 검증된 것은 아닙니다

카운터 읽기, 주파수와 절전 동작을 확인한 뒤 선택 우선순위를 해석합니다.

ptp4l과 phc2sys는 서로 다른 시계를 맞춥니다

PHC와 시스템 시계, 하드웨어·소프트웨어 타임스탬프 위치, 현재 옵션 이름과 PTP 시간 척도를 원본 man page로 정리합니다.

wait queue와 completion: 기다림보다 먼저 정할 것

깨우는 신호, 기다리는 조건, 결과 데이터, 객체 수명을 분리해 비동기 코드를 읽습니다.

interrupt 뒤의 작업은 어디에서 실행됩니까?

hard IRQ·threaded IRQ·softirq·workqueue를 실행 문맥과 객체 수명으로 비교합니다.

네트워크 수신은 패킷마다 interrupt 한 번일까요?

NIC의 DMA ring, interrupt, NAPI poll, socket 수신을 다른 단계로 나눕니다.

메모리가 남아 보이는데도 할당이 실패하는 이유

가상 주소, 물리 메모리, 연속 공간, cgroup 제한과 Android lmkd를 구분합니다.

RCU: 포인터를 바꾸는 시점과 객체를 해제하는 시점

새 객체를 공개한 뒤에도 예전 객체를 읽는 CPU가 있을 수 있습니다. 두 객체의 수명을 시간 순서로 살펴봅니다.

reserved-memory와 CMA: 예약한 RAM은 누가 사용합니까?

DTS의 메모리 범위, CMA 할당, 장치가 쓰는 DMA 주소를 분리해 확인합니다.

메모리 배리어: 다른 CPU와 장치는 무엇을 보게 됩니까?

READ_ONCE, release·acquire, DMA와 MMIO, cache와 TLB를 구체적인 값의 변화에 연결합니다.

ARM64 주소 폭과 비정렬 접근을 구분해서 읽습니다

64비트 레지스터, 48·52비트 주소, 페이지 크기는 서로 다른 값입니다. 커널이 실제 주소 폭을 정하는 과정과 LDR이 읽는 바이트를 예제로 살펴봅니다.

Maple Tree가 VMA 범위와 빈 공간을 찾는 방법

범위 검색, 빈 공간 탐색, 트리의 RCU와 VMA 수명 보호를 구분합니다.

인라인 코드의 probe 위치는 빌드에 묶입니다

함수 이름이 없다고 해서 실행할 코드가 없는 것은 아닙니다.

off-CPU 시간과 깨움 문맥을 함께 읽기

CPU를 쓰지 않은 시간에는 잠든 시간만 들어 있는 것이 아닙니다.

ERS 01–09: 주제별 읽기 안내와 원문 정정

Alexandre Borges의 아홉 PDF를 Windows 드라이버, 브라우저, XNU, Hyper-V로 나누어 읽습니다. 같은 취약점의 후속편과 개정판을 별개의 사건으로 세지 않습니다.

보안 실습 자료는 배우려는 일부터 골라야 합니다

셸 기초, 웹 실습, 사건 분석, 지식 체계를 나누고 직접 확인한 증거를 남깁니다.

Arsenal-NG: 명령 템플릿 선택과 실행 책임을 구분합니다

검색·인수 입력·셸 전달·외부 도구 실행은 서로 다른 단계입니다.

MCU의 Go 네트워크: 스택 크기와 전체 RAM 예산

작은 네트워크 스택의 수치를 프로그램 전체 메모리로 읽으면 안 됩니다. 버전·프로토콜·버퍼 수와 측정 범위를 함께 적어야 비교할 수 있습니다.

UART 디버거의 덤프는 어느 시점의 레지스터인가

인터럽트 안에서 값을 출력할 수 있다고 해서 중단 직전의 문맥이 보존되는 것은 아닙니다. 소스의 호출 순서와 예외 스택 프레임을 나누어 읽습니다.

오실로스코프의 웹 제어도 보안 경계입니다

계측 입력이 정확하다고 해서 관리 인터페이스가 안전한 것은 아닙니다. MSO5000을 분석한 과거 연구를 통해 인증 판단과 운영체제 명령 실행 사이의 경계를 살펴봅니다.

작은 크래시 덤프가 답할 수 있는 질문

덤프를 열었다고 해서 필요한 메모리가 보존된 것은 아닙니다.

GPU 없이 통과한 테스트가 확인하지 못한 것

컴파일러·shim·실제 장치·렌더링 결과를 서로 다른 검증 단계로 기록합니다.

UART 시간 검증은 수락한 바이트부터 시작합니다

송신 데이터·설정·샘플링 시점을 고정한 뒤, 독립적인 모니터로 프레임 전체를 확인합니다.

FPGA 통합 오류는 관측 경로부터 나눠 봅니다

모듈의 통과 기록, 연결 계약, 리셋 뒤 상태, CPU가 실제로 읽은 값은 서로 다른 증거입니다.

귀납 반례와 실제 도달 가능한 오류를 구분합니다

초기 상태에서의 검사와 임의 상태에서의 귀납 검사는 서로 다른 증명 의무입니다.

Windows 프로젝트를 Linux·WSL로 옮길 때 확인할 것

프로젝트 위치·경로·줄끝·권한을 나눠 확인하고 목표 환경에서 빌드와 테스트를 마칩니다.

Pico 2: 소스·ELF·실행 결과를 맞춰 보는 디버깅

Ghidra의 정적 분석, SWD·GDB 관찰, 실제 핀 동작을 같은 빌드에 연결합니다.

패키지·빌드 모듈·JPMS·배포 경계 구분하기

접근 제어, 의존성 노출, 실행 구성과 독립 배포의 차이를 Java 검사 결과와 함께 읽습니다.

Yocto에서 recipe가 이미지 안의 파일이 되기까지

소스 빌드, 패키지 생성, rootfs 구성, Wic 디스크 이미지 생성을 다른 단계로 읽습니다.

빌드는 됐는데 실행되지 않을 때: ABI와 loader

CPU 아키텍처, sysroot, ELF interpreter, 공유 라이브러리를 차례로 확인합니다.

커널 오류 로그에서 원인과 결과를 구분합니다

KASAN 보고, fault 주소, stack trace와 ftrace의 시간을 서로 다른 증거로 읽습니다.

파형을 볼 수 있다고 해서 구현 단계의 지연이 반영된 것은 아닙니다. SDF는 자신과 함께 생성된 단계의 netlist에 적용해야 합니다.

CPU가 인터럽트를 받는 경로와 디버거가 명령어를 바꾸는 경로는 같은 버스 동작이 아닙니다. 둘의 하드웨어 전제를 따로 확인해야 합니다.