在将变量从主内存读取到工作内存中,必须顺序执行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操作。
- 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操作。