< Home - < Back

eclipse-ptp-gem


Information about the package, eclipse-ptp-gem, which is shipped with common Linux distributions. The eclipse-ptp-gem package is designed for, PTP Graphical Explorer of MPI Programs (GEM).


Package Name:

eclipse-ptp-gem

Summary:

PTP Graphical Explorer of MPI Programs (GEM)

Description:

GEM serves as a graphical front end for In-situ Partial Order (ISP), a dynamic formal verification tool for MPI developed at the School of Computing, University of Utah. Whether you are new to MPI or are an advanced user, GEM will help you debug your MPI programs, and graphically show many valuable facts, including all the possible send/receive matches, and synchronizations. GEM also includes features to help users understand and debug the program across all platforms on which it may be run (e.g. highlighting deadlocks that may occur due to differing communication buffer allocations). For a given test harness, GEM will allow you to explore only the relevant process interleavings, which are much smaller than the number of total feasible interleavings. GEM also guarantees to discover and explore all non-deterministic matches at run-time.

Architecture:

noarch

Version:

4.0.7

Release:

1.el6.1

Size:

1.5 M

Repository:

epel

From Repository:

Licence:

EPL



Handy Yum Commands for eclipse-ptp-gem


Control the eclipse-ptp-gem package with the following handy commands outlined below.


Command

Description of Command

yum install eclipse-ptp-gem

This command will install eclipse-ptp-gem on the server.

yum remove eclipse-ptp-gem

This command will un-install eclipse-ptp-gem on the server. When you run this command, you will be asked if you are sure that you want to remove eclipse-ptp-gem, so you have to manually confirm that you want to do this.

yum -y remove eclipse-ptp-gem

This command will un-install eclipse-ptp-gem on the server. When you run this command with th e -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove eclipse-ptp-gem when using the -y flag.

yum update eclipse-ptp-gem

This command will update eclipse-ptp-gem to the latest version. When you run this command, you will be asked if you are sure that you want to remove eclipse-ptp-gem, so you have to manually confirm that you want to do this.

yum -y update eclipse-ptp-gem

This command will update eclipse-ptp-gem to the latest version. When you run this command with the -y flag, you will not be prompted to check that you are sure you want to remove the package - so be sure you absolutely want to remove eclipse-ptp-gem when using the -y flag.

yum info eclipse-ptp-gem

This command will show you core information about the eclipse-ptp-gem package.

yum deplist eclipse-ptp-gem

This command will show you the dependencies for eclipse-ptp-gem. Thankfully, when using Yum, if dependencies are required, these are also installed at the same time so you don't have to worry too much about that.

yum check-update eclipse-ptp-gem

This command will check if there is an update waiting on eclipse-ptp-gem. When you run this command this will return nothing if there is nothing to update, or, will return the package name if the package is due to be updated.