most.f90

Go to the documentation of this file.

! Copyright (c) 2026, 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 most
  use field, only : field_t
  use num_types, only : rp
  use json_module, only : json_file
  use coefs, only : coef_t
  use neko_config, only : neko_bcknd_device
  use wall_model, only : wall_model_t
  use wall_sampler, only : wall_sampler_t
  use wall_sampler_fctry, only : wall_sampler_factory
  use user_intf, only : user_t
  use registry, only : neko_registry, neko_const_registry
  use json_utils, only : json_get, json_get_or_default, &
       json_get_or_lookup, json_get_or_lookup_or_default
  use most_device, only : most_compute_device
  use most_cpu, only : most_compute_cpu
  use scratch_registry, only : neko_scratch_registry
  use utils, only : neko_error, neko_warning, nonlinear_index
  use logger, only : log_size, neko_log
  use vector, only : vector_t
  use vector_math, only : vector_glsum, vector_glmin, vector_glmax
  use math, only: masked_gather_copy_0
  use device_math, only: device_masked_gather_copy_0
  implicit none
  private
 
  type, public, extends(wall_model_t) :: most_t
     real(kind=rp) :: kappa
     real(kind=rp) :: pr
     real(kind=rp) :: z0
     real(kind=rp) :: z0h_in
     ! The dynamic viscosity at the boundary
     type(vector_t) :: mu_w
     ! The fluid density at the boundary
     type(vector_t) :: rho_w
     real(kind=rp) :: g(3)
     character(len=:), allocatable :: bc_type
     real(kind=rp) :: bc_value
     character(len=:), allocatable :: scalar_name
     type(vector_t) :: ri_b, l_ob, utau, magu, ti, ts, q
     type(vector_t) :: u_s, v_s, w_s, temp_s, temp_w
   contains
     procedure, pass(this) :: init => most_init
     procedure, pass(this) :: partial_init => most_partial_init
     procedure, pass(this) :: finalize => most_finalize
     procedure, pass(this) :: init_from_components => &
          most_init_from_components
     procedure, pass(this) :: free => most_free
     procedure, pass(this) :: compute => most_compute
     ! Extract fluid properties at the wall (mu and rho)
     procedure, pass(this) :: extract_properties => most_extract_properties
  end type most_t
 
contains
  subroutine most_init(this, scheme_name, coef, msk, facet, &
       json)
    class(most_t), intent(inout) :: this
    character(len=*), intent(in) :: scheme_name
    type(coef_t), intent(in) :: coef
    integer, intent(in) :: msk(:)
    integer, intent(in) :: facet(:)
    type(json_file), intent(inout) :: json
    real(kind=rp) :: kappa, z0, z0h_in, pr
    character(len=:), allocatable :: bc_type
    character(len=:), allocatable :: scalar_name
    real(kind=rp) :: bc_value
    real(kind=rp), allocatable :: g_tmp(:)
    real(kind=rp) :: g(3)
    logical :: if_time_dependent
    class(wall_sampler_t), allocatable :: sampler
 
    call json_get_or_lookup_or_default(json, "kappa", kappa, 0.4_rp)
    call json_get_or_lookup_or_default(json, "Pr", pr, 1.0_rp)
    call json_get_or_lookup(json, "z0", z0)
    ! If z0h is specified and positive, z0h will be constant and equal to
    ! what's specified in the case file.
    ! If z0h is specified and negative, the Zilitinkevich 1995 formulation
    ! is used, with the specified value acting as -C_Zil.
    ! If z0h is not specified, assign to have the same value as z0.
    call json_get_or_lookup_or_default(json, "z0h", z0h_in, z0)
    call json_get(json, "type_of_temp_bc", bc_type)
    call json_get(json, "scalar_field", scalar_name)
    call json_get_or_lookup(json, "bottom_bc_flux_or_temp", bc_value)
    call json_get_or_default(json, "time_dependent_temp_bc", &
         if_time_dependent, .false.)
 
    if (if_time_dependent) then
       call neko_const_registry%add_real_scalar(bc_value, "bc_value")
    end if
 
    call json_get_or_lookup(json, "g", g_tmp)
    if (size(g_tmp) == 3) then
       g = g_tmp
    else
       call neko_error("MOST WM: The gravity vector should have " // &
            "exactly 3 components")
    end if
    deallocate(g_tmp)
 
    call wall_sampler_factory(sampler, json)
    call this%init_from_components(scheme_name, scalar_name, coef, msk, &
         facet, sampler, &
         kappa, g, pr, z0, z0h_in, bc_type, bc_value)
    deallocate(bc_type)
    deallocate(scalar_name)
  end subroutine most_init
 
  subroutine most_partial_init(this, coef, scheme_name, json)
    class(most_t), intent(inout) :: this
    type(coef_t), intent(in) :: coef
    character(len=*), intent(in) :: scheme_name
    type(json_file), intent(inout) :: json
    real(kind=rp), allocatable :: g_tmp(:)
    character(len=LOG_SIZE) :: log_buf
    logical :: if_time_dependent
 
    call this%partial_init_base(coef, scheme_name, json)
    call json_get_or_lookup_or_default(json, "kappa", this%kappa, 0.4_rp)
    call json_get_or_lookup_or_default(json, "Pr", this%Pr, 1.0_rp)
    call json_get_or_lookup(json, "z0", this%z0)
    call json_get_or_lookup_or_default(json, "z0h", this%z0h_in, this%z0)
    call json_get(json, "type_of_temp_bc", this%bc_type)
    call json_get(json, "scalar_field", this%scalar_name)
    call json_get_or_lookup(json, "bottom_bc_flux_or_temp", this%bc_value)
    call json_get_or_default(json, "time_dependent_temp_bc", &
         if_time_dependent, .false.)
 
    if (if_time_dependent) then
       call neko_const_registry%add_real_scalar(this%bc_value, "bc_value")
    end if
 
 
    call json_get_or_lookup(json, "g", g_tmp)
    if (size(g_tmp) == 3) then
       this%g = g_tmp
    else
       call neko_error("MOST WM: The gravity vector should have " // &
            "exactly 3 components")
    end if
    deallocate(g_tmp)
 
    call neko_log%section('Wall model')
    write(log_buf, '(A, A)') 'Model : MOST'
    call neko_log%message(log_buf)
    write(log_buf, '(A, A)') 'scalar_name : ', trim(this%scalar_name)
    call neko_log%message(log_buf)
    write(log_buf, '(A, A)') 'bc_type : ', trim(this%bc_type)
    call neko_log%message(log_buf)
    write(log_buf, '(A, E15.7)') 'bc_value : ', this%bc_value
    call neko_log%message(log_buf)
    write(log_buf, '(A, E15.7)') 'kappa : ', this%kappa
    call neko_log%message(log_buf)
    write(log_buf, '(A, E15.7)') 'z0 : ', this%z0
    call neko_log%message(log_buf)
    write(log_buf, '(A, E15.7)') 'z0h : ', this%z0h_in
    call neko_log%message(log_buf)
    write(log_buf, '(A, E15.7)') 'Pr : ', this%Pr
    call neko_log%message(log_buf)
    write(log_buf, '(A, 3(E15.7,1X))') 'g : ', this%g
    call neko_log%message(log_buf)
    call neko_log%end_section()
 
  end subroutine most_partial_init
 
  subroutine most_finalize(this, msk, facet, bc_name, user)
    class(most_t), intent(inout) :: this
    integer, intent(in) :: msk(:)
    integer, intent(in) :: facet(:)
    character(len=*), optional, intent(in) :: bc_name
    type(user_t), target, optional, intent(in) :: user
    call this%finalize_base(msk, facet, bc_name, user)
    call this%validate_single_sample()
 
    call this%Ri_b%init(this%n_nodes)
    call this%L_ob%init(this%n_nodes)
    call this%utau%init(this%n_nodes)
    call this%magu%init(this%n_nodes)
    call this%ti%init(this%n_nodes)
    call this%ts%init(this%n_nodes)
    call this%q%init(this%n_nodes)
 
    call this%mu_w%init(this%n_nodes)
    call this%rho_w%init(this%n_nodes)
    call this%u_s%init(this%n_nodes)
    call this%v_s%init(this%n_nodes)
    call this%w_s%init(this%n_nodes)
    call this%temp_s%init(this%n_nodes)
    call this%temp_w%init(this%n_nodes)
    call most_validate_sampling_height(this)
  end subroutine most_finalize
 
  subroutine most_extract_properties(this)
    class(most_t), intent(inout) :: this
 
    if (neko_bcknd_device .eq. 1) then
       call device_masked_gather_copy_0(this%mu_w%x_d, this%mu%x_d, &
            this%msk_d, &
            this%mu%size(), this%mu_w%size())
       call device_masked_gather_copy_0(this%rho_w%x_d, this%rho%x_d, &
            this%msk_d, &
            this%rho%size(), this%rho_w%size())
    else
       call masked_gather_copy_0(this%mu_w%x, this%mu%x, this%msk, &
            this%mu%size(), this%mu_w%size())
       call masked_gather_copy_0(this%rho_w%x, this%rho%x, this%msk, &
            this%rho%size(), this%rho_w%size())
    end if
  end subroutine most_extract_properties
 
  subroutine most_init_from_components(this, scheme_name, scalar_name, &
       coef, msk, facet, sampler, kappa, g, Pr, z0, &
       z0h_in, bc_type, bc_value)
    class(most_t), intent(inout) :: this
    character(len=*), intent(in) :: scheme_name
    character(len=*), intent(in) :: bc_type
    character(len=*), intent(in) :: scalar_name
    type(coef_t), intent(in) :: coef
    integer, intent(in) :: msk(:)
    integer, intent(in) :: facet(:)
    class(wall_sampler_t), allocatable, intent(inout) :: sampler
    real(kind=rp), intent(in) :: g(3)
    real(kind=rp) :: g_mag, g_dot_n, cos_alpha, max_ang
    integer :: i
    real(kind=rp), intent(in) :: kappa
    real(kind=rp), intent(in) :: z0, z0h_in, bc_value, pr
    character(len=LOG_SIZE) :: log_buf
 
    call this%free()
    call this%init_base(scheme_name, coef, msk, facet, sampler)
 
    this%kappa = kappa
    this%g = g
    this%Pr = pr
    this%z0 = z0
    this%z0h_in = z0h_in
    this%bc_type = bc_type
    this%bc_value = bc_value
    this%scalar_name = scalar_name
 
    call this%mu_w%init(this%n_nodes)
    call this%rho_w%init(this%n_nodes)
    call this%validate_single_sample()
    call this%u_s%init(this%n_nodes)
    call this%v_s%init(this%n_nodes)
    call this%w_s%init(this%n_nodes)
    call this%temp_s%init(this%n_nodes)
    call this%temp_w%init(this%n_nodes)
 
    g_mag = sqrt(sum(g**2))
    if (g_mag < 1.0e-6_rp) then
       call neko_error("MOST WM: Gravity magnitude is zero. Check " // &
            "your input configuration.")
    end if
 
    max_ang = 0.0_rp
    do i = 1, this%n_nodes
       g_dot_n = abs(g(1) * this%n_x%x(i) + g(2) * this%n_y%x(i) + &
            g(3) * this%n_z%x(i))
       cos_alpha = g_dot_n / g_mag
       max_ang = max(max_ang, acos(min(1.0_rp, cos_alpha)))
    end do
    max_ang = max_ang * 180.0_rp / (4.0_rp * atan(1.0_rp))
    if (max_ang > 8.0_rp) then
       write(log_buf, '(A, F6.2, A)') &
            "MOST WM: Significant gravity-normal misalignment (max ", &
            max_ang, " deg). Stability corrections will use projected gravity."
       call neko_warning(trim(log_buf))
    end if
 
    call most_validate_sampling_height(this)
 
  end subroutine most_init_from_components
 
  subroutine most_validate_sampling_height(this)
    class(most_t), intent(in) :: this
 
    if (any(this%sampler%h%x(1:this%n_nodes) .le. this%z0)) then
       call neko_error("MOST WM: Sampling height h must be greater " // &
            "than roughness z0.")
    else if ((this%z0h_in .gt. 0.0_rp) .and. &
         any(this%sampler%h%x(1:this%n_nodes) .le. this%z0h_in)) then
       call neko_error("MOST WM: Sampling height h must be greater " // &
            "than thermal roughness z0h.")
    else if (this%z0 .eq. 0.0_rp) then
       call neko_error("MOST WM: Roughness z0 must be greater than 0.")
    else if (this%z0h_in .eq. 0.0_rp) then
       call neko_error("MOST WM: Thermal roughness z0h must be greater than 0.")
    end if
  end subroutine most_validate_sampling_height
 
  subroutine most_free(this)
    class(most_t), intent(inout) :: this
 
    if (allocated(this%bc_type)) then
       deallocate(this%bc_type)
    end if
 
    if (allocated(this%scalar_name)) then
       deallocate(this%scalar_name)
    end if
 
    call this%mu_w%free()
    call this%rho_w%free()
    call this%u_s%free()
    call this%v_s%free()
    call this%w_s%free()
    call this%temp_s%free()
    call this%temp_w%free()
    call this%free_base()
 
    call this%Ri_b%free()
    call this%L_ob%free()
    call this%utau%free()
    call this%magu%free()
    call this%ti%free()
    call this%ts%free()
    call this%q%free()
 
  end subroutine most_free
 
  subroutine most_compute(this, t, tstep)
    class(most_t), intent(inout) :: this
    real(kind=rp), intent(in) :: t
    integer, intent(in) :: tstep
    type(field_t), pointer :: u
    type(field_t), pointer :: v
    type(field_t), pointer :: w
    type(field_t), pointer :: temp
    real(kind=rp), pointer :: updated_bc_value
 
    ! Extract boundary values for mu and rho
    call this%extract_properties()
 
    u => neko_registry%get_field("u")
    v => neko_registry%get_field("v")
    w => neko_registry%get_field("w")
    temp => neko_registry%get_field(this%scalar_name)
 
    call this%sampler%sample(u, this%u_s)
    call this%sampler%sample(v, this%v_s)
    call this%sampler%sample(w, this%w_s)
    call this%sampler%sample(temp, this%temp_s)
    if (neko_bcknd_device .eq. 1) then
       call device_masked_gather_copy_0(this%temp_w%x_d, temp%x_d, &
            this%msk_d, temp%size(), this%n_nodes)
    else
       call masked_gather_copy_0(this%temp_w%x, temp%x, this%msk, &
            temp%size(), this%n_nodes)
    end if
 
    if (neko_const_registry%real_scalar_exists("bc_value")) then
       updated_bc_value => neko_const_registry%get_real_scalar("bc_value")
       this%bc_value = updated_bc_value
    end if
 
    if (neko_bcknd_device .eq. 1) then
       call most_compute_device(this%u_s%x_d, this%v_s%x_d, this%w_s%x_d, &
            this%temp_s%x_d, this%temp_w%x_d, this%n_x%x_d, &
            this%n_y%x_d, this%n_z%x_d, this%sampler%h%x_d, &
            this%tau_x%x_d, this%tau_y%x_d, &
            this%tau_z%x_d, this%n_nodes, this%kappa, &
            this%mu_w%x_d, this%rho_w%x_d, this%g, this%Pr, this%z0, &
            this%z0h_in, &
            this%bc_type, this%bc_value, tstep, this%Ri_b%x_d, &
            this%L_ob%x_d, this%utau%x_d, this%magu%x_d, this%ti%x_d, &
            this%ts%x_d, this%q%x_d)
    else
       call most_compute_cpu(this%u_s%x, this%v_s%x, this%w_s%x, &
            this%temp_s%x, this%temp_w%x, this%n_x%x, &
            this%n_y%x, this%n_z%x, this%sampler%h%x, this%tau_x%x, &
            this%tau_y%x, this%tau_z%x, this%n_nodes, &
            this%kappa, this%mu_w%x, this%rho_w%x, &
            this%g, this%Pr, this%z0, this%z0h_in, this%bc_type, &
            this%bc_value, tstep, this%Ri_b%x, this%L_ob%x, &
            this%utau%x, this%magu%x, this%ti%x, this%ts%x, &
            this%q%x)
    end if
 
    call most_log_diagnostics(this%Ri_b, this%L_ob, &
         this%utau, this%magu, this%ti, this%ts, this%q, &
         this%n_nodes, this%bc_value)
 
    nullify(u, v, w, temp, updated_bc_value)
 
  end subroutine most_compute
 
  subroutine most_log_diagnostics(Ri_b, L_ob, utau, magu, ti, ts, q, &
       n_nodes, bc_value)
    character(len=LOG_SIZE) :: log_buf
    integer, intent(in) :: n_nodes
    real(kind=rp), intent(in) :: bc_value
    type(vector_t), intent(in) :: ri_b, l_ob, utau
    type(vector_t), intent(in) :: magu, ti, ts, q
 
    call neko_log%section("Wall model diagnostics")
    write(log_buf, '(A)') '--- sum --- ' !min max ---'
    call neko_log%message(trim(log_buf))
    write(log_buf,'(A,3E15.7)') "Ri_b: ",&
         vector_glsum(ri_b, n_nodes) !, &
    !  vector_glmin(Ri_b, n_nodes), vector_glmax(Ri_b, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,3E15.7)') "L_ob: ", &
         vector_glsum(l_ob, n_nodes)!, &
    !  vector_glmin(L_ob, n_nodes), vector_glmax(L_ob, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,3E15.7)') "utau: ", &
         vector_glsum(utau, n_nodes)!, &
    !  vector_glmin(utau, n_nodes), vector_glmax(utau, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,3E15.7)') "magu: ", &
         vector_glsum(magu, n_nodes)!, &
    !  vector_glmin(magu, n_nodes), vector_glmax(magu, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,3E15.7)') "ti: ", &
         vector_glsum(ti, n_nodes)!, &
    !  vector_glmin(ti, n_nodes), vector_glmax(ti, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,3E15.7)') "ts: ", &
         vector_glsum(ts, n_nodes)!, &
    !  vector_glmin(ts, n_nodes), vector_glmax(ts, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,3E15.7)') "q: ", &
         vector_glsum(q, n_nodes)!, &
    !  vector_glmin(q, n_nodes), vector_glmax(q, n_nodes)
    call neko_log%message(trim(log_buf))
 
    write(log_buf,'(A,E15.7)') "bc_value: ", bc_value
    call neko_log%message(trim(log_buf))
 
    call neko_log%end_section()
 
  end subroutine most_log_diagnostics
 
 
end module most