Sanitizer. Алгоритм поиска deadlock.
Вам нужно реализовать Google TSan алгоритм поиска deadlock в многопоточном коде
с использование механизма LD_PRELOAD.
Алгоритм: Вершинами графа являются мьютексы. Строится граф в котором проводится направленное ребро в порядке захвата мьютексов. Если в графе существует цикл,
то значит в коде возможен потенциальный deadlock.
Необходимо выполнить три пункта:
1. Разработать разделяемую библиотеку sanitizer.so
2. Разработать как минимум три теста на которых показать что разработанный алгоритм работает. Тесты должны быть в отдельной директории со своим Makefile и
скриптами для запуска
3. Если в коде существует потенциальный deadlock, то должна быть выведена полезная информация, которая позволит понять где этот deadlock произошел
Могу прислать готовый пример. Код должен быть предельно задокументирован (чтобы я понял, что там происходит) и очень желательно отдельное текстовое описание с ответами на основные вопросы и описанием работы (для защиты программы у преподавателя)
Николай
СПбГТИ(ТУ)
Решение рукописное, была допущена ошибка в работе, но не существенная. Спасибо
Михаил
ННГУ
Заказ выполнен в день обращения! Подробное решение и все сделано и оформлено очень качеств...
Ольга
СПбГУПТД
Работа выполнена быстро. Знает свое дело на отлично! На вопросы отвечает сразу. Приятна в ...
Илья
Балтийская Государственная Академия Рыбопромыслового Флота (БГАРФ)
Не знаю как автора успевает выполнять такое количество работ, да еще и с прекраснейшим офо...