mutex lock是建立在操作系统给的特殊指令上的一种软件解决方法。
实际上就是test_and_set 以及 compare_and_swap 等指令的高级调用。当然，这里的test and set 和 compare and swap不是具体实现在某个平台的指令，只是抽象的定义了两类的指令。
如果不熟悉test and set的话，那么test and set指令的定义是这样的
bool tas(bool *target){
bool rv = *target;
*target = true;
return rv
}
当然，这只是定义，整个命令是作为一个atomic的指令的。
利用test and set命令来实现互斥是这个样子的:
do{
while(tas(&lock))
;
/*critical section*/
lock = false;
/*remainder section*/
}while(true);
lock 一开始被初始化为false，然后执行第一句while(tas(&lock)) 的时候
会发生两件事情，第一个就是这句话本身结果是false，这样就允许该线程接着往下执行进入临界区，第二个是这句话将lock赋值成true。
而当lock 取true值的时候，第二个线程如果执行第一句while(tas(&lock))的话，会无限循环busy waiting。就进不了临界区，直到第一个线程将lock 设置为false。 那个时候第一个线程也就已经离开临界区了，就达到了互斥的效果。
compare_and_swap的指令定义如下:
int cas(int *val, int exp, int new_val){
int tmp = *val;
if(*val = exp)
*val = new_val;
return tmp;
}
使用cas命令的互斥:
lock = 0;
do{
while(cas(&lock,0,1) != 0 )
;
lock = 0;
}while(true);
cas命令的分析也不难。
以上两个是操作系统提供的硬件的解决方法。但很可惜的是，用户程序一般不用汇编开发。所以类似于pthread ，windows都会提供软件上的解决方法。
最直接的思路就是mutex lock：在进入临界区之前应当获得一个lock，其他没有lock的线程就进入不了临界区，离开临界区应该释放掉这个lock，以便其他线程获得lock。
lock 的两个动作 ---获得，释放的定义如下:
acquire(){
while(!available)
;
available = false;
}
release(){
available = true;
}
要注意的是，acquire和release都是atomic的。
看到acquire的定义的时候是不是感觉到了一股既视感？回想一下tas里，第一句while执行的时候的两个动作，我们将lock 从 false变成 true，我们
tas指令返回false，从而使得while空循环不执行。
在这里，available默认为true，从而使得while空循环不执行，然后我们将available从true变成了false。
把lock 看成 (!available)，我们知道tas固定设置lock = true ，也就是available = false;
这里用tas实现一下acquire :
/*初始化lock = false*/
while(tas(&lock))
;
tas(&lock)返回false，进入临界区，同时lock = true 阻碍了其他进程进入临界区。
但是因为tas命令只能实现lock = true 也就是available = false，所以我们无法用它来实现release，这个时候就可以用cas命令
而release实现如下:
cas(&lock, false, true);
当lock = false 的时候，我们将他改变成true。
于是我们现在有了TSL和mutex lock了。
网友评论