在C程序中创建数据危害

时间:2014-10-13 01:19:48

标签: c assembly pipelining

我正在研究一个问题,我试图在不同的C程序中创建不同的场景,例如

  • 数据危害
  • 分支评估
  • 程序调用

这是为了学习流水线技术以及出现的不同危险。

所以我正在编写简单的C程序并将其拆解为汇编语言,以查看是否存在危险。但我无法弄清楚如何制造这些危害。你们有任何想法我怎么能这样做?这是我编写的一些简单代码。

我使用编译。

gcc -g -c programName.c -o programName.o
gcc programName.o -o programName
objdump -d programName.o > programName.asm

代码:

#include <stdio.h>
int main()
{
    int i = 0;
    int size = 5;
    int num[5] = {1,2,3,4,5};
    int sum=0;
    int average = 0;

    for(i = 0; i < size; i++)
    {
        sum += num[i];
    }

    average=sum/size;

    return 0;
}

......这是集会。

average.o:     file format elf64-x86-64

Disassembly of section .text:

0000000000000000 <main>:
   0:   55                      push   %rbp
   1:   48 89 e5                mov    %rsp,%rbp
   4:   c7 45 f0 00 00 00 00    movl   $0x0,0xfffffffffffffff0(%rbp)
   b:   c7 45 f4 05 00 00 00    movl   $0x5,0xfffffffffffffff4(%rbp)
  12:   c7 45 d0 01 00 00 00    movl   $0x1,0xffffffffffffffd0(%rbp)
  19:   c7 45 d4 02 00 00 00    movl   $0x2,0xffffffffffffffd4(%rbp)
  20:   c7 45 d8 03 00 00 00    movl   $0x3,0xffffffffffffffd8(%rbp)
  27:   c7 45 dc 04 00 00 00    movl   $0x4,0xffffffffffffffdc(%rbp)
  2e:   c7 45 e0 05 00 00 00    movl   $0x5,0xffffffffffffffe0(%rbp)
  35:   c7 45 f8 00 00 00 00    movl   $0x0,0xfffffffffffffff8(%rbp)
  3c:   c7 45 fc 00 00 00 00    movl   $0x0,0xfffffffffffffffc(%rbp)
  43:   c7 45 f0 00 00 00 00    movl   $0x0,0xfffffffffffffff0(%rbp)
  4a:   eb 10                   jmp    5c <main+0x5c>
  4c:   8b 45 f0                mov    0xfffffffffffffff0(%rbp),%eax
  4f:   48 98                   cltq   
  51:   8b 44 85 d0             mov    0xffffffffffffffd0(%rbp,%rax,4),%eax
  55:   01 45 f8                add    %eax,0xfffffffffffffff8(%rbp)
  58:   83 45 f0 01             addl   $0x1,0xfffffffffffffff0(%rbp)
  5c:   8b 45 f0                mov    0xfffffffffffffff0(%rbp),%eax
  5f:   3b 45 f4                cmp    0xfffffffffffffff4(%rbp),%eax
  62:   7c e8                   jl     4c <main+0x4c>
  64:   8b 55 f8                mov    0xfffffffffffffff8(%rbp),%edx
  67:   89 d0                   mov    %edx,%eax
  69:   c1 fa 1f                sar    $0x1f,%edx
  6c:   f7 7d f4                idivl  0xfffffffffffffff4(%rbp)
  6f:   89 45 fc                mov    %eax,0xfffffffffffffffc(%rbp)
  72:   b8 00 00 00 00          mov    $0x0,%eax
  77:   c9                      leaveq 
  78:   c3                      retq   

感谢任何见解或帮助。谢谢!

1 个答案:

答案 0 :(得分:1)

由于这是家庭作业,我不打算给你一个直接的答案,但是有些想法会让你朝着正确的方向前进。

x86是一个可怕的ISA,用于尝试理解流水线。单个x86指令可以隐藏两个或三个副作用,因此即使最简单的管道也很难弄清楚给定指令的执行方式。您确定没有提供用于此问题的RISC ISA吗?

将循环/危险代码放入函数中,最好随机化数组的创建。使阵列更长。一个好的编译器基本上会找出答案,并删除你写的大部分代码!由于我不理解的原因,它将你的变量放在内存中。

一个好的编译器也会做一些事情,例如循环展开以试图隐藏数据危险并获得更好的代码调度。学习如何打败它(或者如果可以的话,给标志编译器告诉它不要做那些事情,如果允许乱搞编译器)。

关键字“volatile”可以非常有助于告诉编译器不优化某些变量(它会告诉编译器这个值随时都可以改变,所以不要聪明并用它来优化代码,也是不要将变量保存在寄存器文件中。)

数据危险意味着管道将停止等待数据。通常,指令会及时被绕过,因此不会发生停顿。考虑哪些类型的指令可能无法绕过,并可能导致数据危险停滞。这取决于管道,因此为特定处理器停止的代码可能不会停止另一个。现代无序的英特尔处理器非常适合避免这些停顿,编译器非常适合重新调度代码,因此即使在有序内核中也不会发生这种情况。