Адаптация Lincheck для тестирования многопоточных алгоритмов на C/C++

Процесс разработки многопоточных программ гораздо сложнее, чем последовательных. Есть множество различных причин для этого, будь то переупорядочивание операций компиляторами, либо ослабленные модели памяти. Всё это приводит к необходимости тестировать многопоточные программы ещё тщательнее. Для этих задач разрабатываются различные инструменты, но, к сожалению, таких инструментов не так много для C++, что подтверждается тем фактом, что существующие многопоточные библиотеки на C++ разрабатывают собственную инфраструктуру для тестирования. Для помощи таким библиотекам в тестировании в данной работе инструмент Lincheck был адаптирован для тестирования программ на C++. Был предоставлен интерфейс для использования Linchceck из C++, а также сгенерирована динамическая библиотека для подключения к существующим проектам. Работоспособность инструмента была протестирована на существующих популярных многопоточных библиотеках на C++. Ключевые слова: многопоточность, тестирование, линеаризуемость.