A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legal execution of the program.

• 内存模型描述给定程序的某个特定的执行轨迹是否是该程序的一个合法执行。其实这句话正常人多读几遍多少还能有有点似乎理解的感觉。接下来一句话就更诡异了