sponge_source_term.f90

Go to the documentation of this file.

! Copyright (c) 2025, 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 sponge_source_term
  use num_types, only : rp, dp, sp
  use json_module, only : json_file
  use registry, only : neko_registry
  use field, only : field_t
  use json_utils, only : json_get, json_get_or_default, json_get_or_lookup, &
       json_get_subdict_or_empty
  use utils, only : neko_error
  use device, only : device_memcpy, host_to_device
  use device_math, only : device_sub3, device_col2, device_add2s2
  use time_state, only : time_state_t
  use math, only : sub3, col2, add2s2
  use logger, only : neko_log, neko_log_debug
  use neko_config, only : neko_bcknd_device
  use source_term, only : source_term_t
  use case, only : case_t
  use simcomp_executor, only : neko_simcomps
  use import_field_utils, only : import_fields
  use field_list, only : field_list_t
  use coefs, only : coef_t
  use utils, only : neko_fname_len
  use file, only : file_t
  use scratch_registry, only : neko_scratch_registry
  use comm, only : pe_rank
  use fld_file_output, only : fld_file_output_t
  implicit none
  private
 
  type, public, extends(source_term_t) :: sponge_source_term_t
 
     type(field_t), pointer :: u => null()
     type(field_t), pointer :: v => null()
     type(field_t), pointer :: w => null()
     type(field_t), pointer :: u_bf => null()
     type(field_t), pointer :: v_bf => null()
     type(field_t), pointer :: w_bf => null()
     character(len=1024) :: bf_rgstry_pref
     logical :: baseflow_set = .false.
     logical :: baseflow_is_ic = .false.
     type(field_t), pointer :: fringe => null()
     real(kind=rp) :: amplitudes(3)
     character(len=1024) :: fringe_registry_name
     logical :: dump_fields = .false.
     character(NEKO_FNAME_LEN) :: dump_fname
     logical :: check = .true.
   contains
     procedure, pass(this) :: init => sponge_init_from_json
     procedure, pass(this) :: init_constant => &
          sponge_init_constant
     procedure, pass(this) :: init_user => &
          sponge_init_user
     procedure, pass(this) :: init_field => &
          sponge_init_field
     procedure, pass(this) :: init_common => &
          sponge_init_common
     procedure, pass(this) :: free => sponge_free
     procedure, pass(this) :: compute_ => sponge_compute
  end type sponge_source_term_t
 
contains
 
  subroutine sponge_init_from_json(this, json, fields, coef, variable_name)
    class(sponge_source_term_t), intent(inout) :: this
    type(json_file), intent(inout) :: json
    type(field_list_t), intent(in), target :: fields
    type(coef_t), intent(in), target :: coef
    character(len=*), intent(in) :: variable_name
 
    real(kind=rp), allocatable :: amplitudes(:)
    character(len=:), allocatable :: baseflow_method
    character(len=:), allocatable :: read_str, fringe_registry_name, &
         bf_registry_pref, dump_fname
    character(len=NEKO_FNAME_LEN) :: fname, mesh_fname
    logical :: interpolate, dump_fields
    real(kind=rp), allocatable :: constant_value(:)
    real(kind=rp) :: start_time, end_time, tolerance
    integer :: nzones
 
    type(json_file) :: baseflow_subdict
    integer :: i, izone
 
    call neko_log%section("SPONGE SOURCE TERM", lvl = neko_log_debug)
 
    call json_get_or_default(json, "dump_fields", dump_fields, .false.)
    call json_get_or_default(json, "dump_file_name", dump_fname, &
         "spng_fields")
    call json_get_or_default(json, "fringe_registry_name", &
         fringe_registry_name, "sponge_fringe")
 
    call json_get_or_lookup(json, "amplitudes", amplitudes)
    if (size(amplitudes) .ne. 3) then
       call neko_error("(SPONGE) Expected 3 elements for 'amplitudes'")
    end if
 
    call json_get_or_default(json, "start_time", start_time, 0.0_rp)
    call json_get_or_default(json, "end_time", end_time, huge(0.0_rp))
 
 
    call json_get(json, 'baseflow', &
         baseflow_subdict)
    call json_get(baseflow_subdict, "method", baseflow_method)
    call json_get_or_default(json, "baseflow_registry_prefix", &
         bf_registry_pref, "sponge_bf")
 
    select case (trim(baseflow_method))
 
       ! Import the base flow from an fld file. The same parameters as field
       ! initial condition apply since we use the same subroutine to read and
       ! potentially interpolate from a field file. It would be nice to have
       ! some kind of `gfldr` function to make this nicer.
    case ("field")
 
       ! The lines below are just copy pasted from set_flow_ic_int, because we
       ! want to make sure to separate the JSON constructor
       ! sponge_init_from_json and the constructor from attributes
       ! sponge_init_field.
       call json_get(baseflow_subdict, 'file_name', read_str)
       fname = trim(read_str)
       call json_get_or_default(baseflow_subdict, 'interpolate', interpolate, &
            .false.)
       call json_get_or_default(baseflow_subdict, 'mesh_file_name', read_str, &
            "none")
       mesh_fname = trim(read_str)
 
       block
         type(json_file) :: interp_subdict
         call json_get_subdict_or_empty(baseflow_subdict, "interpolation", &
              interp_subdict)
 
         call this%init_field(fields, coef, start_time, end_time, amplitudes, &
              fringe_registry_name, bf_registry_pref, dump_fields, dump_fname, &
              fname, interpolate, mesh_fname, interp_subdict)
       end block
 
       ! Constant base flow
    case ("constant")
 
       call json_get_or_lookup(baseflow_subdict, "value", constant_value)
       if (size(constant_value) .lt. 3) then
          call neko_error("(SPONGE) Expected 3 elements for 'value'")
       end if
 
       call this%init_constant(fields, coef, start_time, end_time, &
            amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
            dump_fname, constant_value)
 
       ! Let the user set the base flow.
    case ("user")
 
       call this%init_user(fields, coef, start_time, end_time, amplitudes, &
            fringe_registry_name, bf_registry_pref, dump_fields, dump_fname)
 
    case default
       call neko_error("(SPONGE) " // trim(baseflow_method) // &
            " is not a valid method")
    end select
 
    call neko_log%end_section(lvl = neko_log_debug)
 
  end subroutine sponge_init_from_json
 
  subroutine sponge_init_constant(this, fields, coef, start_time, end_time, &
       amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
       dump_fname, constant_values)
    class(sponge_source_term_t), intent(inout) :: this
    type(field_list_t), intent(in), target :: fields
    type(coef_t), intent(in), target :: coef
    real(kind=rp), intent(in) :: start_time, end_time
    real(kind=rp), intent(in) :: amplitudes(:)
    character(len=*), intent(in) :: fringe_registry_name, dump_fname, &
         bf_registry_pref
    logical, intent(in) :: dump_fields
    real(kind=rp), intent(in) :: constant_values(:)
 
    !
    ! Common constructor
    !
    call sponge_init_common(this, fields, coef, start_time, end_time, &
         amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
         dump_fname)
 
    !
    ! Create the base flow fields in the registry
    !
    call neko_log%message("Initializing bf fields", &
         lvl = neko_log_debug)
 
    call neko_registry%add_field(this%u%dof, &
         trim(bf_registry_pref) // "_u")
    call neko_registry%add_field(this%v%dof, &
         trim(bf_registry_pref) // "_v")
    call neko_registry%add_field(this%w%dof, &
         trim(bf_registry_pref) // "_w")
 
    this%u_bf => neko_registry%get_field(trim(bf_registry_pref) // "_u")
    this%v_bf => neko_registry%get_field(trim(bf_registry_pref) // "_v")
    this%w_bf => neko_registry%get_field(trim(bf_registry_pref) // "_w")
 
    !
    ! Assign constant values
    !
    this%u_bf = constant_values(1)
    this%v_bf = constant_values(2)
    this%w_bf = constant_values(3)
 
    this%baseflow_set = .true.
 
  end subroutine sponge_init_constant
 
  subroutine sponge_init_field(this, fields, coef, start_time, end_time, &
       amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
       dump_fname, file_name, interpolate, mesh_file_name, interp_subdict)
    class(sponge_source_term_t), intent(inout) :: this
    type(field_list_t), intent(in), target :: fields
    type(coef_t), intent(in), target :: coef
    real(kind=rp), intent(in) :: start_time, end_time
    real(kind=rp), intent(in) :: amplitudes(:)
    character(len=*), intent(in) :: fringe_registry_name, dump_fname, &
         bf_registry_pref
    logical, intent(in) :: dump_fields
    character(len=*), intent(in) :: file_name
    logical, intent(in) :: interpolate
    character(len=*), intent(inout) :: mesh_file_name
    type(json_file), intent(inout) :: interp_subdict
 
    type(field_t) :: wk
    integer :: tmp_index
 
    !
    ! Common constructor
    !
    call sponge_init_common(this, fields, coef, start_time, end_time, &
         amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
         dump_fname)
 
    !
    ! Create the base flow fields in the registry
    !
    call neko_log%message("Initializing bf fields", &
         lvl = neko_log_debug)
 
    call neko_registry%add_field(this%u%dof, &
         trim(bf_registry_pref) // "_u")
    call neko_registry%add_field(this%v%dof, &
         trim(bf_registry_pref) // "_v")
    call neko_registry%add_field(this%w%dof, &
         trim(bf_registry_pref) // "_w")
 
    this%u_bf => neko_registry%get_field(trim(bf_registry_pref) // "_u")
    this%v_bf => neko_registry%get_field(trim(bf_registry_pref) // "_v")
    this%w_bf => neko_registry%get_field(trim(bf_registry_pref) // "_w")
 
    !
    ! Import the u,v,w baseflows from fld
    !
    call import_fields(file_name, interp_subdict, mesh_file_name, &
         u = this%u_bf, v = this%v_bf, w = this%w_bf, &
         interpolate = interpolate)
 
    this%baseflow_set = .true.
 
  end subroutine sponge_init_field
 
  subroutine sponge_init_user(this, fields, coef, start_time, end_time, &
       amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
       dump_fname)
    class(sponge_source_term_t), intent(inout) :: this
    type(field_list_t), intent(in), target :: fields
    type(coef_t), intent(in), target :: coef
    real(kind=rp), intent(in) :: start_time, end_time
    real(kind=rp), intent(in) :: amplitudes(:)
    character(len=*), intent(in) :: fringe_registry_name, dump_fname, &
         bf_registry_pref
    logical, intent(in) :: dump_fields
 
    !
    ! Common constructor
    !
    call sponge_init_common(this, fields, coef, start_time, end_time, &
         amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
         dump_fname)
 
  end subroutine sponge_init_user
 
  subroutine sponge_init_common(this, fields, coef, start_time, end_time, &
       amplitudes, fringe_registry_name, bf_registry_pref, dump_fields, &
       dump_fname)
    class(sponge_source_term_t), intent(inout) :: this
    type(field_list_t), intent(in), target :: fields
    type(coef_t), intent(in), target :: coef
    real(kind=rp), intent(in) :: start_time, end_time
    real(kind=rp), intent(in) :: amplitudes(:)
    character(len=*), intent(in) :: fringe_registry_name, dump_fname, &
         bf_registry_pref
    logical, intent(in) :: dump_fields
 
    integer :: i
 
    call this%free()
    call this%init_base(fields, coef, start_time, end_time)
 
    this%amplitudes(1) = amplitudes(1)
    this%amplitudes(2) = amplitudes(2)
    this%amplitudes(3) = amplitudes(3)
 
    this%fringe_registry_name = trim(fringe_registry_name)
    this%bf_rgstry_pref = trim(bf_registry_pref)
    this%dump_fields = dump_fields
    this%dump_fname = trim(dump_fname)
 
    call neko_log%message("Initializing sponge", lvl = neko_log_debug)
 
    call neko_log%message("Pointing at fields u,v,w", &
         lvl = neko_log_debug)
    this%u => neko_registry%get_field_by_name("u")
    this%v => neko_registry%get_field_by_name("v")
    this%w => neko_registry%get_field_by_name("w")
 
  end subroutine sponge_init_common
 
  subroutine sponge_free(this)
    class(sponge_source_term_t), intent(inout) :: this
 
    call this%free_base()
 
    nullify(this%u)
    nullify(this%v)
    nullify(this%w)
    nullify(this%u_bf)
    nullify(this%v_bf)
    nullify(this%w_bf)
    nullify(this%fringe)
 
    this%fringe_registry_name = ""
    this%bf_rgstry_pref = ""
    this%baseflow_set = .false.
 
  end subroutine sponge_free
 
  subroutine sponge_compute(this, time)
    class(sponge_source_term_t), intent(inout) :: this
    type(time_state_t), intent(in) :: time
 
    integer :: i, nfields
    type(field_t), pointer :: fu, fv, fw
 
    type(json_file) :: json_subdict
    character(len=:), allocatable :: string_val
 
    character(len=1024) :: u_name, v_name, w_name
    type(fld_file_output_t) :: fout
    integer :: tmp_index
    type(field_t), pointer :: wk
 
    !
    ! Do some checks at the first timestep
    !
    if (this%check) then
 
       u_name = trim(this%bf_rgstry_pref) // "_u"
       v_name = trim(this%bf_rgstry_pref) // "_v"
       w_name = trim(this%bf_rgstry_pref) // "_w"
 
       ! Check if all the base flow fields exist in the registry
       this%baseflow_set = neko_registry%field_exists(trim(u_name)) &
            .and. neko_registry%field_exists(trim(v_name)) .and. &
            neko_registry%field_exists(trim(w_name))
 
       if (.not. this%baseflow_set) then
          call neko_error("SPONGE: No baseflow set (searching for " // &
               trim(this%bf_rgstry_pref) // "_u)")
       end if
 
       ! Check if the user has added the fringe field in the registry
       if (.not. neko_registry%field_exists( &
            trim(this%fringe_registry_name))) then
          call neko_error("SPONGE: No fringe field set (" // &
               this%fringe_registry_name // " not found)")
       end if
 
       ! This will throw an error if the user hasn't added 'sponge_fringe'
       ! to the registry.
       this%fringe => &
            neko_registry%get_field(trim(this%fringe_registry_name))
 
       ! This will throw an error if the user hasn't added the base flow fields
       ! to the registry.
       this%u_bf => neko_registry%get_field(trim(u_name))
       this%v_bf => neko_registry%get_field(trim(v_name))
       this%w_bf => neko_registry%get_field(trim(w_name))
 
       ! Reset the flag
       this%check = .false.
 
       !
       ! Dump the fringe and/or baseflow fields for visualization
       !
       if (this%dump_fields) then
          call fout%init(sp, trim(this%dump_fname), 4)
          call fout%fields%assign_to_ptr(1, this%fringe)
          call fout%fields%assign_to_field(2, this%u_bf)
          call fout%fields%assign_to_field(3, this%v_bf)
          call fout%fields%assign_to_field(4, this%w_bf)
          call fout%sample(time%t)
       end if
 
    end if
 
 
    !
    ! Start computation of source term
    !
 
    fu => this%fields%get(1)
    fv => this%fields%get(2)
    fw => this%fields%get(3)
 
    call neko_scratch_registry%request_field(wk, tmp_index, .false.)
 
    if (neko_bcknd_device .eq. 1) then
       ! wk = u_bf - u
       call device_sub3(wk%x_d, this%u_bf%x_d, this%u%x_d, this%u%size())
       ! wk = fringe * wk = fringe * (u_bf - u)
       call device_col2(wk%x_d, this%fringe%x_d, this%fringe%size())
       ! fu = fu + amplitude(1)*wk = fu + amplitude(1)*fringe*(u_bf - u)
       call device_add2s2(fu%x_d, wk%x_d, this%amplitudes(1), &
            fu%dof%size())
 
       call device_sub3(wk%x_d, this%v_bf%x_d, this%v%x_d, this%v%size())
       call device_col2(wk%x_d, this%fringe%x_d, this%fringe%size())
       call device_add2s2(fv%x_d, wk%x_d, this%amplitudes(2), &
            fv%dof%size())
 
       call device_sub3(wk%x_d, this%w_bf%x_d, this%w%x_d, this%w%size())
       call device_col2(wk%x_d, this%fringe%x_d, this%fringe%size())
       call device_add2s2(fw%x_d, wk%x_d, this%amplitudes(3), &
            fw%dof%size())
    else
       call sub3(wk%x, this%u_bf%x, this%u%x, this%u%size())
       call col2(wk%x, this%fringe%x, this%fringe%size())
       call add2s2(fu%x, wk%x, this%amplitudes(1), fu%dof%size())
 
       call sub3(wk%x, this%v_bf%x, this%v%x, this%v%size())
       call col2(wk%x, this%fringe%x, this%fringe%size())
       call add2s2(fv%x, wk%x, this%amplitudes(2), fv%dof%size())
 
       call sub3(wk%x, this%w_bf%x, this%w%x, this%w%size())
       call col2(wk%x, this%fringe%x, this%fringe%size())
       call add2s2(fw%x, wk%x, this%amplitudes(3), fw%dof%size())
    end if
 
    call neko_scratch_registry%relinquish_field(tmp_index)
 
  end subroutine sponge_compute
 
end module sponge_source_term