求助：是否安全的volatile变量？

okocha-jay

volatile int count;

如果A线程只是访问该变量，

B线程会修改变量；

有问题吗？我感觉没问题。

望大家指导，谢谢。

梅川内依酷

SB的linux，shit

没问题啊，你不放心就加锁。

okocha-jay

谢谢。做了个测试代码。暂时没问题
有错误，还需再改。

1. #include <stdio.h>
   
2. #include <pthread.h>
   
3. 
   
4. #define N 100000
   
5. 
   
6. int a[N] = {0};
   
7. volatile int r = 0; // index to a
   
8. volatile int w = 0; // index to a
   
9. 
   
10. #define NotFull (w <= N - 1)
    
11. 
    
12. #define NotEmpty (r < w)
    
13. // w 是由生产者修改， 消费者要访问的
    
14. void * Pthread(void *arg) // 生产者
    
15. {
    
16.         printf("producer %u\n", pthread_self());
    
17.         while ( NotFull )
    
18.         {
    
19.                 usleep(1);
    
20.                 a[w] = w; // 模仿Stevens的进程间通信书中例子
    
21.                 ++w;
    
22.         }
    
23.         return 0;
    
24. }
    
25. 
    
26. void * Cthread(void *arg) // 消费者
    
27. {
    
28.         printf("consumer %u\n", pthread_self());
    
29.         while ( NotEmpty || NotFull )
    
30.         {
    
31.                                 usleep(1);
    
32.                 if ( !NotEmpty)//消费的太快了
    
33.                          continue;
    
34.                                     
    
35.                                 if ( r != a[r] )
    
36. 
    
37.                         printf("ERROR : a[%d] = %d\n", r, a[r]);
    
38.                                 ++ r;
    
39.         }
    
40. }
    
41. int main()
    
42. {
    
43.         pthread_t prod, con;
    
44. 
    
45.         pthread_create(&prod, NULL, Pthread, NULL);
    
46.         pthread_create(&con, NULL, Cthread, NULL);
    
47. 
    
48.         pthread_join(prod, NULL) ;
    
49.         pthread_join(con, NULL) ;
    
50.        
    
51.         return 0;
    
52. }
    

复制代码

davelv

volatile 变量阿，如果你对访问变量的正确性不是很高要求的话，这样做应该没问题。

egmkang

volatile 跟多线程没有任何关系

lyyunfei

我觉得关键看你的系统的架构，还有编译器。这种情况是有出错的可能的
typedef struct{
                         char a[3];
                         volatile    int    b;
                      } __attribute__((package));
b 不对齐，两个读操作，可以实验一下。两个读操作中间可能就线程切换了
我在猜想，linux的线程不是轻量级进程，会不会linux在调度器上有这样得优化，就是单核就让一个进程空间内的两个线程依次被调度，这样地址空间就不用做切换，cache，tlb都能保留。