volatile不能保证线程安全

Posted yml435

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了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);
  14. }
  15. int main (){
  16. pthread_t thread_id[100];
  17. int data=0;
  18. int i=0;
  19. for(i=0; i<100; i++){
  20. pthread_create (&(thread_id[i]), NULL, print_xs, NULL);
  21. }
  22. for(i=0; i<100; i++){
  23. pthread_join(thread_id[i],NULL);
  24. }
  25. printf("%d\n",test);
  26. return-1;
  27. }
测试代码如上,定义了volatile ,在不加锁的情况下执行。
执行结果比较随机,都不是500。
 
摘抄一段维基百科的话:
程序设计中,尤其是在C语言C++C#Java语言中,使用volatile关键字声明的变量对象通常具有与优化、多线程相关的特殊属性。通常,volatile关键字用来阻止(伪)编译器认为的无法“被代码本身”改变的代码(变量/对象)进行优化。如在C语言中,volatile关键字可以用来提醒编译器它后面所定义的变量随时有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据。如果没有volatile关键字,则编译器可能优化读取和存储,可能暂时使用寄存器中的值,如果这个变量由别的程序更新了的话,将出现不一致的现象
 





以上是关于volatile不能保证线程安全的主要内容,如果未能解决你的问题,请参考以下文章

volatile不能保证线程安全

volatile为啥不能保证原子性

volatile关键字能否保证线程安全?

volatile关键字是不是能保证线程安全

volatile与synchronized区别

volatile原理和使用场景