edu.jas.gb
Class GBDist<C extends RingElem<C>>

java.lang.Object
  extended by edu.jas.gb.GBDist<C>

public class GBDist<C extends RingElem<C>>
extends java.lang.Object

Setup to run a distributed GB example.

Author:
Heinz Kredel

Field Summary
protected  int port
          Server port to use.
protected  int threads
          Number of threads to use.
 
Constructor Summary
GBDist(int threads, PairList<C> pl, java.lang.String mfile, int port)
          Constructor.
GBDist(int threads, java.lang.String mfile, int port)
          Constructor.
 
Method Summary
 java.util.List<GenPolynomial<C>> execute(java.util.List<GenPolynomial<C>> F)
          Execute a distributed GB example.
 void terminate(boolean shutDown)
          Terminates the distributed thread pools.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

threads

protected final int threads
Number of threads to use.


port

protected final int port
Server port to use.

Constructor Detail

GBDist

public GBDist(int threads,
              java.lang.String mfile,
              int port)
Constructor.

Parameters:
threads - number of threads respectivly processes.
mfile - name of the machine file.
port - for GB server.

GBDist

public GBDist(int threads,
              PairList<C> pl,
              java.lang.String mfile,
              int port)
Constructor.

Parameters:
threads - number of threads respectivly processes.
pl - pair selection strategy
mfile - name of the machine file.
port - for GB server.
Method Detail

execute

public java.util.List<GenPolynomial<C>> execute(java.util.List<GenPolynomial<C>> F)
Execute a distributed GB example. Distribute clients and start master.

Parameters:
F - list of polynomials
Returns:
GB(F) a Groebner base for F.

terminate

public void terminate(boolean shutDown)
Terminates the distributed thread pools.

Parameters:
shutDown - true, if shut-down of the remote executable servers is requested, false, if remote executable servers stay alive.