title: Verification thread-safe data structures by controllable synchronisation points
metadata.name: dc.contributor.advisor
metadata.value: Беляев Михаил Анатольевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Озерцов Александр Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Ozertsov Alexander
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Терехов Андрей Николаевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Terekhov Andrei Nikolаevich
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2018-07-25T20:10:58Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2018-07-25T20:10:58Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2017
metadata.name: dc.identifier.other
metadata.value: 030663
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/10716
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Озерцов Александр Сергеевич  Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации  Доктор физико-математических наук, профессор, профессор, Терехов Андрей Николаевич  Направление математическое обеспечение и администрирование информационных систем, кафедра системного программирования  Инструмент lin-check широко известен для проверки потокобезопасности структур данных на языке Java путем многократного запуска многопоточных алгоритмов. В работе описывается создание технического решения, позволяющего уменьшить количество повторных запусков алгоритма. Результатом работы является реализованный программный модуль, интегрированный в инструмент lin-check.  Использованных источников: 18  Озерцов А. С. Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации: Выпускная квалификационная работа: защищена 09.06.2017  / Озерцов Александр Сергеевич. – СПб., 2017. – 30 с. – Библиография: с. 29.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Ozertsov Alexander Sergeevich  Verification thread-safe data structures by controllable synchronisation points  professor Terehov Andrey Nikolaevich  Software and Administration of Information Systems, software engineering department   The lin-check tool is widely known to test the thread-safety of data structures in the Java language by repeatedly running multi-threaded algorithms. The paper describes the creation of a technical solution that allows reducing the number of repeated starts of the algorithm. The result of the work is the implemented software module, integrated into the lin-check framework.  Sources cited: 18  Ozertsov A. S. Verification thread-safe data structures by controllable synchronisation points: Graduation thesis: Defended 09.06.2017 / Ozertsov Alexander Sergeevich. – St.   Petersburg., 2017. – 30 pp. – Bibliography: pp. 29.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: линеаризуемость
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: тестирование
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: управление исполнением
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: точки переключений
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: верификация
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Linearizability
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: testing
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: execution management
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: synchronization points
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: verification
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Verification thread-safe data structures by controllable synchronisation points
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Верификация потокобезопасности структур данных с помощью управляемых точек синхронизации
metadata.lang: ru_RU
resources.filename: dipWork_-_diploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/10716/1/dipWork_-_diploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 160,33 kB
resources.filename: reviewSV_Otzyv_Ozercova.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/10716/2/reviewSV_Otzyv_Ozercova.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 355,33 kB
resources.filename: reviewSV_Ozercov_A_S__bak_rec.jpg
resources.url: https://dspace.spbu.ru/bitstream/11701/10716/3/reviewSV_Ozercov_A_S__bak_rec.jpg
resources.format: JPEG
resources.description: ReviewRev
resources.size: 232,42 kB
resources.filename: reviewSV_Ozercov_A_S__bak_rec_jpg_2.jpg
resources.url: https://dspace.spbu.ru/bitstream/11701/10716/4/reviewSV_Ozercov_A_S__bak_rec_jpg_2.jpg
resources.format: JPEG
resources.description: ReviewRev
resources.size: 150,63 kB
resources.filename: reviewSV_Ozercov_A_S__bak_rec_jpg_2_jpg_3.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/10716/5/reviewSV_Ozercov_A_S__bak_rec_jpg_2_jpg_3.pdf
resources.format: Adobe PDF
resources.description: ReviewRev
resources.size: 222,22 kB