首先,这里没有博主的傻逼!
由此可见(C语言volatile关键字详解),编译器优化会对多线程数据同步有影响,我们深入程序输出以及汇编程序去探讨为什么会产生影响!并解决问题
1.上代码:
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
int a = 1;
void *child_pth_fun(void *arg);
int main(){
int b, c;
volatile int val = 10000000;
//创建子线程
pthread_t child_pth_id;
pthread_create(&child_pth_id, NULL, child_pth_fun, NULL);
b = a;
//模拟一段很长的程序段,消耗主线程时间片,以便系统调度子线程
while(val--);
c = a;
if(c == b)
printf("In main pthread: a=%d, b=%d, c=%d\n", a, b, a);
pthread_join(child_pth_id, NULL);
return 0;
}
void *child_pth_fun(void *arg){
//子线程修改共享的全局变量
a = 4;
printf("In child pthread: a=%d\n", a);
}
编译命令:arm-linux-gcc -O3 -o pthread pthread.c
(使用gcc编译器也可以,但是博主只会看一点点ARM汇编,后面要分析汇编,莫得办法 - _ - ! )
程序输出:
In child pthread: a=4
In main pthread: a=1, b=1, c=1
但是,这样主线程不是应该输出 :
In main pthread: a=4, b=1, c=4
(其实是没输出的,因为有个 if 判断,if 的作用是在汇编程序中,有利于小白博主定位程序汇编代码,按照流程,a b c 的值应该如上。)
2.上办法
仅仅需要在共享的全局变量加以volatie修饰!
volatile int a = 1;
3.打破砂锅问到底
在C语言代码,我们始终都找不到其中的问题所在!我们深入汇编中看看!
4.所以
我们在多线程共享的全局变量中,需要注意加以 volatile 修饰,去确保数据同步!
5.坑
其实,找到这个方法去做实验并不容易,为什么?因为编译器已经很“智能”,甚至帮你优化的同时还解决了优化带来的问题,比如如果将 程序中:
while(val--); 换成 sleep() 会发现上述问题不会出现
编译器照顾的十分全局了,知道sleep()会使线程释放CPU控制权,再次进来的时候会重新从内存中读取全局变量!