文章插图
互斥体概述
信号量是在并行处理环境中对多个处理器访问某个公共资源进行保护的机制,mutex用于互斥操作 。信号量的count初始化为1,down()/up()也可以实现类似mutex的作用 。
mutex的语义相对于信号量要简单轻便一些,在锁争用激烈的测试场景下,mutex比信号量执行速度更快,可扩展性更好,另外mutex数据结构的定义比信号量小 。
mutex的优点
- mutex和信号量相比要高效的多:
- mutex最先实现自旋等待机制
- mutex在睡眠之前尝试获取锁
- mutex实现MCS所来避免多个CPU争用锁而导致CPU高速缓存颠簸现象 。
- 同一时刻只有一个线程可以持有mutex 。
- 只有锁持有者可以解锁 。不能再一个进程中持有mutex,在另外一个进程中释放他 。
- 不允许递归地加锁和解锁 。
- 当进程持有mutex时,进程不可以退出 。
- mutex必须使用官方API来初始化 。
- mutex可以睡眠,所以不允许在中断处理程序或者中断下半部中使用,例如tasklet、定时器等 。
/linux/include/linux/mutex.h/* * Simple, straightforward mutexes with strict semantics: * * - only one task can hold the mutex at a time * - only the owner can unlock the mutex * - multiple unlocks are not permitted * - recursive locking is not permitted * - a mutex object must be initialized via the API * - a mutex object must not be initialized via memset or copying * - task may not exit with mutex held * - memory areas where held locks reside must not be freed * - held mutexes must not be reinitialized * - mutexes may not be used in hardware or software interrupt * contexts such as tasklets and timers * * These semantics are fully enforced when DEBUG_MUTEXES is * enabled. Furthermore, besides enforcing the above rules, the mutex * debugging code also implements a number of additional features * that make lock debugging easier and faster: * * - uses symbolic names of mutexes, whenever they are printed in debug output * - point-of-acquire tracking, symbolic lookup of function names * - list of all locks held in the system, printout of them * - owner tracking * - detects self-recursing locks and prints out all relevant info * - detects multi-task circular deadlocks and prints out all affected * locks and tasks (and only those tasks) */struct mutex { /* 1: unlocked, 0: locked, negative: locked, possible waiters */ atomic_t count; spinlock_t wait_lock; struct list_head wait_list;#if defined(CONFIG_DEBUG_MUTEXES) || defined(CONFIG_SMP) struct task_struct *owner;#endif#ifdef CONFIG_MUTEX_SPIN_ON_OWNER void *spin_mlock; /* Spinner MCS lock */#endif#ifdef CONFIG_DEBUG_MUTEXES const char *name; void *magic;#endif#ifdef CONFIG_DEBUG_LOCK_ALLOC struct lockdep_map dep_map;#endif};
作用及访问规则:
- 互斥锁主要用于实现内核中的互斥访问功能 。内核互斥锁是在原子 API 之上实现的,但这对于内核用户是不可见的 。
- 对它的访问必须遵循一些规则:同一时间只能有一个任务持有互斥锁,而且只有这个任务可以对互斥锁进行解锁 。互斥锁不能进行递归锁定或解锁 。一个互斥锁对象必须通过其API初始化,而不能使用memset或复制初始化 。一个任务在持有互斥锁的时候是不能结束的 。互斥锁所使用的内存区域是不能被释放的 。使用中的互斥锁是不能被重新初始化的 。并且互斥锁不能用于中断上下文 。
推荐阅读
- Linux,VMware桥接配置Centos网络
- 如何给WINDOWS 7注入USB和NVME驱动?
- 理解Linux下的SELinux
- 云主机数据库导入与导出
- Windows Server与Linux:究极对比
- Linux驱动基石之POLL机制
- Linux ALSA 图解
- Linux 下的交互式进程浏览器 htop 3.0.0 发布
- 带你玩转 Linux Shellcode
- 在Linux中查找已连接网络的WiFi密码