线程同步的四种方式

一,什么是线程同步和互斥

同步就是协同步调,按预定的先后次序进行运行。如:你说完,我再说。这里的同步千万不要理解成那个同时进行,应是指协同、协助、互相配合。线程同步是指多线程通过特定的设置(如互斥量,事件对象,临界区)来控制线程之间的执行顺序(即所谓的同步)也可以说是在线程之间通过同步建立起执行顺序的关系,如果没有同步,那线程之间是各自运行各自的!

线程互斥是指对于共享的进程系统资源,在各单个线程访问时的排它性。当有若干个线程都要使用某一共享资源时,任何时刻最多只允许一个线程去使用,其它要使用该资源的线程必须等待,直到占用资源者释放该资源。线程互斥可以看成是一种特殊的线程同步(下文统称为同步)。


文末收录了一篇关于并发 并行 同步 异步 多线程的区别(这是原文地址,尊重原创)

二,线程同步的方式和机制

临界区(Critical Section)、互斥对象(Mutex):主要用于互斥控制;都具有拥有权的控制方法,只有拥有该对象的线程才能执行任务,所以拥有,执行完任务后一定要释放该对象。

信号量(Semaphore)、事件对象(Event):事件对象是以通知的方式进行控制,主要用于同步控制!

1、临界区:通过对多线程的串行化来访问公共资源或一段代码,速度快,适合控制数据访问。在任意时刻只允许一个线程对共享资源进行访问,如果有多个线程试图访问公共资源,那么在有一个线程进入后,其他试图访问公共资源的线程将被挂起,并一直等到进入临界区的线程离开,临界区在被释放后,其他线程才可以抢占。它并不是核心对象,不是属于操作系统维护的,而是属于进程维护的。

总结下关键段:
1)关键段共初始化化、销毁、进入和离开关键区域四个函数。
2)关键段可以解决线程的互斥问题,但因为具有“线程所有权”,所以无法解决同步问题。
3)推荐关键段与旋转锁配合使用。

2、互斥对象:互斥对象和临界区很像,采用互斥对象机制,只有拥有互斥对象的线程才有访问公共资源的权限。因为互斥对象只有一个,所以能保证公共资源不会同时被多个线程同时访问。当前拥有互斥对象的线程处理完任务后必须将线程交出,以便其他线程访问该资源。

总结下互斥量Mutex:
1)互斥量是内核对象,它与关键段都有“线程所有权”所以不能用于线程的同步。
2)互斥量能够用于多个进程之间线程互斥问题,并且能完美的解决某进程意外终止所造成的“遗弃”问题。


3、信号量:信号量也是内核对象。它允许多个线程在同一时刻访问同一资源,但是需要限制在同一时刻访问此资源的最大线程数目

在用CreateSemaphore()创建信号量时即要同时指出允许的最大资源计数和当前可用资源计数。一般是将当前可用资源计数设置为最 大资源计数,每增加一个线程对共享资源的访问,当前可用资源计数就会减1 ,只要当前可用资源计数是大于0 的,就可以发出信号量信号。但是当前可用计数减小 到0 时则说明当前占用资源的线程数已经达到了所允许的最大数目,不能在允许其他线程的进入,此时的信号量信号将无法发出。线程在处理完共享资源后,应在离 开的同时通过ReleaseSemaphore ()函数将当前可用资源计数加1 。在任何时候当前可用资源计数决不可能大于最大资源计数。

4、事件对象: 通过通知操作的方式来保持线程的同步,还可以方便实现对多个线程的优先级比较的操作

总结下事件Event
1)事件是内核对象,事件分为手动置位事件和自动置位事件。事件Event内部它包含一个使用计数(所有内核对象都有),一个布尔值表示是手动置位事件还是自动置位事件,另一个布尔值用来表示事件有无触发。
2)事件可以由SetEvent()来触发,由ResetEvent()来设成未触发。还可以由PulseEvent()来发出一个事件脉冲。
3)事件可以解决线程间同步问题,因此也能解决互斥问题。

三,四种线程同步控制方式

1,互斥对象

第一个CreateMutex
函数功能:创建互斥量(注意与事件Event的创建函数对比)
函数原型:

HANDLE  CreateMutex(
    LPSECURITY_ATTRIBUTES  lpMutexAttributes,
    BOOL  bInitialOwner, 
    LPCTSTR  lpName
);

函数说明:
第一个参数表示安全控制,一般直接传入NULL。
第二个参数用来确定互斥量的初始拥有者。如果传入TRUE表示互斥量对象内部会记录创建它的线程的线程ID号并将递归计数设置为1,由于该线程ID非零,所以互斥量处于未触发状态。如果传入FALSE,那么互斥量对象内部的线程ID号将设置为NULL,递归计数设置为0,这意味互斥量不为任何线程占用,处于触发状态。
第三个参数用来设置互斥量的名称,在多个进程中的线程就是通过名称来确保它们访问的是同一个互斥量。
函数访问值:
成功返回一个表示互斥量的句柄,失败返回NULL。


第二个打开互斥量
函数原型:

HANDLE  OpenMutex(
    DWORD   dwDesiredAccess,
    BOOL  bInheritHandle,
    LPCTSTR  lpName //名称
);

函数说明:
第一个参数表示访问权限,对互斥量一般传入MUTEX_ALL_ACCESS。详细解释可以查看MSDN文档。
第二个参数表示互斥量句柄继承性,一般传入TRUE即可。
第三个参数表示名称。某一个进程中的线程创建互斥量后,其它进程中的线程就可以通过这个函数来找到这个互斥量。
函数访问值:
成功返回一个表示互斥量的句柄,失败返回NULL。


第三个触发互斥量
函数原型:
BOOL  ReleaseMutex (HANDLE  hMutex)
函数说明:
访问互斥资源前应该要调用等待函数,结束访问时就要调用ReleaseMutex()来表示自己已经结束访问,其它线程可以开始访问了。


最后一个清理互斥量
由于互斥量是内核对象,因此使用CloseHandle()就可以(这一点所有内核对象都一样)。

互斥对象的形象比喻:

首先我们需要创建CreateMutex一把互斥对象,我们可以指明当前线程是否拥有它,互斥对象完全就像一把钥匙一样,我们用WaitForSignalObject来等待这把钥匙,但是这把钥匙被等到并且使用后必须释放-----ReleaseMutex ,不然别人永远无法等到。这样从等待到释放中间的代码段永远都是只有一个线程在执行,也就形成了互斥控制。当然互斥对象的句柄是要关闭的CloseHandle。

结合下面的程序理解简直轻松。

互斥对象模拟火车售票的过程

(对共同资源的互斥控制)

#include "windows.h"  
#include "iostream"  
  
using namespace std;  
  
DWORD WINAPI FunProc1(LPVOID lpParameter);  
DWORD WINAPI FunProc2(LPVOID lpParameter);  
  
int ticket = 100;  
HANDLE hMutex;   //定义互斥对象  
int main()  
{  
    HANDLE hThread1;  
    HANDLE hThread2;  
    hMutex = CreateMutex(NULL, FALSE, NULL);    //创建互斥对象,并且该线程不拥有他(因为第二个参数为false)  
    hThread1 = CreateThread(NULL, 0, FunProc1, NULL, 0, NULL);  
    hThread2 = CreateThread(NULL, 0, FunProc2, NULL, 0, NULL);  
    CloseHandle(hThread1);  
    CloseHandle(hThread2);  
    Sleep(1000);// 让主线程睡眠1秒 ,不然子线程来不及执行  
    return 0;  
}  
  
DWORD WINAPI FunProc1(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        WaitForSingleObject(hMutex, INFINITE);   //申请互斥对象的所有权(申请钥匙,得到钥匙)  
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 1:" << ticket-- << endl;  
        }  
        else  
            break;  
        ReleaseMutex(hMutex);//释放互斥对象的所有权(放弃钥匙,不再拥有)  
    }  
    return 0;  
}  
DWORD WINAPI FunProc2(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        WaitForSingleObject(hMutex, INFINITE);  
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 2:" << ticket-- << endl;  
        }  
        else  
            break;  
        ReleaseMutex(hMutex);  
    }  
    return 0;  
}  

分析程序互斥过程

创建互斥对象后,第二各参数是false表示当前主线程不拥有互斥对象,此时互斥对象没人拥有,所以谁都可以获取他,然后主线程空闲1秒(子线程才时间执行,不然主线程一下就退出了),在这一秒内第一个线程waitforsingleobject得到了互斥对象(不然无法执行),开始卖火车票,然后释放互斥对象的拥有权,接着第二个线程通过waitforsingleobject得到了互斥对象,所以他又可以执行售卖火车票,接着释放互斥对象...如此往返!知道火车票卖完,while循环退出。

注意:虽然改程序运行结果是某一条线程执行完然后第二条线程执行,如此往复,但是这不是同步,因为我们没法控制到底一开始是谁先执行,(我们只是控制了轮流次序)。

2,事件对象

第一个 CreateEvent
函数功能:创建事件
函数原型:

HANDLE  CreateEvent(
    LPSECURITY_ATTRIBUTES   lpEventAttributes,
    BOOL   bManualReset,
    BOOL   bInitialState,
    LPCTSTR  lpName
);


函数说明:
第一个参数表示安全控制,一般直接传入NULL。
第二个参数确定事件是手动置位还是自动置位,传入TRUE表示手动置位,传入FALSE表示自动置位。如果为自动置位,则对该事件调用WaitForSingleObject()后会自动调用ResetEvent()使事件变成未触发状态。
第三个参数表示事件的初始状态,传入TRUR表示已触发。
第四个参数表示事件的名称,传入NULL表示匿名事件。



第二个 OpenEvent
函数功能:根据名称获得一个事件句柄。
函数原型:

HANDLE  OpenEvent(
    DWORD  dwDesiredAccess,
    BOOL  bInheritHandle,
    LPCTSTR  lpName //名称
);

函数说明:
第一个参数表示访问权限,对事件一般传入EVENT_ALL_ACCESS。详细解释可以查看MSDN文档。
第二个参数表示事件句柄继承性,一般传入TRUE即可。
第三个参数表示名称,不同进程中的各线程可以通过名称来确保它们访问同一个事件。


第三个SetEvent
函数功能:触发事件
函数原型:BOOL   SetEvent(HANDLE  hEvent);
函数说明:每次触发后,必有一个或多个处于等待状态下的线程变成可调度状态。


第四个ResetEvent
函数功能:将事件设为末触发
函数原型:BOOLResetEvent(HANDLEhEvent);


最后一个事件的清理与销毁
由于事件是内核对象,因此使用CloseHandle()就可以完成清理与销毁了。

事件对象的形象比喻:

首先我们需要创建CreateEvent一个事件对象,它的使用方式是触发方式,要想被WaitForSingleObject等待到该事件对象必须是有信号的,事件要想有信号可以用SetEvent手动置为有信号,要想事件对象无信号可以使用ResetEvent(或者在创建事件对象时就声明该事件对象WaitForSingleObject后自动置为无信号,见上面CreateEvent第二个参数),打个小小比方,手动置位事件相当于教室门,教室门一旦打开(被触发),所以有人都可以进入直到老师去关上教室门(事件变成未触发)。自动置位事件就相当于医院里拍X光的房间门,门打开后只能进入一个人,这个人进去后会将门关上,其它人不能进入除非门重新被打开(事件重新被触发)。当然事件对象的句柄是要关闭的CloseHandle。

结合下面的程序理解简直轻松。

事件对象模拟火车售票的过程

(利用通知的方式对共同资源的互斥控制)

#include "windows.h"  
#include "iostream"  
  
using namespace std;  
  
DWORD WINAPI FunProc1(LPVOID lpParameter);  
DWORD WINAPI FunProc2(LPVOID lpParameter);  
int ticket = 100;  
HANDLE g_hEvent;  

void main()  
{  
    HANDLE hThread1;  
    HANDLE hThread2;  
    g_hEvent = CreateEvent(NULL, FALSE, TRUE, NULL);      //创建事件对象  
    //SetEvent(g_hEvent);           //设置为有信号(放弃钥匙)  
    hThread1 = CreateThread(NULL, 0, FunProc1, NULL, 0, NULL);  
    hThread2 = CreateThread(NULL, 0, FunProc2, NULL, 0, NULL);  
    CloseHandle(hThread1);  
    CloseHandle(hThread2);  
    Sleep(1000);             // 让主线程睡眠1秒   
    CloseHandle(g_hEvent);  
}  

DWORD WINAPI FunProc1(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        WaitForSingleObject(g_hEvent, INFINITE);     //申请事件对象  
        //ResetEvent(g_hEvent);       //重置为无信号(申请钥匙,得带钥匙)  
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 1:" << ticket-- << endl;  
            SetEvent(g_hEvent);     //设置为有信号(放弃钥匙,不再拥有)  
        }  
        else  
        {  
            SetEvent(g_hEvent);      //设置为有信号  
            break;  
        }  
    }  
    return 0;  
}  

DWORD WINAPI FunProc2(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        WaitForSingleObject(g_hEvent, INFINITE);  
        //ResetEvent(g_hEvent);  
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 2:" << ticket-- << endl;  
            SetEvent(g_hEvent);       //设置为有信号  
        }  
        else  
        {  
            SetEvent(g_hEvent);       //设置为有信号  
            break;  
        }  
    }  
    return 0;  
} 

同步过程分析

g_hEvent=CreateEvent(NULL,FALSE,TRUE,NULL);的意义(顺序解释):默认安全性,自动重置事件,初始时该事件对象就有信号。执行顺序:开始的时候事件对象具有信号,当第一个线程申请获得事件对象后,进入if语句线程1会暂停1毫秒,于是第二根线程运行,因为此时g_hEvent已经无信号故无法申请并执行下面的程序,此时第一个线程睡醒开始执行自己的任务然后设置对象为有信号(可以被其他线程申请),于是第二个线程申请得到事件对象................与此往复!直到退出循环。

注意:该程序实现的不是的同步控制!但是他可以实现同步,见下面!

下面这种事件通知方式就是严格的同步方式(先让线程1执行,再.....),两个事件对象进行同步控制:

#include "windows.h"    
#include "iostream"    
  
using namespace std;  
  
DWORD WINAPI FunProc1(LPVOID lpParameter);  
DWORD WINAPI FunProc2(LPVOID lpParameter);  
int ticket = 100;  
HANDLE g_hEvent1,g_hEvent2;  
  
void main()  
{  
    HANDLE hThread1;  
    HANDLE hThread2;  
    g_hEvent1 = CreateEvent(NULL, FALSE, TRUE, NULL);      //创建事件对象1,自动重置事件,已触发  
    g_hEvent2 = CreateEvent(NULL, FALSE, FALSE, NULL);      //创建事件对象2,自动重置事件,没触发  
    //SetEvent(g_hEvent);           //设置为有信号(放弃钥匙)    
    hThread1 = CreateThread(NULL, 0, FunProc1, NULL, 0, NULL);  
    hThread2 = CreateThread(NULL, 0, FunProc2, NULL, 0, NULL);  
    CloseHandle(hThread1);  
    CloseHandle(hThread2);  
    Sleep(1000);             // 让主线程睡眠1秒     
    CloseHandle(g_hEvent1);  
    CloseHandle(g_hEvent2);  
    getchar();  
}  
DWORD WINAPI FunProc1(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        WaitForSingleObject(g_hEvent1, INFINITE);     //申请有信号的事件对象    
        //ResetEvent(g_hEvent);       //重置为无信号(申请钥匙,得带钥匙)    
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 1:" << ticket-- << endl;  
            SetEvent(g_hEvent2);     //设置为有信号(放弃钥匙,不再拥有)    
        }  
        else  
        {  
            SetEvent(g_hEvent2);      //设置为有信号,让线程2执行  
            break;  
        }  
    }  
    return 0;  
}  
DWORD WINAPI FunProc2(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        WaitForSingleObject(g_hEvent2, INFINITE);  
        //ResetEvent(g_hEvent);    
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 2:" << ticket-- << endl;  
            SetEvent(g_hEvent1);  //让线程1执行  
        }  
        else  
        {  
            SetEvent(g_hEvent1);         
            break;  
        }  
    }  
    return 0;  
}  

3,临界区(关键代码段)

函数功能:初始化
函数原型:
void InitializeCriticalSection(LPCRITICAL_SECTION  lpCriticalSection);
函数说明:定义关键段变量后必须先初始化。


函数功能:销毁
函数原型:
void DeleteCriticalSection(LPCRITICAL_SECTION  lpCriticalSection);
函数说明:用完之后记得销毁。


函数功能:进入关键区域
函数原型:
void EnterCriticalSection(LPCRITICAL_SECTION  lpCriticalSection);
函数说明:系统保证各线程互斥的进入关键区域。


函数功能:离开关关键区域
函数原型:
void LeaveCriticalSection(LPCRITICAL_SECTION  lpCriticalSection);

临界区模拟火车售票的过程

添加代码如下

#include "windows.h"  
#include "iostream"  
  
using namespace std;  
  
DWORD WINAPI FunProc1(LPVOID lpParameter);  
DWORD WINAPI FunProc2(LPVOID lpParameter);  
int ticket = 100;  
CRITICAL_SECTION g_cs;     //定义临界区  
void main()  
{  
    HANDLE hThread1;  
    HANDLE hThread2;  
    InitializeCriticalSection(&g_cs);    //必须先初始化临界区  
    hThread1 = CreateThread(NULL, 0, FunProc1, NULL, 0, NULL);  
    hThread2 = CreateThread(NULL, 0, FunProc2, NULL, 0, NULL);  
    CloseHandle(hThread1);  
    CloseHandle(hThread2);  
    Sleep(1000);// 让主线程睡眠1秒   
    DeleteCriticalSection(&g_cs);     //删除临界区  
}  
DWORD WINAPI FunProc1(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        EnterCriticalSection(&g_cs);//进入临界区(申请钥匙,得到钥匙)  
        Sleep(1);  
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 1:" << ticket-- << endl;  
            LeaveCriticalSection(&g_cs);   //离开(放弃钥匙,不再拥有)  
        }  
        else  
        {  
            LeaveCriticalSection(&g_cs);    //离开  
            break;  
        }  
    }  
    return 0;  
}  
DWORD WINAPI FunProc2(LPVOID lpParameter)  
{  
    while (TRUE)  
    {  
        EnterCriticalSection(&g_cs);      
        if (ticket>0)  
        {  
            Sleep(1);  
            cout << "ticket 2:" << ticket-- << endl;  
            LeaveCriticalSection(&g_cs);     
        }  
        else  
        {  
            LeaveCriticalSection(&g_cs);    
            break;  
        }  
    }  
    return 0;  
}  

4,信号量

信号量Semaphore常用有三个函数,使用很方便。下面是这几个函数的原型和使用说明。

HANDLE   CreateSemaphore( 
    LPSECURITY ATTRIBUTES   lpSemaphoreAttributes, //安全属性 
    LONG   lInitialCount, //信号量对象的初始值 
    LONG   lMaximumCount, //信号量的最大值 
    LPCTSTR   lpName //信号量名 
); 

参数说明: 
(1)lpSemaphoreAttributes:指定安全属性,为NULL时,信号量得到一个 
默认的安全描述符。 
(2) lInitialCount:指定信号量对象的初始值。该值必须大于等于0,小于等于lMaximumCount。当其值大于0时,信号量被唤醒。当该函数释放了一个等待该信号量的线程时,lInitialCount值减1,当调用函数ReleaseSemaphore()时,按其指定的数量加一个值。
(3) lMaximumCount:指出该信号量的最大值,该值必须大于0。 
(4) lpName:给出信号量的名字。 
返回值: 
信号量创建成功,将返回该信号量的句柄。如果给出的信号量名是系统已经存在的信号量,将返回这个已存在信号量的句柄。如果失败,系统返回NULL,可以调用函数GetLastError()查询失败的原因



第二个 OpenSemaphore
函数功能:打开信号量
函数原型:

HANDLE  OpenSemaphore(
    DWORD  dwDesiredAccess,
    BOOL  bInheritHandle,
    LPCTSTR  lpName
);

函数说明:
第一个参数表示访问权限,对一般传入SEMAPHORE_ALL_ACCESS。详细解释可以查看MSDN文档。
第二个参数表示信号量句柄继承性,一般传入TRUE即可。
第三个参数表示名称,不同进程中的各线程可以通过名称来确保它们访问同一个信号量。


第三个 ReleaseSemaphore
函数功能:递增信号量的当前资源计数
函数原型:

BOOL  ReleaseSemaphore(
    HANDLE  hSemaphore,
    LONG  lReleaseCount, 
    LPLONG  lpPreviousCount 
);


函数说明:
第一个参数是信号量的句柄。
第二个参数表示增加个数,必须大于0且不超过最大资源数量。
第三个参数可以用来传出先前的资源计数,设为NULL表示不需要传出。

注意:当前资源数量大于0,表示信号量处于触发,等于0表示资源已经耗尽故信号量处于末触发。在对信号量调用等待函数时,等待函数会检查信号量的当前资源计数,如果大于0(即信号量处于触发状态),减1后返回让调用线程继续执行。一个线程可以多次调用等待函数来减小信号量。

最后一个 信号量的清理与销毁
由于信号量是内核对象,因此使用CloseHandle()就可以完成清理与销毁了。

信号量超形象解释:

以一个停车场的运作为例。简单起见,假设停车场只有三个车位(共有资源),一开始三个车位都是空的。这时如果同时来了五辆车(线程),看门人(信号量)允许其中三辆(线程)直接进入,然后放下车拦,剩下的车则必须在入口等待,此后来的车也都不得不在入口处等待。这时,有一辆车(线程)离开停车场,看门人(信号量)得知后,打开车拦,放入外面的一辆进去,如果又离开两辆,则又可以放入两辆,如此往复。
抽象的来讲,信号量的特性如下:信号量是一个非负整数(车位数),所有通过它的线程/进程(车辆)都会将该整数减一(通过它使得资源被使用了1个),当该整数值为零时,所有试图通过它的线程(车辆)都将处于等待状态。在信号量上我们定义两种操作: Wait(等待函数) 和 Release(释放函数)。当一个线程调用Wait操作时,它要么得到资源然后将信号量减一,要么一直等下去(指放入阻塞队列),直到信号量大于等于一时。Release(释放)对应于车辆离开停车场,该操作之所以叫做“释放”是因为释放了由信号量守护的资源(车位)。

参考学习例子:

#include <stdio.h>  
#include <process.h>  
#include <windows.h>  
  
long g_nNum;  
unsigned int __stdcall Fun(void *pPM);  
const int THREAD_NUM = 10;  
//信号量与关键段  
HANDLE            g_hThreadParameter;//用信号量处理主线程与子线程的同步  
CRITICAL_SECTION  g_csThreadCode;//关键段来处理各子线程间的互斥.对公有资源进行互斥访问,公有资源g_nNum  
  
int main()  
{  
    //初始化信号量和关键段  
    g_hThreadParameter = CreateSemaphore(NULL, 0, 1, NULL);//第二个参数表示初始资源数量。当前0个资源,最大允许1个同时访问  
    InitializeCriticalSection(&g_csThreadCode);  
  
    HANDLE  handle[THREAD_NUM];  
    g_nNum = 0;  
    int i = 0;  
    while (i < THREAD_NUM)  
    {  
        handle[i] = (HANDLE)_beginthreadex(NULL, 0, Fun, &i, 0, NULL);  
        Sleep(1);  
        WaitForSingleObject(g_hThreadParameter, INFINITE);//依次使线程进入等待状态(阻塞队列)。参见《windows核心编程第五版》  
        ++i;  
    }  
  
    WaitForMultipleObjects(THREAD_NUM, handle, TRUE, INFINITE);  
  
    DeleteCriticalSection(&g_csThreadCode);  
    //销毁信号量和关键段  
    CloseHandle(g_hThreadParameter);  
    for (i = 0; i < THREAD_NUM; i++)  
        CloseHandle(handle[i]);  
      
    getchar();  
    return 0;  
}  
unsigned int __stdcall Fun(void *pPM)  
{  
    int nThreadNum = *(int *)pPM;  
    ReleaseSemaphore(g_hThreadParameter, 1, NULL);//信号量的当前资源+1,第二个参数表示增加个数,必须大于0且不超过最大资源数量。  
    Sleep(50);//some work should to do  
    EnterCriticalSection(&g_csThreadCode);  
    ++g_nNum;  
    Sleep(10);//some work should to do  
    printf("线程编号为%d  全局资源值为%d\n", nThreadNum, g_nNum);  
    LeaveCriticalSection(&g_csThreadCode);  
    return 0;  
}  


 

收录博文:

1. 并发:在操作系统中,是指一个时间段中有几个程序都处于已启动运行到运行完毕之间,且这几个程序都是在同一个处理机上运行。其中两种并发关系分别是同步和互斥


2. 互斥:进程间相互排斥的使用临界资源的现象,就叫互斥。


3. 同步:进程之间的关系不是相互排斥临界资源的关系,而是相互依赖的关系。进一步的说明:就是前一个进程的输出作为后一个进程的输入,当第一个进程没有输出时第二个进程必须等待。具有同步关系的一组并发进程相互发送的信息称为消息或事件。其中并发又有伪并发和真并发,伪并发是指单核处理器的并发,真并发是指多核处理器的并发。


4. 并行:在单处理器中多道程序设计系统中,进程被交替执行,表现出一种并发的外部特种;在多处理器系统中,进程不仅可以交替执行,而且可以重叠执行。在多处理器上的程序才可实现并行处理。从而可知,并行是针对多处理器而言的。并行是同时发生的多个并发事件,具有并发的含义,但并发不一定并行,也亦是说并发事件之间不一定要同一时刻发生。

5. 多线程:多线程是程序设计的逻辑层概念,它是进程中并发运行的一段代码。多线程可以实现线程间的切换执行。

6. 异步:异步和同步是相对的,同步就是顺序执行,执行完一个再执行下一个,需要等待、协调运行。异步就是彼此独立,在等待某事件的过程中继续做自己的事,不需要等待这一事件完成后再工作。线程就是实现异步的一个方式。异步是让调用方法的主线程不需要同步等待另一线程的完成,从而可以让主线程干其它的事情。
异步和多线程并不是一个同等关系,异步是最终目的,多线程只是我们实现异步的一种手段。异步是当一个调用请求发送给被调用者,而调用者不用等待其结果的返回而可以做其它的事情。实现异步可以采用多线程技术或则交给另外的进程来处理。


为了对以上概念的更好理解举一个简单例子, 

 假设我要做 烧开水,举杠铃100下, 洗衣服 3件事情。

烧开水 这件事情, 我要做的事情为, 准备烧开水 1分钟, 等开水烧开 8 分钟 , 关掉烧水机 1分钟
举杠铃100下 我要做的事情为, 举杠铃100下 10分钟
洗衣服 我要做的事情为, 准备洗衣服 1分钟, 等开水烧开 5 分钟 , 关掉洗衣机 1分钟

单核情况下
同步的完成,我需要做的时间为 1+ 8 +1 + 10 + 1+ 5 +1 = 27 分

如果异步,就是在等的时候,我可以切换去做别的事情

准备烧开水(1) + 准备洗衣服(1) + 举50下杠铃 (5)分钟+ 关洗衣机 1分钟 + 举杠铃20下 (2)分钟+ 关烧水机 1分钟 + 举30下杠铃(3)分钟
1+1+5+1+2+1+3 =14 分钟


双核 异步 并行

核1 准备烧开水 1分钟+ 举杠铃50下(5)分钟+ 等待3分钟 + 关掉烧水机 1分钟

核2 准备洗衣服 1分钟+ 举杠铃50下(5)分钟+ 关掉洗衣机 1分钟 + 等待3分钟

其实只花了 1+5+3+1 = 10分钟

其中还有双核都等待了3分钟
双核 异步 非并行

核1 举杠铃100下(10)分钟

核2 准备烧开水 1分钟+ 准备洗衣服 1分钟+ 等待5 分钟+ + 关掉烧水机 1分钟 + 等待 1 分钟 + 关掉洗衣机 1分钟

其实只花了 1+5+3+1 = 10分钟
多线程的做法
单核下

线程1 准备烧开水 1分钟, 等开水烧开 8 分钟 , 关掉烧水机 1分钟
线程2 举杠铃100下 10分钟
线程3 准备洗衣服 1分钟, 等开水烧开 5 分钟 , 关掉洗衣机 1分钟

cpu 可能这么切换 最理想的切换方式

线程1 准备烧开水1 sleep 1 sleep 5 sleep 1 sleep 2 关开水 1分钟 exit
线程2 sleep 1 sleep 1 举杠铃50 5分钟 sleep 1 举杠铃20 2分钟 sleep1 举杠铃30下 3分钟 
线程3 sleep 1 准备洗衣服1 分钟 sleep 5 关洗衣机1分钟 exit

最后使用了 14分钟 和异步是一样的。
但是实际上是不一样的,因为线程不会按照我们设想的去跑, 如果线程2 举杠铃先跑,整个流程的速度就下来了。

异步和同步的区别, 在io等待的时候,同步不会切走,浪费了时间。

如果都是独占cpu 的业务, 比如举杠铃的业务, 在单核情况下 多线和单线 没有区别。

多线程的好处,比较容易的实现了 异步切换的思想, 因为异步的程序很难写的。多线程本身程还是以同步完成,但是应该说
比效率是比不上异步的。 而且多线很容易写, 相对效率也高。

多核的好处,就是可以同时做事情, 这个和单核完全不一样的。

  • 20
    点赞
  • 179
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
同步概念 所谓同步,即同时起步,协调一致。不同的对象,对“同步”的理解方式略有不同。如,设备同步,是指在两个设备之间规定一个共同的时间参考;数据库同步,是指让两个或多个数据库内容保持一致,或者按需要部分保持一致;文件同步,是指让两个或多个文件夹里的文件保持一致。等等 而,编程中、通信中所说的同步与生活中大家印象中的同步概念略有差异。“同”字应是指协同、协助、互相配合。主旨在协同步调,按预定的先后次序运行。 线程同步 同步即协同步调,按预定的先后次序运行。 线程同步,指一个线程发出某一功能调用时,在没有得到结果之前,该调用不返回。同时其它线程为保证数据一致性,不能调用该功能。 举例1: 银行存款 5000。柜台,折:取3000;提款机,卡:取 3000。剩余:2000 举例2: 内存中100字节,线程T1欲填入全1, 线程T2欲填入全0。但如果T1执行了50个字节失去cpu,T2执行,会将T1写过的内容覆盖。当T1再次获得cpu继续 从失去cpu的位置向后写入1,当执行结束,内存中的100字节,既不是全1,也不是全0。 产生的现象叫做“与时间有关的错误”(time related)。为了避免这种数据混乱,线程需要同步。 “同步”的目的,是为了避免数据混乱,解决与时间有关的错误。实际上,不仅线程间需要同步,进程间、信号间等等都需要同步机制。 因此,所有“多个控制流,共同操作一个共享资源”的情况,都需要同步。 数据混乱原因: 1. 资源共享(独享资源则不会) 2. 调度随机(意味着数据访问会出现竞争) 3. 线程间缺乏必要的同步机制。 以上3点中,前两点不能改变,欲提高效率,传递数据,资源必须共享。只要共享资源,就一定会出现竞争。只要存在竞争关系,数据就很容易出现混乱。 所以只能从第三点着手解决。使多个线程在访问共享资源的时候,出现互斥。 互斥量mutex Linux中提供一把互斥锁mutex(也称之为互斥量)。 每个线程在对资源操作前都尝试先加锁,成功加锁才能操作,操作结束解锁。 资源还是共享的,线程间也还是竞争的, 但通过“锁”就将资源的访问变成互斥操作,而后与时间有关的错误也不会再产生了。 但,应注意:同一时刻,只能有一个线程持有该锁。 当A线程对某个全局变量加锁访问,B在访问前尝试加锁,拿不到锁,B阻塞。C线程不去加锁,而直接访问该全局变量,依然能够访问,但会出现数据混乱。 所以,互斥锁实质上是操作系统提供的一把“建议锁”(又称“协同锁”),建议程序中有多线程访问共享资源的时候使用该机制。但,并没有强制限定。 因此,即使有了mutex,如果有线程不按规则来访问数据,依然会造成数据混乱。 主要应用函数: pthread_mutex_init函数 pthread_mutex_destroy函数 pthread_mutex_lock函数 pthread_mutex_trylock函数 pthread_mutex_unlock函数 以上5个函数的返回值都是:成功返回0, 失败返回错误号。 pthread_mutex_t 类型,其本质是一个结构体。为简化理解,应用时可忽略其实现细节,简单当成整数看待。 pthread_mutex_t mutex; 变量mutex只有两种取值1、0。 pthread_mutex_init函数 初始化一个互斥锁(互斥量) ---> 初值可看作1 int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr); 参1:传出参数,调用时应传 &mutex restrict关键字:只用于限制指针,告诉编译器,所有修改该指针指向内存中内容的操作,只能通过本指针完成。不能通过除本指针以外的其他变量或指针修改 参2:互斥量属性。是一个传入参数,通常传NULL,选用默认属性(线程间共享)。 参APUE.12.4同步属性 1. 静态初始化:如果互斥锁 mutex 是静态分配的(定义在全局,或加了static关键字修饰),可以直接使用宏进行初始化。e.g. pthead_mutex_t muetx = PTHREAD_MUTEX_INITIALIZER; 2. 动态初始化:局部变量应采用动态初始化。e.g. pthread_mutex_init(&mutex, NULL) pthread_mutex_destroy函数 销毁一个互斥锁 int pthread_mutex_destroy(pthread_mutex_t *mutex); pthread_mutex_lock函数 加锁。可理解为将mutex--(或-1) int pthread_mutex_lock(pthread_mutex_t *mutex); pthread_mutex_unlock函数 解锁。可理解为将mutex ++(或+1) int pthread_mutex_unlock(pthread_mutex_t *mutex); pthread_mutex_trylock函数 尝试加锁 int pthread_mutex_trylock(pthread_mutex_t *mutex); 加锁与解锁 lock与unlock: lock尝试加锁,如果加锁不成功,线程阻塞,阻塞到持有该互斥量的其他线程解锁为止。 unlock主动解锁函数,同时将阻塞在该锁上的所有线程全部唤醒,至于哪个线程先被唤醒,取决于优先级、调度。默认:先阻塞、先唤醒。 例如:T1 T2 T3 T4 使用一把mutex锁。T1加锁成功,其他线程均阻塞,直至T1解锁。T1解锁后,T2 T3 T4均被唤醒,并自动再次尝试加锁。 可假想mutex锁 init成功初值为1。 lock 功能是将mutex--。 unlock将mutex++ lock与trylock: lock加锁失败会阻塞,等待锁释放。 trylock加锁失败直接返回错误号(如:EBUSY),不阻塞。 加锁步骤测试: 看如下程序:该程序是非常典型的,由于共享、竞争而没有加任何同步机制,导致产生于时间有关的错误,造成数据混乱: #include #include #include void *tfn(void *arg) { srand(time(NULL)); while (1) { printf("hello "); sleep(rand() % 3); /*模拟长时间操作共享资源,导致cpu易主,产生与时间有关的错误*/ printf("world\n"); sleep(rand() % 3); } return NULL; } int main(void) { pthread_t tid; srand(time(NULL)); pthread_create(&tid, NULL, tfn, NULL); while (1) { printf("HELLO "); sleep(rand() % 3); printf("WORLD\n"); sleep(rand() % 3); } pthread_join(tid, NULL); return 0; } 【mutex.c】 【练习】:修改该程序,使用mutex互斥锁进行同步。 1. 定义全局互斥量,初始化init(&m, NULL)互斥量,添加对应的destry 2. 两个线程while中,两次printf前后,分别加lock和unlock 3. 将unlock挪至第二个sleep后,发现交替现象很难出现。 线程在操作完共享资源后本应该立即解锁,但修改后,线程抱着锁睡眠。睡醒解锁后又立即加锁,这两个库函数本身不会阻塞。 所以在这两行代码之间失去cpu的概率很小。因此,另外一个线程很难得到加锁的机会。 4. main 中加flag = 5 将flg在while中-- 这时,主线程输出5次后试图销毁锁,但子线程未将锁释放,无法完成。 5. main 中加pthread_cancel()将子线程取消。 【pthrd_mutex.c】 结论: 在访问共享资源前加锁,访问结束后立即解锁。锁的“粒度”应越小越好。 死锁 1. 线程试图对同一个互斥量A加锁两次。 2. 线程1拥有A锁,请求获得B锁;线程2拥有B锁,请求获得A锁 【作业】:编写程序,实现上述两种死锁现象。 读写锁 与互斥量类似,但读写锁允许更高的并行性。其特性为:写独占,读共享。 读写锁状态: 一把读写锁具备三种状态: 1. 读模式下加锁状态 (读锁) 2. 写模式下加锁状态 (写锁) 3. 不加锁状态 读写锁特性: 1. 读写锁是“写模式加锁”时, 解锁前,所有对该锁加锁的线程都会被阻塞。 2. 读写锁是“读模式加锁”时, 如果线程以读模式对其加锁会成功;如果线程以写模式加锁会阻塞。 3. 读写锁是“读模式加锁”时, 既有试图以写模式加锁的线程,也有试图以读模式加锁的线程。那么读写锁会阻塞随后的读模式锁请求。优先满足写模式锁。读锁、写锁并行阻塞,写锁优先级高 读写锁也叫共享-独占锁。当读写锁以读模式锁住时,它是以共享模式锁住的;当它以写模式锁住时,它是以独占模式锁住的。写独占、读共享。 读写锁非常适合于对数据结构读的次数远大于写的情况。 主要应用函数: pthread_rwlock_init函数 pthread_rwlock_destroy函数 pthread_rwlock_rdlock函数 pthread_rwlock_wrlock函数 pthread_rwlock_tryrdlock函数 pthread_rwlock_trywrlock函数 pthread_rwlock_unlock函数 以上7 个函数的返回值都是:成功返回0, 失败直接返回错误号。 pthread_rwlock_t类型 用于定义一个读写锁变量。 pthread_rwlock_t rwlock; pthread_rwlock_init函数 初始化一把读写锁 int pthread_rwlock_init(pthread_rwlock_t *restrict rwlock, const pthread_rwlockattr_t *restrict attr); 参2:attr表读写锁属性,通常使用默认属性,传NULL即可。 pthread_rwlock_destroy函数 销毁一把读写锁 int pthread_rwlock_destroy(pthread_rwlock_t *rwlock); pthread_rwlock_rdlock函数 以读方式请求读写锁。(常简称为:请求读锁) int pthread_rwlock_rdlock(pthread_rwlock_t *rwlock); pthread_rwlock_wrlock函数 以写方式请求读写锁。(常简称为:请求写锁) int pthread_rwlock_wrlock(pthread_rwlock_t *rwlock); pthread_rwlock_unlock函数 解锁 int pthread_rwlock_unlock(pthread_rwlock_t *rwlock); pthread_rwlock_tryrdlock函数 非阻塞以读方式请求读写锁(非阻塞请求读锁) int pthread_

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值