| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> |
| |
| <html> |
| <head> |
| <link rel="stylesheet" type="text/css" href="help.css"> |
| <title>GEM - Prerequisites</title> |
| </head> |
| |
| <body> |
| <a name="top"></a> |
| <table cellspacing="5"> |
| <tr> |
| <td> |
| <img src="images/trident_transparent.png"> |
| </td> |
| <td> |
| <h1>GEM - Prerequisites</h1> |
| </td> |
| </tr> |
| </table> |
| |
| <hr> |
| |
| <p> |
| The following prerequisites are required for GEM installation. |
| </p> |
| |
| <ul> |
| <li>JavaSE-1.6 or later</li> |
| <li><a href="http://www.cs.utah.edu/formal_verification/ISP-release/">ISP</a> version 0.3.0 or later</li> |
| <li><a href="http://eclipse.org/downloads">Eclipse SDK</a> Juno or later</li> |
| <li><a href="http://eclipse.org/cdt/">Eclipse C/C++ Development Tools (CDT)</a> version 8.2.0 or later</li> |
| <li><a href="http://eclipse.org/ptp/">Eclipse Parallel Tools Platform (PTP)</a> version 7.0.0 or later</li> |
| </ul> |
| |
| <br> |
| |
| <table border="1" cellpadding="4"> |
| <tr> |
| <th colspan="2" scope="col">Operating Systems and Architectures Supported<br></th> |
| </tr> |
| <tr> |
| <th scope="col">Operating System</th> |
| <th scope="col">Architecture</th> |
| </tr> |
| <tr> |
| <td>Linux</td> |
| <td>x86, x86_64</td> |
| </tr> |
| <tr> |
| <td>MacOS X</td> |
| <td>x86</td> |
| </tr> |
| </table> |
| |
| <br> |
| |
| <p> |
| Some implementation of MPI must be installed, MPICH2 or OpenMPI both work well. If you are using MPICH v1.2 or lower, |
| you will also need to have your process manager (e.g. mpd) and running. GEM assumes your process manager is already |
| running when it is loaded. If you are using MPICH2 v1.3 with Hydra, you don't need to worry about this. |
| </p> |
| |
| <ul> |
| <li><a href="http://www.mcs.anl.gov/research/projects/mpich2/downloads/index.php?s=downloads">MPICH2</a> version 1.0.6p1 or later</li> |
| <li><a href="http://open-mpi.org">Open MPI</a> version 1.2.x or later</li> |
| </ul> |
| |
| <br> |
| |
| <hr> |
| <h2>Here are some of the major requirements for GEM to be able to run:</h2> |
| <br> |
| <ul> |
| <li> |
| <b>Machine:</b> GEM can be run on machines with one or more CPU cores. With more cores, |
| GEM's OpenMP parallelization can help speed up model checking. |
| </li> |
| <li> |
| <b>Sockets:</b> GEM can be run with TCP sockets or Unix-domain sockets. The latter is |
| much faster, but requires all GEM runs to occur within one machine. A distributed GEM |
| checker is in our future plans. |
| </li> |
| <li> |
| <b>Operating Systems:</b> GEM is designed for Linux and MacOS X |
| </li> |
| <li> |
| <b>MPI Libraries:</b> The current GEM release is for MPICH2. We have successfully tested |
| GEM with OpenMPI as well as Microsoft’s MPI (sometimes called CCS) and Intel© MPI. |
| An enhanced configure and make will be released corresponding to these MPI libraries also. |
| If you are interested, kindly let us know and we can help tailor the current distribution |
| with these other MPI libraries. For MAC OS/X, one can run GEM using the OpenMPI that comes by default. |
| </li> |
| </ul> |
| |
| <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> |
