Verification thread-safe data structures by controllable synchronisation points

Abstract

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

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.