Differences

This shows you the differences between two versions of the page.

--- etc:users:kel:diplomas [2017/06/16 08:45] – kel
+++ etc:users:kel:diplomas [2020/02/02 23:46] – kel
@@ Line 1: / Line 1: @@
 ====== Дипломные работы ======
 ===== Темы / направления =====
-  - [[fuzzy_threads_planning]]
+  - [[.:jre_fuzzy_threads_planning]]
   - Итераторы в lock-free контейнерах (Multi Array): в структуре данных "Feldman's Multi Array" в [[projects:libcds:start|libcds]] добавить возможность работы с ключами переменной длины через список коллизий в узлах. Тип lock-free списка должен задаваться извне (в Traits) - сейчас есть три реализации - MichaelList, LazyList, IterableList
   - Алгоритмы, требующие реализации и доработки в [[projects:libcds:tasks|libcds]], обычно есть что улучшить и ускорить по сравнению с реализацией из статей
   - Доработка алгоритмов [[https://github.com/google/sanitizers/issues?page=2&q=is%3Aissue+is%3Aopen+tsan&utf8=%E2%9C%93|Google Thread Sanitizer]], в частности:
     * В области уборки некорректных срабатываний в lock-free
-    * Умной работы с барьерами памяти
     * В целом исправление работы с fine-grained-lock алгоритмами
   - Доработка алгоритмов детекции Data race в valgrind [[http://www.valgrind.org/docs/manual/hg-manual.html#hg-manual.todolist|helgrind]] и [[http://www.valgrind.org/docs/manual/drd-manual.html|drd]] по существующим ошибкам / запросам
@@ Line 12: / Line 11: @@
   - Доработка визуализатора сетевой симулации [[https://www.nsnam.org/wiki/NetAnim|NetAnim]]
   - Пересмотр текущих чистых lock-free алгоритмов в сторону Hardware Transactional Memory
-  - Анализ применимости использования HTM для реализации futex и подобных (например, как [[http://www.hyflow.org/downloads/MS_Moore-presentation.pdf|здесь]])
-  - //В процессе формулирования://
-    * работа над производительностью некоторых биоинформатических библиотек
-    * реализация аналога pthread_setcancelstate для java
-    * Rast, Erlang
 ===== Текущие =====
 ==== Магистранты ====
-  - Кирдяшкин Б. //"Разработка неблокирующих конкурентных структур данных на основе временных меток"//, ЛЭТИ 201?
 ==== Бакалавры ====
@@ Line 26: / Line 19: @@
 ===== Защищённые =====
 ==== Магистры ====
+  - Ёров С. //"Доработка алгоритмов Google Thread Sanitizer"//, АУ 2018
+  - Доронин О. //[[:etc:users:kel:fuzzy_threads_planning|"Автоматическое fuzzy-планирование потоков с помощью relacy для обнаружения ошибок в многопоточном коде"]]//, АУ 2018
   - Карулин Н. //"Исследование и разработка методов обеспечения заданной производительности системы анализа последовательностей генома"//, ЛЭТИ 2017
   - Яцык А. //"Разработка протокола формирования и передачи вектора состояния ОЭС ТИК-М."//, ИТМО 2017