Skip to content

Futex and Userspace Locking

Overview

Linux userspace synchronization is designed around minimizing kernel involvement.

The common design pattern is:

userspace fast path

↓

kernel slow path

Futex (Fast Userspace Mutex) provides the foundation for this model.

Synchronization Stack

Typical userspace synchronization stack:

Application

↓

pthread

↓

glibc

↓

futex

↓

kernel scheduler

Examples:

API Kernel Interaction
pthread_mutex_lock Only on contention
pthread_cond_wait Wait path
pthread_join Wait for thread exit
pthread_rwlock Only on contention

Why Futex Exists

Traditional synchronization:

lock

↓

syscall

↓

scheduler

Futex design:

try in userspace

↓

only sleep if necessary

Result:

  • lower latency
  • fewer context switches
  • reduced kernel overhead

Futex Model

Futex itself is not a lock.

Futex provides:

wait

wake

State ownership remains in userspace.

Typical architecture:

state

+

futex

Examples:

mutex

=

atomic
+
futex

Fast Path and Slow Path

Fast path:

CAS success

↓

return

Slow path:

CAS fail

↓

futex wait

↓

scheduler

↓

wake

↓

retry

The uncontended path avoids syscalls entirely.

Futex Wait Semantics

Waiting is conditional.

Conceptually:

if (*addr == expected)

sleep

else

return EAGAIN

This behavior prevents unnecessary sleeping.

State and Notification

One important design principle:

condition

≠

notification

Condition:

ready
queue_count
data_available

Notification:

sequence
wait queue
event generation

State stores truth.

Notification coordinates waiting.

Minimal Condition Variable Model

Conceptually:

condition variable

=

condition
+
mutex
+
futex

Consumer:

while (!ready)

wait

Producer:

update state

↓

wake

Relationship with pthread

Conceptually:

pthread_mutex

=

atomic
+
futex

pthread_cond

=

condition
+
mutex
+
futex

Actual implementations are more complex but follow similar ideas.

Related Labs

  • Day61 mutex fast path
  • Day61 futex mutex
  • Day61 mini condition variable

References

  • futex syscall
  • pthread mutex
  • pthread condition variable