|
GEM - Prerequisites
|
The following prerequisites are required for GEM installation.
Operating Systems and Architectures Supported
|
Operating System |
Architecture |
Linux |
x86, x86_64 |
MacOS X |
x86 |
Some implementation of MPI must be installed, MPICH2 or OpenMPI both work well. You will also need a
process manager (e.g. mpd) installed and running. GEM assumes your process
manager is already running when it is loaded.
Here are some of the major requirements for GEM to be able to run:
-
Machine: 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.
-
Sockets: 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.
-
Operating Systems: GEM is designed for Linux and MacOS X
-
MPI Librarys: 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.
Back to Top | Back to Table of Contents
School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT
84112 * isp-dev@cs.utah.edu
License