# GEM - Prerequisites

The following prerequisites are required for GEM installation.

- JavaSE-1.6 or later
- ISP version 0.3.0 or later
- Eclipse SDK Juno or later
- Eclipse C/C++ Development Tools (CDT) version 8.2.0 or later
- Eclipse Parallel Tools Platform (PTP) version 7.0.0 or later

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. 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.

- MPICH2 version 1.0.6p1 or later
- Open MPI version 1.2.x or later

## 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 Libraries: 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