Multithreaded algorithm verification by controllable execution of lightweight threads

Abstract

Булгаков Андрей Вадимович Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков Доктор физико-математических наук, профессор, профессор, Терехов Андрей Николаевич Направление математическое обеспечение и администрирование информационных систем, кафедра системного программирования На сегодняшний день существует потребность в тестировании многопоточных алгоритмов. Инструмент lin-check широко известен для проверки потокобезопасности алгоритмов на языке Java. В работе описывается создание технического решения, позволяющего использовать легковесные потоки и точки синхронизации для проверки потокобезопасности. Результатом работы является реализованный программный модуль, интегрированный в инструмент lin-check. Использованных источников: 11 Булгаков А.В. Верификация многопоточных алгоритмов методом управляемого исполнения легковесных потоков: Выпускная квалификационная работа: защищена 09.06.2017 / Булгаков Андрей Вадимович. – СПб., 2017. – 28 с. – Библиография: с. 26.

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.