|
GEM Plug-in Prerequisites
|
The following prerequisites are required for the GEM Plug-in (v1.5.0) 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 for clusters, like mpd installed and running. The ISP plug-in assumes your process
manager is already running when it is loaded.
Here are some of the major requirements for ISP to be able to run:
-
Machine: ISP can be run on machines with one or more CPU cores. With more cores,
ISP’s OpenMP parallelization can help speed up model checking.
-
Sockets: ISP can be run with TCP sockets or Unix-domain sockets. The latter is
much faster, but requires all ISP runs to occur within one machine. A distributed ISP
checker is in our future plans.
-
Operating Systems: The Eclipse Plug-in is designed for Linux and MacOS X
-
MPI Library: The current ISP release is for MPICH 2.1. We have successfully tested
ISP 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 ISP 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