title: Multithreaded algorithm verification by controllable execution of lightweight threads
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: Bulgakov Andrey
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:12:07Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2018-07-25T20:12:07Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2017
metadata.lang: -
metadata.name: dc.identifier.other
metadata.value: 033381
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/11177
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Булгаков Андрей Вадимович  Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков  Доктор физико-математических наук, профессор, профессор, Терехов Андрей Николаевич  Направление математическое обеспечение и администрирование информационных систем, кафедра системного программирования  На сегодняшний день существует потребность в тестировании многопоточных алгоритмов.  Инструмент lin-check широко известен для проверки потокобезопасности алгоритмов на языке Java. В работе описывается создание технического решения, позволяющего использовать легковесные потоки и точки синхронизации для проверки потокобезопасности. Результатом работы является реализованный программный модуль, интегрированный в инструмент lin-check.  Использованных источников: 11  Булгаков А.В. Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков: Выпускная квалификационная работа: защищена 09.06.2017  / Булгаков Андрей Вадимович. – СПб., 2017. – 28 с. – Библиография: с. 26.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Bulgakov Andrey Vadimovich  Multithreaded algorithms verification by controllable execution of lightweight threads  professor Terehov Andrey Nikolaevich  Software and Administration of Information Systems, software engineering department   Nowadays, there is a need for testing multi-threaded algorithms. The lin-check tool is widely known to test the thread safety of algorithms in the Java language. The paper describes the creation of a technical solution that allows the use of lightweight threads and synchronization points to check thread safety. The result of the work is the implemented software module, integrated into the lin-check tool.  Sources cited: 11  Bulgakov, A.V. Multithreaded algorithms verification by controllable execution of lightweight threads: Graduation thesis: Defended 09.06.2017 / Bulgakov Andrey Vadimovich. – St. Petersburg., 2017. – 28 pp. – Bibliography: pp. 26.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.lang: -
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: верификация
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: green threads
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: lightweight threads
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: synchronization points
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Multithreaded algorithm verification by controllable execution of lightweight threads
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков
metadata.lang: ru_RU
resources.filename: diploma_final.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/11177/1/diploma_final.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 290,64 kB
resources.filename: reviewSV_Otzyv_Bugakova.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/11177/2/reviewSV_Otzyv_Bugakova.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 388,73 kB
resources.filename: reviewSV_review_scan.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/11177/5/reviewSV_review_scan.pdf
resources.format: Adobe PDF
resources.description: ReviewRev
resources.size: 5,52 MB