Android Lock-Free Internals: 9 Queues & Buffers Powering Real-Time Performance

Based on Android 17 (trunk_staging / API 202604) source code, this article surveys lock-free designs adopted across Android's high-throughput real-time paths such as the audio Fast Mixer thread (FIFO, <10 ms period), graphics rendering pipeline, and Binder IPC thread pools. It categorizes the core patterns as SPSC (single-producer single-consumer) and MPSC (multi-producer single-consumer) and then examines nine concrete implementations.

1. LocklessQueue<T> — MPSC Lock-Free Queue

File: frameworks/native/libs/gui/include/gui/LocklessQueue.h Mechanism: MPSC lock-free linked-list queue.

Use case: General-purpose MPSC queue for SurfaceFlinger / InputFlinger ecosystem.

2. LocklessStaticQueue<T, N> — SPSC Fixed-Size Queue

File: frameworks/native/libs/gui/include/gui/LocklessStaticQueue.h Mechanism: Monotonically increasing std::atomic<uint64_t> counters with cache-line alignment.

Use case: IpcRenderRegion command buffer queue ( mCommandBuffers).

3. LocklessTripleBuffer<T> — SPSC Triple Buffer

File:

frameworks/native/libs/gui/include/gui/LocklessTripleBuffer.h

Mechanism: Single std::atomic<uint32_t> packing two indices (publish index + consumer index), updated via compare_exchange_weak.

Use case: RenderCommandBuffer producer→consumer cross-process sharing.

4. MagicRingBuffer<N> — SPSC Zero-Copy Ring Buffer

File: frameworks/native/libs/gui/include/gui/MagicRingBuffer.h Mechanism: Virtual memory aliasing trick — maps 2×N virtual address space to N physical pages, enabling continuous access without wrap-around. Uses std::atomic<int64_t> monotonic mHi / mLo counters with cache-line alignment.

Use case: IpcRenderRegion::mUploadBuf command buffer upload.

5. BinderStatsSpscQueue — Binder Statistics SPSC Queue

File:

frameworks/native/libs/binder/observer/BinderStatsSpscQueue.h

Mechanism: 128-entry fixed-size ring buffer, power-of-two size, std::atomic<uint64_t> head/tail monotonic counters. No CAS required; only acquire/release pairing. Monotonic counters avoid modulo operations.

Use case: Per-IPC-thread collection of Binder transaction metrics.

6. StateQueue<T> — AudioFlinger State Propagation Queue

File: frameworks/av/services/audioflinger/fastpath/StateQueue.h Mechanism: 4-slot ring state buffer (previous / current / next / mutating).

Use case: Fast Mixer thread reads FastMixerState / FastCaptureState; Normal Mixer thread writes.

7. Perfetto LockFreeTaskRunner (MPSC)

File:

external/perfetto/include/perfetto/ext/base/lock_free_task_runner.h

Design doc:

external/perfetto/docs/design-docs/lock-free-task-runner.md

Users: traced, traced_probes, traced_perf, heapprofd, trace_processor, perfetto_cmd, and all Perfetto SDK (21+ source files).

8. fmq (Fast Message Queue)

File:

system/libfmq/include/fmq/MessageQueueBase.h

Use case: Hardware Abstraction Layer (HAL) fast inter-process messaging.

ABA solution: Monotonically increasing 64-bit pointer — never returns to an old value, inherently immune to ABA.

9. Android 17's Lock-Free MessageQueue

Official Android Developers Blog post: https://android-developers.googleblog.com/2026/02/under-hood-android-17s-lock-free.html

The article emphasizes that lock-free designs are most suitable for high-throughput real-time paths and warns about the ABA problem: improper use can introduce hard-to-debug probabilistic bugs, so constraints must be strictly satisfied.