【C/C++】Linux的futex锁

最新推荐文章于 2025-05-04 10:30:55 发布

CodeWithMe

最新推荐文章于 2025-05-04 10:30:55 发布

阅读量597

点赞数 25

分类专栏： C/C++ 中间件文章标签： c语言 c++ linux

本文链接：https://blog.csdn.net/YZJincsdn/article/details/147675098

版权

C/C++ 同时被 2 个专栏收录

81 篇文章

订阅专栏

中间件

16 篇文章

订阅专栏

文章目录

Linux Futex

Linux Futex

1. 概述

Futex（Fast Userspace Mutex）是 Linux 内核提供的一种用户态与内核态混合的同步机制。

目标：通过减少不必要的内核切换，实现高效的线程阻塞与唤醒。

作用：现代线程库（如 pthread）实现互斥锁、条件变量等同步原语的基础。

2. 核心设计思想

两阶段操作：
1. 用户态原子操作：线程首先在用户态通过原子操作（如 CAS）尝试获取锁。若成功，无需进入内核态。
2. 内核态阻塞：若竞争失败，通过 futex 系统调用进入内核态休眠，避免忙等待（busy-waiting）。
优势：
- 减少内核切换：仅在真正需要阻塞时才进入内核，降低开销。
- 用户态自旋：短竞争场景下完全在用户态完成，性能接近自旋锁。

3. Futex 系统调用接口

#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：指向一个用户态的32位整数（futex变量）的指针。
- futex_op：操作类型（如 FUTEX_WAIT, FUTEX_WAKE）。
- val：与操作相关的值（如期望值或唤醒数量）。
- timeout：超时时间（相对时间，NULL 表示无限等待）。

4. 核心操作

4.1 阻塞等待 (`FUTEX_WAIT`)

行为：
- 检查 *uaddr 是否等于 val，若不等，立即返回 EWOULDBLOCK。
- 若相等，线程进入休眠，直到被 FUTEX_WAKE 唤醒或超时。
用途：实现锁的阻塞等待或条件变量的等待。

4.2 唤醒线程 (`FUTEX_WAKE`)

行为：唤醒至多 val 个在 uaddr 上等待的线程。
用途：释放锁时唤醒等待者，或通知条件变量。

4.3 进阶操作

FUTEX_REQUEUE：将部分等待线程转移到另一个 futex 变量，用于优化锁竞争。
FUTEX_PI（优先级继承）：解决优先级反转问题，用于实时系统。
FUTEX_WAIT_BITSET：按位掩码指定唤醒条件，提供更精细的控制。

5. Futex 的使用场景

5.1 实现用户态互斥锁 (Mutex)

加锁流程：
1. 用户态原子操作将 futex 变量从 0 置为 1。
2. 若失败（变量已为 1），调用 FUTEX_WAIT 进入内核态阻塞。
解锁流程：
1. 原子操作将变量置 0。
2. 调用 FUTEX_WAKE 唤醒一个等待线程。

5.2 实现条件变量 (Condition Variable)

等待条件：
1. 释放关联的互斥锁。
2. 调用 FUTEX_WAIT 进入等待。
通知条件：
1. 修改条件变量后，调用 FUTEX_WAKE 唤醒等待者。

6. Futex 的优缺点

优点	缺点
用户态快速路径无系统调用	直接使用需处理竞态条件和边缘情况
减少内核切换开销	API 较底层，通常由库封装（如pthread）
支持复杂操作（如优先级继承）	调试复杂（如死锁需分析内核状态）

7. Futex 与传统同步机制对比

机制	性能	灵活性	使用复杂度
自旋锁	高（无切换）	低	低
互斥锁	中等	中	低
Futex	高（混合态）	高	高

8. 简易 Futex 互斥锁

#include <linux/futex.h>
#include <sys/syscall.h>
#include <unistd.h>
#include <stdint.h>

typedef struct {
    uint32_t futex;
} simple_mutex;

void lock(simple_mutex *m) {
    while (1) {
        // 用户态尝试原子加锁
        if (__sync_bool_compare_and_swap(&m->futex, 0, 1)) {
            return;
        }
        // 阻塞等待
        syscall(SYS_futex, &m->futex, FUTEX_WAIT, 1, NULL, NULL, 0);
    }
}

void unlock(simple_mutex *m) {
    // 原子解锁
    m->futex = 0;
    // 唤醒一个等待线程
    syscall(SYS_futex, &m->futex, FUTEX_WAKE, 1, NULL, NULL, 0);
}