Явная ошибка Java SIGSEGV

Я получаю сообщение об ошибке из компилятора Java, который я не понимаю. Я тестировал свой код на OSX 10.6, 10.9 и Ubuntu 14.04, как с Java 6, так и с 7. Когда я запускаю отладчик 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;
        }
    }
}

Ответы

Ответ 1

Итак, после прочтения комментариев, похоже, что это ошибка в JVM, о которой необходимо сообщить Oracle. Итак, я пошел вперед и подал отчет об ошибке в Oracle. Я отправлю обновления, когда я услышу от них.

Спасибо всем, кто пробовал код и обнаружил, что он ломается и на ваших машинах.

Если кто-либо, у кого есть способность/склонность выяснить, какой код в компиляторе вызывает эту ошибку, было бы замечательно услышать об этом:)

ОБНОВЛЕНИЕ: Кто-то из Oracle ответил вчера, он сказал, что подготовил исправление для ошибки, а также попросил включить мой код в регрессионный тест:) Он не объяснил, в чем проблема, кроме того, что он был в HotSpot JIT, но он послал мне ссылку с изменениями, которые он сделал, в случае, если кто-то заинтересован: http://cr.openjdk.java.net/~kvn/8046516/webrev/