bc_list.f90

Go to the documentation of this file.

! Copyright (c) 2024-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 bc_list
  use neko_config, only : neko_bcknd_device
  use num_types, only : rp
  use field, only : field_t
  use device, only : device_get_ptr
  use utils, only : neko_error
  use, intrinsic :: iso_c_binding, only : c_ptr
  use bc, only : bc_t, bc_ptr_t
  implicit none
  private
 
  type, public :: bc_list_t
     ! The items of the list.
     class(bc_ptr_t), allocatable, private :: items(:)
     integer, private :: size_
     integer, private :: capacity
   contains
     procedure, pass(this) :: init => bc_list_init
     procedure, pass(this) :: free => bc_list_free
 
     procedure, pass(this) :: append => bc_list_append
     procedure, pass(this) :: get => bc_list_get
 
     procedure, pass(this) :: is_empty => bc_list_is_empty
     procedure, pass(this) :: strong => bc_list_strong
     procedure :: size => bc_list_size
 
     generic :: apply => apply_scalar, apply_vector, &
          apply_scalar_field, apply_vector_field
     procedure, pass(this) :: apply_scalar => bc_list_apply_scalar_array
     procedure, pass(this) :: apply_vector => bc_list_apply_vector_array
     procedure, pass(this) :: apply_scalar_field => bc_list_apply_scalar_field
     procedure, pass(this) :: apply_vector_field => bc_list_apply_vector_field
  end type bc_list_t
  type, public :: bc_list_t …
 
contains
 
  subroutine bc_list_init(this, capacity)
    class(bc_list_t), intent(inout), target :: this
    integer, optional :: capacity
    integer :: n
 
    call this%free()
 
    n = 1
    if (present(capacity)) n = capacity
 
    allocate(this%items(n))
 
    this%size_ = 0
    this%capacity = n
 
  subroutine bc_list_init(this, capacity) …
  end subroutine bc_list_init
 
  subroutine bc_list_free(this)
    class(bc_list_t), intent(inout) :: this
    integer :: i
 
    if (allocated(this%items)) then
       do i = 1, this%size_
          this%items(i)%ptr => null()
       end do
 
       deallocate(this%items)
    end if
 
    this%size_ = 0
    this%capacity = 0
  subroutine bc_list_free(this) …
  end subroutine bc_list_free
 
  subroutine bc_list_append(this, bc)
    class(bc_list_t), intent(inout) :: this
    class(bc_t), intent(inout), target :: bc
    type(bc_ptr_t), allocatable :: tmp(:)
 
    if (this%size_ .ge. this%capacity) then
       this%capacity = this%capacity * 2
       allocate(tmp(this%capacity))
       tmp(1:this%size_) = this%items
       call move_alloc(tmp, this%items)
    end if
 
    this%size_ = this%size_ + 1
    this%items(this%size_)%ptr => bc
 
  subroutine bc_list_append(this, bc) …
  end subroutine bc_list_append
 
  function bc_list_get(this, i) result(bc)
    class(bc_list_t), intent(in) :: this
    class(bc_t), pointer :: bc
    integer, intent(in) :: i
 
    if (i .lt. 1 .or. i .gt. this%size_) then
       call neko_error("Index out of bounds in bc_list_get")
    end if
 
    bc => this%items(i)%ptr
 
  function bc_list_get(this, i) result(bc) …
  end function bc_list_get
 
  subroutine bc_list_apply_scalar_array(this, x, n, t, tstep, strong)
    class(bc_list_t), intent(inout) :: this
    integer, intent(in) :: n
    real(kind=rp), intent(inout), dimension(n) :: x
    real(kind=rp), intent(in), optional :: t
    integer, intent(in), optional :: tstep
    logical, intent(in), optional :: strong
    type(c_ptr) :: x_d
    integer :: i
 
 
    if (neko_bcknd_device .eq. 1) then
       x_d = device_get_ptr(x)
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d, t, tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d, t = t, &
                     strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d, tstep = tstep, &
                     strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d, t = t, &
                     tstep = tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d, t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d, tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x_d)
             end do
          end if
       end if
    else
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, t, tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, t = t, strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, tstep = tstep, &
                     strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, strong = strong)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, t = t, tstep = tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n, tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar(x, n)
             end do
          end if
       end if
    end if
  subroutine bc_list_apply_scalar_array(this, x, n, t, tstep, strong) …
  end subroutine bc_list_apply_scalar_array
 
  subroutine bc_list_apply_vector_array(this, x, y, z, n, t, tstep, strong)
    class(bc_list_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
    real(kind=rp), intent(in), optional :: t
    integer, intent(in), optional :: tstep
    logical, intent(in), optional :: strong
 
    type(c_ptr) :: x_d
    type(c_ptr) :: y_d
    type(c_ptr) :: z_d
    integer :: i
 
    if (neko_bcknd_device .eq. 1) then
       x_d = device_get_ptr(x)
       y_d = device_get_ptr(y)
       z_d = device_get_ptr(z)
 
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, t, &
                     tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, t = t, &
                     strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, &
                     tstep = tstep, strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, &
                     strong = strong)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, t, &
                     tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d, &
                     tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x_d, y_d, z_d)
             end do
          end if
       end if
    else
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, t, tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, t = t, &
                     strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, &
                     tstep = tstep, strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, strong = strong)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, t, tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n, tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x, y, z, n)
             end do
          end if
       end if
    end if
 
  subroutine bc_list_apply_vector_array(this, x, y, z, n, t, tstep, strong) …
  end subroutine bc_list_apply_vector_array
 
  subroutine bc_list_apply_scalar_field(this, x, t, tstep, strong)
    class(bc_list_t), intent(inout) :: this
    type(field_t), intent(inout) :: x
    real(kind=rp), intent(in), optional :: t
    integer, intent(in), optional :: tstep
    logical, intent(in), optional :: strong
    integer :: i, n
 
    n = x%size()
    if (neko_bcknd_device .eq. 1) then
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, t, tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, t = t, &
                     strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, tstep = tstep, &
                     strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, strong = strong)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, t, tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d, tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_scalar_dev(x%x_d)
             end do
          end if
       end if
    else
       do i = 1, this%size_
          call this%items(i)%ptr%apply_scalar(x%x, n, t, tstep, strong)
       end do
    end if
  subroutine bc_list_apply_scalar_field(this, x, t, tstep, strong) …
  end subroutine bc_list_apply_scalar_field
 
  subroutine bc_list_apply_vector_field(this, x, y, z, t, tstep, strong)
    class(bc_list_t), intent(inout) :: this
    type(field_t), intent(inout) :: x
    type(field_t), intent(inout) :: y
    type(field_t), intent(inout) :: z
    real(kind=rp), intent(in), optional :: t
    integer, intent(in), optional :: tstep
    logical, intent(in), optional :: strong
    integer :: i, n
    character(len=256) :: msg
 
    n = x%size()
 
    ! Ensure all fields are the same size
    if (y%size() .ne. n .or. z%size() .ne. n) then
       msg = "Fields x, y, z must have the same size in " // &
            "bc_list_apply_vector_field"
       call neko_error(trim(msg))
    end if
 
    if (neko_bcknd_device .eq. 1) then
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     t, tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     t = t, strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     tstep = tstep, strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     strong = strong)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     t, tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d, &
                     tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector_dev(x%x_d, y%x_d, z%x_d)
             end do
          end if
       end if
    else
       if (present(strong)) then
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, t, &
                     tstep, strong)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, &
                     t = t, strong = strong)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, &
                     tstep = tstep, strong = strong)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, &
                     strong = strong)
             end do
          end if
       else
          if (present(t) .and. present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, t, &
                     tstep)
             end do
          else if (present(t)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, &
                     t = t)
             end do
          else if (present(tstep)) then
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n, &
                     tstep = tstep)
             end do
          else
             do i = 1, this%size_
                call this%items(i)%ptr%apply_vector(x%x, y%x, z%x, n)
             end do
          end if
       end if
    end if
 
  subroutine bc_list_apply_vector_field(this, x, y, z, t, tstep, strong) …
  end subroutine bc_list_apply_vector_field
 
  pure function bc_list_strong(this, i) result(strong)
    class(bc_list_t), intent(in), target :: this
    integer, intent(in) :: i
    logical :: strong
 
    strong = this%items(i)%ptr%strong
  pure function bc_list_strong(this, i) result(strong) …
  end function bc_list_strong
 
  function bc_list_is_empty(this) result(is_empty)
    class(bc_list_t), intent(in), target :: this
    logical :: is_empty
    integer :: i
 
    is_empty = .true.
    do i = 1, this%size_
 
       if (.not. allocated(this%items(i)%ptr%msk)) then
          call neko_error("bc not finalized, error in bc_list%is_empty")
       end if
 
       if (this%items(i)%ptr%msk(0) > 0) is_empty = .false.
 
    end do
  function bc_list_is_empty(this) result(is_empty) …
  end function bc_list_is_empty
 
  pure function bc_list_size(this) result(size)
    class(bc_list_t), intent(in), target :: this
    integer :: size
 
    size = this%size_
  pure function bc_list_size(this) result(size) …
  end function bc_list_size
 
end module bc_list