powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Форумы / Java [игнор отключен] [закрыт для гостей] / before-happens в JVM
34 сообщений из 34, показаны все 2 страниц
before-happens в JVM
    #37973404
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Коллеги расскажите как сие реализовано в JVM пожалуйста.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973411
забыл ник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Что именно вам непонятно? Вопрос смахивает на как реализован Unix
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973412
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Понятно что оно используется для volatile переменных

Вопрос как ?

Ну то есть есть переменная volatile

Один тред туда пишет - второй читает.

Как в asm коде будет выглядеть реализация констейнта happens-before ?
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973413
забыл ник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Хотя побуду телепатом.
Есть JVM-спецификация, по которой определенные действия должны происходить как happens-before. Тот кто имплементирует JVM на отдельной архитектуре должен соблюсти спецификацию, не важно каким образом, иначе это будет уже не JVM.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973414
забыл ник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
eextrasensПонятно что оно используется для volatile переменных

Вопрос как ?

Ну то есть есть переменная volatile

Один тред туда пишет - второй читает.

Как в asm коде будет выглядеть реализация констейнта happens-before ?
Как? Зависимым от архитектуры образом
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973417
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
А можно пример привести как оно на пальцах работает на примере двух тредов на любой их архитектур
Пусть HotSpot Jdk6 Unix
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973420
забыл ник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Синхронизация памяти достигается в основном мембарами(они же fences). Google it.

То есть если переменная не volatile все происходит так -
int i =0;
writeToNonVolatileMemory()

volatile int i = 0;

writeToVolatileMemory()
membar();
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973422
забыл ник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973428
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Коллега, забыл ник, а если Вы в курсе что такое fences в деталях опишите пожалуйста.

Больно трудно такое гуглить когда вообше не представляешь о чем это
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973436
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
eextrasensБольно трудно такое гуглить когда вообше не представляешь о чем это"memory barries" - указание аппаратуре процессора отключить переупорядочивание доступа и прочие финты ушами.
Для компилятора, кроме того, volatile - означает запрет на "регистровую оптимизацию".
А теперь возникает вопрос - задлянафига вы спрашиваете на форуме то, что нужно вдумчиво и самостоятельно изучать?
И самое главное: "Вы с какой целью интересуетесь?" Вот чем вам это будет полезно?
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973438
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Basil A. SidoroveextrasensБольно трудно такое гуглить когда вообше не представляешь о чем это"memory barries" - указание аппаратуре процессора отключить переупорядочивание доступа и прочие финты ушами.
Для компилятора, кроме того, volatile - означает запрет на "регистровую оптимизацию".
А теперь возникает вопрос - задлянафига вы спрашиваете на форуме то, что нужно вдумчиво и самостоятельно изучать?
И самое главное: "Вы с какой целью интересуетесь?" Вот чем вам это будет полезно?


>> запрет на "регистровую оптимизацию".

Зависит от процессора возможно просто сбросятся регистровые кеши других тредов в современных процах

>> А теперь возникает вопрос - задлянафига вы спрашиваете на форуме то, что нужно вдумчиво и самостоятельно изучать?

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

>> И самое главное: "Вы с какой целью интересуетесь?" Вот чем вам это будет полезно?

Для общего развития и более глубокого понимания JVM и JMM
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973442
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
eextrasensЗависит от процессора возможно просто сбросятся регистровые кеши других тредов в современных процахВы это знаете или только что придумали?
Это уж я молчу, что "вам уже непонятно" - размещение volatile-переменной в регистре создаёт проблемную точку на единственном однопоточном процессоре.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973444
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Basil A. SidoroveextrasensЗависит от процессора возможно просто сбросятся регистровые кеши других тредов в современных процахВы это знаете или только что придумали?
Это уж я молчу, что "вам уже непонятно" - размещение volatile-переменной в регистре создаёт проблемную точку на единственном однопоточном процессоре.

Скажем так это гипотеза :)

Коллега помогите по сабжу - если знаете реально как оно там работает
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973448
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
eextrasensКоллега помогите по сабжу - если знаете реально как оно там работаетЯ, что, числюсь в списка разработчиков ядра JVM/Hotspot?
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973449
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
:)

ок ждем тех кто в теме
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973481
забыл ник
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Вряд ли тут вам кто-то еще что-то скажет. По этой теме надо действительно читать и читать, и разбираться. Да и посмотрите наконец исходники JVM, там наиболее актуальные сведения.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973482
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Ну мало ли :)
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973582
rdm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
eextrasensНу мало ли :)
Могу посоветовать ресурсы на русском) Все довольно просто и понятно)
http://habrahabr.ru/post/133981/
http://shipilev.net/pub/talks/j1-April2012-jmm.pdf
http://shipilev.net/pub/talks/j1-April2011-performanceBoF.pdf
http://cheremin.blogspot.com/search/label/threading
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973595
rdm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Возможно эти ссылки не совсем то что вы ищите, к сожаление не могу найти в закладках про реализацию)
http://www.javaspecialist.ru/2011/06/java-memory-model.html
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973612
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
То что надо - диаграмма от Шипилева :)

Довелось встретить этого перфоманс гуру из Оракла как то в Питере.

Ежу становится понятны механизмы и что такое happens-before

Осталось понять как оно там внутри устроено.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973625
rdm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
eextrasensТо что надо - диаграмма от Шипилева :)

Довелось встретить этого перфоманс гуру из Оракла как то в Питере.

Ежу становится понятны механизмы и что такое happens-before

Осталось понять как оно там внутри устроено.
Согласен) Где то я видел как это устроенно) В комментариях вот этот пользователь писал http://habrahabr.ru/users/apangin/
и еще где-то в блоге http://cheremin.blogspot.com/search/label/threading было про синхронизацию кэша и локальной памяти и про всякие разные команды процессора)
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973626
rdm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
У него в списке комментариев иногда есть ответы типа такого:

"В HotSpot JVM на x86/amd64 запись volatile поля сопровождается инструкцией LOCK ADD [RSP], 0 что достаточно для эффективного membar'а вместо медленного MFENCE. Чтение volatile поля ничем не отличается от чтения обычного поля.

Что касается final полей, HotSpot с ними всегда работает как с обычными. Никаких дополнительных действий для обеспечения вышеупомянутой семантики final виртуальная машина не осуществляет, ровно по той причине, что на всех ныне поддерживаемых архитектурах (x86, SPARC, ARM, PPC), пример ReorderingSample никогда не свалится. Случая с Reflection это не касается, поскольку он относится с Class Libraries и реализован за пределами JVM."
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973637
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rdm,

Спасибо - очень полезные ссылки
...
Рейтинг: 0 / 0
before-happens в JVM
    #37973706
Фотография grasoff.net
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Basil A. SidoroveextrasensКоллега помогите по сабжу - если знаете реально как оно там работаетЯ, что, числюсь в списка разработчиков ядра JVM/Hotspot?а чо ёрничаешь-то? как баба в пмс прям..
...
Рейтинг: 0 / 0
before-happens в JVM
    #37974034
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
grasoff.netа чо ёрничаешь-то?Если человек не понимает намёков, выбор формулировки - за мной.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37974044
Фотография Blazkowicz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Basil A. Sidorovразмещение volatile-переменной в регистре создаёт проблемную точку на единственном однопоточном процессоре.
Почему?
...
Рейтинг: 0 / 0
before-happens в JVM
    #37974076
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
BlazkowiczПочему?Потому, что переключение задач (передача управления другому потоку того же самого процесса) может произойти в любой момент.
Семантика volatile: "Значение данной переменной может измениться в произвольный момент и это не управляется кодом потока".
Если оставаться в рамках x86 и персоналок, то в цепочке типа:
Код: asm
1.
2.
move ax,[var]
adc ax, value
move [var]
значение переменной могло измениться, пока мы работали с регистром.
Такое изменение может быть и "непринципиально" и "ошибка".
Поэтому начинаются варианты - то ли критические секции создавать (дорого, если код короткий), то ли отказаться от регистровой оптимизации, то ли забить :)
...
Рейтинг: 0 / 0
before-happens в JVM
    #37974101
Фотография Blazkowicz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
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, где фактически хранится общее значение.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37974155
Фотография Blazkowicz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Basil A. Sidorov,

Хотя, ваша правда в том что реестр это не CPU-кэш и там нет механизмов инвалидации, поэтому именно через реестр volatile реализовать, похоже, нельзя.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37974158
Basil A. Sidorov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Blazkowiczя не вижу каких либо препядствий тому чтобы разместить volatile переменную на CPU и использовать его собственные механизмы кеширования и синхронизации между потоками.Процитированное никак не противоречит тому, что я сказал о семантике volatile.
Отслеживание адресов и сквозная запись - всего лишь механизмы, делающие принципиально возможной синхронизацию потоков, исполняющихся на разных ядрах или даже "кристаллах".

P.S. Я напомню, что при отложенной записи некоторые изменения могут вообще "не попасть" на адресную шину.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37975240
vimba
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Blazkowiczя не вижу каких либо препядствий тому чтобы разместить volatile переменную на CPU и использовать его собственные механизмы кеширования и синхронизации между потоками. Это, конечно, не совсем реестр. Но и не RAM, где фактически хранится общее значение.
Если вкладывать в понятие volatile какое-то своё значение то может быть, может быть. Однако в JMM запись volatile связанна отношением happens-before с чтением volatile и поэтому просто одну переменную синхронизировать между потоками недостаточно, чтобы удовлетворять happens-before нужно синхронизировать весь кеш.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37975514
rrrrrrrr
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Я думаю в таком сложном вопросе лучше обратиться к первоисточнику:

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 много комментариев, можно попробовать там раскопать.
...
Рейтинг: 0 / 0
before-happens в JVM
    #37975795
eextrasens
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
rrrrrrrr,

О хорошая мысль, спасибо.
Только что такое MEMBER и FENCES из асм кода вряд ли станет понятно
...
Рейтинг: 0 / 0
before-happens в JVM
    #37976562
rdm
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
...
Рейтинг: 0 / 0
34 сообщений из 34, показаны все 2 страниц
Форумы / Java [игнор отключен] [закрыт для гостей] / before-happens в JVM
Найденые пользователи ...
Разблокировать пользователей ...
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]