Our Article in RSDN Magazine

Andrey Karpov
Articles: 565

An article by OOO "Program Verification Systems" developers, "Debugging and optimization of multi-thread OpenMP-programs" has been issued by RSDN Magazine, #4 - 2008.


Issues on the availability of tools with the help of which it is possible to correct errors which occur in use of such new libraries and standards as, e.g., OpenMP, are brought out. One of such tools which meets the requirements of time and such technology is VivaMP static code analyzer. This article, as well as other articles included in the RSDN Magazine, is an in-depth one and not just a review. It is focused at the developers who create software in the field of multithreading programming and face the difficulties in creating multithreaded solutions. Its aim is to give answers to some topical issues which arise in the process of such work.

You can read the e-version of the article at our site.

Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Andrey Karpov
Articles: 565

Bugs Found

Checked Projects
Collected Errors
14 526
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →