JavaScript is required to for searching.
跳过导航链接
退出打印视图
Oracle Solaris Studio 12.3:C 用户指南     Oracle Solaris Studio 12.3 Information Library (简体中文)
search filter icon
search icon

文档信息

前言

1.  C 编译器介绍

2.  特定于 C 编译器实现的信息

3.  并行化 C 代码

3.1 并行化概述

3.2 OpenMP 并行化

3.2.1 处理 OpenMP 运行时警告

3.2.2 环境变量

3.2.3 在并行代码中使用 restrict

3.3 数据依赖性和干扰

3.3.1 并行执行模型

3.3.2 私有标量和私有数组

3.3.3 返回存储

3.3.4 约简变量

3.4 加速

3.4.1 Amdahl 定律

3.4.1.1 开销

3.4.1.2 Gustafson 定律

3.5 负载平衡和循环调度

3.5.1 静态调度或块调度

3.5.2 自我调度

3.5.3 引导自我调度

3.6 循环变换

3.6.1 循环分布

3.6.2 循环合并

3.6.3 循环交换

3.7 别名和并行化

3.7.1 数组引用和指针引用

3.7.2 受限指针

3.8 内存边界内部函数

4.  lint 源代码检验器

5.  基于类型的别名分析

6.  转换为 ISO C

7.  转换应用程序以适用于 64 位环境

8.  cscope:交互检查 C 程序

A.  按功能分组的编译器选项

B.  C 编译器选项参考

C.  实现定义的 ISO/IEC C99 行为

D.  C99 的功能

E.  实现定义的 ISO/IEC C90 行为

F.  ISO C 数据表示法

G.  性能调节

H.  Oracle Solaris Studio C:K&R C 与 ISO C 之间的差异

索引

3.7 别名和并行化

ISO C 别名通常可防止循环并行化。存在两个对同一存储单元的可能引用时,将产生别名。请看以下示例:

示例 3-21 具有对同一存储单元的两个引用的循环

void copy(float a[], float b[], int n) {
    int i;
    for (i=0; i < n; i++) {
            a[i] = b[i]; /* S1 */
    }
}

由于变量 ab 为参数,因此 ab 可能指向重叠的内存区域,例如,如果 copy 的调用如下:

copy (x[10], x[11], 20);

在调用的例程中,copy 循环的两次连续迭代可能读/写数组 x 的同一元素。然而,如果例程 copy 的调用如下,则循环的 20 次迭代中不可能出现重叠:

copy (x[10], x[40], 20);

如果未提供有关如何调用例程的信息,编译器不可能正确地分析此情况。但是,Oracle Solaris Studio C 编译器提供标准 ISO C 的关键字扩展,以传达此类别名信息。有关更多信息,请参见3.7.2 受限指针

3.7.1 数组引用和指针引用

别名问题的部分原因是:C 语言可以通过指针运算来定义数组引用及定义。为使编译器有效地并行化循环(自动或显式使用 pragma),所有采用数组布局的数据均必须使用 C 数组引用语法而不是指针进行引用。如果使用指针语法,编译器将无法确定循环的不同迭代之间的关系。因此,编译器将保守而不会并行化循环。

3.7.2 受限指针

为使编译器有效地执行循环的并行执行任务,需要确定特定左值是否指定不同的存储区域。别名是其存储区域相同的左值。由于需要分析整个程序,因此确定对象的两个指针是否为别名是一个困难而费时的过程。考虑以下示例中的函数 vsq()

示例 3-22 带两个指针的循环

void vsq(int n, double * a, double * b) {
    int i;
    for (i=0; i<n; i++) {
            b[i] = a[i] * a[i];
    }
}

如果编译器已确定指针 ab 访问不同的对象,则可以并行化循环的不同迭代的执行。如果通过指针 ab 访问的对象存在重叠,则编译器以并行方式执行循环将会不安全。在编译时,编译器无法通过简单地分析函数 vsq() 来确定 ab 访问的对象是否重叠。编译器可能需要分析整个程序才能获取此信息。

限定指针用来指定那些指定不同对象的指针,以便编译器可以执行指针别名分析。以下示例说明了函数参数声明为限定指针的函数 vsq()

void vsq(int n, double * restrict a, double * restrict b)

指针 ab 声明为限定指针,因此编译器知道 ab 指向不同的存储区域。有了此别名信息,编译器就能够并行化循环。

关键字 restrict 是一个类型限定符,与 volatile 类似,但它仅限定指针类型。使用 -xc99=all(使用 -Xs 时除外)时,restrict 识别为一个关键字。在某些情况下,您可能不希望更改源代码。可以使用以下命令行选项指定将返回赋值指针函数参数视为限定指针:

-xrestrict=[func1,…,funcn]

如果指定函数列表,则指定的函数中的指针参数将被视为限定的;否则,整个 C 文件中的所有指针参数均被视为限定的。例如,-xrestrict=vsq 限定前一个有关键字 restrict 的函数 vsq() 示例中给定的指针 ab

正确使用 restrict 至关重要。如果指针被限定为限定指针而指向不同的对象,编译器会错误地并行化循环而导致不确定的行为。例如,假定函数 vsq() 的指针 ab 指向的对象重叠,如 b[i]a[i+1] 是同一对象。如果 ab 未声明为限定指针,循环将以串行方式执行。如果 ab 被错误地限定为限定指针,编译器会并行化循环的执行,但这是不安全的,因为 b[i+1] 应在 b[i] 之后进行计算。