主内存与工作内存的交互8种操作必须遵循以下规则

在将变量从主内存读取到工作内存中，必须顺序执行read、load；要将变量从工作内存同步回主内存中，必须顺序执行store、write。并且这8种操作必须遵循以下规则： 
- 1，不允许read和load、store和write操作之一单独出现。即不允许一个变量从主内存被读取了，但是工作内存不接受，或者从工作内存回写了但是主内存不接受。 
- 2，不允许一个线程丢弃它最近的一个assign操作，即变量在工作内存被更改后必须同步改更改回主内存。 
- 3，工作内存中的变量在没有执行过assign操作时，不允许无意义的同步回主内存。 
- 4，在执行use前必须已执行load，在执行store前必须已执行assign。 
- 5，一个变量在同一时刻只允许一个线程对其执行lock操作，一个线程可以对同一个变量执行多次lock，但必须执行相同次数的unlock操作才可解锁。 
- 6，一个线程在lock一个变量的时候，将会清空工作内存中的此变量的值，执行引擎在use前必须重新read和load。 
- 7，线程不允许unlock其他线程的lock操作。并且unlock操作必须是在本线程的lock操作之后。 
- 8，在执行unlock之前，必须首先执行了store和write操作。