[发明专利]验证方法及装置以及相关产品

权利要求书

1.一种验证方法，其特征在于，所述方法应用于处理器，所述处理器包括多个处理单元，所述方法包括：

根据指令序列中预设的多个指令同步点，确定所述指令序列的多个同步域，其中，各指令同步点用于指示所述指令序列中通过一个或多个处理单元执行的多条指令之间的同步关系，各同步域用于指示相邻的指令同步点之间的指令子序列；

通过一个或多个所述处理单元执行多个同步域中的至少一组同步域的指令子序列，得到第一执行结果；

在所述第一执行结果存在错误时，确定所述第一执行结果中错误的第一数据以及对所述第一数据有操作的第一指令；

根据所述第一数据以及所述第一指令，执行与所述第一执行结果的错误类别对应的处理，以定位导致所述第一执行结果错误的指令，

其中，所述一组同步域包括被同一个指令同步点控制的一个或多个同步域。

2.根据权利要求1所述的方法，其特征在于，通过一个或多个所述处理单元执行多个同步域中的至少一组同步域的指令子序列，得到第一执行结果，包括：

根据各同步域之间的依赖关系，通过一个或多个所述处理单元执行多个同步域中的至少一组同步域的指令子序列，得到第一执行结果。

3.根据权利要求1所述的方法，其特征在于，根据所述第一数据以及所述第一指令，执行与所述第一执行结果的错误类别对应的处理，包括：

判断第一指令依赖树中是否存在与所述第一指令来自不同的同步域的第二指令；

在所述第一指令依赖树中存在与所述第一指令来自不同的同步域的第二指令时，将所述第二指令以及与所述第二指令有数据竞争的指令确定为触发错误的第三指令。

4.根据权利要求3所述的方法，其特征在于，所述至少一组同步域中包括一组第一同步域以及与所述第一同步域并行执行的至少一组第二同步域，

其中，根据所述第一数据以及所述第一指令，执行与所述第一执行结果的错误类别对应的处理，还包括：

在所述第一指令依赖树中不存在与所述第一指令来自不同的同步域的第二指令时，判断所述第一数据是否均来自所述第二同步域；

在所述第一数据均来自所述第二同步域时，执行下一级的至少一组同步域的指令子序列。

5.根据权利要求1所述的方法，其特征在于，所述至少一组同步域中包括一组第一同步域以及与所述第一同步域并行执行的至少一组第二同步域，所述第一执行结果包括所述第一同步域的指令同步点的机器状态快照，所述第一执行结果的错误类别包括状态快照异常；

根据所述第一数据以及所述第一指令，执行与所述第一执行结果的错误类别对应的处理，包括：

在所述第一执行结果的错误类别为状态快照异常时，判断所述第一数据是否均来自所述第二同步域；

在所述第一数据均来自所述第二同步域时，执行下一级的至少一组同步域的指令子序列。

6.根据权利要求4所述的方法，其特征在于，根据所述第一数据以及所述第一指令，执行与所述第一执行结果的错误类别对应的处理，还包括：

在所述第一数据不都来自所述第二同步域时，根据所述第一数据以及所述第一指令所在的同步域，确定第二指令依赖树；

根据所述第二指令依赖树，确定触发错误的第三指令。

7.根据权利要求3所述的方法，其特征在于，所述第一执行结果的错误类别包括环境错误；

根据所述第一数据以及所述第一指令，执行与所述第一执行结果的错误类别对应的处理，还包括：

在第一指令依赖树中的指令均来自同一个同步域，且所述第一执行结果的错误类别为环境错误时，将所述第一指令依赖树确定为触发错误的第三指令所在的第二指令依赖树；

根据所述第二指令依赖树，确定触发错误的第三指令。