小编san*_*yok的帖子

语言规范中专门针对 Java 内存模型 (JMM) 的部分（链接）多次提到“执行跟踪”。

例如从一开始：

给定一个程序和该程序的执行跟踪，存储器模型描述该执行跟踪是否是该程序的合法执行。Java 编程语言内存模型的工作原理是检查执行跟踪中的每次读取，并根据特定规则检查该读取观察到的写入是否有效。

但我找不到这个术语的任何描述/定义。

那么，JMM 中的“执行跟踪”到底是什么？它到底由什么组成？
最受欢迎的是对语言规范文本中特定位置的引用。