JMM对多线程的一些约束

多线程存在的问题

1.所见非所得
2.无法肉眼去检测程序的准确性。
3.不同的运行平台有不同的表现
4.错误难以重现。

典型代码

public class Demo{
	int i = 0;
	boolean isRunning = true;
   public static void main(String[] args){
  	Demo demo = new Demo();
  	new Thread(){
		public void run(){
	 	while(isRunning){
	 		demo.i++;
	 	}
	 	System.out.println(demo.i);
	 	}
		}
		Thread.sleep(30000);
		isRunning = false;
		System.out.println("shutdown");
  }
}

代码在jdk32位和64位的server和client运行结果不同。

原因

jdk32位server和jdk64位会进行指令优化，将isRunning缓存为true变为
if(isRunning){
	while(true){
	}
}

可见性问题原因

1.cpu的高速缓存机制
2.java虚拟机对代码的优化。
java编程语言的语义允许Java编译器和微处理器进行执行优化。，这些优化导致了与代码不在同步，从而导致看似矛盾的行为。

解决

在java内存模型中规定：

使用volatile，修饰的变量，对其写入要和所有其他线程后续的读操作同步。因此，
使用volatile会禁止缓存，并且不做指令重排

JMM对于同步的规则定义

声明

JMM只对线程间操作生效，而对线程内无效

内容：

1.对volatile 变量V的写入，与所有其他线程后续对V的读同步
2.对于监视器m的解锁与所有后续操作对于m的加锁同步。
3.每个属性写入的默认值，与每个线程对其进行的操作同步
4.启动线程的操作和线程第一个操作同步
5.线程T2的最后操作和线程T1发现线程T2已经结束同步。
6.如果T1中断了T2那么其他线程会同步发现T2停止。通常抛出InterrruptedException。

final在jmm中的处理

1.final在该对象的狗仔函数中色湖之对象的字段，当线程看到该对象时，将始终看到该对象的final字段的正确构造。
2.如果在投在函数中设置字段后发生读取，则会看到该final字段分配的值，否则他将会看到默认值。

字节分裂处理

不要对byte[]进行重新赋值。更不要在多线程程序中这样做。存在赋值被覆盖