OOO "Program Verification Systems"
Use PVS-Studio to check 64-bit and parallel applications
05.02.2010
/Wp64 switch and template processing error
While maintaining the analyzer Viva64 (included into PVS-Studio) we often comment upon the switch /Wp64 of Microsoft Visual C++.»
03.02.2010
Parallel notes N1 - OpenMP technology
In the next few posts we will tell you about using multi-core processors in practice.»
29.01.2010
64-bit technologies - one more trend in the modern software
In the blogs and forums, there is much discussion of multi-core processors as an evident step of computer system development.»
2.02.2010 "Lessons of 64-bit C/C++ software development" are now available on our site.»
1.02.2010 PVS-Studio 3.45 New Version Released!»
21.01.2010 PVS-Studio 3.44 New Version Released!»
10.12.2009
PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»
09.12.2009
VivaCore FAQ
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
23.11.2009
PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
OpenMP. OpenMP is a standard of programming on scaling SMP-systems (SSMP, ccNUMA etc) in the shared memory model. In the shared memory programming model all the processes use the common address space which they asynchronously address with reading and writing requests. OpenMP standard includes specifications of the set of the compiler's directives and the environment's functions and variables. Development of OpenMP specification is performed by several large hardware and software manufacturers whose work is regulated by a non-commercial organization called OpenMP Architecture Review Board (ARB). The main purpose of creating OpenMP was to set programmers free from multi-thread complexity allowing them to focus on more important high-level issues. The main OpenMP advantages are:
"Incremental paralleling" of a program. OpenMP is an ideal for the developers who want to quickly parallel their calculating programs with large parallel loops. A developer does not create a new parallel program but simply sequentially adds OpenMP-directives into the text of a sequential program.
An OpenMP-program can be used as a sequential program on a single-processor platform, that is there is no need to support both the sequential and parallel versions.
Good portability. If the compiler does not even support OpenMP-directives, it still will compile a workable program which will be executed sequentially.
One of OpenMP's advantages is also support of so called "orphan" (separated) directives, that is directives of synchronizing and distributing work may not directly be included into the lexical context of the parallel area.
Parallel software development is not only a difficult algorithmic task. Parallel software is also difficult to test because errors in such programs occur irregularly and fail to be recalled. One of the methods of searching errors in parallel programs is to use static analyzers that work with the source code and do not depend on the execution environment.
Our company OOO "Program Verification Systems" developed the static code analyzer VivaMP (included into PVS-Studio) intended for detecting errors in parallel applications based on OpenMP technology. VivaMP static analyzer allows you to test C/C++ code and is an add-on to Visual Studio 2005/2008 environment. The analyzer allows you to find many errors providing the range of diagnosis from inefficient constructions to race conditions.