volatile不能保证线程安全

---

在dpdk中，由于封装了原子量的操作。如

1. typedefstruct{
2. volatileint32_t cnt;/**< An internal counter value. */
3. }rte_atomic32_t;

但是很多人在使用的时候，经常如下使用

1. rte_atomic32_t pkt_count;
2. pkt_count.cnt +=......

这样在多线程中其实是很不安全的。

例子：

1. #include<pthread.h>
2. #include<stdio.h>
3. volatileint test=0;
4. //pthread_rwlock_t rwlock = PTHREAD_RWLOCK_INITIALIZER;
5. void* print_xs (void* used)
6. {
7. //pthread_rwlock_wrlock(&rwlock);
8. test=test+2;
9. //pthread_rwlock_unlock(&rwlock);
10. sleep(1);
11. //pthread_rwlock_wrlock(&rwlock);
12. test=test+3;
13. //pthread_rwlock_unlock(&rwlock);
15. }
16. int main (){
17. pthread_t thread_id[100];
18. int data=0;
19. int i=0;
20. for(i=0; i<100; i++){
21. pthread_create (&(thread_id[i]), NULL, print_xs, NULL);
22. }
23. for(i=0; i<100; i++){
24. pthread_join(thread_id[i],NULL);
25. }
26. printf("%d ",test);
27. return-1;
28. }

测试代码如上，定义了volatile ，在不加锁的情况下执行。

执行结果比较随机，都不是500。

 

摘抄一段维基百科的话：

在程序设计中，尤其是在C语言、C++、C#和Java语言中，使用volatile关键字声明的变量或对象通常具有与优化、多线程相关的特殊属性。通常，volatile关键字用来阻止（伪）编译器认为的无法“被代码本身”改变的代码（变量/对象）进行优化。如在C语言中，volatile关键字可以用来提醒编译器它后面所定义的变量随时有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据。如果没有volatile关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。

 

null