Linux用户层和内核层锁的实现方式
admin 服务器
一、系统调用futex介绍
futex（Fast Userspace Mutex）是 Linux 内核提供的一种底层同步原语，用于高效实现用户空间的锁（如互斥锁、信号量等）。
它的核心思想是通过减少不必要的内核态切换来优化性能，特别适用于高并发场景。
1. 核心机制
混合模式（用户态+内核态协作）：
- 用户态原子操作：
线程先尝试在用户空间通过原子指令（如 CAS）获取锁。若成功，则无需进入内核，性能极高。
CAS的全称为Compare And Swap，直译就是比较交换。是一条CPU的原子指令，其作用是让CPU先进行比较两个值是否相等，然后原子地更新某个位置的值，其实现方式是基于硬件平台的汇编指令
- 内核态阻塞：
若锁已被占用，线程通过 futex 系统调用进入内核态阻塞（FUTEX_WAIT），直到锁释放后被唤醒（FUTEX_WAKE）。
关键系统调用：
#include <linux/futex.h>
#include <sys/syscall.h>
int syscall(SYS_futex, uint32_t *uaddr, int futex_op, uint32_t val,
const struct timespec *timeout, uint32_t *uaddr2, uint32_t val3);
uaddr：指向用户空间的一个整数（锁的状态标志）。futex_op：操作类型（如FUTEX_WAIT,FUTEX_WAKE）。val：辅助值（如等待时的预期值）。
2. 常见操作
| 操作 | 行为 |
|---|---|
| FUTEX_WAIT | 检查 *uaddr == val，若成立则阻塞线程；否则立即返回 EAGAIN。 |
| FUTEX_WAKE | 唤醒最多 val 个在 uaddr 上阻塞的线程。 |
| FUTEX_REQUEUE | 将部分线程从 uaddr 的等待队列迁移到 uaddr2 的等待队列（避免惊群）。 |
| FUTEX_PRIVATE | 标志位，表示仅限进程内使用（优化性能）。 |
3. 工作流程示例（互斥锁）
加锁：
// 用户态尝试原子交换 if (atomic_cas(uaddr, 0, 1) == success) return; // 成功获得锁 // 失败则进入内核等待 syscall(SYS_futex, uaddr, FUTEX_WAIT, 1, NULL, NULL, 0);
解锁：
atomic_set(uaddr, 0); // 先释放锁 syscall(SYS_futex, uaddr, FUTEX_WAKE, 1); // 唤醒一个等待线程
4. 优势
- 性能：无竞争时完全在用户态运行，避免内核切换开销。
- 灵活性：可构建更高级的同步机制（如读写锁、条件变量）。
- 资源节省：内核仅在线程阻塞时介入，减少调度负担。
5. 注意事项
- 优先级反转：需结合优先级继承（如
FUTEX_LOCK_PI）解决实时性问题。 - 惊群效应：使用
FUTEX_REQUEUE或FUTEX_WAKE_OP分散唤醒压力。 - ABA 问题：
FUTEX_WAIT会验证*uaddr == val，但需确保状态变更逻辑正确。
6. 典型应用
- Glibc 的 pthread 库：互斥锁（
pthread_mutex_t）、条件变量（pthread_cond_t）、信号量（sem_t）、读写锁（pthread_rwlock_t）、屏障（pthread_barrier_t）底层使用futex。 - 高性能服务器：Redis、Nginx 等利用
futex实现自定义锁。