Вопрос по lockfree-очереди. Реализовал её по алгоритму Майкла-Скотта + с оглядкой на бустовскую и примеры в интернете.
Как и полагается, спустя месяц пришли к выводу, что время от времени падает именно она.
Как дебажить?
Санитайзеров на платформе нет, имеющиеся средства анализа не вылавливают ошибку, однако удалось создать +- повторяемые условия её проявления.
написать на TLA+ её сначала. (сорри что поздно)