Здравствуйте, vdimas, Вы писали:

V>В момент чтения b = lbuckets[bucketNumber] без всяких барьеров можно прочитать в поля bucket значения из памяти в произвольном порядке, например прочитать в b.val null, в то время как b.key и b.hash_coll будут еще валидными.
В этом случае сработает вот это условие

isWriterInProgress || (currentversion != version)

И значение будет считано ещё раз.