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