Differences

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

--- etc:users:kel:diplomas [2020/03/15 23:44] – kel
+++ etc:users:kel:diplomas [2023/03/26 11:35] – kel
@@ Line 1: / Line 1: @@
 ====== Дипломные работы ======
 ===== Темы / направления =====
-  - [[.:jre_fuzzy_threads_planning]]
-  - Итераторы в lock-free контейнерах (Multi Array): в структуре данных "Feldman's Multi Array" в [[projects:libcds:start|libcds]] добавить возможность работы с ключами переменной длины через список коллизий в узлах. Тип lock-free списка должен задаваться извне (в Traits) - сейчас есть три реализации - MichaelList, LazyList, IterableList
-  - Пересмотр текущих чистых lock-free алгоритмов в сторону Hardware Transactional Memory
-  - Доработки [[https://github.com/STEllAR-GROUP/hpx|hpx]]
-    * Оптимизация планировщика по задачам типа [[https://github.com/STEllAR-GROUP/hpx/issues/3348|этой]]
-    * Реализация lock teleportation и подобных техник для некоторых структур данных
-    * Реализация частей [[http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0660r10.pdf|нового стандарта]]
-    * Перенос алгоритмов из [[projects:libcds:start|libcds]] в [[https://github.com/STEllAR-GROUP/hpx|hpx]] (ведётся активное обсуждение с разработчиками обеих)
-    * Адаптивная реализация базовых примитивов на основе HTM с fallback обратно
-  - Сравнительный аналз:
-    * Производительность STM для Java / Haskell / Closure
-    * Производительность HTM в OpenJDK
-    * Производительность [[https://www.cs.unc.edu/~porter/pubs/ispass10-final.pdf|HTM]]
-    * RCU примитивы по отношению к RWLock для различных структур данных (тут придётся немного пару структур может на rcu перевести, но это не сложно)
-    * Производительность scalable аллокаторов
-  - Оптимизация выдедения памяти в jemalloc и освобождения при делании сего из разных потоков
-  - //[В проработке]// Доработка применения HTM в OpenJDK ([[https://hosking.github.io/links/Chapman+2016OOPSLA.pdf|вводная статья]] и [[https://ts.data61.csiro.au/publications/nicta_full_text/9513.pdf|от того же автора]], небольшой [[https://jug.ru/talks/meetups/transactional-memory-and-beyond/|вводный доклад]]по TM в принципе). Сама реализация была сделана в 1.8 по [[https://bugs.openjdk.java.net/browse/JDK-8031320|этой задаче]].
-==== Архив ====
+  - Доработка [[https://gitlab.com/nsnam/netanim|визуализатора]] сетевой симулации [[https://www.nsnam.org/wiki/NetAnim|NetAnim]] по [[https://groups.google.com/g/ns-3-users/c/7ncstz8MIvM|пожеланиям разработчиков]] //(C++/Qt, возможно в ходе исследования может быть доработано иное средство)//:
-  - Доработка алгоритмов [[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 алгоритмами
+    * Анимация объёма передаваемых данных
-  - Реализация и моделирование сетевых протоколов в симуляторе [[https://www.nsnam.org/wiki/Project_Ideas|NS-3]]
+    * Возможность анимации в реальном времени с управлением через python-консоль
-  - Доработка визуализатора сетевой симулации [[https://www.nsnam.org/wiki/NetAnim|NetAnim]]
+    * Отображение направленности антенн
-  - Доработка алгоритмов детекции 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]] по существующим ошибкам / запросам
+  - Продолжение [[https://wiki.openjdk.org/display/tsan/Main|проекта Thread Sanitizer (применение Google TSAN через LLVM) для OpenJDK]]:
-  - Алгоритмы, требующие реализации и доработки в [[projects:libcds:tasks|libcds]], обычно есть что улучшить и ускорить по сравнению с реализацией из статей
+    * Изучение проблем приостановки работ в 2020 году
+    * Доведение до готовности к слиянию в основную ветку
+  - Доработка [[https://github.com/google/sanitizers/issues?page=2&q=is%3Aissue+is%3Aopen+tsan&utf8=%E2%9C%93|Google Thread Sanitizer]], в части:
+    * Уменьшение числа false/positive при поиске data/race
+    * [[https://github.com/google/sanitizers/issues/1415|Поддержка явных барьеров памяти]]
+    * [[https://ceur-ws.org/Vol-2344/paper9.pdf|Добавление fuzzing потоков]] (сейчас есть только на данных)
+  - Fuzzing:
+    * Участие в разработке [[https://github.com/google/centipede|centipede]] в части распределённости и привнесения учёта многопоточности в анализ трасс
+  - [[:projects:otolaryngologist:start]] (актуальные задачи на странице проекта)
+==== На уровне идей (конференции...) ====
-===== Текущие =====
+  - Оптимизация выдедения памяти в [[https://github.com/jemalloc/jemalloc|jemalloc]] и освобождения при делании сего из разных потоков //(С/C++)//
+===== Текущие темы =====
 ==== Магистранты ====
 ==== Бакалавры ====
-===== Защищённые =====
+===== Защищённые темы =====
+==== Специалисты ====
+  - Лагутчев Н. //"Разработка системы непрерывной интеграции для целевых платформ защищённых ОС"//, РГГМУ 2021
+  - Шмыгин Е. //"Разработка конвейерной системы поддержки жизненного цикла сборки программных продуктов"//, РГГМУ 2021
+  - Кузнецов Н. //"Проектирование безопасности оптико-электронной станции"//, РГГМУ 2020
 ==== Магистры ====
+  - Шахов А. //"Разработка стратегии планирования вычислительных потоков с целью проверки линеаризуемости lock-free алгоритмов"//, ЛЭТИ 2021
+  - Надежин Н. //"Разработка комплекса скоростной видеосъемки с возможностью автосопровождения летящих объектов"//, 2020
   - Ёров С. //"Доработка алгоритмов Google Thread Sanitizer"//, АУ 2018
   - Доронин О. //[[:etc:users:kel:fuzzy_threads_planning|"Автоматическое fuzzy-планирование потоков с помощью relacy для обнаружения ошибок в многопоточном коде"]]//, АУ 2018
@@ Line 47: / Line 48: @@
 ==== Бакалавры ====
+  - Швец А. //"Разработка системы управления наземными измерительными средствами"//, ЛЭТИ 2021
+  - Цикалюк А. //"Разработка инфраструктуры развёртывания программных артефактов в системе непрерывной интеграции"//, СПбГПУ 2021
   - Шохин Е. //"Интерактивная карта университета с отображением расписания"//, ЛЭТИ 2016
   - Королёв Ю. //"Разработка подсистемы визуализации созвездия навигационных космических аппаратов"//, ЛЭТИ 2009 (+ Кафтасьев)
+===== Архив =====
+  - Доработка алгоритмов детекции 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]] по существующим ошибкам / запросам
+  - Алгоритмы, требующие реализации и доработки в [[projects:libcds:tasks|libcds]], обычно есть что улучшить и ускорить по сравнению с реализацией из статей
+  - [[.:jre_fuzzy_threads_planning]]
+  - Пересмотр текущих чистых lock-free алгоритмов в сторону Hardware Transactional Memory
+  - Итераторы в lock-free контейнерах (Multi Array): в структуре данных "Feldman's Multi Array" в [[projects:libcds:start|libcds]] добавить возможность работы с ключами переменной длины через список коллизий в узлах. Тип lock-free списка должен задаваться извне (в Traits) - сейчас есть три реализации - MichaelList, LazyList, IterableList
+  - [[.:hpx]]
+  - Сравнительный анализ:
+    * Производительность STM для Java / Haskell / Closure
+    * Производительность HTM в OpenJDK
+    * Производительность [[https://www.cs.unc.edu/~porter/pubs/ispass10-final.pdf|HTM]]
+    * Производительность scalable аллокаторов //(C++)//
+  - //[В проработке]// Доработка применения HTM в OpenJDK ([[https://hosking.github.io/links/Chapman+2016OOPSLA.pdf|вводная статья]] и [[https://ts.data61.csiro.au/publications/nicta_full_text/9513.pdf|от того же автора]], небольшой [[https://jug.ru/talks/meetups/transactional-memory-and-beyond/|вводный доклад]]по TM в принципе). Сама реализация была сделана в 1.8 по [[https://bugs.openjdk.java.net/browse/JDK-8031320|этой задаче]]
+  - Решение [[https://gitlab.com/nsnam/ns-3-dev/-/issues|задач]] по расширению функциональности моделирования сетевых протоколов в симуляторе [[https://www.nsnam.org/wiki/Project_Ideas|NS-3]] //(С++)//
+  - Сравнительный анализ:
+    * RCU примитивы по отношению к RWLock для различных структур данных (тут придётся немного пару структур может на rcu перевести, но это не сложно) //(C++)//