Samara University Repository
Welcome!
| Title: | Повышение достоверности обнаружения состояний гонки данных многопоточных системах |
| Authors: | Лобачев А. Ю. Засов В. А. |
| Keywords: | алгоритмы генерации данные гонки данных достоверность обнаружения многопоточные системы обнаружение состояния гонки состояние гонки данных |
| Issue Date: | 2022 |
| Citation: | Лобачев, А. Ю. Повышение достоверности обнаружения состояний гонки данных многопоточных системах / А. Ю. Лобачев, В. А. Засов // Информационные технологии и нанотехнологии (ИТНТ-2022) : сб. тр. по материалам VIII Междунар. конф. и молодеж. шк. (г. Самара, 23 - 27 мая) : в 5 т. / М-во науки и образования Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т систем обраб. изобр. РАН - фил. ФНИЦ "Кристаллография и фотоника" РАН. - Самара : Изд-во Самар. ун-та, 2022Т. 5: Науки о данных / под ред. А. В. Куприянова. - 2022. - С. 052782. |
| Abstract: | Предложена методика коллективного тестирования группой детекторов гонки произвольных программ для обнаружения состояний гонки данных многопоточных системах. Разработан алгоритм для генерации программ для тестирования детекторов гонки данных. Предложенные методика и алгоритм позволяют повысить достоверность обнаружения состояний гонки данных в многопоточных системах. |
| URI: | http://repo.ssau.ru/jspui/handle/123456789/12499 |
| Appears in Collections: | Информационные технологии и нанотехнологии |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| ИТНТ-2022. Том 5. Науки о данных/978-5-7883-1793-9_2022-052782.pdf | 709.04 kB | Adobe PDF | View/Open |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.