java类模型 java编程模型

文章目录

• Java内存模型
• 一、结构
• 二、指令重排

• 1.编译器优化的重排序
• 2.指令级并行的重排序
• 3.内存系统的重排序

• 三、happens-before
• 四、Synchronized

• 1.修饰代码块
• 2.修饰方法

• 五、锁

• 1、Volatile
• 2、Final

• 总结

---

Java内存模型

---

一、结构

二、指令重排

1.编译器优化的重排序

2.指令级并行的重排序

3.内存系统的重排序

三、happens-before

• 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前
• 两个操作之间存在happens-before关系，并不意味着java平台的具体实现必须要按照happens-before关系指定的顺序来执行

---

四、Synchronized

1.修饰代码块

会在执行该段代码的时候，开始结尾处增加monitorenter和monitorexit

public class Demo{
	public void method(){
		synchoronzed(this){
			//执行业务
		}
	}
}

2.修饰方法

会在执行该端代码出增加ACC_SYNCHRONIZED（acc_synchronized）

public class Demo2{
	public synchronized void method(){
		//执行的业务
	}
}

五、锁

• 线程A释放一个锁，实质上是线程A向接下来将要获取这个锁的某个线程发出(线程A对共享变量所在的修改的)消息
• 线程B获取一个锁，实质上是线程B接收了之前某个线程发出的(在释放这个锁之前对共享变量所做的修改)消息
• 线程A释放锁，随后线程B获取这个锁，这个过程实质上是线程A通过主内存向线程B发送消息

1、Volatile

• 线程A写一个volatile变量，实质上是线程A向接下来将要读这个volatile变量的某个线程发出了(对其共享变量所做的修改)的消息
• 线程B读一个volatile变量，实质上是线程B接受了之前某个线程发出的(在写这个volatile变量之前对共享变量所做修改的)消息
• 线程A写一个volatile变量，随后线程B读这个volatile变量，这个过程实质上是线程A通过主内存向线程B发送消息

2、Final

• 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序
• 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。

注

• JMM禁止编译器把final域的写 重排序到构造函数之外
• 编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障
• 在一个线程中，初次读对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这两个操作

总结

public class InstaceFactory { 
	private static class InstaceHolder{
		public static Instance instance = new Instance();
	}
	public static Instance getInstance(){
		return InstanceHolder.instance;//这里将导致InstanceHolder类初始化
	}
	public static class Instance{
		private Integer age;
		
	}
}