下面来看一个经典的多线程的同步和互斥的问题,问题的描述:
主线程启动10个子线程并将表示子线程序号的变量的地址作为参数传递给子线程。子线程接收参数->sleep(50)->全局变量++->sleep(0)->输出参数和全局变量。
要求:
1. 子线程输出的线程序号不能重复
2. 全局变量的输出必须是递增的
下面画个简单的示意图:
这个问题的考察点主要是:
1.主线程创建子线程并传入一个指向变量地址的指针作参数,由于线程启动须要花费一定的时间,所以在子线程根据这个指针访问并保存数据前,主线程应等待子线程保存完毕后才能改动该参数并启动下一个线程。这涉及到主线程与子线程之间的同步。
2.子线程之间会互斥的改动和输出全局变量。要求全局变量的输出必须递增。这涉及到各子线程间的互斥。
#include <stdio.h> #include <process.h> #include <windows.h> //全局资源 long g_nNum; //子线程个数 const int THREAD_NUM = 10; unsigned int __stdcall Fun(void *param) { int i = *(int *)param; Sleep(50); g_nNum++; Sleep(0); printf("线程编号为%d 全局资源为%d ", i, g_nNum); return 0; } int main(void) { g_nNum = 0; HANDLE handle[THREAD_NUM]; int i = 0; while (i < THREAD_NUM) { handle[i] = (HANDLE)_beginthreadex(NULL, 0, Fun, &i, 0, NULL); i++; } //保证子线程全部运行结束并返回 WaitForMultipleObjects(THREAD_NUM, handle, true, INFINITE); return 0; }
执行结果:
原因分析:
正确的流程应该是: main线程创建thread1子线程,thread1把i的值读走,然后main线程执行i++。 然后创建第二个线程,第二个线程再把更新后的i读走,然后main线程执行i++。 现在错误的流程: main线程创建thread1子线程,然后thread1的创建需要一定的时间,main线程执行i++。 之后main线程thread2子线程,同样thread2的创建也需要时间,main线程执行i++。 然后thread1和thread2创建完成,分别可以执行了,然后读取i的值,但是这时i的值已经是3, 不是当初main线程想传给它们的值。没有做好main线程和子线程的同步处理。
通过执行的结果可以看出完全是混乱和不可预知的。
接下来的几篇文章将运用Windows平台下的手段分析解决这个问题,方法包括关键段、事件、互斥量、信号量等方法。