Blog

False Sharing 해결 — Cache Line Padding·SoA 적용

False sharing의 원리와 영향, perf c2c 감지, alignas(64) padding, per-CPU 변수, thread-local까지 해결 전략을 정리합니다.

ABA 문제 회피 — Tagged Pointer·Hazard·Generation Counter

ABA 시나리오, tagged pointer (64-bit + tag), version counter, hazard pointer 활용, 실제 사례를 정리합니다.

Spinlock vs Mutex 결정 가이드 — Context Switch·Hold Time

Lock hold time, 코어 수, preemption, real-time 요구사항에 따라 spinlock과 mutex를 어떻게 고를지 ticket lock과 MCS lock까지 함께 정리합니다.

Atomic Operation 비용 분석 — Fence·Cache Line·Contention

memory_order별 ARM 명령어 차이, LSE vs LL/SC, hot spinning 회피까지 atomic 연산의 실측 비용을 정리합니다.

Compare-And-Swap 패턴 — Stack·Counter·Linked List 적용

CAS loop, strong과 weak CAS, ABA 회피, exponential backoff, spurious failure까지 CAS 사용의 표준 패턴을 정리합니다.

Hazard Pointer 분석 — Lock-Free Memory Reclamation

Lock-free 메모리 회수, ABA 회피, RCU와의 비교, C++ proposal까지 hazard pointer의 원리와 구현을 정리합니다.

RCU (Read-Copy-Update) 기초 — Quiescent State·Grace Period

RCU 원리, rcu_read_lock, grace period, synchronize_rcu, 임베디드 적용(URCU)을 정리합니다.

Wait-Free Signaling — Atomic Flag·Sequence·Latest-Value

Wait-free 보장 patterns. Atomic flag, sequence number, latest-value (double buffer).

recipes wait-free

Lock-Free Ring Buffer 구현 — SPSC·Power-of-2·Memory Order

SPSC ring 구현. Power-of-2 size, head/tail atomic, memory order release/acquire.

recipes lock-free