News

27.11.2008 Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released.»

31.10.2008 Two our articles are published in the magazine “Izvestiya TulGU. Tehnicheskie Nauki”, issue ¹3 – 2008.»

15.10.2008 Announcing Viva64 2.20.»

News RSS

VivaMP Tool

Main » VivaMP Tool

Parallel programming for PCs is a real challenge now when multicore processors has become a practice. It is natural that parallel programming support appeared in compilers. One of the most widely spread technologies of parallel programming is OpenMP. It is supported by Microsoft Visual C++, Intel C++, PGI C++ Workstation and many other compilers. But as parallel programming for PCs only starts spreading, the support of “parallel errors” testing in compilers has not achieved its strong position yet. Nowadays the level of error diagnostic by compilers in OpenMP programs is at the same rate as the common error verification in traditional compilers used to be 30 years ago. Just at that time static code analysis tools which complemented diagnostic abilities of a compiler appeared. One of the most famous tools of this class is lint analyzer for C++ programs. The time of parallel programs has come and we offer a new product - VivaMP.

VivaMP is a lint-like static C/C++ code analyzer meant to indicate errors in parallel programs based on OpenMP technology. VivaMP static analyzer adds much to the abilities of the existing compilers, diagnoses any parallel code which has some errors or is an eventual source of such errors. The analyzer is integrated into VisualStudio2005/2008 development environment and into the system by means of MSDN (details).

Fields of application of VivaMP:

  • Verification of code correctness of OpenMP based applications .
  • Help in mastering OpenMP and its integration into the existing projects
  • Developing parallel applications which use resources more efficiently.
  • Error search in the existing OpenMP applications.

VivaMP advantages

Static code analysis methodology used in VivaMP has some essential advantages over other types of analysis. The errors in parallel programs are difficult to display and it's not easy to find them while debugging. The main advantage of static analyzer is that there's no necessity to start an application; it does not depend upon the hardware environment. Static analysis allows embracing the whole program code. The process of code verification is not able to damage the code itself. The process of analysis is entirely controlled by the developer, and it's he who decides whether it's necessary to modify it.

VivaMP possesses a large knowledge base concerning OpenMP-based code development: reference system, articles, and examples. This makes introduction and exploitation of the analyzer easier and allows to improve the knowledge of developers in the field of parallel programming.

When being installed VivaMP is integrated into Microsoft Visual Studio environment and into MSDN system. VivaMP provides its users with a convenient user's interface for file analysis, code navigation, help information. Working with this analyzer doesn't involve any manual study, setting; you don't have to choose any verification level, etc. The analyzer is ready to work right after being installed.

 

Articles:

Download "VivaMP Showcase" presentation (1 Mb).