| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> |
| |
| <html> |
| <head> |
| <link rel="stylesheet" type="text/css" href="help.css"> |
| <title>Troubleshooting</title> |
| </head> |
| |
| <body> |
| <a name="top"></a> |
| <table cellspacing="5"> |
| <tr> |
| <td> |
| <img src="images/trident_transparent.png"> |
| </td> |
| <td> |
| <h1>Troubleshooting</h1> |
| </td> |
| </tr> |
| </table> |
| |
| <hr> |
| <p> </p> |
| |
| <p> |
| This section addresses the most common issues encountered when using GEM. If you encounter something |
| that is not not mentioned here, please email your problem to <A href="mailto:isp-dev@cs.utah.edu">isp-dev@cs.utah.edu</a>. We |
| will get back to you with a solution as soon as possible. |
| </p> |
| |
| <p> </p> |
| |
| <table border="1" cellpadding="8"> |
| <tr> |
| <th>Problem</th><th>Solution</th> |
| </tr> |
| <tr> |
| <td> |
| When I run Gem on a particular source file I get a dialog box appears stating that a valid |
| executable could not be created from the source file:<br/><br/><img src="images/invalidExecutable.png"> |
| </td> |
| <td> |
| SOLUTION-1 |
| You have most likely run the GEM command <b>"Formally Verify MPI Program"</b> on |
| a source file that does not contain a <b>main()</b> program entry point, or does not simply compile by itself. |
| Remember, for anything larger than a simple single-file Managed Build Project you will need to create a Makefile |
| Project and run GEM via the steps outlined in <a href="makefileSupport.html">GEM Makefile Support</a>. |
| <br/><br/> |
| SOLUTION-2 |
| If you get STDERR in the GEM Console like the following: |
| <pre> |
| /usr/local/lib/libisp_prof.so: undefined reference to `MPI::Win::Free()' |
| /usr/local/lib/libisp_prof.so: undefined reference to `MPI::Datatype::Free()' |
| /usr/local/lib/libisp_prof.so: undefined reference to `MPI::Comm::Comm()' |
| /usr/local/lib/libisp_prof.so: undefined reference to `ompi_mpi_cxx_op_intercept' |
| </pre> |
| Then you are most likely using OpenMPI and <tt><b>libmpi_cxx</b></tt> is not being linked in by |
| <tt><b>ispcc</b></tt>. Locate the script <tt><b>ispcc</b></tt> and add <tt><b>-lmpi_cxx</b></tt> |
| to the end of the single line in the script beginning with <tt><b>exec</b></tt> (see example below). |
| <pre> |
| exec "/usr/local/bin/mpicc" "-L/usr/local/lib" "-I/usr/local/include/isp" \ |
| -Wl,-rpath=/usr/local/lib -include isp.h $* -lisp_prof -lmpi_cxx |
| </pre> |
| </td> |
| </tr> |
| <tr> |
| <td> |
| When I run Gem on a particular source file, GEM just hangs. |
| </td> |
| <td> |
| You can terminate the current GEM operation by clicking the <img src="images/terminate.gif"> "Terminate |
| Operation" button in the GEM <a href="consoleView.html">Console View</a>.<br/><br/> |
| You also may have most run the GEM command <b>"Formally Verify MPI Program"</b> on |
| a source file that does not contain a <b>main()</b> program entry point, or does not simply compile by itself. |
| Remember, for anything larger than a simple single-file Managed Build Project you will need to create a Makefile |
| Project and run GEM via the steps outlined in <a href="makefileSupport.html">GEM Makefile Support</a>. |
| </td> |
| </tr> |
| <tr> |
| <td> |
| When I try to formally verify my MPI C/C++ program, I get an error message saying that an error |
| occurred while trying to run a particular command.<br/><br/><img src="images/unknownCommand.png"> |
| </td> |
| <td> |
| This particular command either does not exist on the target machine or is not in your path. For anything |
| ISP related, e.g. <b>isp, ispcc, ispCC or ispcxx</b>, you may not have ISP installed. Please install ISP |
| per documentation in the <a href="prereqs.html"> GEM Prerequisites Page</a> and also make sure the |
| ISP paths are correctly set on the <a href="preferences.html#ispPrefs">ISP Preference Page</a> |
| |
| </td> |
| </tr> |
| <tr> |
| <td> |
| I don’t see the GEM icon... there is no <img src="images/trident.gif"> trident icon anywhere, and the |
| GEM Views do not exist. |
| </td> |
| <td> |
| The Eclipse Plug-in was not installed properly. Try installing it again from the update site for your |
| installation of Eclipse or through <a href="http://eclipse.org/ptp/">http://eclipse.org/ptp</a>. |
| </td> |
| </tr> |
| <tr> |
| <td>I’m running Eclipse and when I try to running GEM, Eclipse becomes unresponsive.</td> |
| <td>Make sure your process manager is running. GEM assumes your process manager is already running</td> |
| </tr> |
| <tr> |
| <td>I’m trying to view a log file in the Eclipse editor, and I get editor message saying that the file is out of sync with the file system.</td> |
| <td>ISP has generates a new log file. Just hit F5 to refresh the Eclipse editor's view of the file.</td> |
| </tr> |
| <tr> |
| <td>I can't find the log file GEM generated in my CDT project.</td> |
| <td>Refresh your project. It should be in a directory named "isp" at the same level as the source file.</td> |
| </tr> |
| </table> |
| |
| <p> </p> |
| <p><a href="#top">Back to Top</a> | <a href="toc.html">Back to Table of Contents</a></p> |
| <p> </p> |
| |
| <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> |
