нового объекта, если его все равно не будет видно другим потокам, пока данный не выскочит из блока?
На самом деле интересная конструкция. Судя по сорсам: Создает корзину-затычку, сразу же попадает в блок synchronized потому что некому конкурировать и добавляет эту корзину в свое хранилище. Теперь любой кто захочет изменить корзину по индексу i будет вынужден ждать пока этот код не отпустит эту корзину(то есть по сути ждать завершения маппера + сет корзины в хранилище). Далее выполняется вычисление этого маппера и результат запишется в новую корзину которая сохранится заменив ReservationNode. Учитывая что остальные апдейты выглядят как: java while(true) { ... f = tabAt(tab, i); synchronized (f) { if (tabAt(tab, i) == f) { } получается что если во время вычисления кто-то пытался что-то записать в корзину под номером i - то ему придется дождаться чтобы узнать что значение поменялось и в следущей итерации цикла обработать уже вставленное посчитанное значение. В доках описаны следущие гарантии: java * The entire method invocation is performed atomically, so the function is applied at most once per key Получается такой способ залочить корзину под номером i во время работы гарантированно единственного вызова маппера
Обсуждают сегодня