Vivamp is a C/C++ code analyzer designed to assist developers in finding errors in OpenMP-based parallel software. The tool, which integrates with Microsoft Visual Studio 2005/2008, simplifies the development of OpenMP solutions by detecting errors that cannot be diagnosed by the compiler and providing correction information. It emphasizes the advantages of static analysis for error detection in parallel programming, specifically targeting the unique structure of OpenMP code.

1. VivaMP - a tool for OpenMP
Author: Evgeniy Ryzhkov
Date: 20.11.2009
At present, Viva64 and VivaMP software products are included in PVS-Studio as parts of it and are no
longer distributed as separate applications. Please use PVS-Studio program to obtain the necessary
possibilities of code verification.
Abstract
The tool for programmers VivaMP is intended for helping OpenMP-based parallel software developers.
The article gives a brief description of the program product.
OpenMP parallel programming technology: advantages and
disadvantages
The modern processor (whether in a desktop or in a laptop) has several cores. Most often there are two
cores and more rarely three or four. But very soon even eight cores in a usual desktop computer will be
a common thing. That's why the most progressive software developers start thinking right now how to
make their programs parallel. That is how to load all the available processor's cores. And although it
would be an absolutely correct solution to develop a new parallel version of the program product, it is
actually the existing sequential version that is usually "parallelized". There are many different parallel
programming technologies but we are interested first of all in OpenMP technology as the most
promising for systems with common memory, that is the most promising for paralleling programs
intended for desktop computers. It allows you to make the existing program parallel by rewriting its
separate sections. All this seems (and actually is) very attractive to developers but here we face a
problem. Support of OpenMP technology is implemented in existing developing means so that it is very
easy to make errors which are not diagnosed [1]. Because of this developing OpenMP-solutions
becomes even more complicated.
A tool for supporting OpenMP-solution developers
To make the process of developing OpenMP-solutions less complicated OOO "Program Verification
Systems" creating program products in the sphere of code analysis has developed the program product
VivaMP (http://www.viva64.com/vivamp-tool/).
VivaMP is a C/C++ code analyzer intended for searching errors in existing OpenMP-programs and for
simplifying the process of developing new OpenMP-programs. If there are errors in a parallel program
which cannot be diagnosed by the compiler VivaMP will find them. After that the developer can easily
correct these errors using the Help system embedded into VivaMP.
Technically, VivaMP tool is implemented as an add-in module (AddIn) for Visual Studio 2005/2008
(figure 1).

3. Figure 1 - VivaMP tool is embedded into Microsoft Visual Studio 2005/2008 environment
After testing a separate file, project or whole solution the analyzer prints the list of potential errors the
developer should look through into Error List. You can get information on each error in the Help system
integrating into MSDN.
VivaMP tool allows you to:
• find old errors in existing OpenMP-solutions;
• detect errors in new OpenMP-solutions being developed;
• get information on correcting errors in the Help system;
• increase performance of OpenMP-based solutions;

4. • investigate most of the possible errors in OpenMP-solutions using both the documentation and
the demo-program ParallelSample attached to the VivaMP distribution kit.
The stated ways of using VivaMP make this tool useful both for first-time OpenMP-programmers and
their more experienced colleagues.
Advantages of static analysis over other methods of searching parallel
errors
VivaMP tool is a static code analyzer. This means that unlike dynamic analyzers it doesn't require
launching the program being tested to detect errors, and the result of the static analyzer's work doesn't
depend on the execution environment. Static analysis allows you to test the code which receives control
rarely or which is executed when processing rare errors.
Verification of parallel programs with the help of static analysis method is considered to be difficult and
ineffective as it is impossible to detect errors occurring when different program parts interact. But in
case of OpenMP technology you can effectively use static analysis. It is because of OpenMP technology's
"local" character. As a rule, parallel code in programs is gathered in one place and this helps perform
detailed static analysis for detecting errors. To learn more about this subject see the article "Testing
parallel programs" [2].
Conclusion
If you develop parallel programs using OpenMP technology you need to get acquainted with VivaMP
tool (http://www.viva64.com/vivamp-tool/). It will help you make development of OpenMP-solutions
much simpler and quicker.
References
1. Alexey Kolosov, Evgeniy Ryzhkov, Andrey Karpov. 32 OpenMP Traps For C++ Developers.
http://www.viva64.com/art-3-2-1023467288.html
2. Andrey Karpov. Testing parallel programs. http://www.viva64.com/art-3-2-548461019.html