Must - Revision history

Nina-loseke-fd7a@rwth-aachen.de: Redirected page to MUST

2019-01-10T12:01:49Z

Redirected page to MUST

Nina-loseke-fd7a@rwth-aachen.de: /* Usage on the RWTH Cluster */

2019-01-10T07:08:14Z

Usage on the RWTH Cluster

Nina-loseke-fd7a@rwth-aachen.de: /* Usage on the RWTH Cluster */

2019-01-10T07:08:04Z

Usage on the RWTH Cluster

Nina-loseke-fd7a@rwth-aachen.de: /* Usage */

2019-01-10T07:00:55Z

Usage

Nina-loseke-fd7a@rwth-aachen.de: /* Usage */

2019-01-10T06:57:09Z

Usage

Nina-loseke-fd7a@rwth-aachen.de: /* Usage */

2019-01-10T06:55:09Z

Usage

Nina-loseke-fd7a@rwth-aachen.de at 06:41, 10 January 2019

2019-01-10T06:41:27Z

Jennifer-witham-0957@rwth-aachen.de: Created page with "MUST can be used to detect and report MPI errors. TOC == General == The MUST software consists of three individual packages: * PⁿMPI * GTI * MUST P^n<..."

2019-01-09T13:14:26Z

Created page with "MUST can be used to detect and report MPI errors. __TOC__ == General == The MUST software consists of three individual packages: * PnMPI * GTI * MUST Pn<..."

New page

MUST can be used to detect and report MPI errors.

__TOC__

== General ==

The MUST software consists of three individual packages:

* PnMPI
* GTI
* MUST

PnMPI is responsible for the basic infrastructure and collecting data by intercepting all MPI calls of the target application. GTI provides the tool structure and the MUST package handles performs the correctness checking. All three packages are configured and built together using [https://cmake.org/ CMake] and should only be used with the specific compiler and MPI library used in the process.

The two main usages for MUST are during application development and porting of an application to a new system. MUST can single out new errors and those not manifesting in an application crash. It can also detect violations to the MPI standarad on the target system.

== Correctness Checking ==

MUST provides checks for the following classes of errors:

* Constants and integer values
* Communicator usage
* Datatype usage
* Group usage
* Operation usage
* Request usage
* Leak checks (MPI resources not freed before calling MPI Finalize)
* Type mis-matches
* Overlapping buffers passed to MPI
* Deadlocks resulting from MPI calls
* Basic checks for thread level usage (MPI_Init_thread)

== Scalability ==

The scalability of MUST is dependent on the scalibility of the application. So far, it has been successfully tested with up to 16000 parallel processors.

== Usage ==

For installation instructions as well as the latest release please visit the [https://doc.itc.rwth-aachen.de/display/CCP/Project+MUST project MUST website], where there is also a detailed documentation available.

← Older revision		Revision as of 12:01, 10 January 2019
Line 1:		Line 1:
−	~~MUST can be used to detect and report MPI errors.~~	+	#REDIRECT [[MUST]]
−
−	~~__TOC__~~
−
−	~~== General ==~~
−
−	~~The MUST software consists of three individual packages:~~
−
−	* P<sup>n</sup>MPI
−	* GTI
−	* MUST
−
−	P<sup>n</sup>MPI is responsible for the basic infrastructure and collecting data by intercepting all MPI calls of the target application. GTI provides the tool structure and the MUST package performs the correctness checking. All three packages are configured and built together using [~~https://cmake.org/ CMake] and should only be used with the specific compiler and MPI library used in the process.~~
−
−	The two main use cases for MUST are during application development and porting of an application to a new system. MUST can single out new errors and those not manifesting in an application crash. It can also detect violations to the MPI standard on the target system.
−
−	~~== Correctness Checking ==~~
−
−	~~MUST provides checks for the following classes of errors:~~
−
−	* Constants and integer values
−	* Communicator usage
−	* Datatype usage
−	* Group usage
−	* Operation usage
−	* Request usage
−	* Leak checks (MPI resources not freed before calling MPI_Finalize)
−	* Type mismatches
−	* Overlapping buffers passed to MPI
−	* Deadlocks resulting from MPI calls
−	* Basic checks for thread level usage (MPI_Init_thread)
−
−	~~== Scalability ==~~
−
−	~~The scalability of MUST is dependent on the scalibility of the application. So far, it has been successfully tested with up to 16000 parallel processors.~~
−
−	~~== Usage ==~~
−
−	~~For installation instructions as well as the latest release please visit the~~ [~~https://doc.itc.rwth-aachen.de/display/CCP/Project+~~MUST ~~project MUST website~~]~~, where there is also a detailed documentation available.~~
−
−	~~=== Usage on the RWTH Cluster ===~~
−
−	~~The MUST tool is available as a module on all login nodes. There are several version that can be listed using:~~
−
−	~~module whatis must~~
−
−	~~An executable MPI program can be analysed with MUST using:~~
−
−	~~mustrun -np <num-processes> <executable>~~
−
−	After the application run, MUST will generate an HTML output (usually called "MUST_Output.html") listing and describing all errors detected. This file is located in the current directory and can be inspected like this:
−
−	~~firefox <path-to-HTML-file>~~

@@ Line 43: / Line 43: @@
 The MUST tool is available as a module on all login nodes. There are several version that can be listed using:
-module whatis must
+ module whatis must
 An executable MPI program can be analysed with MUST using:

← Older revision		Revision as of 07:08, 10 January 2019
Line 40:		Line 40:

	=== Usage on the RWTH Cluster ===		=== Usage on the RWTH Cluster ===
		+
		+	The MUST tool is available as a module on all login nodes. There are several version that can be listed using:
		+
		+	module whatis must

	An executable MPI program can be analysed with MUST using:		An executable MPI program can be analysed with MUST using:

← Older revision		Revision as of 07:00, 10 January 2019
Line 40:		Line 40:

	=== Usage on the RWTH Cluster ===		=== Usage on the RWTH Cluster ===
−
−	~~The MUST module is available on all login nodes and can be loaded using:~~
−
−	~~module load must~~

	An executable MPI program can be analysed with MUST using:		An executable MPI program can be analysed with MUST using:

← Older revision		Revision as of 06:57, 10 January 2019
Line 38:		Line 38:

	For installation instructions as well as the latest release please visit the [https://doc.itc.rwth-aachen.de/display/CCP/Project+MUST project MUST website], where there is also a detailed documentation available.		For installation instructions as well as the latest release please visit the [https://doc.itc.rwth-aachen.de/display/CCP/Project+MUST project MUST website], where there is also a detailed documentation available.
		+
		+	=== Usage on the RWTH Cluster ===
		+
		+	The MUST module is available on all login nodes and can be loaded using:
		+
		+	module load must

	An executable MPI program can be analysed with MUST using:		An executable MPI program can be analysed with MUST using:

← Older revision		Revision as of 06:55, 10 January 2019
Line 38:		Line 38:

	For installation instructions as well as the latest release please visit the [https://doc.itc.rwth-aachen.de/display/CCP/Project+MUST project MUST website], where there is also a detailed documentation available.		For installation instructions as well as the latest release please visit the [https://doc.itc.rwth-aachen.de/display/CCP/Project+MUST project MUST website], where there is also a detailed documentation available.
		+
		+	An executable MPI program can be analysed with MUST using:
		+
		+	mustrun -np <num-processes> <executable>
		+
		+	After the application run, MUST will generate an HTML output (usually called "MUST_Output.html") listing and describing all errors detected. This file is located in the current directory and can be inspected like this:
		+
		+	firefox <path-to-HTML-file>

@@ Line 11: / Line 11: @@
 * MUST
-P<sup>n</sup>MPI is responsible for the basic infrastructure and collecting data by intercepting all MPI calls of the target application. GTI provides the tool structure and the MUST package handles performs the correctness checking. All three packages are configured and built together using [https://cmake.org/ CMake] and should only be used with the specific compiler and MPI library used in the process.
+P<sup>n</sup>MPI is responsible for the basic infrastructure and collecting data by intercepting all MPI calls of the target application. GTI provides the tool structure and the MUST package performs the correctness checking. All three packages are configured and built together using [https://cmake.org/ CMake] and should only be used with the specific compiler and MPI library used in the process.
-The two main usages for MUST are during application development and porting of an application to a new system. MUST can single out new errors and those not manifesting in an application crash. It can also detect violations to the MPI standarad on the target system.
+The two main use cases for MUST are during application development and porting of an application to a new system. MUST can single out new errors and those not manifesting in an application crash. It can also detect violations to the MPI standard on the target system.
 == Correctness Checking ==
@@ Line 25: / Line 25: @@
 * Operation usage
 * Request usage
-* Leak checks (MPI resources not freed before calling MPI Finalize)
+* Leak checks (MPI resources not freed before calling MPI_Finalize)
-* Type mis-matches
+* Type mismatches
 * Overlapping buffers passed to MPI
 * Deadlocks resulting from MPI calls

Must - Revision history

Nina-loseke-fd7a@rwth-aachen.de: Redirected page to MUST

Nina-loseke-fd7a@rwth-aachen.de: /* Usage on the RWTH Cluster */

Nina-loseke-fd7a@rwth-aachen.de: /* Usage on the RWTH Cluster */

Nina-loseke-fd7a@rwth-aachen.de: /* Usage */

Nina-loseke-fd7a@rwth-aachen.de: /* Usage */

Nina-loseke-fd7a@rwth-aachen.de: /* Usage */

Nina-loseke-fd7a@rwth-aachen.de at 06:41, 10 January 2019

Jennifer-witham-0957@rwth-aachen.de: Created page with "MUST can be used to detect and report MPI errors. __TOC__ == General == The MUST software consists of three individual packages: * PnMPI * GTI * MUST Pn<..."

Jennifer-witham-0957@rwth-aachen.de: Created page with "MUST can be used to detect and report MPI errors. TOC == General == The MUST software consists of three individual packages: * PⁿMPI * GTI * MUST P^n<..."