java语言规范提供了判断（格式良好的）执行是否满足“java内存模型的因果关系需求”的标准。假设执行是有限的。我想知道是否有多项式时间算法来证明或反驳这一点。
事实上，我并不是在寻找一个详细的复杂性理论类型分析，这个问题可以更宽松地解释为：这些因果关系需求是否真的提供了一个实用的定义，可以应用于实践中的程序执行——如果是，如何？
事实上，蓝框的措辞似乎意味着，作者确实有一种实际的方法来筛选正式定义中所要求的行动子集链的空间——我不明白：
内存模型将给定的执行和程序作为输入，并确定该执行是否是程序的合法执行。它通过逐步构建一组反映程序执行哪些操作的“已提交”操作来实现这一点。通常，要提交的下一个操作将反映可由顺序一致执行执行的下一个操作。但是，为了反映需要稍后写入的读取，我们允许某些操作比之前发生的其他操作更早提交。。。
非正式地说，如果我们知道可以在不假设发生数据竞争的情况下执行操作，我们就允许提前提交操作。”
如果有人能把这个草图应用到一个简单的例子中，那也会很有帮助。
编辑：有人指出，也许作者心目中的是识别者，而不是决策者。我对其中任何一个都很在行——整个复杂性Angular 只是一种问这个定义是否/如何在实践中应用的方式。