编译器优化对多线程数据同步的影响(volatile详解实验二）

首先，这里没有博主的傻逼！

由此可见（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

图1-1 程序语句运行顺序

但是，这样主线程不是应该输出 ：

In main pthread: a=4, b=1, c=4             

（其实是没输出的，因为有个 if 判断，if 的作用是在汇编程序中，有利于小白博主定位程序汇编代码，按照流程，a b c 的值应该如上。）

2.上办法

仅仅需要在共享的全局变量加以volatie修饰！

volatile int a = 1;

 

3.打破砂锅问到底

在C语言代码，我们始终都找不到其中的问题所在！我们深入汇编中看看！

图3-1 汇编程序对比图
左（加入volatile修饰全局变量）

4.所以

我们在多线程共享的全局变量中，需要注意加以 volatile 修饰，去确保数据同步！

5.坑

其实，找到这个方法去做实验并不容易，为什么？因为编译器已经很“智能”，甚至帮你优化的同时还解决了优化带来的问题，比如如果将 程序中：

while(val--);         换成 sleep()   会发现上述问题不会出现

编译器照顾的十分全局了，知道sleep()会使线程释放CPU控制权，再次进来的时候会重新从内存中读取全局变量！