Pull to refresh

Java зависает на 2.2250738585072012e-308

Java *
Translation
Original author: Rick Regan
Константин Прайссер (Konstantin Preisser) недавно обнаружил нечто весьма любопытное: Java — и рантайм и компилятор — входит в бесконечный цикл при конвертации десятичного 2.2250738585072012e-308 в double. По идее, число должно быть преобразовано в 0x1p-1022, то есть Double.MIN_VALUE. Однако, Java зависает на 0x0.fffffffffffffp-1022, самом большом денормализованном числе для double.

Бесконечный цикл в runtime

class RuntimeHang {
    public static void main(String[] args) {
        System.out.println("Test:");
        double d = Double.parseDouble("2.2250738585072012e-308");
        System.out.println("Value: " + d);
    }
}


Бесконечный цикл во время компиляции


(Если вы хотите опробовать это в Eclipse, не забудьте сначала всё сохранить, а то с его теневой компиляцией и опомниться не успеете — прим. перев.)
class CompilationHang {
    public static void main(String[] args) {
        double d = 2.2250738585072012e-308;
        System.out.println("Value: " + d);
    }
}

Под катом рассуждения автора насчёт причин этого явления.

В чём же дело?


Константин выяснил, что по крайней мере в рантайме проблема кроется в «цикле коррекции» в FloatingDecimal.java. Он пишет:

Если закомментировать эту часть, в рантайме зависания больше нет, поскольку Double.parseDouble(String s), который вызывает sun.misc.FloatingDecimal.readJavaFormatString(s).doubleValue() — код на чистой java, ничего нативного. Но там используется артифметика чисел с плавающей точкой, так что дело может быть в настройках компилятора, в котором компилировали JRE и javac.

Без цикла коррекции выходят такие биты (big endian):
00000000 00001111 11111111 11111111 11111111 11111111 11111111 11111111

То есть, число конвертируется в самое большое денормализованное число с плавающей точкой, поскольку экспонента нулевая. Без цикла коррекции то же самое происходит и с 2.2250738585072013e-308, однако если цикл раскомментировать, то сконвертируется правильно:
00000000 00010000 00000000 00000000 00000000 00000000 00000000 00000000



От переводчика


Я проверил и воспроизвёл проблему на 32- и 64- битных HotSpot и на 64-битной OpenJDK. Помимо того, похожая проблема есть в PHP. Константин Прайссер багрепорт уже отправил.
Tags:
Hubs:
Total votes 105: ↑99 and ↓6 +93
Views 3.5K
Comments Comments 54