![]() |
GEM - Preferences |
To edit preferences, from the Eclipse menus, go to Window -> Preferences -> Parallel Tools -> GEM
GEM has two preference pages:
Preference | Meaning or Condition When Selected |
---|---|
Number of Processes: | This field takes an integer value that represents the number of processes to use for the next GEM verification. It is what is stored after going through the motions on the Setting the Number of Processes page. |
Clear GEM Console on Each Run | When enabled (checked), the GEM Console will be cleared prior to each verification run. If this preference is not enabled, output is appended to the existing GEM Console content (at the bottom). |
Verify ISP Output Consistency | This is really a tool meant for internal development. It is suggested that you keep this preference disabled. |
Active View: | The selected view will be the one that gets the active focus after each GEM verification run, e.g. if you would like to see the Analyzer View after each verification, then simply select "Analyzer". |
Command Line Options | |
---|---|
Enable FIB | Enables detection of irrelevant barriers |
Log Total MPI Calls | Outputs the number of MPI calls trapped for each rank (Console View) |
Enable OpenMP | Enables OpenMP based parallelization on multi-core machines |
Use Blocking Sends | Sends will be treated as blocking, without buffering |
Report Progress | Outputs progress every (n) MPI calls (default is 4). Note: If this is checked, please set the Report progress field below |
Use Unix Sockets | Enable this when running GEM on a single, local machine. It speeds up ISP/GEM significantly |
Verbose Mode | Output the transition list for all interleavings, otherwise only output last interleaving if deadlock. |
Miscellaneous Options | |
Port | Assigns the port to communicate with MPI programs(default is 9999). GEM will search for a port that is free if specified port is unavailable |
Report Progress Every (n) MPI Calls | Outputs progress every (n) MPI calls (default is 4). Note: This is ignored if Report Progress is not checked |
Host Where ISP Resides | If ISP is installed on a remote machine, enter the fully qualified hostname here. If ISP is installed on your local machine (e.g. laptop), leave this blank |
ISP Paths | |
isp executable | The location of the isp executable (this is ISP itself) |
ispcc script | The location of the ispcc script (for C compilation) |
ispCC script | The location of the ispCC script (for C++ compilation) |
HB Viewer script | The location of the HB Viewer script (a.k.a. ispUI) |
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