int a; 一个线程写a，另一线程读a，如果不加锁，果然出现写了一半，读了一半的情况！

iw1210

int  a; 一个线程写a，另一线程读a，如果不加锁，果然出现写了一半，读了一半的情况！

比如写线程里两条语句
a = 2;
a = 3;

在执行完 a = 2 还没执行 a = 3 完时，读线程去读a，读到的有可能就不是2！！！

例子：

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <pthread.h>
   
4. #include <assert.h>
   
5. 
   
6. #define      MAXVAL      (~0)
   
7. #define      STARTVAL      (MAXVAL-5)
   
8. 
   
9. #define      LOCK(mutex)              //pthread_mutex_lock(&(mutex))
   
10. #define      UNLOCK(mutex)      //pthread_mutex_unlock(&(mutex));
    
11. 
    
12. 
    
13. pthread_mutex_t                mtx;
    
14. unsigned int          a = STARTVAL;
    
15. 
    
16. 
    
17. static void  treadfun(void)
    
18. {
    
19.         while(1)
    
20.         {
    
21.                 LOCK(mtx);
    
22.                         if(MAXVAL == a)
    
23.                                 a = STARTVAL;
    
24.                         else
    
25.                                 a++;
    
26.                 UNLOCK(mtx);
    
27.         }
    
28.         return;
    
29. }
    
30. 
    
31. int main()
    
32. {
    
33.         int  i;
    
34.         pthread_t        tid[10];
    
35. 
    
36.         printf("MAXVAL = %u, STARTVAL = %u\n", MAXVAL, STARTVAL);
    
37. 
    
38.         pthread_mutex_init(&mtx, NULL);
    
39. 
    
40.         for(i=0; i<10; i++)
    
41.         {
    
42.                 if(0 != pthread_create(&tid[i],NULL,(void *)treadfun,NULL))
    
43.                 {
    
44.                         fprintf(stderr,"Create thread error!\n");
    
45.                         return -1;
    
46.                 }
    
47.         }
    
48. 
    
49.         while(1)
    
50.         {
    
51.                 printf("a = %u\n", a);
    
52.                 LOCK(mtx);
    
53.                 assert(STARTVAL <= a && a <= MAXVAL );
    
54.                 UNLOCK(mtx);
    
55.         }
    
56.        
    
57.         pthread_mutex_destroy(&mtx);
    
58. 
    
59.         printf("test end.\n");
    
60. 
    
61.         return 0;
    
62. }
    
63. 
    
64. 
    

复制代码

执行结果：
... ...
a = 4294967291
a = 4294967295
a = 4294967293
a = 4294967292
a = 4294967290
a = 4294967295
a = 4294967293
a = 4294967295
a = 4294967292
main: Assertion `((~0)-5) <= a && a <= (~0)' failed.
Aborted (core dumped)

wait_rabbit

你要是读出来的既不是2，也不是3，那才有点儿意思。

iw1210

wait_rabbit 发表于 2013-04-17 12:18
你要是读出来的既不是2，也不是3，那才有点儿意思。

就是既不是2也不是3，所以assert(2==a || 3 == a)时程序退出

wait_rabbit

回复 3# iw1210

上代码。 以及执行的打印消息，把a打出来看看。

   

phy0077

gcc -S

wonghoifung

顶一下，顺便查看一下徽章

lrita

同步一下 不就得了

linux_c_py_php

不加锁你问个毛啊。

folklore

it is impossilbe.
even you don't take an interlock here, what you said is impossible to happen.
i am sure you take a mistake that how to r/w a file.
(checked that the reading is successful or not?)

abcbuzhiming

双线程持有一个对象（值）的时候不同步肯定会出现这个状况，因为你并不能知道两个线程执行的先后顺序以及执行到什么程度就会切换线程