adjoint_scalar_pnpn.f90

! Copyright (c) 2022-2024, The Neko Authors
! All rights reserved.
!
! Redistribution and use in source and binary forms, with or without
! modification, are permitted provided that the following conditions
! are met:
!
!   * Redistributions of source code must retain the above copyright
!     notice, this list of conditions and the following disclaimer.
!
!   * 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.
!
!   * Neither the name of the authors nor the names of its
!     contributors may be used to endorse or promote products derived
!     from this software without specific prior written permission.
!
! THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
! "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 THE
! COPYRIGHT OWNER OR 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.
!
 
module adjoint_scalar_pnpn
  use comm, only: mpi_integer, mpi_max, neko_comm, neko_error
  use num_types, only: rp
  use, intrinsic :: iso_fortran_env, only: error_unit
  use rhs_maker, only : rhs_maker_bdf_t, rhs_maker_ext_t, rhs_maker_oifs_t, &
       rhs_maker_ext_fctry, rhs_maker_bdf_fctry, rhs_maker_oifs_fctry
  use adjoint_scalar_scheme, only : adjoint_scalar_scheme_t
  use field, only : field_t
  use bc_list, only : bc_list_t
  use mesh, only : mesh_t
  use checkpoint, only : chkp_t
  use coefs, only : coef_t
  use device, only : host_to_device, device_memcpy
  use gather_scatter, only : gs_t, gs_op_add
  use scalar_residual, only : scalar_residual_t, scalar_residual_factory
  use ax_product, only : ax_t, ax_helm_factory
  use field_series, only: field_series_t
  use facet_normal, only : facet_normal_t
  use krylov, only : ksp_monitor_t
  use device_math, only : device_add2s2, device_col2
  use scalar_aux, only : scalar_step_info
  use time_scheme_controller, only : time_scheme_controller_t
  use projection, only : projection_t
  use math, only : glsc2, col2, add2s2
  use logger, only : neko_log, log_size, neko_log_debug
  use advection_adjoint, only : advection_adjoint_t
  use advection_adjoint_fctry, only: advection_adjoint_factory
  use profiler, only : profiler_start_region, profiler_end_region
  use json_utils, only : json_get, json_get_or_default, json_extract_item
  use json_module, only : json_file, json_core, json_value
  use user_intf, only : user_t
  use neko_config, only : neko_bcknd_device
  use zero_dirichlet, only : zero_dirichlet_t
  use time_step_controller, only : time_step_controller_t
  use scratch_registry, only : neko_scratch_registry
  use bc, only : bc_t
  implicit none
  private
 
 
  type, public, extends(adjoint_scalar_scheme_t) :: adjoint_scalar_pnpn_t
 
     type(field_t) :: s_adj_res
 
     type(field_t) :: ds_adj
 
     class(ax_t), allocatable :: ax
 
     type(projection_t) :: proj_s
 
     type(zero_dirichlet_t) :: bc_res
 
     type(bc_list_t) :: bclst_ds
 
     class(advection_adjoint_t), allocatable :: adv
 
     ! Time interpolation scheme
     logical :: oifs
 
     ! Lag arrays for the RHS.
     type(field_t) :: abx1, abx2
 
     ! Advection terms for the oifs method
     type(field_t) :: advs
 
     class(scalar_residual_t), allocatable :: res
 
     class(rhs_maker_ext_t), allocatable :: makeext
 
     class(rhs_maker_bdf_t), allocatable :: makebdf
 
     class(rhs_maker_oifs_t), allocatable :: makeoifs
 
   contains
     procedure, pass(this) :: init => adjoint_scalar_pnpn_init
     procedure, pass(this) :: restart => adjoint_scalar_pnpn_restart
     procedure, pass(this) :: free => adjoint_scalar_pnpn_free
     procedure, pass(this) :: step => adjoint_scalar_pnpn_step
     procedure, pass(this) :: setup_bcs_ => adjoint_scalar_pnpn_setup_bcs_
  end type adjoint_scalar_pnpn_t
 
  interface adjoint_bc_factory
     module subroutine adjoint_bc_factory(object, scheme, json, coef, user)
       class(bc_t), pointer, intent(inout) :: object
       type(adjoint_scalar_pnpn_t), intent(in) :: scheme
       type(json_file), intent(inout) :: json
       type(coef_t), intent(in) :: coef
       type(user_t), intent(in) :: user
     end subroutine adjoint_bc_factory
  end interface adjoint_bc_factory
 
contains
 
  subroutine adjoint_scalar_pnpn_init(this, msh, coef, gs, params, user, &
       ulag, vlag, wlag, time_scheme, rho)
    class(adjoint_scalar_pnpn_t), target, intent(inout) :: this
    type(mesh_t), target, intent(in) :: msh
    type(coef_t), target, intent(in) :: coef
    type(gs_t), target, intent(inout) :: gs
    type(json_file), target, intent(inout) :: params
    type(user_t), target, intent(in) :: user
    type(field_series_t), target, intent(in) :: ulag, vlag, wlag
    type(time_scheme_controller_t), target, intent(in) :: time_scheme
    type(field_t), target, intent(in) :: rho
    integer :: i
    class(bc_t), pointer :: bc_i
    character(len=15), parameter :: scheme = 'Modular (Pn/Pn)'
 
    call this%free()
 
    ! Initiliaze base type.
    call this%scheme_init(msh, coef, gs, params, scheme, user, rho)
 
    ! Setup backend dependent Ax routines
    call ax_helm_factory(this%ax, full_formulation = .false.)
 
    ! Setup backend dependent scalar residual routines
    call scalar_residual_factory(this%res)
 
    ! Setup backend dependent summation of extrapolation scheme
    call rhs_maker_ext_fctry(this%makeext)
 
    ! Setup backend dependent contributions to F from lagged BD terms
    call rhs_maker_bdf_fctry(this%makebdf)
 
    ! Setup backend dependent contributions of the OIFS scheme
    call rhs_maker_oifs_fctry(this%makeoifs)
 
    ! Initialize variables specific to this plan
    associate(xh_lx => this%Xh%lx, xh_ly => this%Xh%ly, xh_lz => this%Xh%lz, &
         dm_xh => this%dm_Xh, nelv => this%msh%nelv)
 
      call this%s_adj_res%init(dm_xh, "s_adj_res")
 
      call this%abx1%init(dm_xh, "abx1")
 
      call this%abx2%init(dm_xh, "abx2")
 
      call this%advs%init(dm_xh, "advs")
 
      call this%ds_adj%init(dm_xh, 'ds_adj')
 
    end associate
 
    ! Set up boundary conditions
    call this%setup_bcs_(user)
 
    ! Initialize dirichlet bcs for scalar residual
    call this%bc_res%init(this%c_Xh, params)
    do i = 1, this%bcs%size()
       if (this%bcs%strong(i)) then
          bc_i => this%bcs%get(i)
          call this%bc_res%mark_facets(bc_i%marked_facet)
       end if
    end do
 
!    call this%bc_res%mark_zones_from_list('d_s', this%bc_labels)
    call this%bc_res%finalize()
 
    call this%bclst_ds%init()
    call this%bclst_ds%append(this%bc_res)
 
 
    ! Initialize projection space
    call this%proj_s%init(this%dm_Xh%size(), this%projection_dim, &
         this%projection_activ_step)
 
    ! Add lagged term to checkpoint
    ! @todo Init chkp object, note, adding 3 slags
    ! call this%chkp%add_lag(this%s_adj_lag, this%s_adj_lag, this%s_adj_lag)
 
    ! Determine the time-interpolation scheme
    call json_get_or_default(params, 'case.numerics.oifs', this%oifs, .false.)
 
    ! Initialize advection factory
    ! call json_get_or_default(params, 'case.scalar.advection', advection, &
    ! .true.)
    ! call advection_adjoint_factory(this%adv, params, this%c_Xh, &
    !                        ulag, vlag, wlag, this%chkp%dtlag, &
    !                         this%chkp%tlag, time_scheme, .not. advection, &
    !                        this%s_adj_lag)
    ! @todo NOTE:
    ! This is changed a fair amount and I suspect it's due oifs
    call advection_adjoint_factory(this%adv, params, this%c_Xh)
  end subroutine adjoint_scalar_pnpn_init
 
  subroutine adjoint_scalar_pnpn_restart(this, dtlag, tlag)
    class(adjoint_scalar_pnpn_t), target, intent(inout) :: this
    real(kind=rp) :: dtlag(10), tlag(10)
    integer :: n
 
 
    n = this%s_adj%dof%size()
 
    call col2(this%s_adj%x, this%c_Xh%mult, n)
    call col2(this%s_adj_lag%lf(1)%x, this%c_Xh%mult, n)
    call col2(this%s_adj_lag%lf(2)%x, this%c_Xh%mult, n)
    if (neko_bcknd_device .eq. 1) then
       call device_memcpy(this%s_adj%x, this%s_adj%x_d, &
            n, host_to_device, sync = .false.)
       call device_memcpy(this%s_adj_lag%lf(1)%x, this%s_adj_lag%lf(1)%x_d, &
            n, host_to_device, sync = .false.)
       call device_memcpy(this%s_adj_lag%lf(2)%x, this%s_adj_lag%lf(2)%x_d, &
            n, host_to_device, sync = .false.)
       call device_memcpy(this%abx1%x, this%abx1%x_d, &
            n, host_to_device, sync = .false.)
       call device_memcpy(this%abx2%x, this%abx2%x_d, &
            n, host_to_device, sync = .false.)
       call device_memcpy(this%advs%x, this%advs%x_d, &
            n, host_to_device, sync = .false.)
    end if
 
    call this%gs_Xh%op(this%s_adj, gs_op_add)
    call this%gs_Xh%op(this%s_adj_lag%lf(1), gs_op_add)
    call this%gs_Xh%op(this%s_adj_lag%lf(2), gs_op_add)
 
  end subroutine adjoint_scalar_pnpn_restart
 
  subroutine adjoint_scalar_pnpn_free(this)
    class(adjoint_scalar_pnpn_t), intent(inout) :: this
 
    !Deallocate scalar field
    call this%scheme_free()
 
    call this%bclst_ds%free()
    call this%proj_s%free()
 
    call this%s_adj_res%free()
 
    call this%ds_adj%free()
 
    call this%abx1%free()
    call this%abx2%free()
 
    call this%advs%free()
 
    if (allocated(this%Ax)) then
       deallocate(this%Ax)
    end if
 
    if (allocated(this%res)) then
       deallocate(this%res)
    end if
 
    if (allocated(this%makeext)) then
       deallocate(this%makeext)
    end if
 
    if (allocated(this%makebdf)) then
       deallocate(this%makebdf)
    end if
 
    if (allocated(this%makeoifs)) then
       deallocate(this%makeoifs)
    end if
 
  end subroutine adjoint_scalar_pnpn_free
 
  subroutine adjoint_scalar_pnpn_step(this, t, tstep, dt, ext_bdf, &
       dt_controller)
    class(adjoint_scalar_pnpn_t), intent(inout) :: this
    real(kind=rp), intent(in) :: t
    integer, intent(in) :: tstep
    real(kind=rp), intent(in) :: dt
    type(time_scheme_controller_t), intent(in) :: ext_bdf
    type(time_step_controller_t), intent(in) :: dt_controller
    ! Number of degrees of freedom
    integer :: n
    ! Linear solver results monitor
    type(ksp_monitor_t) :: ksp_results(1)
 
    n = this%dm_Xh%size()
 
    call profiler_start_region('Scalar', 2)
    associate(u => this%u, v => this%v, w => this%w, s_adj => this%s_adj, &
         cp => this%cp, rho => this%rho, &
         ds_adj => this%ds_adj, &
         s_adj_res => this%s_adj_res, &
         ax => this%Ax, f_xh => this%f_Xh, xh => this%Xh, &
         c_xh => this%c_Xh, dm_xh => this%dm_Xh, gs_xh => this%gs_Xh, &
         s_adj_lag => this%s_adj_lag, oifs => this%oifs, &
         lambda_field => this%lambda, &
         projection_dim => this%projection_dim, &
         msh => this%msh, res => this%res, makeoifs => this%makeoifs, &
         makeext => this%makeext, makebdf => this%makebdf, &
         if_variable_dt => dt_controller%if_variable_dt, &
         dt_last_change => dt_controller%dt_last_change)
 
      ! Logs extra information the log level is NEKO_LOG_DEBUG or above.
      call print_debug(this)
      ! Compute the source terms
      call this%source_term%compute(t, tstep)
 
      ! Compute the grandient jump penalty term
      if (this%if_gradient_jump_penalty .eqv. .true.) then
         call neko_error("gradient jump not implemented for adjoint scalar")
         ! call this%gradient_jump_penalty%compute(u, v, w, s_adj)
         ! call this%gradient_jump_penalty%perform(f_Xh)
      end if
 
      ! Apply weak boundary conditions, that contribute to the source terms.
      call this%bcs%apply_scalar(this%f_Xh%x, dm_xh%size(), t, tstep, .false.)
 
      ! if (oifs) then
      !    call neko_error("oifs not implemented for adjoint scalar")
      ! ! Add the advection operators to the right-hans-side.
      ! call this%adv%compute_scalar(u, v, w, s_adj, this%advs, &
      !                           Xh, this%c_Xh, dm_Xh%size())
 
      ! call makeext%compute_scalar(this%abx1, this%abx2, f_Xh%x, rho, &
      !                             ext_bdf%advection_coeffs, n)
 
      ! call makeoifs%compute_scalar(this%advs%x, f_Xh%x, rho, dt, n)
      ! else
      ! Add the advection operators to the right-hans-side.
      call this%adv%compute_adjoint_scalar(u, v, w, s_adj, f_xh, &
           xh, this%c_Xh, dm_xh%size())
 
      ! At this point the RHS contains the sum of the advection operator,
      ! Neumann boundary sources and additional source terms, evaluated using
      ! the scalar field from the previous time-step.
      ! Now, this value is used in the explicit time scheme to advance these
      ! terms in time.
      call makeext%compute_scalar(this%abx1, this%abx2, f_xh%x, rho%x(1,1,1,1), &
           ext_bdf%advection_coeffs, n)
 
      ! Add the RHS contributions coming from the BDF scheme.
      call makebdf%compute_scalar(s_adj_lag, f_xh%x, s_adj, c_xh%B, rho%x(1,1,1,1), &
           dt, ext_bdf%diffusion_coeffs, ext_bdf%ndiff, n)
      ! end if
 
      call s_adj_lag%update()
 
      call this%bcs%apply_scalar(this%s_adj%x, this%dm_Xh%size(), t, tstep, &
           .true.)
 
      ! Update material properties if necessary
      call this%update_material_properties(t, tstep)
 
      ! Compute scalar residual.
      call profiler_start_region('Adjoint_scalar_residual', 20)
      call res%compute(ax, s_adj, s_adj_res, f_xh, c_xh, msh, xh, &
           lambda_field, rho%x(1,1,1,1)*cp%x(1,1,1,1), ext_bdf%diffusion_coeffs(1), dt, dm_xh%size())
 
      call gs_xh%op(s_adj_res, gs_op_add)
 
 
      ! Apply a 0-valued Dirichlet boundary conditions on the ds_adj.
      call this%bclst_ds%apply_scalar(s_adj_res%x, dm_xh%size())
 
      call profiler_end_region('Adjoint_scalar_residual', 20)
 
      call this%proj_s%pre_solving(s_adj_res%x, tstep, c_xh, n, dt_controller)
 
      call this%pc%update()
      call profiler_start_region('Adjoint_scalar_solve', 21)
      ksp_results(1) = this%ksp%solve(ax, ds_adj, s_adj_res%x, n, &
           c_xh, this%bclst_ds, gs_xh)
      call profiler_end_region('Adjoint_scalar_solve', 21)
 
      call this%proj_s%post_solving(ds_adj%x, ax, c_xh, this%bclst_ds, gs_xh, &
           n, tstep, dt_controller)
 
      ! Update the solution
      if (neko_bcknd_device .eq. 1) then
         call device_add2s2(s_adj%x_d, ds_adj%x_d, 1.0_rp, n)
      else
         call add2s2(s_adj%x, ds_adj%x, 1.0_rp, n)
      end if
 
      call scalar_step_info(tstep, t, dt, ksp_results)
 
    end associate
    call profiler_end_region('Scalar', 2)
  end subroutine adjoint_scalar_pnpn_step
 
  subroutine print_debug(this)
    class(adjoint_scalar_pnpn_t), intent(inout) :: this
    integer :: n
 
    n = this%dm_Xh%size()
    ! TODO come back to this
    !write(log_buf,'(A,A,E15.7,A,E15.7,A,E15.7)') 'Adjoint scalar debug', &
    !   ' l2norm s_adj', glsc2(this%s_adj%x, this%s_adj%x, n), &
    !   ' slag1', glsc2(this%s_adj_lag%lf(1)%x, this%s_adj_lag%lf(1)%x, n), &
    !   ' slag2', glsc2(this%s_adj_lag%lf(2)%x, this%s_adj_lag%lf(2)%x, n)
    !call neko_log%message(log_buf, lvl=NEKO_LOG_DEBUG)
    !write(log_buf,'(A,A,E15.7,A,E15.7)') 'Adjoint scalar debug2', &
    !   ' l2norm abx1', glsc2(this%abx1%x, this%abx1%x, n), &
    !   ' abx2', glsc2(this%abx2%x, this%abx2%x, n)
    !call neko_log%message(log_buf, lvl=NEKO_LOG_DEBUG)
  end subroutine print_debug
 
  subroutine adjoint_scalar_pnpn_setup_bcs_(this, user)
    class(adjoint_scalar_pnpn_t), intent(inout) :: this
    type(user_t), target, intent(in) :: user
    integer :: i, j, n_bcs, zone_size, global_zone_size, ierr
    type(json_core) :: core
    type(json_value), pointer :: bc_object
    type(json_file) :: bc_subdict
    class(bc_t), pointer :: bc_i
    logical :: found
    ! Monitor which boundary zones have been marked
    logical, allocatable :: marked_zones(:)
    integer, allocatable :: zone_indices(:)
 
 
    if (this%params%valid_path('case.adjoint_scalar.boundary_conditions')) then
       call this%params%info('case.adjoint_scalar.boundary_conditions', &
            n_children = n_bcs)
       call this%params%get_core(core)
       call this%params%get('case.adjoint_scalar.boundary_conditions', &
            bc_object, found)
 
       call this%bcs%init(n_bcs)
 
       allocate(marked_zones(size(this%msh%labeled_zones)))
       marked_zones = .false.
 
       do i = 1, n_bcs
          ! Create a new json containing just the subdict for this bc
          call json_extract_item(core, bc_object, i, bc_subdict)
 
          ! Check that we are not trying to assing a bc to zone, for which one
          ! has already been assigned and that the zone has more than 0 size
          ! in the mesh.
          call json_get(bc_subdict, "zone_indices", zone_indices)
 
          do j = 1, size(zone_indices)
             zone_size = this%msh%labeled_zones(zone_indices(j))%size
             call mpi_allreduce(zone_size, global_zone_size, 1, &
                  mpi_integer, mpi_max, neko_comm, ierr)
 
             if (global_zone_size .eq. 0) then
                write(error_unit, '(A, A, I0, A, A, I0, A)') "*** ERROR ***: ",&
                     "Zone index ", zone_indices(j), &
                     " is invalid as this zone has 0 size, meaning it ", &
                     "does not in the mesh. Check adjoint scalar BC ", &
                     i, "."
                error stop
             end if
 
             if (marked_zones(zone_indices(j)) .eqv. .true.) then
                write(error_unit, '(A, A, I0, A, A, A, A)') "*** ERROR ***: ", &
                     "Zone with index ", zone_indices(j), &
                     " has already been assigned a boundary condition. ", &
                     "Please check your boundary_conditions entry for the ", &
                     "adjoint scalar and make sure that each zone index ", &
                     "appears only in a single boundary condition."
                error stop
             else
                marked_zones(zone_indices(j)) = .true.
             end if
          end do
 
          bc_i => null()
 
          call adjoint_bc_factory(bc_i, this, bc_subdict, this%c_Xh, user)
          call this%bcs%append(bc_i)
       end do
 
       ! Make sure all labeled zones with non-zero size have been marked
       do i = 1, size(this%msh%labeled_zones)
          if ((this%msh%labeled_zones(i)%size .gt. 0) .and. &
               (marked_zones(i) .eqv. .false.)) then
             write(error_unit, '(A, A, I0)') "*** ERROR ***: ", &
                  "No adjoint scalar boundary condition assigned to zone ", i
             error stop
          end if
       end do
    end if
  end subroutine adjoint_scalar_pnpn_setup_bcs_
 
end module adjoint_scalar_pnpn