未添加本机代码的 Java 致命错误 SIGSEGV

Question

我从 Java 编译器收到一条我不理解的错误消息。我已经使用 Java 6 和 7 在 OSX 10.6、10.9 和 Ubuntu 14.04 上测试了我的代码。当我使用 Eclipse 调试器或从解释器（使用 -Xint 选项）运行时，一切运行良好。否则，我会收到以下消息：

Java 1.6：

Invalid memory access of location 0x8 rip=0x1024e9660

Java 1.7：

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x000000010f7a8262, pid=20344, tid=18179
#
# JRE version: Java(TM) SE Runtime Environment (7.0_60-b19) (build 1.7.0_60-b19)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (24.60-b09 mixed mode bsd-amd64 compressed oops)
# Problematic frame:
# V  [libjvm.dylib+0x3a8262]  PhaseIdealLoop::idom_no_update(Node*) const+0x12
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.sun.com/bugreport/crash.jsp
#

Java 7 有更多错误输出（保存到文件中），但不幸的是，我无法将其放入本文的字符数限制中。 有时我需要运行我的代码几次才能出现错误，但它经常出现。

我的测试用例涉及以对数比例缓存一些计算。具体来说，给定 log(X),log(Y),...，我有一个计算 log(X+Y+...) 的小类。然后我将结果缓存在 HashMap 中。

奇怪的是，更改一些循环索引似乎使问题消失了。特别是，如果我替换

for (int z = 1; z < x+1; z++) {
    double logSummand = Math.log(z + x + y);
    toReturn.addLogSummand(logSummand);
}

与

for (int z = 0; z < x; z++) {
    double logSummand = Math.log(1 + z + x + y);
    toReturn.addLogSummand(logSummand);
}

然后我没有收到错误消息并且程序运行正常。

我的最小示例如下：

import java.util.Arrays;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
public class TestLogSum {
    public static void main(String[] args) {

        for (int i = 0; i < 6; i++) {
            for (int n = 2; n < 30; n++) {
                for (int j = 1; j <= n; j++) {
                    for (int k = 1; k <= j; k++) {
                        System.out.println(computeSum(k, j));                       
                    }
                }
            }
        }
    }

    private static Map<List<Integer>, Double> cache = new HashMap<List<Integer>, Double>();
    public static double computeSum(int x, int y) {     
        List<Integer> key = Arrays.asList(new Integer[] {x, y});

        if (!cache.containsKey(key)) {

            // explicitly creating/updating a double[] array, instead of using the LogSumArray wrapper object, will prevent the error
            LogSumArray toReturn = new LogSumArray(x);

            // changing loop indices will prevent the error
            // in particular, for(z=0; z<x-1; z++), and then using z+1 in place of z, will not produce error
//          for (int z = 0; z < x; z++) {
//              double logSummand = Math.log(1 + z + x + y);
            for (int z = 1; z < x+1; z++) {
                double logSummand = Math.log(z + x + y);
                toReturn.addLogSummand(logSummand);
            }

            // returning the value here without cacheing it will prevent the segfault
            cache.put(key, toReturn.retrieveLogSum());
        }
        return cache.get(key);
    }

    /*
     * Given a bunch of logarithms log(X),log(Y),log(Z),...
     * This class is used to compute the log of the sum, log(X+Y+Z+...)
     */
    private static class LogSumArray {      
        private double[] logSummandArray;
        private int currSize;

        private double maxLogSummand;

        public LogSumArray(int maxEntries) {
            this.logSummandArray = new double[maxEntries];

            this.currSize = 0;
            this.maxLogSummand = Double.NEGATIVE_INFINITY;
        }

        public void addLogSummand(double logSummand) {
            logSummandArray[currSize] = logSummand;
            currSize++;
            // removing this line will prevent the error
            maxLogSummand = Math.max(maxLogSummand, logSummand);
        }

        public double retrieveLogSum() {
            if (maxLogSummand == Double.NEGATIVE_INFINITY) return Double.NEGATIVE_INFINITY;

            assert currSize <= logSummandArray.length;

            double factorSum = 0;
            for (int i = 0; i < currSize; i++) {
                factorSum += Math.exp(logSummandArray[i] - maxLogSummand);
            }

            return Math.log(factorSum) + maxLogSummand;
        }
    }
}

Answer 1

所以在阅读了 cmets 之后，似乎这是需要向 Oracle 报告的 JVM 中的错误。因此，我继续向 Oracle 提交了错误报告。当我收到他们的回复时，我会发布更新。

感谢所有尝试过代码并发现它在您的机器上也出现故障的人。

如果有人有能力/倾向于找出编译器中的什么代码导致了这个错误，那么听到它会很棒:)

更新： Oracle 的某个人昨天回复了，他说他准备了修复该错误的方法，并要求将我的代码作为回归测试包括在内：）他没有解释问题是什么，除了说它在 HotSpot JIT 中，但他确实给我发了一个链接，其中包含他所做的更改，以防万一有人感兴趣：http://cr.openjdk.java.net/~kvn/8046516/webrev/