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.