加载过程
lock（锁定）：作用于主内存的变量，把一个变量标志为只能一个线程独占的状态
unlock（解锁）：作用于主内存的变量，把一个处于锁定状态的变量释放出来，释放后可以被他线程锁定
read（读取）：作用于主内存的变量，把一个变量从主内存传输到线程工作内存中，为load动作做准备
load（载入）：作用于主内存的变量，将read操作从主内存中得到的变量放入工作内存的变量副本中
use（使用）：作用于工作内存的变量，把工作内存的变量传递给执行引擎
assign（赋值）：作用于工作内存的变量，将执行引擎收到的值赋值给工作内存的变量
store（存储）：作用于工作内存的变量，把工作内存中的一个变量的值传送到主内存中，以遍随后的write的操作
write（写入）：作用于主内存的变量，它把store操作从工作内存中的一个变量的值传送到主内存的变量中
规则
read与load、store与write成对出现
