Дипломные работы

Темы / направления

Автоматическое fuzzy-планирование потоков с помощью relacy для обнаружения ошибок в многопоточном коде

Итераторы в lock-free контейнерах (Multi Array): в структуре данных “Feldman's Multi Array” в libcds добавить возможность работы с ключами переменной длины через список коллизий в узлах. Тип lock-free списка должен задаваться извне (в Traits) - сейчас есть три реализации - MichaelList, LazyList, IterableList

Алгоритмы, требующие реализации и доработки в libcds, обычно есть что улучшить и ускорить по сравнению с реализацией из статей

Доработка алгоритмов Google Thread Sanitizer, в частности:

В области уборки некорректных срабатываний в lock-free

Умной работы с барьерами памяти

В целом исправление работы с fine-grained-lock алгоритмами

Доработка алгоритмов детекции Data race в valgrind helgrind и drd по существующим ошибкам / запросам

Реализация и моделирование сетевых протоколов в симуляторе NS-3

Доработка визуализатора сетевой симулации NetAnim

Пересмотр текущих чистых lock-free алгоритмов в сторону Hardware Transactional Memory

Анализ применимости использования HTM для реализации futex и подобных (например, как здесь)

В процессе формулирования:

работа над производительностью некоторых биоинформатических библиотек

реализация аналога pthread_setcancelstate для java

Rast, Erlang

Текущие

Магистранты

Кирдяшкин Б. “Разработка неблокирующих конкурентных структур данных на основе временных меток”, ЛЭТИ 201?

Бакалавры

Защищённые

Магистры

Карулин Н. “Исследование и разработка методов обеспечения заданной производительности системы анализа последовательностей генома”, ЛЭТИ 2017

Яцык А. “Разработка протокола формирования и передачи вектора состояния ОЭС ТИК-М.”, ИТМО 2017

Галимуллин М. “Разработка адаптивной стратегии синхронизации потоков в конкурентных структурах данных, основанных на flat-combining”, ЛЭТИ 2016

Рапоткин Н. “Разработка стратегий flat-combining для конкурентных структур данных на примере библиотеки libcds»”, ЛЭТИ 2015 (+ Балтрашевич)

Леснова О. “Разработка методов балансировки нагрузки для платформы моделирования сетей NS-3”, ЛЭТИ 2013 (+ Балтрашевич)

Алексеева А. “Разработка алгоритма маршрутизации беспроводных Mesh-сетей в условиях ограничения на энергопотребление узлов”, ЛЭТИ 2013 (+ Балтрашевич)

Александрова С. “Разработка средства моделирования пространственной структуры белковых молекул”, АУ 2010

Бакалавры

Шохин Е. “Интерактивная карта университета с отображением расписания”, ЛЭТИ 2016

Королёв Ю. “Разработка подсистемы визуализации созвездия навигационных космических аппаратов”, ЛЭТИ 2009 (+ Кафтасьев)