临界区、线程锁和互斥体
临界区、线程锁和互斥体
不可重入函数
不可重入函数: 当这个函数返回前，不可以被其他线程调用
原因：
printf : 访问了引用全局变量stdout
malloc : 引用了全局内存分配表
free : 引用的全局内存分配表
类似的 假如我在我的线程中使用全局变量会不会出现类似问题？
坑：
当多线程同时去访问所谓不可重入函数的时候，当A线程调用printf执行完毕之前，发生了线程切换去执行B线程，而B线程如果又再等待A线程的时候，那么就会有几率触发bug，永久等待。。。。
临界区 -共享资源
image
比如上图
尽管A B C D 四个线程都回去访问全局变量。而且在访问一半的时候有可能会出现线程上下文切换。但是我们在变量前面加了一把锁，比如A线程访问一半时 发生了线程切换。此时B线程再去访问也是无法访问的。等线程切换回A 之后 A 访问完毕释放。其他线程才可以正常访问
有多个线程同时使用的变量，我们称为临界变量
同一进程中，不同线程的共享资源访问解决办法：线程锁
image
如左图，当A线程访问共享资源使用一半的时候，如果发生线程切换，B线程去访问并修改了共享资源，那么切换回A的时候拿到的值必然是错误的。
如何简单的解决这种问题？
此时引入线程锁的概念：
当 线程访问共享资源的时候 需要取得锁，取得锁的才可以访问资源，访问完毕后释放锁，其他线程才可以访问
-
创建全局变量
CRITICAL_SECTION cs; //创建令牌 -
初始化全局变量
InitializeCriticalSection(&cs); //初始化令牌 -
实现临界区
EnterCriticalSection(&cs); //进入临界区 LeaveCriticalSection(&cs); //离开临界区
跨进程访问共享资源 ：互斥体
image
线程间可以通过线程锁来防止发生错误，进程间也可以通过锁来限制
这就是互斥体
image
因为需要跨进程加锁，所以互斥体不能存在用户区中。只能存在于同时访问共享资源的共享内核区
image
常用的互斥体的操作：
//创建互斥体
HANDLE CreateMutex
(
LPSECURITY_ATTRIBUTES lpMutexAttributes, // 安全属性
BOOL bInitialOwner, // 初始信号
LPCTSTR lpName // 对象名称
);
//等待信号到达
DWORD WaitForSingleObject
(
HANDLE hHandle, // 等待对象的句柄
DWORD dwMilliseconds // 超时时间
);
//释放互斥体
BOOL ReleaseMutex
(
HANDLE hMutex // 释放的内核对象
);
-
加入A进程先创建的互斥体，那么B进程如何找到A创建的互斥体？
-
加入我们不能确定AB两个进程谁先启动，那么由会来先创建我们的互斥体？谁后来打开前者创建的互斥体？
一个进程调用
CreateMutex时候如果内核中没有名字为参数lpName的互斥体的时候，系统就会创建对象，不并且返回句柄。当其他进程中的线程访问的时候，也调用CreateMutex，并且lpName参数与前面调用的进程相同的时候，在内核区中已经有此名字的互斥体，此时不会创建新对象，会直接返回之前内核中创建好的对象
线程锁与互斥体的区别
线程锁与互斥体的区别：
- 线程锁只能用于单个进程内部的线程控制
- 互斥体可以设定等待超时，但线程锁不能
- 线程意外终结时，Mutex可以避免无限等待
- Mutex效率没有线程锁高
