首页 > 代码库 > volatile不能保证线程安全

volatile不能保证线程安全

2024-09-06 13:12:13   215人阅读

在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\n",test);
  27. return-1;
  28. }
测试代码如上，定义了volatile ，在不加锁的情况下执行。
执行结果比较随机，都不是500。
 
摘抄一段维基百科的话：
在程序设计中，尤其是在C语言、C++、C#和Java语言中，使用volatile关键字声明的变量或对象通常具有与优化、多线程相关的特殊属性。通常，volatile关键字用来阻止（伪）编译器认为的无法“被代码本身”改变的代码（变量/对象）进行优化。如在C语言中，volatile关键字可以用来提醒编译器它后面所定义的变量随时有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据。如果没有volatile关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。
 



null



volatile不能保证线程安全


联系
我们