| Наименование РИД |
Разработка платформы сохранения последовательности исполнения потоков в Google Thread Sanitizer
|
| Реферат |
Результат интеллектуальной деятельности представляет собой программу для ЭВМ, предназначенную для автоматизированного выявления, сохранения и детерминированного воспроизведения ошибок в многопоточном программном коде. Программа реализует алгоритмы фаззинг-планирования потоков, механизмы фиксации и восстановления последовательности их исполнения, а также язык детерминированного управления потоками для воспроизведения ошибочных сценариев.
РИД интегрируется с инструментом динамического анализа Google Thread Sanitizer и позволяет выявлять гонки данных и взаимоблокировки, в том числе в случаях, не обнаруживаемых стандартными средствами анализа. Разработанный программный продукт реализован в виде минимально жизнеспособного прототипа (MVP), протестирован на синтетических и реальных проектах с многопоточным кодом и апробирован в научно-исследовательской деятельности.
Использование результата повышает эффективность тестирования и отладки многопоточных программных систем, упрощает воспроизведение трудноуловимых ошибок и может применяться в научных, образовательных и прикладных задачах разработки программного обеспечения.
|
| Возможные направления использования |
Информационные технологии, системное и прикладное программирование, разработка и тестирование программного обеспечения, анализ надежности и безопасности программных систем, образовательные и научно-исследовательские проекты в области многопоточного программирования.
|
| Количество опытных образцов |
1
|
| Количество просмотров |
2
|
| Наличие дополнительных файлов |
False
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2025-12-16T13:57:26.283691+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Исполнитель
|
| Заказчик |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ "ФОНД СОДЕЙСТВИЯ РАЗВИТИЮ МАЛЫХ ФОРМ ПРЕДПРИЯТИЙ В НАУЧНО-ТЕХНИЧЕСКОЙ СФЕРЕ"
|
| Руководитель работы |
Доронина Карина Ильдаровна
|
| Руководитель организации |
Доронина Карина Ильдаровна
|
| Регистрационный номер НИОКТР |
—
|
| Последний статус |
Подтверждена, 625122400184-3, 2025-12-24 10:03:29 UTC
|
| ОКПД |
Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения
|
| Ключевые слова |
инструмент поиска ошибок; гонки данных; с/с++; lock-free алгоритмы; ошибки многопоточного кода
|
| Исполнители |
Доронина Карина Ильдаровна
|
| Авторы |
Доронина Карина Ильдаровна
|
| Коды тематических рубрик |
50.01.05 - Материалы общего характера
|
| OESR |
Компьютерные, информационные науки и биоинформатика (разработка аппаратного обеспечения относится к разделу 2.2, социальный аспект относится к разделу 5.8)
|
| Приоритеты научно-технического развития |
а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;
|
