一丶简介什么是线程安全
通过上面几讲.我们知道了线程怎么创建.线程切换的原理(CONTEXT结构) 每个线程在切换的时候都有自己的堆栈.
但是这样会有安全问题. 为什么? 我们每个线程都使用自己的局部变量这个是没有安全问题的. 但是线程可能会使用全局变量.这样很有可能会产生安全问题.为什么是很有可能.
1.有全局变量的情况下.有可能会有安全问题.
2.对全局变量进行写操作.则一定有安全问题.
上面两个条件都具备,线程才是不安全的.
为什么是不安全的.
试想一下. 如果这个全局变量在更改.另一个线程也更改了.最后则会出现两个线程同时更改这个全局变量. 问题就会出现在这.
例如以下代码:
// 临界区同步函数.cpp : 定义控制台应用程序的入口点。//#include "stdafx.h"#include <Windows.h>DWORD g_Number = 10;
DWORD WINAPI MyThreadFun1(LPVOID lParame)
{ while (g_Number > 0)
{
printf("+++剩下Number个数 = %d\r\n", g_Number);
g_Number--;
printf("+++当前的Number个数 = %d\r\n", g_Number);
} return 0;
}
DWORD WINAPI MyThreadFun2(LPVOID lParame)
{ while (g_Number > 0 )
{
printf("***剩下Number个数 = %d\r\n", g_Number);
g_Number--; //产生线程安全问题
printf("***当前的Number个数 = %d\r\n", g_Number);
} return 0;
}int main(int argc,char *argv[])
{
HANDLE hThreadHand[2] = { NULL };
hThreadHand[0] = CreateThread(NULL, 0, (LPTHREAD_START_ROUTINE)MyThreadFun1, NULL, 0, NULL);
hThreadHand[1] = CreateThread(NULL, 0, (LPTHREAD_START_ROUTINE)MyThreadFun2, NULL, 0, NULL); //创建两个线程
WaitForMultipleObjects(2, hThreadHand, TRUE, INFINITE);
printf("Number个数 = %d \r\n", g_Number);
system("pause"); return 0;
}
上面的代码很简单. 看下运行结果
为什么会产生这个问题.原因是.在线程中我们有个地方
while(全局变量 > 0) 则会执行下边代码. 但是很有可能执行完这一句. 线程发生了切换. 去执行另一个线程去了. 最终会产生这样的结果.
如果看反汇编.则会发现 全局变量--的地方.汇编代码 并不是一局. 如果发生线程切换则会出现错误.
首先获取全局变量的值.
然后sub -1
最后重新赋值.
很有可能在sun eax 1的时候就发生了切换. 这样就有安全问题了.为了解决这些问题.我们必须想办法. 所以Windows提供了一组线程同步的函数.
二丶线程同步函数之临界区
什么时候临界区. 临界区的意思就是 这一个区域我给你锁定.当前有且只能有一个线程来执行我们临界区的代码.
而临界资源是一个全局变量
临界区的使用步骤.
1.创建全局原子变量.
2.初始化全原子变量
3.进入临界区
4.释放临界区.
5.删除临界区.
具体API:
1.全局原子变量
CRITICAL_SECTION g_cs; //直接创建即可.不用关心内部实现.
2.初始化全局原子变量.InitializeCriticalSection
_Maybe_raises_SEH_exception_ VOID InitializeCriticalSection( LPCRITICAL_SECTION lpCriticalSection //传入全局原子变量的地址 );
3.使用的API 进入临界区.
void EnterCriticalSection( LPCRITICAL_SECTION lpCriticalSection //全局原子变量);
下面还有一个. 是尝试无阻塞模式进入临界区. 意思就是内部加了一个判断.是否死锁了.
BOOL TryEnterCriticalSection( 返回吃持有的临界区对象.如果成功的情况下. LPCRITICAL_SECTION lpCriticalSection );
4.使用API 释放临界区.
void LeaveCriticalSection( LPCRITICAL_SECTION lpCriticalSection //全局原子对象 );
5.删除临界区对象.
void DeleteCriticalSection( LPCRITICAL_SECTION lpCriticalSection );
代码例子:
// 临界区同步函数.cpp : 定义控制台应用程序的入口点。//#include "stdafx.h"#include <Windows.h>//创建临界区结构CRITICAL_SECTION g_cs;
DWORD g_Number = 10;
DWORD WINAPI MyThreadFun1(LPVOID lParame)
{
EnterCriticalSection(&g_cs); //进入临界区
while (g_Number > 0)
{
printf("+++剩下Number个数 = %d\r\n", g_Number);
g_Number--;
printf("+++当前的Number个数 = %d\r\n", g_Number);
}
LeaveCriticalSection(&g_cs); return 0;
}
DWORD WINAPI MyThreadFun2(LPVOID lParame)
{
EnterCriticalSection(&g_cs); //进入临界区
while (g_Number > 0 )
{
printf("***剩下Number个数 = %d\r\n", g_Number);
g_Number--; //while语句内就是临界区了.有且只能一个线程访问.
printf("***当前的Number个数 = %d\r\n", g_Number);
}
LeaveCriticalSection(&g_cs); return 0;
}int main(int argc,char *argv[])
{ //初始化临界区全局原子变量
InitializeCriticalSectionAndSpinCount(&g_cs, 0x00000400); //InitializeCriticalSection(&g_cs); //初始化临界区.两个API都可以.
HANDLE hThreadHand[2] = { NULL };
hThreadHand[0] = CreateThread(NULL, 0, (LPTHREAD_START_ROUTINE)MyThreadFun1, NULL, 0, NULL);
hThreadHand[1] = CreateThread(NULL, 0, (LPTHREAD_START_ROUTINE)MyThreadFun2, NULL, 0, NULL); //创建两个线程
WaitForMultipleObjects(2, hThreadHand, TRUE, INFINITE);
DeleteCriticalSection(&g_cs); //删除临界区.
printf("+Number个数 = %d \r\n", g_Number);
system("pause"); return 0;
}
官方MSDN例子:
链接: https://docs.microsoft.com/zh-cn/windows/desktop/Sync/using-critical-section-objects
三丶线程同步之互斥体
1.临界区缺点.以及衍生出来的跨进程保护
上面讲了临界区. 但是我们的临界资源是一个全局变量.例如下图:
如果我们的临界资源是一个文件. 需要两个进程都要访问怎么办? 此时临界区已经不可以跨进程使用了.
2.跨进程控制.
跨进程控制就是指 不同进程中的多线程控制安全..比如A进程访问临界资源的时候. B进程不能访问. 因为临界区的 令牌.也就是我们说的全局原子变量.只能在应用层.
但是如果放到内核中就好办了. 如下图所示
A进程的线程从内核中获取互斥体. 为0 还是为1. B进程一样. 如果为 0 则可以进行访问临界资源. 访问的时候.互斥体则设置为1(也就是令牌设置为1)这样B进程就获取不到了.自然不能访问
临界区资源了.
3.互斥体操作API
既然明白了互斥体是一个内核层的原子操作.那么我们就可以使用API 进行操作了.
操作步骤.
1.创建互斥体. 信号量设置为有信号的状态 例如全局的原子变量现在是有信号.是可以进行访问的.
2.获取信号状态. 如果有信号则进入互斥体临界区执行代码.此时互斥体信号为无信号. 也就是说别的进程访问的时候.因为没有信号.执行不了代码.
3.释放互斥体. 信号状态为有信号. 此时别的进程信号已经有了.所以可以进行访问了.
具体API:
1.创建互斥体
HANDLE CreateMutexA( LPSECURITY_ATTRIBUTES lpMutexAttributes, SD安全属性.句柄是否可以继承.每个内核对象API都拥有. BOOL bInitialOwner, 初始的信号量状态. false为有信号. 获取令牌的时候可以获取到. True为无信号. 且如果为True互斥体对象为线程拥有者. LPCSTR lpName 全局名字. 根据名字寻找互斥体. );
2.获取令牌.
DWORD WaitForSingleObject( HANDLE hHandle, 等待的内核对象 DWORD dwMilliseconds 等待的时间 );
调用此函数之后.信号为无信号.别的进程是进入不了互斥体临界区的.
3.释放互斥体
BOOL ReleaseMutex( HANDLE hMutex );
调用完比之后.互斥体为有信号.可以使用了.
代码例子:
两个工程代码是一样的.贴一份出来.
#include "stdafx.h"#include <Windows.h>//创建临界区结构int main(int argc,char *argv[])
{ //初始化临界区全局原子变量
HANDLE MutexHandle = CreateMutex(NULL, FALSE, TEXT("AAA")); //创建互斥体. 信号量为0. 有信号的状态.wait可以等待
WaitForSingleObject(MutexHandle,INFINITE);
for (size_t i = 0; i < 10; i++)
{
Sleep(1000);
printf("A进程访问临街资源中临街资源ID = %d \r\n", i);
}
ReleaseMutex(MutexHandle); return 0;
}
先运行A进程在运行B进程. 则B进程处于卡死状态.
实现了同步. 除非A进程释放互斥体句柄使信号变为有信号.此时才可以访问B
官方代码例子:
#include <windows.h>#include <stdio.h>#define THREADCOUNT 2HANDLE ghMutex;
DWORD WINAPI WriteToDatabase( LPVOID );int main( void )
{
HANDLE aThread[THREADCOUNT];
DWORD ThreadID; int i; // Create a mutex with no initial owner
ghMutex = CreateMutex(
NULL, // default security attributes
FALSE, // initially not owned 有信号
NULL); // unnamed mutex 不需要跨进程使用.所以不用名字
if (ghMutex == NULL)
{
printf("CreateMutex error: %d\n", GetLastError()); return 1;
} // Create worker threads
for( i=0; i < THREADCOUNT; i++ )
{
aThread[i] = CreateThread( //创建 THREADCOUNT个线程
NULL, // default security attributes
0, // default stack size (LPTHREAD_START_ROUTINE) WriteToDatabase,
NULL, // no thread function arguments
0, // default creation flags
&ThreadID); // receive thread identifier
if( aThread[i] == NULL )
{
printf("CreateThread error: %d\n", GetLastError()); return 1;
}
} // Wait for all threads to terminate
WaitForMultipleObjects(THREADCOUNT, aThread, TRUE, INFINITE); //等待线程执行完毕 // Close thread and mutex handles
for( i=0; i < THREADCOUNT; i++ )
CloseHandle(aThread[i]);
CloseHandle(ghMutex); return 0;
}
DWORD WINAPI WriteToDatabase( LPVOID lpParam )
{
// lpParam not used in this example UNREFERENCED_PARAMETER(lpParam);
DWORD dwCount=0, dwWaitResult;
// Request ownership of mutex.
while( dwCount < 20 )
{
dwWaitResult = WaitForSingleObject( //线程内部等待互斥体.因为一开始为FALSE所以有信号.第一次执行线程的时候则会执行.
ghMutex, // handle to mutex
INFINITE); // no time-out interval
switch (dwWaitResult)
{ // The thread got ownership of the mutex
case WAIT_OBJECT_0:
__try {
// TODO: Write to the database
printf("Thread %d writing to database...\n",
GetCurrentThreadId());
dwCount++;
}
__finally {
// Release ownership of the mutex object
if (! ReleaseMutex(ghMutex)) //执行完毕.释放互斥体.信号量变为有信号. 其余线程等待的时候可以等到则可以继续执行线程代码
{
// Handle error. }
}
break;
// The thread got ownership of an abandoned mutex // The database is in an indeterminate state
case WAIT_ABANDONED:
return FALSE;
}
} return TRUE;
}
原文出处：https://www.cnblogs.com/iBinary/p/9574211.html
随时随地看视频
