的代码就叫做临界区互斥任何时刻互斥保证有且只有一个执行流进入临界区访问临界区资源通常对临界资源起保护作用原子性不会被任何调度机制打断的操作该操作只有两个状态要么完成要么未完成

二、互斥量

大部分情况下线程使用的数据都是局部变量变量的地址空间在线程栈空间中这种情况下变量归属于单个线程其他线程无法获得这种变量。

但是有的时候很多变量都需要在线程间共享这样的变量称为共享变量可以通过数据的共享完成线程之间的交互。

多个线程并发的操作共享变量会带来一些问题。

三、举例代码

tickets);tickets--;}elsebreak;}

}//

route);t1.Start();t2.Start();t3.Start();t4.Start();t1.Join();t2.Join();t3.Join();t4.Join();return

3.2

计算机常用的数据类型分为两种算术运算逻辑运算。

CPU在计算过程中其操作过程不是原子的是需要分成好几个步骤的。

我们来拿逻辑判断来举例

第一步要先将数据移动到寄存器中第二步进行逻辑判断第三步将结果发出

在计算机中CPU有时只有一套但是寄存器中的数据是可以有多套的。

多个线程根据时间片进行交替执行因为寄存器中的数据属于线程私有看起来是放在一套共有的寄存器中但是当线程要被切走的时候线程是需要带走自己的数据当线程回来的时候线程需要将数据进行恢复。

3.2.2

假设票数只剩下一张进程A看见还有一张进行买票但是在买票的过程中突然被切出进程B进入买票梅开二度在买票的过程中突然被切出...当进程A恢复线程进行减减操作票数为0退出进程B恢复线程记住现在tickets的票数为0减减重读数据将tickets为0读入将tickets减为负数之后的线程同理。

3.3

这个模拟漫长业务的过程在这个漫长的业务过程中可能有很多个线程会进入该代码段

--ticket

通过汇编代码我们可以发现这种操作不是原子性操作而是分别对应于三条汇编指令

load将共享变量ticket从内存中加载到寄存器中update更新寄存器里面的值执行

操作store更新值从寄存器写回共享内存ticket的内存地址

3.5

代码必须有互斥行为当代码进行临界区执行时不允许其他线程进入该临界区如果多个线程同时要求执行临界区的代码并且临界区没有线程执行那么只能允许一个线程进入给临界区如果线程不在临界区中执行那么线程不能组织其他线程进去临界区

四、互斥量

要做到上述三点本质上需要一把锁。

Linux上提供的这把锁叫做互斥量。

4.1

pthread_mutex_init(pthread_mutex_t

*restrict

该函数用于C函数的多线程编程中互斥锁的初始化。

在任何时候只允许一个线程进行访问。

函数的参数

mutex指向要初始化的互斥锁的变量本身restrictattr指定了新建互斥锁的属性。

如果参数restrictattr为空(NULL)则使用默认的互斥锁属性默认属性为快速互斥锁

。

互斥锁的属性在创建锁的时候指定在LinuxThreads实现中仅有一个锁类型属性不同的锁类型在试图对一个已经被锁定的互斥锁加锁时表现不同。

PTHREAD_MUTEX_TIMED_NP这是缺省值也就是普通锁。

当一个线程加锁以后其余请求锁的线程将形成一个等待队列并在解锁后按优先级获得锁。

这种锁策略保证了资源分配的公平性。

PTHREAD_MUTEX_RECURSIVE_NP嵌套锁允许同一个线程对同一个锁成功获得多次并通过多次unlock解锁。

如果是不同线程请求则在加锁线程解锁时重新竞争。

PTHREAD_MUTEX_ERRORCHECK_NP检错锁如果同一个线程请求同一个锁则返回EDEADLK否则与PTHREAD_MUTEX_TIMED_NP类型动作相同。

这样就保证当不允许多次加锁时不会出现最简单情况下的死锁。

PTHREAD_MUTEX_ADAPTIVE_NP适应锁动作最简单的锁类型仅等待解锁后重新竞争。

4.1.2

pthread_mutex_init(pthread_mutex_t

*restrict

对于一个已经加锁的互斥量不要进行销毁对于已经销毁的互斥量要确保后面不会有线程在尝试加锁。

#include

pthread_mutex_destroy(pthread_mutex_t*

进行互斥量的销毁对于一个已经加锁的互斥量不要进行销毁对于已经销毁的互斥量要确保后面不会有线程在尝试加锁。

4.1.4

pthread_mutex_lock(pthread_mutex_t*

mutex);

该函数用于对互斥锁进行加锁操作。

它阻塞调用线程直到可以获得互斥锁为止。

如果互斥锁已经被其他线程锁定则调用线程将被阻塞直到互斥锁被解锁。

函数的参数

4.1.4.2

pthread_mutex_trylock(pthread_mutex_t*

mutex);

该函数是pthread_mutex_lock函数的非阻塞版本。

如果mutex参数所指定的互斥锁已经被锁定的话调用pthread_mutex_trylock函数不会阻塞当前线程而是立即返回一个值来描述互斥锁的状况。

4.1.4.3

pthread_mutex_unlock(pthread_mutex_t*

mutex);

该函数用于解锁互斥锁它接收一个指向互斥锁的指针作为参数并将该互斥锁解锁。

所谓对临界资源进行保护本质上是对临界区代码进行保护我们对所有资源经访问本质都是通过代码进行访问。

保护资源本质上就是想办法把访问资源的代码进行保护起来。

4.1.5

解锁pthread_mutex_unlock(mutex);}else{//

解锁pthread_mutex_unlock(mutex);break;}}

代码执行结果

ThreadDate{public:ThreadDate(const

std::string

lock):_name(name),_lock(lock){}public:std::string

_lock;};

在想要保护的临界区前面进行定义一个锁即可因为随着函数范围的释放该锁也会跟着解锁。

class

public:LockGuard(pthread_mutex_t*

mutex):_mutex(mutex){pthread_mutex_lock(_mutex);}~LockGuard(){pthread_mutex_unlock(_mutex);}private:pthread_mutex_t*

_mutex;

加锁的范围的粒度一定要尽量小任何线程要进行抢票都要先申请锁原则上不应该有例外所有线程申请锁前提是所有线程都要看到这把锁锁本身也是共享资源加锁的过程必须是原子的原子性要么不做要么做就要做完没有中间状态就是原子性如果线程申请锁失败了我的线程要被阻塞如果线程申请锁成功了继续向后进行运行如果线程申请锁成功了执行临界区的代码在执行临界区的代码期间可以进行切换其他线程无法进入因为我虽然被切换但是我没有进行释放我可以放心的执行完毕没有人可以打扰我。

总结所以对于其他线程要么我没有申请锁要么我释放了所对其他线程才有意义。

我访问临界区对于其他线程是原子的。

4.3

pthread_mutex_lock(pthread_mutex_t*

mutex);

如何理解申请锁成功允许进入临界区申请锁成功pthread_mutex_lock函数会返回。

如何理解申请锁失败不允许进行临界区

操作都不是原子的有可能会有数据一致性的问题所以为了实现互斥锁的操作大多数体系结构都提供了swap操作和exchange操作指令。

swap操作和exchange操作指令这种指令就是原子性的该指令的作用是把寄存器和内存单元的数据济宁相互交换由于只有一条指令保证了原子性即使是多处理平台进行访问访问内存的总线周期也有先后一个处理器上的交换指令执行时另一个交换指令只能等待总线周期。

lock在内存中开辟一段空间我们可以在这段空间中放入一些值来使线程具有互斥性。

比如当lock中的数字为1说明我们可以进行该临界区同时将lock中的数字进行交换变为0当lock中的数字变为0说明我们不能进入该临界区需要进行挂起等待然后重新进行lock的判断。

举个例子首先这个锁处于无人状态。

现在有一个线程A进行lock中将lock中的数字和al寄存器的数字进行交换然后现在al寄存器中的数字为1大于0说明我们可以进入临界区中。

之后随着时间片的轮转线程A要被切走对于线程A在CPU寄存器中的所有数据也要跟着一起切走然后此时lock中的数字为依旧为0其他线程中的al寄存器中的数字也为0所以其他线程无法进行该临界区也就是将其他线程全部都锁在了外面只有当线程A完成打开锁之后其他线程才能进入该临界区中。

我们在来看一看这个unlock操作等待线程A操作完之后我们需要直接将数字1赋值给mutex内存中之后唤醒其他等待Mutex的线程。

CPU的寄存器只有一套被所有的线程共享但是寄存器里面的数据属于执行流的上下文属于执行零私有的数据CPU在执行代码的时候一定要有对应的执行载体线程或者进程数据在内存中被所有线程共享

把数据从内存中移动到CPU寄存器中本质上就是把数据从共享变为线程私有。