Неверная ошибка Java Unsafe.storeFence()?

Question

Java 8 добавила три забора до sun.misc.Unsafe.

Я чувствую себя смущенным после того, как прочитал их документацию.

Итак, я искал в Интернете и нашел это link.

Согласно приведенной выше странице, я считаю, что эти методы практически не добавляют на практике. Поправьте меня, если я ошибаюсь, грубо говоря, loadFence(), storeFence() и fullFence() соответствуют волатильному чтению, ленивой записи и volatile write соответственно, хотя технически эти заграждения сильнее, чем изменчивые переменные. Таким образом loadFence() - это забор, а storeFence() - это забор, а fullFence() - полный забор.

Но тогда документация для storeFence() выглядит странно.

Он говорит,

/** 
* Ensures lack of reordering of stores before the fence 
* with loads or stores after the fence. 
*/ 
void storeFence(); 

Это не выглядит как забор выпуска. Как он должен использоваться? Если не было бы

/** 
* Ensures lack of reordering of loads or stores before the fence 
* with stores after the fence. 
*/ 
void storeFence(); 

Я полагаю перед тем означает, ранее и после означает позже.

EDIT

Я не имею в виду «мы не используем их в обычном развитии», когда я говорю эти «заборы ничего не добавляют на практике».

Я имею в виду, что даже без этих методов в Unsafe мы можем получить эти «заборы». Если я прав, на практике чтение фиктивной изменчивости имеет эффект loadFence(), и запись фиктивной изменчивости имеет эффект fullFence(), а эффект unsafe.putOrderedXXX() (или AtomicInteger.lazySet()) имеет эффект магазинаFence().

У них может быть тонкая разница, но в текущей реализации они могут быть обменными. (Кажется, подразумевается ссылкой)

Вот что я подразумеваю под словом «они ничего не добавляют».

ДРУГОЙ EDIT

Это уже исправлено.

См https://bugs.openjdk.java.net/browse/JDK-8038978

Спасибо @ джон-Vint

Answer 1

Для этого в JDK9 существует различие. Были подобные вопросы, которые были заданы и осветленные:

http://hg.openjdk.java.net/jdk9/jdk9/jdk/rev/84e19392365e

 /** 
!  * Ensures that loads before the fence will not be reordered with loads and 
!  * stores after the fence; a "LoadLoad plus LoadStore barrier". 
!  * 
!  * Corresponds to C11 atomic_thread_fence(memory_order_acquire) 
!  * (an "acquire fence"). 
!  * 
!  * A pure LoadLoad fence is not provided, since the addition of LoadStore 
!  * is almost always desired, and most current hardware instructions that 
!  * provide a LoadLoad barrier also provide a LoadStore barrier for free. 
     * @since 1.8 
     */ 
     public native void loadFence(); 

     /** 
!  * Ensures that loads and stores before the fence will not be reordered with 
!  * stores after the fence; a "StoreStore plus LoadStore barrier". 
!  * 
!  * Corresponds to C11 atomic_thread_fence(memory_order_release) 
!  * (a "release fence"). 
!  * 
!  * A pure StoreStore fence is not provided, since the addition of LoadStore 
!  * is almost always desired, and most current hardware instructions that 
!  * provide a StoreStore barrier also provide a LoadStore barrier for free. 
     * @since 1.8 
     */ 
     public native void storeFence(); 

     /** 
!  * Ensures that loads and stores before the fence will not be reordered 
!  * with loads and stores after the fence. Implies the effects of both 
!  * loadFence() and storeFence(), and in addition, the effect of a StoreLoad 
!  * barrier. 
!  * 
!  * Corresponds to C11 atomic_thread_fence(memory_order_seq_cst). 
     * @since 1.8 
     */ 
     public native void fullFence(); 

Answer 2

Я считаю, что эти методы не добавляют практически ничего на практике.

Правильно, они не добавили бы ничего в 99,9% приложений. Нужно только в очень конкретных случаях вам нужно было бы вызвать этот метод напрямую, а не использовать конструкцию более высокого уровня.

летучее чтение, отложенная запись и летучие записи соответственно,

Я прочитал это как «летучее чтение, летучая запись, летучая запись и чтения» Там, кажется, не быть ленивой/заказать запись забор.

loadFence() является забором приобретать и storeFence() является выпуск забора,

Я не считаю, что эти сдвиги к семантике приобретает/выпуск. Они более базовые, чем это. Например, в этих методах не происходит изменения состояния. для получения/выпуска требуется атомная операция, такая как compareAndSet, которая является другим небезопасным методом.