关闭

多线程第二篇 多线程中的隐蔽问题揭秘

158人阅读 评论(0) 收藏 举报
分类:

上一篇《多线程一  CreateThread_beginthreadex本质区别》中讲到一个多线程报数功能。为了描述方便和代码简洁起见,我们可以只输出最后的报数结果来观察程序是否运行出错。这也非常类似于统计一个网站每天有多少用户登录,每个用户登录用一个线程模拟,线程运行时会将一个表示计数的变量递增。程序在最后输出计数的值表示有今天多少个用户登录,如果这个值不等于我们启动的线程个数,那显然说明这个程序是有问题的。整个程序代码如下:

[html] view plaincopy
  1. #include <stdio.h>  
  2. #include <process.h>  
  3. #include <windows.h>  
  4.   
  5. volatile long g_nLoginCount; //登录次数  
  6. unsigned int __stdcall Fun(void *pPM); //线程函数  
  7. const int THREAD_NUM = 10;  //启动线程数  
  8.   
  9. unsigned int __stdcall ThreadFun(void *pPM)  
  10. {  
  11.     Sleep(100); //some work should to do  
  12.     g_nLoginCount++;  
  13.     Sleep(50);   
  14.     return 0;  
  15. }  
  16.   
  17. int main()  
  18. {  
  19.     g_nLoginCount = 0;  
  20.     HANDLE  handle[THREAD_NUM];  
  21.   
  22.     for (int i = 0; i < THREAD_NUM; i++)  
  23.         handle[i] = (HANDLE)_beginthreadex(NULL, 0, ThreadFun, NULL, 0, NULL);  
  24.       
  25.     WaitForMultipleObjects(THREAD_NUM, handle, TRUE, INFINITE);   
  26.   
  27.     printf("有%d个用户登录后记录结果是%d\n", THREAD_NUM, g_nLoginCount);  
  28.     return 0;  
  29. }  

    程序中模拟的是10个用户登录,程序将输出结果:有10个用户登录后记录结果是10。

    和上一篇的线程报数程序一样,程序输出的结果好象并没什么问题。下面我们增加点用户来试试,现在模拟50个用户登录,为了便于观察结果,在程序中将50个用户登录过程重复20次,代码如下:

[html] view plaincopy
  1. #include <stdio.h>  
  2. #include <windows.h>  
  3. volatile long g_nLoginCount; //登录次数  
  4. unsigned int __stdcall Fun(void *pPM); //线程函数  
  5. const DWORD THREAD_NUM = 50;//启动线程数  
  6. DWORD WINAPI ThreadFun(void *pPM)  
  7. {  
  8.     Sleep(100); //some work should to do  
  9.     g_nLoginCount++;  
  10.     Sleep(50);  
  11.     return 0;  
  12. }  
  13. int main()  
  14. {  
  15.     printf("     原子操作 Interlocked系列函数的使用\n");  
  16.     printf(" -- by MoreWindows( http://blog.csdn.net/MoreWindows ) --\n\n");  
  17.       
  18.     //重复20次以便观察多线程访问同一资源时导致的冲突  
  19.     int num20;  
  20.     while (num--)  
  21.     {     
  22.         g_nLoginCount = 0;  
  23.         int i;  
  24.         HANDLE  handle[THREAD_NUM];  
  25.         for (i = 0; i < THREAD_NUM; i++)  
  26.             handle[i] = CreateThread(NULL, 0, ThreadFun, NULL, 0, NULL);  
  27.         WaitForMultipleObjects(THREAD_NUM, handle, TRUE, INFINITE);  
  28.         printf("有%d个用户登录后记录结果是%d\n", THREAD_NUM, g_nLoginCount);  
  29.     }  
  30.     return 0;  
  31. }  

    现在结果水落石出,明明有50个线程执行了g_nLoginCount++;操作,但结果输出是不确定的,有可能为50,但也有可能小于50

    要解决这个问题,我们就分析下g_nLoginCount++;操作。在VC6.0编译器对g_nLoginCount++;这一语句打个断点,再按F5进入调试状态,然后按下Debug工具栏的Disassembly按钮,这样就出现了汇编代码窗口。可以发现在C/C++语言中一条简单的自增语句其实是由三条汇编代码组成的,如下图所示:

    讲解下这三条汇编意思:

    第一条汇编将g_nLoginCount的值从内存中读取到寄存器eax中。

    第二条汇编将寄存器eax中的值与1相加,计算结果仍存入寄存器eax中。

    第三条汇编将寄存器eax中的值写回内存中。

    这样由于线程执行的并发性,很可能线程A执行到第二句时,线程B开始执行,线程B将原来的值又写入寄存器eax中,这样线程A所主要计算的值就被线程B修改了。这样执行下来,结果是不可预知的——可能会出现50,可能小于50

    因此在多线程中操作一个变量时,应该注意线程直接的互斥与同步,下一张介绍关键段来进行多线程之间的互斥和同步。

 

文章转载于:http://blog.csdn.net/morewindows/article/details/7429155

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:9510次
    • 积分:179
    • 等级:
    • 排名:千里之外
    • 原创:2篇
    • 转载:44篇
    • 译文:0篇
    • 评论:1条
    最新评论