Adapting Lincheck Concurrency Testing Framework for C/C++ Programs

Student: Gaev Aleksandr

Faculty: St. Petersburg School of Physics, Mathematics, and Computer Science

Educational Programme: Applied Mathematics and Information Science (Bachelor)

Year of Graduation: 2021

The process of developing multithreaded programs is much more complex than developing sequential programs. There are many different reasons for this: reordering operations by compilers or weakened memory models. All this leads to the need to test multithreaded programs even more thoroughly. Various tools were developed for these tasks, but unfortunately, there are few such tools for C++, which is confirmed by the fact that existing multithreaded libraries in C++ develop their infrastructure for testing. The Lincheck tool has been adapted for testing programs in C++ to help such libraries in testing. An interface was provided to use Linchceck from C++, and a dynamic library was generated to connect to existing projects. The tool was applied to existing popular multithreaded libraries in C++. Keywords: multithreading, testing, linearizability.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses