| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> |
| |
| <html> |
| <head> |
| <link rel="stylesheet" type="text/css" href="help.css"> |
| <title>Setting the Number of Processes</title> |
| </head> |
| |
| <body> |
| <a name="top"></a> |
| <table cellspacing="5"> |
| <tr> |
| <td> |
| <img src="images/trident_transparent.png"> |
| </td> |
| <td> |
| <h1>Setting the Number of Processes</h1> |
| </td> |
| </tr> |
| </table> |
| |
| <hr> |
| |
| <p> |
| Before formally verifying an MPI C/C++ program, you need to set the number of processes |
| for a particular run. |
| </p> |
| |
| <p> |
| There are two methods of doing this: |
| </p> |
| |
| <h2>GEM Toolbar Button</h2> |
| Open the source code file in the Eclipse editor window and select |
| <img height="16" src="images/triple-trident.gif" width="13" /><b>Set Number of Processes</b> |
| from the trident pull-down icon on the Eclipse toolbar. |
| |
| <br><br> |
| |
| <center> |
| <img src="images/runNumProcs.png"> |
| </center> |
| |
| <br><br> |
| |
| <p> |
| An input dialog will allow you to enter the desired number of processes, which will persist until you |
| change the value again. |
| </p> |
| |
| <br> |
| <center> |
| <img src="images/numProcsDialog.png"> |
| </center> |
| <br><br> |
| |
| <h2>Analyzer or Browser View</h2> |
| <p> |
| If the Analyzer View is already visible, the number of processes can also be set from the down combo-box (see image below) in the |
| Analyzer View's <a href="analyzerView.html#runtimeInfo">Runtime information group</a> for the next GEM run. |
| </p> |
| |
| <br> |
| <center> |
| <img src="images/analyzerSetProcs.png"> |
| </center> |
| <br><br> |
| |
| <p> |
| If the Browser View is already visible, the number of processes can also be set from the down combo-box underneath the |
| Browser View's help button (see image below) for the next GEM run. |
| </p> |
| |
| <br/> |
| <center> |
| <img src="images/browserSetProcs.png"> |
| </center> |
| |
| <br><br> |
| <p><a href="#top">Back to Top</a> | <a href="toc.html">Back to Table of Contents</a></p> |
| <br><br> |
| |
| <hr/> |
| <center> |
| <p> |
| School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT |
| 84112 * <A href="mailto:isp-dev@cs.utah.edu">isp-dev@cs.utah.edu</a><br> |
| <a href="http://www.eclipse.org/org/documents/epl-v10.php">License</a> |
| </p> |
| </center> |
| |
| </body> |
| |
| </html> |