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