The MPI correctness checking library as part of the Intel® Trace Analyzer and Collector is a novel technology to detect errors with data types, buffers, communicators, point-to-point messages and collective operations, deadlocks, or data corruption.
This paper presents this new MPI correctness checking feature of the Intel® Trace Analyzer and Collector by describing its design, implementation and performance. As a use case, an analysis of the HPCC benchmark is presented, which contains some violations of the MPI standard in the 1.0.0 release.
The MPI correctness checking library continues to improve. Please download the latest version of the Intel Trace Analyzer and Collector to ensure you're up-to-date on the technology. The latest is available by logging into the Intel® Registration Center.
|MPI Correctness Checking with the Intel® Trace Analyzer and Collector [PDF]|
|File Name: lcihpcccorrectness.pdf
Size: 244,686 bytes
Date: June 2007
Note: PDF Files require Adobe Acrobat* Reader†
† This link will take you off of the Intel Web site. Intel does not control the content of the destination Web Site.
Intel's compilers may or may not optimize to the same degree for non-Intel microprocessors for optimizations that are not unique to Intel microprocessors. These optimizations include SSE2, SSE3, and SSSE3 instruction sets and other optimizations. Intel does not guarantee the availability, functionality, or effectiveness of any optimization on microprocessors not manufactured by Intel. Microprocessor-dependent optimizations in this product are intended for use with Intel microprocessors. Certain optimizations not specific to Intel microarchitecture are reserved for Intel microprocessors. Please refer to the applicable product User and Reference Guides for more information regarding the specific instruction sets covered by this notice.
Notice revision #20110804