线程并发执行带来的问题

　　线程并发会引发一些难以发现的错误，现在就来看一个简单的线程的并发导致的问题，首先来看下面程序，程序很简单，就是创建了3个线程，第一个线程对i和count加1，第二个线程对j和count加1，第三个线程对k和count加1，i，j，k，count初始化都为0，这样的华，按照逻辑来说，最后i+j+k = count：

 

1 #include < stdio.h >
2 #include < stdlib.h >
3 #include < pthread.h >
4
5   int count = 0 ;
6   int i = 0 ;
7   int j = 0 ;
8   int k = 0 ;
9
10   /* 给i的值和count的值加1 */
11 void * modify_i_thread( void * data)
12 {
13 for (;;) {
14 i ++ ;
15 count ++ ;
16 }
17 }
18
19 /* 给j的值和count的值加1 */
20 void * modify_j_thread( void * data)
21 {
22 for (;;) {
23 j ++ ;
24 count ++ ;
25 }
26 }
27
28 /* 给k的值和count的值加1 */
29 void * modify_k_thread( void * data)
30 {
31 for (;;) {
32 k ++ ;
33 count ++ ;
34 }
35 }
36
37 int main( void )
38 {
39 pthread_t pthid;
40
41 /* 创建三个线程 */
42 pthread_create( & pthid, NULL, modify_i_thread, NULL);
43 pthread_create( & pthid, NULL, modify_j_thread, NULL);
44 pthread_create( & pthid, NULL, modify_k_thread, NULL);
45
46 sleep( 1 );
47
48 /* 打印结果 */
49 printf( " i = %d, j = %d, k= %d, count = %d\n " , i, j, k, count);
50 printf( " i+j+k=%d\n " , i + j + k);
51
52 return 0 ;
53 }

 

在我机子上执行的结果是:

i = 92394160, j = 55544601, k= 42663454, count = 74003307
i+j+k=190606856

 

　　很明显，i+j+k != count，为什么会发生这样的问题呢？首先我们可以肯定的是，按照数学逻辑上讲，本文一开始的假定（i+j+k = count）是正确的，但是执行结果却出乎我们的意料，或许，问题就出在线程的并发执行上。再来仔细分析下创建的线程执行的操作，3个线程中都对count进行了++操作，++操作在C语言中看起来是一条语句，实际上编译后是3条语句，首先将count的值写入寄存器，然后对其进行加1操作，在接着将寄存器的值读出，保存在count中。现在来再看看这个程序，三个线程简称为A、B、C，如果A刚刚把count的值写入寄存器中，此时调度程序调度B线程开始运行，这个时候，B对count进行了N次加法操作，此时count ＝ count+N，此时调度程序恢复执行A线程，那么此时A中保存的count的值却是是B线程执行前的值，此时，A再对count进行操作时，就是基于旧的值（其他线程对count进行操作前的值），而不是最新的值，所以count的值并不是我们期望中的值。

　　一个小小的并发程序，却也引出了这样的一个问题，所以在遇到并发程序时，最好先想想怎么样利用同步和互斥操作来避免这样的错误。错误之处，还轻您斧正。先谢谢啦。

转载于:https://www.cnblogs.com/huangwei/archive/2010/05/25/1743938.html