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

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

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

Итераторы в lock-free контейнерах (Multi Array)

Алгоритмы, требующие реализации и доработки в 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

Текущие

Магистранты

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

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

Шохин Е. “???”, ЛЭТИ 2018

Бакалавры

Абрамов М. “??? jmeter”

Защищённые

Магистры

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

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

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

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

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

Бакалавры

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

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