0

我正在使用现有的 pakcage 进行一些复杂的数值计算。我需要做的是自定义一个名为“loss”的函数。“损失”函数的默认行为导致预期的最终计算结果。但是我的定制并没有产生预期的结果。所以我正在尝试调试它。

(1) 我正在定制一个由其他一些函数调用的函数 int loss(int c1, int c2)。首先请注意，默认行为只是 return c1==c2 ？0：4；我想将其更改为：

double loss(int c1, int c2) {
    int v1 = map[c1];  // map is an int array
    int v2 = map[c2];

    return doSomething(v1, v2); 
}

程序会使用“损失”函数进行一些连续的复杂数值计算，最终的计算结果并不如预期。所以我想调试“损失”功能，以确保它正常工作。

(2) 我把它简化为：

 double loss(int c1, int c2) {
     int v1 = map[c1];
     int v2 = map[c2];

   [1].  return v1==v2 ? 0: 4; // this should be equivalent to [4] in my application

         // double check that different position of the array have different values
   [2].  if( (c1==c2 && v1!=v2) || (c1!=c2 && v1==v2)) {
   [3].         exit(0);  // printf("%d %d %d %d", v1, v2, c1, c2);
         }


   [4].  return c1==c2 ? 0: 4;
 }

请注意，如果我只使用 [4] 而没有任何其他语句，则这是默认行为，经过测试会导致预期的计算结果。

  1. 现在我首先使用[1]，但是将[2]注释到[4]，相当于我的应用程序中的[4]。也就是说，我希望数组“map”中没有重复的元素。这不会导致正确的最终计算结果，这很奇怪，因为 [1]<=>[4]，并且我已经测试过 [4]，最终计算是正确的。

  2. 我想通过添加 [2] 和 [3]（当然并删除 [1]）来仔细检查 [1] 和 [4] 是否等效。程序运行到最后，这意味着[3]永远不会执行，因此它确保[1]和[4]是等价的。然而，最终的计算变得不像预期的那样，尽管我没有通过添加 [2] 和 [3] 来更改 c1 和 c2 的值。在 [3] 中使用 printf 有类似的问题。但是对于某些语句它不会引起问题，例如在“if”正文中，我只是使用“int a = c1 + c2;”，结果是正确的。

  3. 更奇怪的是，如果我注释 [3]（即 if 主体什么都不做），并同时使用 [2] 和 [4]，最终的计算结果符合预期！

你能帮我找出奇怪的问题吗？

谢谢，杰夫

4

2 回答 2

0

如何反汇编编译器的输出？

您可以选择多种方式。我假设该程序名为f1.

  • objdump -S f1<loss>在输出中 寻找。
  • 制作一个汇编器列表，例如gcc -g -Wa,-adhln=f1.lst -O -c f1.c 确保-O使用与通常编译中相同的标志来代替。
  • gdb f1
    (gdb) disass loss
    在 中gdb，您还可以
    (gdb) break loss
    (gdb) run
    通过
    (gdb) step
    该功能，-g生成调试信息。
于 2014-06-04T12:10:05.267 回答
0

我认为您假设map是双射的，但实际上是满射的；也就是说，有不同的值c1和c2这样的map[c1] == map[c2]。这是您所看到的最好的解释：

  • 您声明使用 [1], iev1==v2不会导致“正确的最终计算结果”，但使用 [4], iec1==c2会。
  • [2] 正在按照您的意图执行正确的检查，但您可能没有正确检测到 [3] 的效果。您确定程序在 [3] 存在的情况下运行到最后，而不是在结尾附近终止吗？您如何判断 [3] 是否运行？即使您使用 [2][3][4] 运行，结果也与单独使用 [4] 不同，这表明实际上运行了 [3]。
  • 如果您注释掉 [3] 但留下 [2]，则程序将进入 if 括号，然后退出并运行 [4] 无论如何，仅给出与 [4] 等效的输出，正如您确认的那样。这都是一致的。
于 2013-03-05T05:22:55.040 回答