Изменение порядка изменения модифицированного String.hashCode()

Question

См. Это blog и этот topic.

Кажется, что код будет изменен даже в одном потоке?

public int hashCode() { 
if (hash == 0) { // (1) 
    int off = offset; 
    char val[] = value; 
    int len = count; 

    int h = 0; 
    for (int i = 0; i < len; i++) { 
     h = 31*h + val[off++]; 
    } 
    hash = h; 
    } 
    return hash; // (2) 
} 

Но его действительно сбивает с толку меня, почему (2) может вернуть 0 и (1) может быть отличен от нуля?

Если я использую код в одном потоке, это даже не будет работать, как это может произойти?

Answer 1

Первый вопрос:

Will переназначение инструкций произойдет в однотридовом исполнении?

Ответ:

Изменение порядка команд является оптимизация компилятора. Порядок инструкций в одном потоке будет таким же, независимо от того, сколько потоков задействовано. Или: Да и в одном потоке.

Второй вопрос:

Почему это могло привести к проблеме в многопоточности, но не с одной нитью?

Ответ:

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

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

Edit: Третий вопрос:

И снова, что на самом деле происходит?

Ответ:

Когда мы смотрим на код, он будет иметь дело хорошо с не видя изменения другого thread.So первое, что мы должны понять: метод не возвращает переменную, ни constanst ни буква. Нет способа вернуть то, что находится поверх стека, когда счетчик программ сброшен. Это должно быть инициализировано в некоторый момент времени, и оно может быть перезаписано позже. Это означает, что он может быть сначала инициализирован содержимым hash (0 сейчас), затем другой поток заканчивает вычисление и устанавливает hash на что-то, а затем происходит проверка hash == 0. В свою очередь, возвращаемое значение больше не перезаписывается и возвращается 0.

Итак, точка: возвращаемое значение может изменяться независимо от возвращаемой переменной, так как это не то же самое. Современный язык программирования делает его похожим на то, чтобы сделать нашу жизнь проще. Но эта абстракция как целостность, когда вы не придерживаетесь правил.

Answer 2

Первая точка java memory model является:

Каждое действие в потоке происходит перед каждым действием в этом потоке , который приходит позже, чтобы программы.

Именно поэтому переупорядочение в одном потоке невозможно. Пока код не синхронизирован, такие гарантии не предусмотрены для нескольких потоков.

Посмотрите на реализацию строки hashCode. Сначала он загружает хэш в локальную переменную и только затем выполняет проверку и возврат. Так предотвращаются такие переупорядочивания. Но это не спасает нас от нескольких вычислений hashCode.