facet_normal.f90

Go to the documentation of this file.

! Copyright (c) 2020-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 facet_normal
  use num_types, only : rp
  use neko_config, only : neko_bcknd_device
  use math, only : cfill_mask
  use device_math, only : device_col2, device_masked_gather_copy_0, &
       device_masked_scatter_copy_0
  use vector, only : vector_t
  use coefs, only : coef_t
  use bc, only : bc_t
  use utils, only : neko_error, nonlinear_index
  use json_module, only : json_file
  use, intrinsic :: iso_c_binding, only : c_ptr, c_null_ptr, c_associated
  use htable, only : htable_i4_t
  use device, only : device_map, device_memcpy, device_free, &
       host_to_device, device_to_host, glb_cmd_queue
  use time_state, only : time_state_t
  implicit none
  private
 
  type, public, extends(bc_t) :: facet_normal_t
     integer, allocatable :: unique_mask(:)
     type(c_ptr) :: unique_mask_d = c_null_ptr
     type(vector_t) :: nx, ny, nz, work
   contains
     procedure, pass(this) :: apply_scalar => facet_normal_apply_scalar
     procedure, pass(this) :: apply_scalar_dev => facet_normal_apply_scalar_dev
     procedure, pass(this) :: apply_vector => facet_normal_apply_vector
     procedure, pass(this) :: apply_vector_dev => facet_normal_apply_vector_dev
     procedure, pass(this) :: apply_surfvec => facet_normal_apply_surfvec
     procedure, pass(this) :: apply_surfvec_dev => &
          facet_normal_apply_surfvec_dev
     procedure, pass(this) :: init => facet_normal_init
     procedure, pass(this) :: init_from_components => &
          facet_normal_init_from_components
     procedure, pass(this) :: free => facet_normal_free
     procedure, pass(this) :: finalize => facet_normal_finalize
  end type facet_normal_t
 
contains
 
  subroutine facet_normal_init(this, coef, json)
    class(facet_normal_t), intent(inout), target :: this
    type(coef_t), target, intent(in) :: coef
    type(json_file), intent(inout) :: json
 
    call this%init_from_components(coef)
  end subroutine facet_normal_init
 
  subroutine facet_normal_init_from_components(this, coef)
    class(facet_normal_t), intent(inout), target :: this
    type(coef_t), target, intent(in) :: coef
 
    call this%init_base(coef)
  end subroutine facet_normal_init_from_components
 
  subroutine facet_normal_apply_scalar(this, x, n, time, strong)
    class(facet_normal_t), intent(inout) :: this
    integer, intent(in) :: n
    real(kind=rp), intent(inout), dimension(n) :: x
    type(time_state_t), intent(in), optional :: time
    logical, intent(in), optional :: strong
  end subroutine facet_normal_apply_scalar
 
  subroutine facet_normal_apply_scalar_dev(this, x_d, time, strong, strm)
    class(facet_normal_t), intent(inout), target :: this
    type(c_ptr), intent(inout) :: x_d
    type(time_state_t), intent(in), optional :: time
    logical, intent(in), optional :: strong
    type(c_ptr), intent(inout) :: strm
 
  end subroutine facet_normal_apply_scalar_dev
 
  subroutine facet_normal_apply_vector_dev(this, x_d, y_d, z_d, time, &
       strong, strm)
    class(facet_normal_t), intent(inout), target :: this
    type(c_ptr), intent(inout) :: x_d
    type(c_ptr), intent(inout) :: y_d
    type(c_ptr), intent(inout) :: z_d
    type(time_state_t), intent(in), optional :: time
    logical, intent(in), optional :: strong
    type(c_ptr), intent(inout) :: strm
 
  end subroutine facet_normal_apply_vector_dev
 
  subroutine facet_normal_apply_vector(this, x, y, z, n, time, strong)
    class(facet_normal_t), intent(inout) :: this
    integer, intent(in) :: n
    real(kind=rp), intent(inout), dimension(n) :: x
    real(kind=rp), intent(inout), dimension(n) :: y
    real(kind=rp), intent(inout), dimension(n) :: z
    type(time_state_t), intent(in), optional :: time
    logical, intent(in), optional :: strong
  end subroutine facet_normal_apply_vector
 
  subroutine facet_normal_apply_surfvec(this, x, y, z, u, v, w, n, time)
    class(facet_normal_t), intent(in) :: this
    integer, intent(in) :: n
    real(kind=rp), intent(inout), dimension(n) :: x
    real(kind=rp), intent(inout), dimension(n) :: y
    real(kind=rp), intent(inout), dimension(n) :: z
    real(kind=rp), intent(inout), dimension(n) :: u
    real(kind=rp), intent(inout), dimension(n) :: v
    real(kind=rp), intent(inout), dimension(n) :: w
    type(time_state_t), intent(in), optional :: time
    integer :: i, m, k, idx(4), facet
    real(kind=rp) :: normal(3), area
 
    m = this%unique_mask(0)
 
    do i = 1, m
       k = this%unique_mask(i)
       x(k) = u(k) * this%nx%x(i)
       y(k) = v(k) * this%ny%x(i)
       z(k) = w(k) * this%nz%x(i)
    end do
 
  end subroutine facet_normal_apply_surfvec
 
  subroutine facet_normal_apply_surfvec_dev(this, x_d, y_d, z_d, &
       u_d, v_d, w_d, time, strm)
    class(facet_normal_t), intent(in), target :: this
    type(c_ptr) :: x_d, y_d, z_d, u_d, v_d, w_d
    type(time_state_t), intent(in), optional :: time
    type(c_ptr), optional :: strm
    type(c_ptr) :: strm_
    integer :: n, m
 
    n = this%coef%dof%size()
    m = this%unique_mask(0)
 
    if (present(strm)) then
       strm_ = strm
    else
       strm_ = glb_cmd_queue
    end if
 
    if (m .gt. 0) then
       call device_masked_gather_copy_0(this%work%x_d, u_d, &
            this%unique_mask_d, n, m, strm_)
       call device_col2(this%work%x_d, this%nx%x_d, m, strm_)
       call device_masked_scatter_copy_0(x_d, this%work%x_d, &
            this%unique_mask_d, n, m, strm_)
       call device_masked_gather_copy_0(this%work%x_d, v_d, &
            this%unique_mask_d, n, m, strm_)
       call device_col2(this%work%x_d, this%ny%x_d, m, strm_)
       call device_masked_scatter_copy_0(y_d, this%work%x_d, &
            this%unique_mask_d, n, m, strm_)
       call device_masked_gather_copy_0(this%work%x_d, w_d, &
            this%unique_mask_d, n, m, strm_)
       call device_col2(this%work%x_d, this%nz%x_d, m, strm)
       call device_masked_scatter_copy_0(z_d, this%work%x_d, &
            this%unique_mask_d, n, m, strm_)
    end if
 
  end subroutine facet_normal_apply_surfvec_dev
 
  subroutine facet_normal_free(this)
    class(facet_normal_t), target, intent(inout) :: this
 
    call this%free_base()
    if (allocated(this%unique_mask)) then
       deallocate(this%unique_mask)
    end if
    if (c_associated(this%unique_mask_d)) then
       call device_free(this%unique_mask_d)
    end if
 
    call this%nx%free()
    call this%ny%free()
    call this%nz%free()
    call this%work%free()
 
  end subroutine facet_normal_free
 
  subroutine facet_normal_finalize(this, only_facets)
    class(facet_normal_t), target, intent(inout) :: this
    logical, optional, intent(in) :: only_facets
    logical :: only_facets_
    type(htable_i4_t) :: unique_point_idx
    integer :: htable_data, rcode, i, j, idx(4), facet
    real(kind=rp) :: area, normal(3)
 
    if (present(only_facets)) then
       if (.not. only_facets) then
          call neko_error("For facet_normal_t, only_facets has to be true.")
       end if
    end if
 
    call this%finalize_base(.true.)
    ! This part is purely needed to ensure that contributions
    ! for all faces a point is on is properly summed up.
    ! If one simply uses the original mask, if a point is on a corner
    ! where both faces are on the boundary
    ! one will only get the contribution from one face, not both
    ! We solve this by adding up the normals of both faces for these points
    ! and storing this sum in this%nx, this%ny, this%nz.
    ! As both contrbutions are added already,
    ! we also ensure that we only visit each point once
    ! and create a new mask with only unique points (this%unique_mask).
    if (allocated(this%unique_mask)) then
       deallocate(this%unique_mask)
    end if
    if (c_associated(this%unique_mask_d)) then
       call device_free(this%unique_mask_d)
    end if
 
    call unique_point_idx%init(this%msk(0), htable_data)
    j = 0
    do i = 1, this%msk(0)
       if (unique_point_idx%get(this%msk(i), htable_data) .ne. 0) then
          j = j + 1
          htable_data = j
          call unique_point_idx%set(this%msk(i), j)
       end if
    end do
 
    ! Only allocate work vectors if size is non-zero
    if (unique_point_idx%num_entries() .gt. 0 ) then
       call this%nx%init(unique_point_idx%num_entries())
       call this%ny%init(unique_point_idx%num_entries())
       call this%nz%init(unique_point_idx%num_entries())
       call this%work%init(unique_point_idx%num_entries())
    end if
    allocate(this%unique_mask(0:unique_point_idx%num_entries()))
 
    this%unique_mask(0) = unique_point_idx%num_entries()
    do i = 1, this%unique_mask(0)
       this%unique_mask(i) = 0
    end do
 
 
    do i = 1, this%msk(0)
       rcode = unique_point_idx%get(this%msk(i), htable_data)
       if (rcode .ne. 0) call neko_error("Facet normal: htable get failed.")
       this%unique_mask(htable_data) = this%msk(i)
       facet = this%facet(i)
 
       idx = nonlinear_index(this%msk(i), this%Xh%lx, this%Xh%lx, this%Xh%lx)
       normal = this%coef%get_normal(idx(1), idx(2), idx(3), idx(4), facet)
       area = this%coef%get_area(idx(1), idx(2), idx(3), idx(4), facet)
       normal = normal * area !Scale normal by area
       this%nx%x(htable_data) = this%nx%x(htable_data) + normal(1)
       this%ny%x(htable_data) = this%ny%x(htable_data) + normal(2)
       this%nz%x(htable_data) = this%nz%x(htable_data) + normal(3)
    end do
 
    if (neko_bcknd_device .eq. 1 .and. &
         (unique_point_idx%num_entries() .gt. 0 )) then
       call device_map(this%unique_mask, this%unique_mask_d, &
            size(this%unique_mask))
       call device_memcpy(this%unique_mask, this%unique_mask_d, &
            size(this%unique_mask), host_to_device, sync = .true.)
       call device_memcpy(this%nx%x, this%nx%x_d, &
            this%nx%size(), host_to_device, sync = .true.)
       call device_memcpy(this%ny%x, this%ny%x_d, &
            this%ny%size(), host_to_device, sync = .true.)
       call device_memcpy(this%nz%x, this%nz%x_d, &
            this%nz%size(), host_to_device, sync = .true.)
    end if
 
    call unique_point_idx%free()
 
  end subroutine facet_normal_finalize
 
end module facet_normal