oracle 作用域,使用作用域检查功能 - Oracle® Developer Studio 12.5：OpenMP API 用户指南...

最新推荐文章于 2021-04-04 08:31:14 发布

教育学学姐

最新推荐文章于 2021-04-04 08:31:14 发布

阅读量86

点赞数

文章标签： oracle 作用域

7.2 使用作用域检查功能

要启用作用域检查，请使用 -xvpara 和 -xopenmp 选项编译 OpenMP 程序。优化级别应为 -xO3 或更高。如果只使用 -xopenmp=noopt 来编译程序，作用域检查将不起作用。如果优化级别低于 -xO3，编译器将发出警告消息，且不执行任何作用域检查。

在作用域检查期间，编译器将检查所有 OpenMP 构造。如果某些变量的作用域会引发问题，编译器将发出警告消息，有时还会建议使用正确的数据共享属性子句。例如，编译器检测到下列情形时会发出警告消息：

循环是使用 OpenMP 指令并行化的，而这些指令中的不同循环迭代之间存在数据依赖性

例如，指定了要在并行区域中共享的变量但访问并行区域中的该变量可能会导致数据争用，或者指定了要在并行区域中专用的变量但分配给并行区域中该变量的值在并行区域后使用，这样 OpenMP 数据共享属性子句就会出现问题。

以下示例对作用域检查进行了说明。

示例 24使用 –xvpara 进行作用域检查

% cat t.c

#include

int main()

{

int g[100], b, i;

memset(g, 0, sizeof(int)*100);

#pragma omp parallel for shared(b)

for (i = 0; i < 100; i++)

{

b += g[i];

}

return 0;

}

% cc -xopenmp -xO3 -xvpara source1.c

"source1.c", line 10: Warning: inappropriate scoping

variable 'b' may be scoped inappropriately as 'shared'

. write at line 13 and write at line 13 may cause data race

"source1.c", line 10: Warning: inappropriate scoping

variable 'b' may be scoped inappropriately as 'shared'

. write at line 13 and read at line 13 may cause data race

如果优化级别低于 -xO3，编译器将不进行作用域检查：

% cc -xopenmp=noopt -xvpara source1.c

"source1.c", line 10: Warning: Scope checking under vpara compiler

option is supported with optimization level -xO3 or higher.

Compile with a higher optimization level to enable this feature

以下示例说明了如何报告潜在的作用域错误。

示例 25作用域错误示例

% cat source2.c

#include

int main()

{

int g[100];

int r=0, a=1, b, i;

#pragma omp parallel for private(a) lastprivate(i) reduction(+:r)

for (i = 0; i < 100; i++)

{

g[i] = a;

b = b + g[i];

r = r * g[i];

}

a = b;

return 0;

}

% cc -xopenmp -xO3 -xvpara source2.c