Detecting and Resolving Errors

To demonstrate the process of correctness checking of MPI applications, this tutorial uses two sample applications that have errors in the source code. All the sample applications eligible for correctness checking are available at: <install-dir>/examples/checking. You can use these samples to manually experiment with the functionality using the workflow described here.

Read the topics below to learn how to configure the correctness checker and how to detect and resolve application errors using Intel® Trace Analyzer and Collector.

Configuration Options

A list of Intel® Trace Collector configuration options for controlling the correctness checking process.

Example 1: Data Type Mismatch

A case where the types of data sent and received do not match, while the number of bytes sent is the same.

Example 2: Deadlock

A case where two processes simultaneously call blocking receive functions, making them unable to call the succeeding sending functions, which causes the so-called deadlock.

 

For more complete information about compiler optimizations, see our Optimization Notice.