Итак, при использовании протокола доступа к данным с использованием блокировок часть проблем разрешилось (не все), но возникла новая проблема - тупики:
Проблема потери результатов обновления - возник тупик.
Проблема незафиксированной зависимости (чтение "грязных" данных, неаккуратное считывание) - проблема разрешилась.
Неповторяемое считывание - проблема разрешилась.
Появление фиктивных элементов - проблема не разрешилась.