belos_tpetra_thyra_lowsf_lap.cpp

Go to the documentation of this file.

 
// @HEADER
// ***********************************************************************
// 
//         Stratimikos: Thyra-based strategies for linear solvers
//                Copyright (2006) Sandia Corporation
// 
// Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
// license for use of this work by or on behalf of the U.S. Government.
// 
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
// 1. Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// 3. Neither the name of the Corporation nor the names of the
// contributors may be used to endorse or promote products derived from
// this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
//
// Questions? Contact Roscoe A. Bartlett (rabartl@sandia.gov) 
// 
// ***********************************************************************
// @HEADER
//
// This driver creates a 2D Laplacian operator as a Tpetra::CisMatrix. 
// This matrix is then converted into a Thyra linear operator 
// through the Thyra-Tpetra adapters.
//
// The right-hand sides are all random vectors.
// The initial guesses are all set to zero. 
//
//
 
// Thyra includes
#include "Thyra_BelosLinearOpWithSolveFactory.hpp"
#include "Thyra_LinearOpWithSolveFactoryHelpers.hpp"
#include "Thyra_TpetraLinearOp.hpp"
 
// Tpetra includes
#include "Tpetra_ElementSpace.hpp"
#include "Tpetra_VectorSpace.hpp"
#include "Tpetra_CisMatrix.hpp"
 
// Teuchos includes
#include "Teuchos_ParameterList.hpp"
#include "Teuchos_VerboseObject.hpp"
#include "Teuchos_GlobalMPISession.hpp"
 
#ifdef HAVE_MPI
#  include "Tpetra_MpiPlatform.hpp"
#else
#  include "Tpetra_SerialPlatform.hpp"
#endif
 
int main(int argc, char* argv[])
{
  //
  // Get a default output stream from the Teuchos::VerboseObjectBase
  //
  Teuchos::RCP<Teuchos::FancyOStream>
    out = Teuchos::VerboseObjectBase::getDefaultOStream();
  
  Teuchos::GlobalMPISession mpiSession(&argc,&argv);
 
  // --------------------------------------------------------------------------------
  //
  // Create the scalar-type typedefs
  //
  // --------------------------------------------------------------------------------
 
#ifdef HAVE_COMPLEX
  typedef std::complex<double> ST;
#elif HAVE_COMPLEX_H
  typedef std::complex<double> ST;
#else
  typedef double ST;
#endif
  typedef Teuchos::ScalarTraits<ST>::magnitudeType MT;
  typedef int OT;
 
  // --------------------------------------------------------------------------------
  //
  // Create 2D Laplacian using Tpetra::CisMatrix
  //
  // --------------------------------------------------------------------------------
 
#ifdef HAVE_MPI
  MPI_Comm mpiComm = MPI_COMM_WORLD;
  const Tpetra::MpiPlatform<OT,OT>  ordinalPlatform(mpiComm);
  const Tpetra::MpiPlatform<OT,ST>   scalarPlatform(mpiComm);
#else
  const Tpetra::SerialPlatform<OT,OT>  ordinalPlatform;
  const Tpetra::SerialPlatform<OT,ST>   scalarPlatform;
#endif
 
  // Declare global dimension of the linear operator
  OT globalDim = 500;
 
  // Create the element space and std::vector space
  const Tpetra::ElementSpace<OT> elementSpace(globalDim,0,ordinalPlatform);
  const Tpetra::VectorSpace<OT,ST> vectorSpace(elementSpace,scalarPlatform);
  
  // Allocate the Tpetra::CisMatrix object.
  RCP<Tpetra::CisMatrix<OT,ST> >
    tpetra_A = rcp(new Tpetra::CisMatrix<OT,ST>(vectorSpace));
 
  // Get the indexes of the rows on this processor
  const int numMyElements = vectorSpace.getNumMyEntries();
  const std::vector<int> &myGlobalElements = vectorSpace.elementSpace().getMyGlobalElements();
 
  // Fill the local matrix entries one row at a time.
  const ST offDiag = -1.0, diag = 2.0;
  int numEntries; ST values[3]; int indexes[3];
  for( int k = 0; k < numMyElements; ++k ) {
    const int rowIndex = myGlobalElements[k];
    if( rowIndex == 0 ) {                     // First row
      numEntries = 2;
      values[0]  = diag;             values[1]  = offDiag;
      indexes[0] = 0;                indexes[1] = 1; 
    }
    else if( rowIndex == globalDim - 1 ) {    // Last row
      numEntries = 2;
      values[0]  = offDiag;         values[1]  = diag;
      indexes[0] = globalDim-2;     indexes[1] = globalDim-1; 
    }
    else {                                    // Middle rows
      numEntries = 3;
      values[0]  = offDiag;         values[1]  = diag;          values[2]  = offDiag;
      indexes[0] = rowIndex-1;      indexes[1] = rowIndex;      indexes[2] = rowIndex+1; 
    }
    tpetra_A->submitEntries(Tpetra::Insert,rowIndex,numEntries,values,indexes);
  }
 
  // Finish the construction of the Tpetra::CisMatrix
  tpetra_A->fillComplete();
 
  // Create a Thyra linear operator (A) using the Tpetra::CisMatrix (tpetra_A).
  RCP<Thyra::LinearOpBase<ST> >
    A = Teuchos::rcp( new Thyra::TpetraLinearOp<OT,ST>(
                      Teuchos::rcp_implicit_cast<Tpetra::Operator<OT,ST> >(tpetra_A) ) );
 
  // Set the parameters for the Belos LOWS Factory and create a parameter list.
  // NOTE:  All the code below only uses Thyra and is independent of Tpetra.
  //
  int             blockSize              = 1;  // can only be 1 right now.
  int             maxIterations          = globalDim;
  int             maxRestarts            = 0;
  int             gmresKrylovLength      = globalDim;
  int             outputFrequency        = 100;
  bool            outputMaxResOnly       = true;
  MT              maxResid               = 1e-3;
 
  ST one = Teuchos::ScalarTraits<ST>::one();
  ST zero = Teuchos::ScalarTraits<ST>::zero();
  
  Teuchos::RCP<Teuchos::ParameterList>
    belosLOWSFPL = Teuchos::rcp( new Teuchos::ParameterList() );
 
  belosLOWSFPL->set("Solver Type","Block GMRES");
 
  Teuchos::ParameterList& belosLOWSFPL_solver =
    belosLOWSFPL->sublist("Solver Types");
 
  Teuchos::ParameterList& belosLOWSFPL_gmres =
    belosLOWSFPL_solver.sublist("Block GMRES");
 
  belosLOWSFPL_gmres.set("Maximum Iterations",int(maxIterations));
  belosLOWSFPL_gmres.set("Convergence Tolerance",double(maxResid));
  belosLOWSFPL_gmres.set("Maximum Restarts",int(maxRestarts));
  belosLOWSFPL_gmres.set("Block Size",int(blockSize));
  belosLOWSFPL_gmres.set("Num Blocks",int(gmresKrylovLength));
  belosLOWSFPL_gmres.set("Output Frequency",int(outputFrequency));
  belosLOWSFPL_gmres.set("Show Maximum Residual Norm Only",bool(outputMaxResOnly));
 
  // Whether the linear solver succeeded.
  // (this will be set during the residual check at the end)
  bool success = true;
 
  // --------------------------------------------------------------------------------
  //
  // Create the right-hand sides and solution vectors
  //
  // --------------------------------------------------------------------------------
 
  // Number of random right-hand sides we will be solving for.
  int numRhs = 5;
 
  // Create smart pointer to right-hand side and solution std::vector to be filled in below.
  Teuchos::RCP<Thyra::MultiVectorBase<ST> > x, b;
 
  if (numRhs==1) {
    //
    // In this case we can construct vectors using Tpetra and just "wrap" them in Thyra objects.
    //
 
    // Create RHS std::vector
    Teuchos::RCP<Tpetra::Vector<OT,ST> > tpetra_b =
      Teuchos::rcp( new Tpetra::Vector<OT,ST>(vectorSpace) );
 
    // Randomize RHS std::vector
    tpetra_b->setAllToRandom();
 
    // Wrap Tpetra std::vector as Thyra std::vector
    b = Thyra::create_Vector(tpetra_b);
    
    // Create solution (LHS) std::vector
    Teuchos::RCP<Tpetra::Vector<OT,ST> > tpetra_x =
      Teuchos::rcp( new Tpetra::Vector<OT,ST>(vectorSpace) );
 
    // Initialize solution to zero
    tpetra_x->setAllToScalar( zero );
 
    // Wrap Tpetra std::vector as Thyra std::vector
    x = Thyra::create_Vector(tpetra_x);
 
  } 
  else {
    //
    // In this case we can construct the multivector using Thyra and extract columns of
    // the multivector as Tpetra std::vector, which can then be filled.  This is because
    // Tpetra does not have a multivector object and Thyra will emulate the multivector.
    //
    
    // Get the domain space for the Thyra linear operator 
    Teuchos::RCP<const Thyra::VectorSpaceBase<ST> > domain = A->domain();
    
    // Create a right-hand side and solution vectors with numRhs vectors in it.
    x = Thyra::createMembers(domain, numRhs);
    b = Thyra::createMembers(domain, numRhs);
 
    // Extract the Tpetra std::vector from the columns of the multivector and fill them with 
    // random numbers (b) or zeros (x).
 
    for ( int j=0; j<numRhs; ++j ) {
      //
      // Get the j-th column from b as a Tpetra std::vector and randomize it.
      // 
      Teuchos::RCP<Tpetra::Vector<OT,ST> > 
  tpetra_b_j = Thyra::get_Tpetra_Vector(vectorSpace,b->col(j));
      tpetra_b_j->setAllToRandom();
      // 
      // Get the j-th column from x as a Tpetra std::vector and set it to zero.
      //
      Teuchos::RCP<Tpetra::Vector<OT,ST> > 
  tpetra_x_j = Thyra::get_Tpetra_Vector(vectorSpace,x->col(j));
      tpetra_x_j->setAllToScalar( zero );
      //
      // NOTE: Tpetra vectors have element access via the [] operator.
      //       So and additional approach for filling in a Tpetra std::vector is:
      //
      for ( int i=0; i<numMyElements; ++i ) {
  //
  // Get the global index.
  //
  const int rowIndex = myGlobalElements[ i ];
 
  // Set the entry to zero.
  (*tpetra_x_j)[ rowIndex ] = zero;
      }
    }
  }
  
  // --------------------------------------------------------------------------------
  //
  // Create the linear operator with solve factory/object and solve the linear
  // system using the iterative solvers in Belos.
  //
  // NOTE:  This is the only part of the code that solely uses Thyra.
  //
  // --------------------------------------------------------------------------------
 
  // Create the Belos LOWS factory.
  Teuchos::RCP<Thyra::LinearOpWithSolveFactoryBase<ST> >
    belosLOWSFactory = Teuchos::rcp(new Thyra::BelosLinearOpWithSolveFactory<ST>());
  
  // Set the output stream and the verbosity level (prints to std::cout by defualt)
  // NOTE:  Set to VERB_NONE for no output from the solver.
  belosLOWSFactory->setVerbLevel(Teuchos::VERB_LOW);
  
  // Set the parameter list to specify the behavior of the factory.
  belosLOWSFactory->setParameterList( belosLOWSFPL );
  
  // Create a BelosLinearOpWithSolve object from the Belos LOWS factory.
  Teuchos::RCP<Thyra::LinearOpWithSolveBase<ST> >
    nsA = belosLOWSFactory->createOp();
  
  // Initialize the BelosLinearOpWithSolve object with the Thyra linear operator.
  Thyra::initializeOp<ST>( *belosLOWSFactory, A, &*nsA );
  
  // Perform solve using the linear operator to get the approximate solution of Ax=b,
  // where b is the right-hand side and x is the left-hand side.
  Thyra::SolveStatus<ST> solveStatus;
  solveStatus = Thyra::solve( *nsA, Thyra::NONCONJ_ELE, *b, &*x );
  
  // Print out status of solve.
  *out << "\nBelos LOWS Status: "<< solveStatus << std::endl;
  
  // --------------------------------------------------------------------------------
  // Compute residual and check convergence.
  // NOTE: We will do this by extracting the Tpetra vectors from the multivector.
  //
  // NOTE 2: We are using scalar traits here instead of the magnitude type
  //         because Tpetra defines its norm methods to return the scalar type.
  // --------------------------------------------------------------------------------
  std::vector<ST> norm_b(numRhs), norm_res(numRhs);
  
  for ( int j=0; j<numRhs; ++j ) {
    //
    // Get the j-th columns from x and b as Tpetra vectors.
    // 
    Teuchos::RCP<Tpetra::Vector<OT,ST> > 
      tpetra_x_j = Thyra::get_Tpetra_Vector(vectorSpace,x->col(j));
 
    Teuchos::RCP<Tpetra::Vector<OT,ST> > 
      tpetra_b_j = Thyra::get_Tpetra_Vector(vectorSpace,b->col(j));
    
    // Compute the column norms of the right-hand side b.
    norm_b[j] = tpetra_b_j->norm2();
      
    // Compute y=A*x, where x is the solution from the linear solver.
    Tpetra::Vector<OT,ST> y(vectorSpace);
    tpetra_A->apply( *tpetra_x_j, y );
 
    // Compute b-A*x = b-y
    y.update( one, *tpetra_b_j, -one );
 
    // Compute the column norms of A*x-b.
    norm_res[j] = y.norm2();
  }
 
  // Print out the final relative residual norms.
  MT rel_res = 0.0;
  *out << "Final relative residual norms" << std::endl;  
  for (int i=0; i<numRhs; ++i) {
    rel_res = Teuchos::ScalarTraits<ST>::real(norm_res[i]/norm_b[i]);
    if (rel_res > maxResid)
      success = false;
    *out << "RHS " << i+1 << " : " 
         << std::setw(16) << std::right << rel_res << std::endl;
  }
  
  return ( success ? 0 : 1 );
}