|
|
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
Basil A. Sidorovразмещение volatile-переменной в регистре создаёт проблемную точку на единственном однопоточном процессоре. Почему? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.09.2012, 10:53:50 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
BlazkowiczПочему?Потому, что переключение задач (передача управления другому потоку того же самого процесса) может произойти в любой момент. Семантика volatile: "Значение данной переменной может измениться в произвольный момент и это не управляется кодом потока". Если оставаться в рамках x86 и персоналок, то в цепочке типа: Код: asm 1. 2. Такое изменение может быть и "непринципиально" и "ошибка". Поэтому начинаются варианты - то ли критические секции создавать (дорого, если код короткий), то ли отказаться от регистровой оптимизации, то ли забить :) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.09.2012, 11:09:48 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
Basil A. SidorovПотому, что переключение задач (передача управления другому потоку того же самого процесса) может произойти в любой момент. Семантика volatile: "Значение данной переменной может измениться в произвольный момент и это не управляется кодом потока". Если оставаться в рамках x86 и персоналок, то значение переменной могло измениться, пока мы работали с регистром. Такое изменение может быть и "непринципиально" и "ошибка". Поэтому начинаются варианты - то ли критические секции создавать (дорого, если код короткий), то ли отказаться от регистровой оптимизации, то ли забить :) По-моему современные процессоры это нечто большее чем запись-чтение в реестр отдельными командами. Не про Java, но все же http://softwareramblings.com/2008/05/demystifying-the-volatile-keyword.html Common myths about the volatile keyword: A volatile variable will never reside in cache memory – e.g. within the L2 cache of a processor. This is not true. In the case where the volatile variable is shared between two software threads, it is highly likely that the variable will exist in cached memory and the cache coherency policy will ensure that the threads will see the correct and up-to-date value of the variable in the event that the threads are running on seperate cores that don’t share the same cache. When the volatile variable refers to a hardware register, it is likely that the memory map of the system will be setup such that this register is not cacheable in the processor cache, but this is setup and managed by the appropriate device driver and is not something that is provided by the volatile keyword. я не вижу каких либо препядствий тому чтобы разместить volatile переменную на CPU и использовать его собственные механизмы кеширования и синхронизации между потоками. Это, конечно, не совсем реестр. Но и не RAM, где фактически хранится общее значение. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.09.2012, 11:20:17 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
Basil A. Sidorov, Хотя, ваша правда в том что реестр это не CPU-кэш и там нет механизмов инвалидации, поэтому именно через реестр volatile реализовать, похоже, нельзя. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.09.2012, 11:45:21 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
Blazkowiczя не вижу каких либо препядствий тому чтобы разместить volatile переменную на CPU и использовать его собственные механизмы кеширования и синхронизации между потоками.Процитированное никак не противоречит тому, что я сказал о семантике volatile. Отслеживание адресов и сквозная запись - всего лишь механизмы, делающие принципиально возможной синхронизацию потоков, исполняющихся на разных ядрах или даже "кристаллах". P.S. Я напомню, что при отложенной записи некоторые изменения могут вообще "не попасть" на адресную шину. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.09.2012, 11:46:58 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
Blazkowiczя не вижу каких либо препядствий тому чтобы разместить volatile переменную на CPU и использовать его собственные механизмы кеширования и синхронизации между потоками. Это, конечно, не совсем реестр. Но и не RAM, где фактически хранится общее значение. Если вкладывать в понятие volatile какое-то своё значение то может быть, может быть. Однако в JMM запись volatile связанна отношением happens-before с чтением volatile и поэтому просто одну переменную синхронизировать между потоками недостаточно, чтобы удовлетворять happens-before нужно синхронизировать весь кеш. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 27.09.2012, 23:30:40 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
Я думаю в таком сложном вопросе лучше обратиться к первоисточнику: 1. Пишем пример с volatile 2. Ставим hotspot disassembler: https://wikis.oracle.com/display/HotSpotInternals/PrintAssembly 3. Пускаем пример, смотрим чего нагенерил jit 4. Смотрим чего какая инструкция делает: http://www.intel.com/content/www/us/en/processors/architectures-software-developer-manuals.html Ещё в сорцах openjdk много комментариев, можно попробовать там раскопать. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 28.09.2012, 10:08:47 |
|
||
|
before-happens в JVM
|
|||
|---|---|---|---|
|
#18+
rrrrrrrr, О хорошая мысль, спасибо. Только что такое MEMBER и FENCES из асм кода вряд ли станет понятно ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 28.09.2012, 12:40:23 |
|
||
|
|

start [/forum/topic.php?fid=59&msg=37974044&tid=2130881]: |
0ms |
get settings: |
16ms |
get forum list: |
23ms |
check forum access: |
7ms |
check topic access: |
7ms |
track hit: |
75ms |
get topic data: |
21ms |
get forum data: |
5ms |
get page messages: |
105ms |
get tp. blocked users: |
3ms |
| others: | 290ms |
| total: | 552ms |

| 0 / 0 |
