Работа над ошибкой JIT Java

Question

Мы, похоже, подвержены странной ошибке в нашей среде Java. У нас теперь было два случая одного и того же исключения «не может быть»; в одном случае проблема возникла 42,551 раз в течение 48 минут в процессе работы, а затем самопроизвольно очистилась.

Неисправный код запускается с помощью этой линии:

return String.format("%1d%XY%d", source, System.currentTimeMillis(), quoteID); 

, где int source = 0 и long quoteID = 44386874 (к примеру).

Исключение:

java.util.UnknownFormatConversionException: Conversion = 'd' 
     at java.util.Formatter$FormatSpecifier.conversion(Formatter.java:2605) 
     at java.util.Formatter$FormatSpecifier.<init>(Formatter.java:2633) 
     at java.util.Formatter.parse(Formatter.java:2479) 
     at java.util.Formatter.format(Formatter.java:2413) 
     at java.util.Formatter.format(Formatter.java:2366) 
     at java.lang.String.format(String.java:2770) 

Проверка кода 'd' никогда не должны поднимать это исключение.

Лучшее объяснение, которое мы придумали, заключается в том, что компилятор JIT генерирует плохой байт-код, но в последующем повторном JIT он пишет хороший код.

У кого-нибудь есть опыт в том, чтобы обойти/диагностировать такую ​​проблему?

Roger.

Answer 1

Я сомневаюсь, что это законный вопрос JIT.

Вы исключили другие возможности, такие как повреждение памяти или проблемы среды выполнения?

Как вы пришли к выводу, что это проблема JIT?

Просто, чтобы облегчить ваш ум, это код, который бросает исключение:

private char java.util.Formatter.FormatSpecifier.conversion(String s) { 
    c = s.charAt(0); 
    if (!dt) { 
    if (!Conversion.isValid(c)) 
     throw new UnknownFormatConversionException(String.valueOf(c)); 

     ///////.......... 
} 

с:

static boolean java.util.Formatter.Conversion.isValid(char c) { 
    return (isGeneral(c) || isInteger(c) || isFloat(c) || isText(c) 
     || c == 't' || c == 'c'); 
} 

d является законным целочисленный идентификатор и isValid() должен вернуться с True.

Отладка не является проблемой, и образованная догадка скажет, что вы ничего не найдете. Это явно проблема с повреждением памяти/средой. Похоже, эта проблема легко воспроизведена. Попробуйте тестирование на другом компьютере, другой ОС, другой JVM.

Моя догадка - ваша проблема не в компиляторе JIT.

Answer 2

Первое, что я хотел бы сделать, это проверить исходный код java.util.Formatter и посмотреть, выполняются ли какие-либо другие проверки, приводящие к исключению для символа шаблона 'd'. Какую версию Java вы используете?

Answer 3

Do:

final long time; 

time = System.currentTimeMillis(); 

try 
{ 
    return String.format("%1d%XY%d", source, time, quoteID); 
} 
catch(final UnknownFormatConversionExceptio ex) 
{ 
    // log the source 
    // log the time 
    // log the quoteID 
    throw ex; 
} 

Если ничего не кажется странным то тогда смотреть на источник string.Format и проследить через него, вручную, с этими значениями (звучит, как вы, возможно, сделали трассировку, но делать это может привести к фактическим значениям).

И, как говорили другие, случайные ошибки памяти также возможны здесь. Если возможно, запустите проверку памяти на аппарате и посмотрите (у меня были проблемы, убрав память заново).

Answer 4

Вы уверены, что «d» в этом коде действительно ASCII d's, а не какой-то символ Юникода, который выглядит как d?

(Длинный выстрел, но странные вещи произошли.)

Answer 5

Простой способ проверить, если это JIT ошибка это поставить вам код в цикле. Если это ошибка JIT, она не сработает внутри цикла, но не снаружи:

for (int i = 0; i < 100000; i++) { 
     String.format("%1d%XY%d", source, System.currentTimeMillis(), quoteID); 
    } 

Answer 6

Проверьте память! Например. с memtest86 +. Он доступен в меню загрузки cbb Ubuntu.