Ifpack2_Details_AdditiveSchwarzFilter_decl.hpp

/*@HEADER
// ***********************************************************************
//
//       Ifpack2: Templated Object-Oriented Algebraic Preconditioner Package
//                 Copyright (2009) 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 Michael A. Heroux (maherou@sandia.gov)
//
// ***********************************************************************
//@HEADER
*/

#ifndef IFPACK2_ADDITIVE_SCHWARZ_FILTER_DECL_HPP
#define IFPACK2_ADDITIVE_SCHWARZ_FILTER_DECL_HPP

#include "Ifpack2_ConfigDefs.hpp"
#include "Ifpack2_Details_RowMatrix.hpp"
#include "Ifpack2_OverlappingRowMatrix.hpp"

namespace Ifpack2
{
namespace Details
{
  template<typename MatrixType>
  class AdditiveSchwarzFilter :
    public Ifpack2::Details::RowMatrix<MatrixType> {
public:
  typedef typename MatrixType::scalar_type scalar_type;
  typedef typename Kokkos::ArithTraits<scalar_type>::val_type impl_scalar_type;
  typedef typename MatrixType::local_ordinal_type local_ordinal_type;
  typedef typename MatrixType::global_ordinal_type global_ordinal_type;
  typedef typename MatrixType::node_type node_type;
  typedef typename MatrixType::global_inds_host_view_type global_inds_host_view_type;
  typedef typename MatrixType::local_inds_host_view_type local_inds_host_view_type;
  typedef typename MatrixType::values_host_view_type values_host_view_type;

  typedef typename MatrixType::nonconst_global_inds_host_view_type nonconst_global_inds_host_view_type;
  typedef typename MatrixType::nonconst_local_inds_host_view_type nonconst_local_inds_host_view_type;
  typedef typename MatrixType::nonconst_values_host_view_type nonconst_values_host_view_type;

  typedef typename Teuchos::ScalarTraits<scalar_type>::magnitudeType magnitude_type;
  typedef Tpetra::RowMatrix<scalar_type,
                            local_ordinal_type,
                            global_ordinal_type,
                            node_type> row_matrix_type;
  typedef Tpetra::CrsMatrix<scalar_type,
                            local_ordinal_type,
                            global_ordinal_type,
                            node_type> crs_matrix_type;
  typedef Tpetra::MultiVector<scalar_type,
                              local_ordinal_type,
                              global_ordinal_type,
                              node_type> mv_type;
  typedef typename crs_matrix_type::device_type device_type;
  typedef typename crs_matrix_type::execution_space execution_space;
  typedef Kokkos::RangePolicy<execution_space> policy_type;
  typedef Kokkos::MDRangePolicy<execution_space, Kokkos::Rank<2>> policy_2d_type;
  typedef Ifpack2::OverlappingRowMatrix<row_matrix_type> overlapping_matrix_type;
  typedef typename crs_matrix_type::local_matrix_device_type local_matrix_type;
  typedef typename local_matrix_type::size_type size_type;
  typedef typename local_matrix_type::row_map_type::non_const_type row_map_type;
  typedef typename local_matrix_type::index_type entries_type;
  typedef typename local_matrix_type::values_type values_type;
  typedef typename row_map_type::HostMirror host_row_map_type;
  typedef typename entries_type::HostMirror host_entries_type;
  typedef typename values_type::HostMirror host_values_type;
  typedef typename local_matrix_type::HostMirror host_local_matrix_type;

  static_assert(std::is_same<MatrixType, row_matrix_type>::value, "Ifpack2::AdditiveSchwarzFilter: The template parameter MatrixType must be a Tpetra::RowMatrix specialization.  Please don't use Tpetra::CrsMatrix (a subclass of Tpetra::RowMatrix) here anymore.  The constructor can take either a RowMatrix or a CrsMatrix just fine.");

  typedef Tpetra::Map<local_ordinal_type,
                      global_ordinal_type,
                      node_type> map_type;

  typedef typename row_matrix_type::mag_type mag_type;



  //                Must be a Tpetra::CrsMatrix or an Ifpack2::OverlappingRowMatrix that wraps a Tpetra::CrsMatrix.
  AdditiveSchwarzFilter(const Teuchos::RCP<const row_matrix_type>& A,
                 const Teuchos::ArrayRCP<local_ordinal_type>& perm,
                 const Teuchos::ArrayRCP<local_ordinal_type>& reverseperm,
                 bool filterSingletons);

  void updateMatrixValues();

  Teuchos::RCP<const crs_matrix_type> getFilteredMatrix() const;
  
  virtual ~AdditiveSchwarzFilter ();



  virtual Teuchos::RCP<const Teuchos::Comm<int> > getComm() const;

  virtual Teuchos::RCP<const map_type> getRowMap() const;

  virtual Teuchos::RCP<const map_type> getColMap() const;

  virtual Teuchos::RCP<const map_type> getDomainMap() const;

  virtual Teuchos::RCP<const map_type> getRangeMap() const;

  virtual Teuchos::RCP<const Tpetra::RowGraph<local_ordinal_type,global_ordinal_type,node_type> > getGraph() const;

  virtual global_size_t getGlobalNumRows() const;

  virtual global_size_t getGlobalNumCols() const;

  virtual size_t getLocalNumRows() const;

  virtual size_t getLocalNumCols() const;

  virtual global_ordinal_type getIndexBase() const;

  virtual global_size_t getGlobalNumEntries() const;

  virtual size_t getLocalNumEntries() const;

  virtual size_t getNumEntriesInGlobalRow (global_ordinal_type globalRow) const;

  virtual size_t getNumEntriesInLocalRow (local_ordinal_type localRow) const;

  virtual size_t getGlobalMaxNumRowEntries() const;

  virtual size_t getLocalMaxNumRowEntries() const;

  virtual bool hasColMap() const;

  virtual bool isLocallyIndexed() const;

  virtual bool isGloballyIndexed() const;

  virtual bool isFillComplete() const;

  virtual bool supportsRowViews() const;





  virtual void
  getGlobalRowCopy (global_ordinal_type GlobalRow,
                   nonconst_global_inds_host_view_type &Indices,
                   nonconst_values_host_view_type &Values,
                   size_t& NumEntries) const;

  virtual void
  getLocalRowCopy (local_ordinal_type LocalRow,
                   nonconst_local_inds_host_view_type &Indices,
                   nonconst_values_host_view_type &Values,
                   size_t& NumEntries) const;


  virtual void
  getGlobalRowView (global_ordinal_type GlobalRow,
                    global_inds_host_view_type &indices,
                    values_host_view_type &values) const;

  virtual void
  getLocalRowView (local_ordinal_type LocalRow,
                   local_inds_host_view_type & indices,
                   values_host_view_type & values) const;

  virtual void getLocalDiagCopy(Tpetra::Vector<scalar_type,local_ordinal_type,global_ordinal_type,node_type> &diag) const;




  virtual void leftScale(const Tpetra::Vector<scalar_type, local_ordinal_type, global_ordinal_type, node_type>& x);

  virtual void rightScale(const Tpetra::Vector<scalar_type, local_ordinal_type, global_ordinal_type, node_type>& x);


  virtual mag_type getFrobeniusNorm() const;

  virtual void
  apply (const Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type> &X,
         Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type> &Y,
         Teuchos::ETransp mode = Teuchos::NO_TRANS,
         scalar_type alpha = Teuchos::ScalarTraits<scalar_type>::one(),
         scalar_type beta = Teuchos::ScalarTraits<scalar_type>::zero()) const;

  virtual bool hasTransposeApply() const;

  void CreateReducedProblem(
      const Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type>& OverlappingB,
      Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type>&       OverlappingY,
      Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type>&       ReducedReorderedB) const;

  void UpdateLHS(
      const Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type>& ReducedReorderedY,
      Tpetra::MultiVector<scalar_type,local_ordinal_type,global_ordinal_type,node_type>&       OverlappingY) const;

  void setup(const Teuchos::RCP<const row_matrix_type>& A_unfiltered,
      const Teuchos::ArrayRCP<local_ordinal_type>& perm,
      const Teuchos::ArrayRCP<local_ordinal_type>& reverseperm,
      bool filterSingletons);

  void fillLocalMatrix(local_matrix_type localMatrix);


private:

  static bool
  mapPairIsFitted (const map_type& map1, const map_type& map2);

  // If both pairs of Maps of the original matrix A are fitted on this
  // process, then this process can use a fast "view" implementation.
  static bool
  mapPairsAreFitted (const row_matrix_type& A);

  Teuchos::RCP<const row_matrix_type> A_unfiltered_;
  Teuchos::RCP<crs_matrix_type> A_;
  Kokkos::DualView<local_ordinal_type*, device_type> perm_;
  Kokkos::DualView<local_ordinal_type*, device_type> reverseperm_;
  local_ordinal_type numSingletons_;
  Kokkos::DualView<local_ordinal_type*, device_type> singletons_;
  Kokkos::DualView<impl_scalar_type*, device_type> singletonDiagonals_;

  // (apply and solve still process those rows separately)
  bool FilterSingletons_;

  Teuchos::RCP<const map_type> localMap_;
};

}}  //namespace Ifpack2::Details

#endif