Amesos2 interface to the Tacho package. More...

#include <Amesos2_Tacho_decl.hpp>

Inheritance diagram for Amesos2::TachoSolver< Matrix, Vector >:

Collaboration diagram for Amesos2::TachoSolver< Matrix, Vector >:

Public Types
typedef TachoSolver< Matrix, Vector >	type

typedef SolverCore < Amesos2::TachoSolver, Matrix, Vector >	super_type

typedef super_type::scalar_type	scalar_type

typedef super_type::local_ordinal_type	local_ordinal_type

typedef super_type::global_size_type	global_size_type

typedef TypeMap < Amesos2::TachoSolver, scalar_type >	type_map

typedef type_map::type	tacho_type

typedef type_map::magnitude_type	magnitude_type

typedef FunctionMap < Amesos2::TachoSolver, tacho_type >	function_map

typedef Tacho::ordinal_type	ordinal_type

typedef Tacho::size_type	size_type

typedef Kokkos::DefaultExecutionSpace	exec_space_type

typedef Kokkos::DefaultHostExecutionSpace	host_exec_space_type

typedef Tacho::UseThisDevice < exec_space_type > ::device_type	device_type

typedef Tacho::UseThisDevice < host_exec_space_type > ::device_type	host_device_type

typedef Tacho::DummyTaskScheduler < exec_space_type >	scheduler_type

typedef Kokkos::View < size_type *, device_type >	device_size_type_array

typedef Kokkos::View < ordinal_type *, device_type >	device_ordinal_type_array

typedef Kokkos::View < tacho_type *, device_type >	device_value_type_array

typedef Kokkos::View < size_type *, host_device_type >	host_size_type_array

typedef Kokkos::View < ordinal_type *, host_device_type >	host_ordinal_type_array

typedef ConcreteSolver< Matrix, Vector >	solver_type

typedef Matrix	matrix_type

typedef Vector	vector_type

typedef MatrixAdapter < matrix_type > ::global_ordinal_t	global_ordinal_type

typedef MatrixAdapter < matrix_type >::node_t	node_type

Public Member Functions
std::string	description () const override
	Returns a short description of this Solver.

int	symbolicFactorization_impl ()
	Perform symbolic factorization of the matrix using Tacho. More...

bool	matrixShapeOK () override
	Returns `true` if the solver can handle this matrix shape. More...

void	setA (const Teuchos::RCP< const Matrix > a, EPhase keep_phase=CLEAN) override
	Sets the matrix A of this solver. More...

void	setA (const Matrix *a, EPhase keep_phase=CLEAN) override
	Sets the matrix A of this solver. More...

void	setX (const Teuchos::RCP< Vector > x) override
	Sets the LHS vector X.

void	setX (Vector *x) override
	Sets the LHS vector X using a raw pointer.

const Teuchos::RCP< Vector >	getX () override
	Returns the vector that is the LHS of the linear system.

Vector *	getXRaw () override
	Returns a raw pointer to the LHS of the linear system.

void	setB (const Teuchos::RCP< const Vector > b) override
	Sets the RHS vector B.

void	setB (const Vector *b) override
	Sets the RHS vector B using a raw pointer.

const Teuchos::RCP< const Vector >	getB () override
	Returns the vector that is the RHS of the linear system.

const Vector *	getBRaw () override
	Returns a raw pointer to the RHS of the linear system.

void	describe (Teuchos::FancyOStream &out, const Teuchos::EVerbosityLevel verbLevel=Teuchos::Describable::verbLevel_default) const override

void	printTiming (Teuchos::FancyOStream &out, const Teuchos::EVerbosityLevel verbLevel) const override
	Prints timing information about the current solver. More...

void	getTiming (Teuchos::ParameterList &timingParameterList) const override
	Extracts timing information from the current solver. More...

std::string	name () const override
	Return the name of this solver. More...

Constructor/Destructor methods
	TachoSolver (Teuchos::RCP< const Matrix > A, Teuchos::RCP< Vector > X, Teuchos::RCP< const Vector > B)
	Initialize from Teuchos::RCP. More...

	~TachoSolver ()
	Destructor.

Mathematical functions
super_type &	preOrdering () override
	Pre-orders the matrix A for minimal fill-in. More...

super_type &	symbolicFactorization () override
	Performs symbolic factorization on the matrix A. More...

super_type &	numericFactorization () override
	Performs numeric factorization on the matrix A. More...

void	solve () override
	Solves (or ) More...

void	solve (const Teuchos::Ptr< Vector > X, const Teuchos::Ptr< const Vector > B) const override
	Solve using the given X and B vectors. More...

void	solve (Vector X, const Vector B) const override
	Solve using the given X and B vectors. More...

int	solve_ir (const Teuchos::Ptr< Vector > X, const Teuchos::Ptr< const Vector > B, const int maxNumIters, const bool verbose) const

int	solve_ir (Vector X, const Vector B, const int maxNumIters, const bool verbose) const

int	solve_ir (const int maxNumIters, const bool verbose)

Parameter methods
super_type &	setParameters (const Teuchos::RCP< Teuchos::ParameterList > &parameterList) override
	Set/update internal variables and solver options. More...

Teuchos::RCP< const Teuchos::ParameterList >	getValidParameters () const override
	Return a const parameter list of all of the valid parameters that this->setParameterList(...) will accept. More...

void	setParameterList (const Teuchos::RCP< Teuchos::ParameterList > &parameterList)
	Set or update internal variables and solver options. More...

Teuchos::RCP < Teuchos::ParameterList >	getNonconstParameterList ()
	This is a empty stub. More...

Teuchos::RCP < Teuchos::ParameterList >	unsetParameterList ()
	This is an empty stub. More...

Accessor methods
Teuchos::RCP< const Teuchos::Comm< int > >	getComm () const override
	Returns a pointer to the Teuchos::Comm communicator with this operator.

Status &	getStatus () const override
	Returns a reference to this solver's internal status object.

Static Public Attributes
static const char *	name = "Tacho"
	Name of this solver interface.

Protected Member Functions
void	setNnzLU (size_t nnz)
	Set the number of non-zero values in the and factors. More...

Protected Attributes
Teuchos::RCP< const MatrixAdapter< Matrix > >	matrixA_
	The LHS operator.

bool	matrix_loaded_

Teuchos::RCP< Vector >	multiVecX_
	The LHS vector/multi-vector.

Teuchos::RCP< const Vector >	multiVecB_
	The RHS vector/multi-vector. More...

global_size_type	globalNumRows_
	Number of global rows in `matrixA_`.

global_size_type	globalNumCols_
	Number of global columns in `matrixA_`.

global_size_type	globalNumNonZeros_
	Number of global non-zero values in `matrixA_`.

global_size_type	rowIndexBase_
	Index base of rowmap of `matrixA_`.

global_size_type	columnIndexBase_
	Index base of column map of `matrixA_`.

Status	status_
	Holds status information about a solver.

Control	control_
	Parameters for solving.

Timers	timers_
	Various timing statistics.

int	rank_
	The MPI rank of this image.

bool	root_
	If `true`, then this is the root processor.

int	nprocs_
	Number of process images in the matrix communicator.

Private Types
typedef Tacho::Solver < tacho_type, scheduler_type > ::value_type_matrix	device_solve_array_t

Private Member Functions
int	preOrdering_impl ()
	Performs pre-ordering on the matrix to increase efficiency. More...

int	numericFactorization_impl ()
	Tacho specific numeric factorization. More...

int	solve_impl (const Teuchos::Ptr< MultiVecAdapter< Vector > > X, const Teuchos::Ptr< const MultiVecAdapter< Vector > > B) const
	Tacho specific solve. More...

bool	matrixShapeOK_impl () const
	Determines whether the shape of the matrix is OK for this solver.

void	setParameters_impl (const Teuchos::RCP< Teuchos::ParameterList > &parameterList)

Teuchos::RCP< const Teuchos::ParameterList >	getValidParameters_impl () const

bool	loadA_impl (EPhase current_phase)
	Reads matrix data into internal structures. More...

bool	do_optimization () const
	can we optimize size_type and ordinal_type for straight pass through

Private Attributes
struct Amesos2::TachoSolver::TACHOData	data_

device_solve_array_t	workspace_

device_solve_array_t	xValues_

device_solve_array_t	bValues_

device_value_type_array	device_nzvals_view_

host_size_type_array	host_row_ptr_view_

host_ordinal_type_array	host_cols_view_

Friends
class	SolverCore< Amesos2::TachoSolver, Matrix, Vector >

Detailed Description

template<class Matrix, class Vector>
class Amesos2::TachoSolver< Matrix, Vector >

Amesos2 interface to the Tacho package.

See the summary of Tacho parameters supported by this Amesos2 interface.

Constructor & Destructor Documentation

template<class Matrix , class Vector >

Amesos2::TachoSolver< Matrix, Vector >::TachoSolver	(	Teuchos::RCP< const Matrix >	A,
		Teuchos::RCP< Vector >	X,
		Teuchos::RCP< const Vector >	B
	)

Initialize from Teuchos::RCP.

Warning: Should not be called directly! Use instead Amesos2::create() to initialize a Tacho interface.

Member Function Documentation

template<class Matrix , class Vector >

int Amesos2::TachoSolver< Matrix, Vector >::preOrdering_impl ( )

private

Performs pre-ordering on the matrix to increase efficiency.

Tacho does not support pre-ordering, so this method does nothing.

template<class Matrix , class Vector >

int Amesos2::TachoSolver< Matrix, Vector >::symbolicFactorization_impl ( )

Perform symbolic factorization of the matrix using Tacho.

Called first in the sequence before numericFactorization.

Exceptions

std::runtime_error Tacho is not able to factor the matrix.

template<class Matrix , class Vector >

int Amesos2::TachoSolver< Matrix, Vector >::numericFactorization_impl ( )

private

Tacho specific numeric factorization.

Exceptions

std::runtime_error Tacho is not able to factor the matrix

template<class Matrix , class Vector >

int Amesos2::TachoSolver< Matrix, Vector >::solve_impl	(	const Teuchos::Ptr< MultiVecAdapter< Vector > >	X,
		const Teuchos::Ptr< const MultiVecAdapter< Vector > >	B
	)		const

private

Tacho specific solve.

Uses the symbolic and numeric factorizations, along with the RHS vector B to solve the sparse system of equations. The solution is placed in X.

Exceptions

std::runtime_error Tacho is not able to solve the system.

template<class Matrix , class Vector >

Teuchos::RCP< const Teuchos::ParameterList > Amesos2::TachoSolver< Matrix, Vector >::getValidParameters_impl ( ) const

private

Hooked in by Amesos2::SolverCore parent class.

Returns: a const Teuchos::ParameterList of all valid parameters for this solver.

template<class Matrix , class Vector >

bool Amesos2::TachoSolver< Matrix, Vector >::loadA_impl ( EPhase current_phase )

private

Reads matrix data into internal structures.

Parameters

[in] current_phase an indication of which solution phase this load is being performed for.

Returns: true if the matrix was loaded, false if not

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

Solver< Matrix, Vector > & Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::preOrdering ( void )

overridevirtualinherited

Pre-orders the matrix A for minimal fill-in.

Rearranges the rows and columns of the matrix A to minimize the amount of fill-in of the non-zero entries of the matrix. Pre-ordering may or may not be supported by the underlying solver. If not supported, a call to this method simply does nothing.

Returns: a reference to this .

See Also: symbolicFactorization(), numericFactorization(), and solve()

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

Solver< Matrix, Vector > & Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::symbolicFactorization ( void )

overridevirtualinherited

Performs symbolic factorization on the matrix A.

In addition to performing symbolic factorization on the matrix A, the call to symbolicFactorization() implies that no change will be made to the non-zero structure of the underlying matrix without a subsequent call to symbolicFactorization().

Precondition

Postcondition

Symbolic factorization will be performed (or marked to be performed) allowing numericFactorization() and solve() to be called.

Returns: a reference to this .

See Also: preOrdering(), numericFactorization(), and solve()

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

Solver< Matrix, Vector > & Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::numericFactorization ( void )

overridevirtualinherited

Performs numeric factorization on the matrix A.

In addition to performing numeric factorization on the matrix A, the call to numericFactorization() implies that no change will be made to the underlying matrix values without a subsequent call to numericFactorization().

Precondition

The non-zero structure of the matrix should not have changed since the last call to symbolicFactorization(). Other changes can have arbitrary consequences.
The distribution of the matrix should not have changed since the last call to symbolicFactorization().

Postcondition: Numeric factorization will be performed (or marked to be performed) allowing solve() to be performed correctly despite a potential change in the matrix values (though not in the non-zero structure).

Returns: a reference to this

See Also: preOrdering(), symbolicFactorization(), and solve()

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::solve ( void )

overridevirtualinherited

Solves $ A X = B$ (or $ A^T X = B$ )

Precondition

The non-zero structure of the matrix should not have changed since the last call to symbolicFactorization().
The distribution of the matrix should not have changed since the last call to symbolicFactorization().
The matrix should not have changed since the last call to numericFactorization().

Postcondition: X will be set such that (or ), within the limits of the accuracy of the underlying solver.

Returns: void

See Also: preOrdering(), symbolicFactorization(), and numericFactorization()

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix , class Vector>

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::solve	(	const Teuchos::Ptr< Vector >	X,
		const Teuchos::Ptr< const Vector >	B
	)		const

overridevirtualinherited

Solve $ A X = B$ using the given X and B vectors.

This overload of solve uses the given X and B vectors when solving. This X and B are used in place of any X and B that were given upon construction of the Amesos2 solver instance and are used only for this solve.

If a permanent change of X and B are required, see the setX() and setB() methods.

Postcondition

The (multi)vector X contains the solution to the system
The X and B given at construction time (if any) are unchanged.

Implements Amesos2::Solver< Matrix, Vector >.

References Amesos2::Solver< Matrix, Vector >::numericFactorization().

template<template< class, class > class ConcreteSolver, class Matrix , class Vector>

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::solve	(	Vector *	X,
		const Vector *	B
	)		const

overridevirtualinherited

Solve $ A X = B$ using the given X and B vectors.

This overload of solve uses the given X and B vectors when solving. This X and B are used in place of any X and B that were given upon construction of the Amesos2 solver instance and are used only for this solve.

If a permanent change of X and B are required, see the setX() and setB() methods.

Postcondition

The (multi)vector X contains the solution to the system
The X and B given at construction time (if any) are unchanged.

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

bool Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::matrixShapeOK ( void )

overridevirtualinherited

Returns true if the solver can handle this matrix shape.

Returns true if the matrix shape is one that the underlying concrete sparse direct solver can handle. Classes that work only on square matrices should return false for rectangular matrices. Classes that work only on symmetric matrices would return false for non-symmetric matrices. etc.

Implements Amesos2::Solver< Matrix, Vector >.

Referenced by Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::SolverCore().

template<template< class, class > class ConcreteSolver, class Matrix, class Vector >

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::setA	(	const Teuchos::RCP< const Matrix >	a,
		EPhase	keep_phase = `CLEAN`
	)

overridevirtualinherited

Sets the matrix A of this solver.

Parameters

[in]	a	An RCP to a matrix will will be used for future computation steps
[in]	keep_phase	This parameter tells the solver what state it should keep. For example, you may want to replace the matrix but keep the symbolic factorization because you know the structure of the new matrix is the same as the structure of the old matrix. In this case you would pass Amesos2::SYMBFACT as this parameter.

The default value for the second parameter is Amesos2::CLEAN, which means that the internal state of the solver will be completely reset. It will be as if no previous computational steps were performed.

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::setA	(	const Matrix *	a,
		EPhase	keep_phase = `CLEAN`
	)

inlineoverridevirtualinherited

Sets the matrix A of this solver.

Parameters

[in]	a	An raw C pointer to a matrix will will be used for future computation steps.
[in]	keep_phase	This parameter tells the solver what state it should keep. For example, you may want to replace the matrix but keep the symbolic factorization because you know the structure of the new matrix is the same as the structure of the old matrix. In this case you would pass Amesos2::SYMBFACT as this parameter.

The default value for the second parameter is Amesos2::CLEAN, which means that the internal state of the solver will be completely reset. It will be as if no previous computational steps were performed.

Implements Amesos2::Solver< Matrix, Vector >.

Referenced by Amesos2::SolverCore< Amesos2::Umfpack, Matrix, Vector >::setA().

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

Solver< Matrix, Vector > & Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::setParameters ( const Teuchos::RCP< Teuchos::ParameterList > & parameterList )

overridevirtualinherited

Set/update internal variables and solver options.

The setParameters method is consistent over all concrete solvers. It accepts general status and control parameters, as well as parameters specific to a given solver. If the solver does not recognize the parameter, then it will simply be ignored

Note: The ParameterList must be named "Amesos2". A list with any other name will be ignored.

Postcondition

Internal variables controlling the factorization and solve will be updated and take effect on all subsequent calls to numericFactorization() and solve().
All parameters whose value is to differ from the default values must be included in parameterList. Parameters not specified in parameterList revert to their default values.

Returns: a reference to this

Implements Amesos2::Solver< Matrix, Vector >.

Referenced by Amesos2::Lapack< Matrix, Vector >::Lapack(), Amesos2::SolverCore< Amesos2::Umfpack, Matrix, Vector >::setParameterList(), Amesos2::STRUMPACK< Matrix, Vector >::STRUMPACK(), Amesos2::Superludist< Matrix, Vector >::Superludist(), and Amesos2::Superlumt< Matrix, Vector >::Superlumt().

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

Teuchos::RCP< const Teuchos::ParameterList > Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::getValidParameters ( void ) const

overridevirtualinherited

Return a const parameter list of all of the valid parameters that this->setParameterList(...) will accept.

Note: Check the documentation for your concrete solver to see a complete list of the values that each parameter may take. A solver may also recognize multiple data types as arguments for a particular parameters (eg. recognizing "YES" and "NO" as well as true and false ).

Implements Amesos2::Solver< Matrix, Vector >.

Referenced by Amesos2::Lapack< Matrix, Vector >::Lapack(), Amesos2::STRUMPACK< Matrix, Vector >::STRUMPACK(), Amesos2::Superludist< Matrix, Vector >::Superludist(), and Amesos2::Superlumt< Matrix, Vector >::Superlumt().

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::setParameterList ( const Teuchos::RCP< Teuchos::ParameterList > & parameterList )

inlineinherited

Set or update internal variables and solver options.

Redefined from Teuchos::ParameterListAcceptor

Note: Alias for setParameters()

Parameters

[in] parameterList

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

Teuchos::RCP<Teuchos::ParameterList> Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::getNonconstParameterList ( )

inlineinherited

This is a empty stub.

Returns

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

Teuchos::RCP<Teuchos::ParameterList> Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::unsetParameterList ( )

inlineinherited

This is an empty stub.

Returns

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::describe	(	Teuchos::FancyOStream &	out,
		const Teuchos::EVerbosityLevel	verbLevel = `Teuchos::Describable::verbLevel_default`
	)		const

overridevirtualinherited

Prints the status information about the current solver with some level of verbosity

Implements Amesos2::Solver< Matrix, Vector >.

References Amesos2::Util::printLine().

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::printTiming	(	Teuchos::FancyOStream &	out,
		const Teuchos::EVerbosityLevel	verbLevel
	)		const

overridevirtualinherited

Prints timing information about the current solver.

The Amesos2::SolverCore base class takes care of tracking total time spent in the Amesos2 interface. Concrete solver interface class are responsible for reporting other timing statistics, which include time spent in:

Redistribution of matrix objects,
Conversion of matrix objects to solver-specific formats,
Redistribution of multi-vector objects,
Conversion of multi-vector objects to solver formats,
TPL symbolic factorizations,
TPL numeric factorizations, and
TPL solves

Implements Amesos2::Solver< Matrix, Vector >.

References Amesos2::Util::printLine().

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::getTiming ( Teuchos::ParameterList & timingParameterList ) const

overridevirtualinherited

Extracts timing information from the current solver.

Results are placed into the parameter list timingParameterList.

Parameters

[out] timingParameterList Accepts timing information from the current solver

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix , class Vector >

std::string Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::name ( void ) const

overridevirtualinherited

Return the name of this solver.

The name is given by the underlying concrete solver instance

Returns: A std::string which is the name of this solver

Implements Amesos2::Solver< Matrix, Vector >.

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

void Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::setNnzLU ( size_t nnz )

inlineprotectedinherited

Set the number of non-zero values in the $L$ and $U$ factors.

Concrete solver classes may call this method if they wish to (or are able to) report the number of conbined non-zero count for the $L$ and $U$ factors.

Member Data Documentation

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

bool Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::matrix_loaded_

protectedinherited

If true indicates that the current matrix A has been loaded into internal solver structures.

template<template< class, class > class ConcreteSolver, class Matrix, class Vector>

Teuchos::RCP<const Vector> Amesos2::SolverCore< ConcreteSolver, Matrix, Vector >::multiVecB_

protectedinherited

The RHS vector/multi-vector.

We point to a const Vector because Amesos2 should never directly modify B.

Referenced by Amesos2::SolverCore< Amesos2::Umfpack, Matrix, Vector >::getB(), Amesos2::SolverCore< Amesos2::Umfpack, Matrix, Vector >::getBRaw(), and Amesos2::SolverCore< Amesos2::Umfpack, Matrix, Vector >::setB().

The documentation for this class was generated from the following files:

Public Types

Public Member Functions

Static Public Attributes

Protected Member Functions

Protected Attributes

Private Types

Private Member Functions

Private Attributes

Friends

Detailed Description

template<class Matrix, class Vector> class Amesos2::TachoSolver< Matrix, Vector >

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

template<class Matrix, class Vector>
class Amesos2::TachoSolver< Matrix, Vector >