2.2.1 校验代码

为了在程序中检测数据争用，必须首先对代码进行校验以监视运行时的内存访问。该校验可以在应用程序源代码上完成，也可以在已使用某些 Oracle 编译器优化标志进行编译的应用程序二进制代码上完成。本教程将介绍如何使用这两种校验程序的方法。

2.2.1.1 校验源代码

要校验源代码，必须使用特殊的编译器选项 -xinstrument=datarace 对应用程序进行编译。此选项会指示编译器对生成的代码进行校验，以便检测数据争用。

将 -xinstrument=datarace 编译器选项添加到用于编译程序的现有选项集中。

使用 -xinstrument=datarace 对程序进行编译时，务必还要指定 -g 选项，目的是生成其他信息以启用分析器的全部功能。对程序进行编译以检测数据争用时，不要指定高优化级别。请使用 -xopenmp=noopt 编译 OpenMP 程序。使用高优化级别时，报告的信息（如行号和调用栈）可能是错误的。

可以使用以下命令校验本教程的源代码：

% cc -xinstrument=datarace -g -xopenmp=noopt -o prime_omp_inst prime_omp.c -lm

% cc -xinstrument=datarace -g -o prime_pthr_inst prime_pthr.c -lm

请注意，本示例在结尾处使用了 _inst 指定输出文件，因此可以知道该二进制代码是校验后的二进制代码。不过，这不是必需的。

2.2.1.2 校验二进制代码

要校验程序的二进制代码而非源代码，需要使用 Oracle Solaris Studio 中包含的 discover 工具。discover(1) 手册页和《Oracle Solaris Studio 12.2 Discover 和 Uncover 用户指南》中对该工具进行了说明。

有关二进制代码校验要求的更多信息，请参见二进制代码级别校验。

对于本教程中的示例，请键入以下命令以使用优化级别 3 进行代码编译，进而创建可由 discover 使用的二进制代码。

% cc -xopenmp=noopt -g -o prime_omp_opt prime_omp.c -lm

% cc -g -O3 -o prime_pthr_opt prime_pthr.c -lm

然后，对所创建的 prime_omp_opt 和 prime_pthr_opt 优化二进制代码运行 discover：

% discover -i datarace -o prime_omp_disc prime_omp_opt

% discover -i datarace -o prime_pthr_disc prime_pthr_opt

这些命令将创建校验后的二进制代码 prime_omp_disc 和 prime_pthr_disc，可以将这些二进制代码与 collect 一起使用，以创建可使用线程分析器进行检查的实验。