UB and the possibility of runtime bugs in `SwappingSmart`

[ddvamp]

userver/universal/include/userver/utils/swappingsmart.hpp

Lines 25 to 28 in 407c685

	std::shared_ptr<T> Get() const {
	const short index = current_.load(std::memory_order_relaxed);
	return ptrs_[index];
	}

Формально, чтение ptrs_ не синхронизировано с записью в терминах memory model, поэтому имеем UB.

При исполнении возможны различные гонки между чтением и записью.

Как гонка возникает:

• чтение current_ не гарантирует видимость последнего в mo значения, так что можно вычитать старый индекс, обозначающий текущий слот записи.
• после считывания актуального индекса копирование может быть отложено (например, вытеснением), до момента записи в слот.

Копирование std::shared_ptr<> может быть реализовано следующим образом:

1. Скопировать указатель на объект.
2. Скопировать указатель на блок.
3. Если блок есть, увеличить счётчик.

Варианты гонок:

• копирование старого указателя на объект и нового указателя на блок, или наоборот.
• обращение к удалённому блоку.
• e.t.c.

[hiSandog]

Похоже, здесь стоит явно зафиксировать требуемый memory-order контракт в тесте или комментарии рядом с SwappingSmart. Если слот может перезаписываться после чтения current_, то защита должна покрывать не только атомарность индекса, но и время жизни пары указатель/control block у shared_ptr. Минимальный stress-test под TSAN с частыми swap/read операциями помог бы отличить чисто формальный UB от реально наблюдаемой гонки.