В Intel безперервне непостійне читання коштує досить дешево. Якщо ми розглянемо такий простий випадок:
public static long l;
public static void run() {
if (l == -1)
System.exit(-1);
if (l == -2)
System.exit(-1);
}
Використання можливості Java 7 для друку асемблерного коду метод запуску виглядає приблизно так:
# {method} 'run2' '()V' in 'Test2'
# [sp+0x10] (sp of caller)
0xb396ce80: mov %eax,-0x3000(%esp)
0xb396ce87: push %ebp
0xb396ce88: sub $0x8,%esp ;*synchronization entry
; - Test2::run2@-1 (line 33)
0xb396ce8e: mov $0xffffffff,%ecx
0xb396ce93: mov $0xffffffff,%ebx
0xb396ce98: mov $0x6fa2b2f0,%esi ; {oop('Test2')}
0xb396ce9d: mov 0x150(%esi),%ebp
0xb396cea3: mov 0x154(%esi),%edi ;*getstatic l
; - Test2::run@0 (line 33)
0xb396cea9: cmp %ecx,%ebp
0xb396ceab: jne 0xb396ceaf
0xb396cead: cmp %ebx,%edi
0xb396ceaf: je 0xb396cece ;*getstatic l
; - Test2::run@14 (line 37)
0xb396ceb1: mov $0xfffffffe,%ecx
0xb396ceb6: mov $0xffffffff,%ebx
0xb396cebb: cmp %ecx,%ebp
0xb396cebd: jne 0xb396cec1
0xb396cebf: cmp %ebx,%edi
0xb396cec1: je 0xb396ceeb ;*return
; - Test2::run@28 (line 40)
0xb396cec3: add $0x8,%esp
0xb396cec6: pop %ebp
0xb396cec7: test %eax,0xb7732000 ; {poll_return}
;... lines removed
Якщо ви подивитесь на 2 посилання на getstatic, перша включає завантаження з пам'яті, друга пропускає навантаження, оскільки значення повторно використовується з реєстру (ів), в яке він уже завантажений (довгий - 64 біт і на моєму 32-бітовому ноутбуці) він використовує 2 регістри).
Якщо ми зробимо змінну l летючою, отримана збірка буде іншою.
# {method} 'run2' '()V' in 'Test2'
# [sp+0x10] (sp of caller)
0xb3ab9340: mov %eax,-0x3000(%esp)
0xb3ab9347: push %ebp
0xb3ab9348: sub $0x8,%esp ;*synchronization entry
; - Test2::run2@-1 (line 32)
0xb3ab934e: mov $0xffffffff,%ecx
0xb3ab9353: mov $0xffffffff,%ebx
0xb3ab9358: mov $0x150,%ebp
0xb3ab935d: movsd 0x6fb7b2f0(%ebp),%xmm0 ; {oop('Test2')}
0xb3ab9365: movd %xmm0,%eax
0xb3ab9369: psrlq $0x20,%xmm0
0xb3ab936e: movd %xmm0,%edx ;*getstatic l
; - Test2::run@0 (line 32)
0xb3ab9372: cmp %ecx,%eax
0xb3ab9374: jne 0xb3ab9378
0xb3ab9376: cmp %ebx,%edx
0xb3ab9378: je 0xb3ab93ac
0xb3ab937a: mov $0xfffffffe,%ecx
0xb3ab937f: mov $0xffffffff,%ebx
0xb3ab9384: movsd 0x6fb7b2f0(%ebp),%xmm0 ; {oop('Test2')}
0xb3ab938c: movd %xmm0,%ebp
0xb3ab9390: psrlq $0x20,%xmm0
0xb3ab9395: movd %xmm0,%edi ;*getstatic l
; - Test2::run@14 (line 36)
0xb3ab9399: cmp %ecx,%ebp
0xb3ab939b: jne 0xb3ab939f
0xb3ab939d: cmp %ebx,%edi
0xb3ab939f: je 0xb3ab93ba ;*return
;... lines removed
У цьому випадку обидві гестатичні посилання на змінну l передбачають навантаження з пам'яті, тобто значення не може зберігатися в регістрі через кілька змінних зчитувань. Для забезпечення атомного зчитування значення зчитується з основної пам’яті в регістр MMX, що movsd 0x6fb7b2f0(%ebp),%xmm0робить операцію зчитування єдиною інструкцією (з попереднього прикладу ми бачили, що для 32-бітового значення зазвичай потрібно 32-бітових зчитування в 32-бітовій системі).
Таким чином, загальна вартість енергонезалежного зчитування буде приблизно еквівалентна навантаженню пам'яті і може бути такою ж дешевою, як доступ до кешу L1. Однак якщо інше ядро записує на змінну змінну, кеш-рядок буде недійсним, вимагаючи основної пам'яті або, можливо, доступу до кешу L3. Фактична вартість буде сильно залежати від архітектури процесора. Навіть між Intel та AMD протоколи когерентності кеш-пам'яті різні.