8

这个最小的 OpenMP 程序

#include <omp.h>
int main() 
{
  #pragma omp parallel sections
  {
    #pragma omp section
    {
      while(1) {}
    }

    #pragma omp section
    {  
      while(1) {}
    }
  }
}

编译和运行时会产生这个错误gcc test.c -fopenmp：

Illegal instruction (core dumped)

当我更改任一循环时

  int i=1;
  while(i++) {}

或它编译和运行没有错误的任何其他条件。看起来，1作为不同线程中的循环条件会导致一些奇怪的行为。为什么？

编辑：我正在使用 gcc 4.6.3

编辑：这是 gcc 中的一个错误，已作为错误 54017提交给 gcc 开发人员。

4

2 回答 2

8

这显然是 GCC 中的一个错误。GOMP_sections_start()GCC 使用例程实现 OpenMP 部分，该例程libgomp返回1调用线程应执行的基于 - 的部分 ID，或者0是否已分发所有工作项。基本上转换后的代码应该如下所示：

main._omp_fn.0 (void * .omp_data_i)
{
   unsigned int .section.1;

   .section.1 = GOMP_sections_start(2);
L0:
   switch (.section.1)
   {
      case 0:
         // No more sections to run, exit
         goto L2;
      case 1:
         // Do section 1
         while (1) {}
         goto L1;
      case 2:
         // Do section 2
         while (1) {}
         goto L1;
      default:
         // Impossible section value, possible error in libgomp
         __builtin_trap();
   }
L1:
   .section.1 = GOMP_sections_next();
   goto L0;
L2:
   GOMP_sections_end_nowait();
   return;
}

发生的情况是，在您的情况下， thedefault和0case 都导致__builtin_trap(). __builtin_trap()是一个内置的 GCC，它应该异常终止你的程序，并且在 x86 上它会发出ud2使 CPU 发出非法操作码异常的指令。它通常放置在代码永远不应该执行的地方，例如所有可能的正确返回值，GOMP_sections_start()并且GOMP_sections_next() 应该被 switch 中的 case 覆盖，如果达到默认值（表明可能存在错误libgomp），它应该会失败，你会抱怨开发人员:)

编辑：这绝对不是预期的 OpenMP 行为，它不会发生在iccorsuncc中。我已将错误 54017提交给 GCC Bugzilla。

编辑 2：我更新了文本以更准确地反映 GCC 应该产生的内容。看起来 GCC 对并行区域中的控制流产生了错误的印象，并且做了一些进一步破坏代码生成的“优化”。

于 2012-07-18T15:21:36.133 回答
4

SIGILL 生成，因为存在非法指令 ud2/ud2a。根据http://asm.inightmare.org/opcodelst/index.php?op=UD2：

该指令导致#UD。英特尔保证，在未来的英特尔 CPU 中，该指令将导致 #UD。当然，所有以前的 CPU (186+) 都会在此操作码上导致 #UD。软件编写者使用此指令测试#UD 异常服务例程。

让我们看看里面：

$ gcc-4.6.2 -fopenmp omp.c -o omp
$ gdb ./omp
...

(gdb) r
Program received signal SIGILL, Illegal instruction.
...
0x08048544 in main._omp_fn.0 ()
(gdb) x/i $pc
0x8048544 <main._omp_fn.0+28>:  ud2a

(gdb) disassemble
Dump of assembler code for function main._omp_fn.0:
0x08048528 <main._omp_fn.0+0>:  push   %ebp
0x08048529 <main._omp_fn.0+1>:  mov    %esp,%ebp
0x0804852b <main._omp_fn.0+3>:  sub    $0x18,%esp
0x0804852e <main._omp_fn.0+6>:  movl   $0x2,(%esp)
0x08048535 <main._omp_fn.0+13>: call   0x80483f0 <GOMP_sections_start@plt>
0x0804853a <main._omp_fn.0+18>: cmp    $0x1,%eax
0x0804853d <main._omp_fn.0+21>: je     0x8048548 <main._omp_fn.0+32>
0x0804853f <main._omp_fn.0+23>: cmp    $0x2,%eax
0x08048542 <main._omp_fn.0+26>: je     0x8048546 <main._omp_fn.0+30>
0x08048544 <main._omp_fn.0+28>: ud2a
0x08048546 <main._omp_fn.0+30>: jmp    0x8048546 <main._omp_fn.0+30>
0x08048548 <main._omp_fn.0+32>: jmp    0x8048548 <main._omp_fn.0+32>
End of assembler dump.

汇编文件中已经有 ud2a：

$ gcc-4.6.2 -fopenmp omp.c -o omp.S -S; cat omp.S

main._omp_fn.0:
.LFB1:
        pushl   %ebp
.LCFI4:
        movl    %esp, %ebp
.LCFI5:
        subl    $24, %esp
.LCFI6:
        movl    $2, (%esp)
        call    GOMP_sections_start
        cmpl    $1, %eax
        je      .L4
        cmpl    $2, %eax
        je      .L5
                .value  0x0b0f

.value 0xb0f是ud2a的代码

在验证 ud2a 是由 gcc 有意插入后（在早期的 openmp 阶段），我试图理解代码。函数main._omp_fn.0是并行代码的主体；它将调用 _GOMP_sections_start 并解析其返回码。如果代码等于1，那么我们将跳转到一个无限循环；如果为 2，则跳转到第二个无限循环。但在其他情况下 ud2a 将被执行。（不知道为什么，但根据 Hristo Iliev 的说法，这是一个 GCC错误 54017。）

我认为，这个测试很好地检查了有多少 CPU 内核。默认情况下，GCC 的 openmp 库 (libgomp) 将为系统中的每个 CPU 内核启动一个线程（在我的例子中，有 4 个线程）。部分将按顺序选择：第一部分用于第一个线程，第二部分 - 第二个线程，依此类推。

没有 SIGILL，如果我在 1 个或 2 个 CPU 上运行程序（taskset 的选项是十六进制的 cpu 掩码）：

 $ taskset 3 ./omp
 ... running on cpu0 and cpu1 ...
 $ taskset 1 ./omp
 ... running first loop on cpu0; then run second loop on cpu0...
于 2012-07-18T14:46:40.410 回答