一、同步八种操作
1、lock(锁定): 作用于主内存的变量,把一个变量标识为一条线程独占状态
2、unlock(解锁): 作用于主内存的变量,把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定。
3、read(读取): 作用于主内存的变量,把一个变量值从主内存传输到线程的工作内存中,方便线程load动作使用。
4、load(载入): 作用于工作内存的变量,它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
5、use(使用): 作用于工作内存的变量,把工作内存这篇的一个变量值传递给执行引擎。
6、assign(赋值): 作用于工作内存的变量,它把一个从执行引擎接收到的值赋值给工作内存的变量。
7、store(存储): 作用于工作内存的变量,把工作内存中的一个变量的值传送到主内存中,方便write操作
8、write(写入): 作用于主内存的变量,它把store操作从工作内存中的一个变量值传送到主内存的变量中
二、同步规则
1、如果要把一个变量从主内存中赋值到工作内存,就需要按顺序地执行read 和load 操作,如果把变量从工作内存中同步回主内存中,就要顺序地执行store和write 操作。java内存模型只要求按顺序执行并没有保证必须连续。
2、不允许read 、load 、store 、write操作之一单独出现
3、不允许一个线程丢弃它的最近assigin 的操作,即变量在工作内存中改变了之后必须同步到主内存中
4、不允许一个线程无原因地(没有发生过任何assigin操作)把数据从工作内存同步回主内存中
5、一个新的变量只能在主内存中诞生,不允许在工作内存中直接使用一个未被初始化(load assign)的变量。即对一个变量实施use 和store 操作之前,必须先执行过assign 和load 操作
6、一个变量在同一时刻只允许一条线程对变量进行lock操作,但lock操作可以被同一条线程重复执行多次。多次执行lock后,只有执行相同次数的unlock操作,变量才会被解锁。lock 和unlock必须成对出现
7、如果对一个变量执行lock操作,将会清空工作内存中此变量的值,在执行引擎使用这个变量前要重新执行load或assigin操作初始化变量的值。
8、如果一个变量事先没有被lock操作锁定,则不允许对它执行unlock操作;也不允许unlock一个被其他线程锁定的变量。
9、对一个变量执行unlock操作之前,必须先把此变量同步到主内存中(执行store和write操作)