Форум программистов и сисадминов Киберфорум - Блоги - Coffeini https://www.cyberforum.ru/blogs/1576652/ КиберФорум - форум программистов, системных администраторов, администраторов баз данных, компьютерный форум, форум по электронике и бытовой технике, обсуждение софта. Бесплатная помощь в решении задач по программированию и наукам, решение проблем с компьютером, операционными системам ru Wed, 02 Sep 2026 13:24:56 GMT vBulletin 60 https://www.cyberforum.ru//cyberstatic.net/images/misc/rss.jpg Форум программистов и сисадминов Киберфорум - Блоги - Coffeini https://www.cyberforum.ru/blogs/1576652/ Формализация Java Memory Model https://www.cyberforum.ru/blogs/1576652/8509.html Tue, 23 Apr 2024 12:19:03 GMT Наконец, спустя долгое время структурировал в какой-никакой формальной форме своё понимание jmm в... Наконец, спустя долгое время структурировал в какой-никакой формальной форме своё понимание jmm в статье. Возможно кому-то пригодится.

Мне по большей части это необходимо для создания хотя бы простейшего визуализатора многопоточности. Ну и кмк, в нём возможен эффект наблюдателя, когда мои точки останова внесут изменения в тот изначальный порядок и визуализация будет некорректной. Теперь можно попробовать формально доказать будет ли он.
Вложения
Тип файла: pdf sync.pdf (156.4 Кб, 335 просмотров)
]]> Coffeini https://www.cyberforum.ru/blogs/1576652/8509.html