linux mutex原理,互斥锁实现原理以及使用注意点

互斥锁基本原理

互斥锁是一个二元变量，其状态为开锁(允许0)和上锁(禁止1)，将某个共享资源与某个特定互斥锁在逻辑上绑定(要申请该资源必须先获取锁)。访问公共资源前，必须申请该互斥锁，若处于开锁状态，则申请到锁对象，并立即占有该锁，以防止其他线程访问该资源；如果该互斥锁处于锁定状态，则阻塞当前线程。

只有锁定该互斥锁的进程才能释放该互斥锁，其他线程试图释放无效。

接口pthread_mutex_init；初始化互斥锁

当然可以用宏PTHREAD_MUTEX_INITIALIZER来初始化静态分配的互斥锁(全局锁)；

pthread_mutex_lock；申请互斥锁

pthread_mutex_unlock；释放互斥锁

实现原理futex

futex(快速用户区互斥的简称)是一个在Linux上实现锁定和构建高级抽象锁如信号量和POSIX互斥的基本工具。它们第一次出现在内核开发的2 5 7版；其语义在2 5 40固定下来，然后在2 6 x系列稳定版内核中出现。

Futex 是fast userspace mutex的缩写，意思是快速用户空间互斥体。Linux内核把它们作为快速的用户空间的锁和信号量的预制构件提供给开发者。Futex非常基础，借助其自身的优异性能，构建更高级别的锁的抽象，如POSIX互斥体。大多数程序员并不需要直接使用Futex，它一般用来实现像NPTL这样的系统库。

Futex 由一块能够被多个进程共享的内存空间(一个对齐后的整型变量)组成；这个整型变量的值能够通过汇编语言调用CPU提供的原子操作指令来增加或减少，并且一个进程可以等待直到那个值变成正数。Futex 的操作几乎全部在应用程序空间完成；只有当操作结果不一致从而需要仲裁时，才需要进入操作系统内核空间执行。这种机制允许使用 futex 的锁定原语有非常高的执行效率：由于绝大多数的操作并不需要在多个进程之间进行仲裁，所以绝大多数操作都可以在应用程序空间执行，而不需要使用(相对高代价的)内核系统调用。

futex保存在用户空间的共享内存中，并且通过原子操作进行操作。在大部分情况下，资源不存在争用的情况下，进程或者线程可以立刻获得资源成功，实际上就没有必要调用系统调用，陷入内核了。实际上，futex的作用就在于减少系统调用的次数，来提高系统的性能。

伪代码：pthread_mutex_lock:

atomic_dec(pthread_mutex_t.value);

if(pthread_mutex_t.value!=0)

futex(WAIT)

else

success

pthread_mutex_unlock:

atomic_inc(pthread_mutex_t.value);

if(pthread_mutex_t.value!=1)

futex(WAKEUP)

else

success

互斥锁使用注意事项临界资源保护的使用场景，不要乱用，锁的使用是会消耗资源的(获取锁，如果获取不到会线程切换，切换需要将工作环境入栈，这就造成cpu的浪费。而且回到当前线程运行可能已经不止10ms了)

获取锁之后不要sleep太久

不要交叉使用两把锁，然后死锁

锁不要保护的太大，够用就行

业务需求是否能接受线程的切换所造成的实时性的损失(默认10ms)

总结

注意事项中，没有用实例来展示，大家思考下就OK了。ps：明天我们聊一聊信号量。