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". »
Deadlock. Another name: Dead-end. A situation in a multitask system when several processes are in the state of infinite wait for resources trapped by the processes themselves. Here is an example. Assume there are two tasks with low (A) and high (B) priority in the system, which use two resources - X and Y. At moment T1 task A locks resource X. Then at moment T2 task A is displaced by a more priority task B which locks resource Y at moment T3. If task B tries to lock resource X (T4) without releasing resource Y it will be set into waiting state while execution of task A will be continued. If at moment T5 task A tries to lock resource Y without releasing X a state of deadlock appears - none of the tasks (A) and (B) can get control.