egorpetrov 25 фев 2016 в 22:38

Справочник по синхронизаторам java.util.concurrent.*

14 мин

279K

Java*

Туториал

+37

Комментарии 15

ruslanys 26 фев 2016 в 01:20

Визуализация потрясающая! Спасибо!

icepro 26 фев 2016 в 12:31

Вот тут еще есть https://sourceforge.net/projects/javaconcurrenta/

lukdiman 26 фев 2016 в 01:42

Сразу возник вопрос к примеру с парковкой, где используется семафор. Не будет ли тут race condition? Вы ведь пускаете 5 потоков сразу. Один поток проверит наличие свободного места, второй поток так же одновременно проверит наличие свободного места и обе машины встанут на одно и тоже место.

ruslanys 26 фев 2016 в 02:01

Семафоры — самый простой способ решения проблем с доступом к критической секции, если абстрагироваться от Java.
За ними мониторы — примерно то же самое, только с очередями.

Ну и остальные структуры, которые описаны в статье для решения разного рода задач синхронизации потоков.

Семафор
Монитор

ruslanys 26 фев 2016 в 02:07

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

lukdiman 26 фев 2016 в 09:15

Это понятно, но в данном конкретном примере с парковкой есть ошибка.

ruslanys 26 фев 2016 в 11:05

Ааа. А я посчитал, что пример априори верный, просто я что-то не понимаю.
Спасибо!

egorpetrov 26 фев 2016 в 13:04

Спасибо, исправился.

dzugaru 26 фев 2016 в 02:42

Каждый раз, когда я вижу потоки переведенные как "нити", у меня дергается глаз.

apangin 26 фев 2016 в 03:20

Ужасные примеры с кучей ошибок.

В примере Semaphore парковка не синхронизирована между заехавшими на неё автомобилями. В результате несколько автомобилей могут одновременно занять одно место.
Неудачный пример CountDownLatch: команды "Внимание", "Марш" могут быть даны ещё до прибытия автомобилей на старт, при этом команда "Марш" сама не является сигналом к началу гонки.
С Phaser вообще беда. В обоих циклах while очевидный race condition: фаза может измениться после проверки условия. Вообще, конструкция phaser.awaitAdvance(phaser.getPhase()) не имеет смысла по причине своей неатомарности. Кроме того, в примере пассажир может пропустить автобус, даже если пришёл на остановку вовремя.

Добавлю, что давать ссылки на документацию по Java 7 (устаревшую) — плохой тон. И, как уже было замечено, в русском языке thread принять переводить "поток", а не "нить".

apangin 26 фев 2016 в 19:13

Смотрю, уже почти всё исправили. Так гораздо лучше, правда.
Вообще, здорово, что такие понятия показаны на понятных бытовых примерах. Спасибо, и плюс в карму!