1*5aed82e4SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors. 2f80f4a74SSebastian Grimberg // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3f80f4a74SSebastian Grimberg // 4f80f4a74SSebastian Grimberg // SPDX-License-Identifier: BSD-2-Clause 5f80f4a74SSebastian Grimberg // 6f80f4a74SSebastian Grimberg // This file is part of CEED: http://github.com/ceed 7f80f4a74SSebastian Grimberg 83c1e2affSSebastian Grimberg /// @file 93c1e2affSSebastian Grimberg /// Internal header for MAGMA tensor basis gradient in 3D 103c1e2affSSebastian Grimberg #ifndef CEED_MAGMA_BASIS_GRAD_3D_H 113c1e2affSSebastian Grimberg #define CEED_MAGMA_BASIS_GRAD_3D_H 123c1e2affSSebastian Grimberg 133c1e2affSSebastian Grimberg #include "magma-common-tensor.h" 143c1e2affSSebastian Grimberg 15f80f4a74SSebastian Grimberg // macros to abstract access of shared memory and reg. file 163c1e2affSSebastian Grimberg #define sT(i, j) sT[(j) * P + (i)] 17f80f4a74SSebastian Grimberg #define sTmp(i, j, ldw) sTmp[(j) * (ldw) + (i)] 18f80f4a74SSebastian Grimberg #define sTmp2(i, j, ldw) sTmp2[(j) * (ldw) + (i)] 19f80f4a74SSebastian Grimberg 209e0c01faSSebastian Grimberg //////////////////////////////////////////////////////////////////////////////// 217132caa0SSebastian Grimberg // Helper function to add or set into V 227132caa0SSebastian Grimberg template <typename T, bool Add> 237132caa0SSebastian Grimberg struct magma_grad_3d_device_accumulate; 247132caa0SSebastian Grimberg 257132caa0SSebastian Grimberg template <typename T> 267132caa0SSebastian Grimberg struct magma_grad_3d_device_accumulate<T, true> { 277132caa0SSebastian Grimberg static __device__ __inline__ void op(T &rV, const T &rTmp) { rV += rTmp; } 287132caa0SSebastian Grimberg }; 297132caa0SSebastian Grimberg 307132caa0SSebastian Grimberg template <typename T> 317132caa0SSebastian Grimberg struct magma_grad_3d_device_accumulate<T, false> { 327132caa0SSebastian Grimberg static __device__ __inline__ void op(T &rV, const T &rTmp) { rV = rTmp; } 337132caa0SSebastian Grimberg }; 347132caa0SSebastian Grimberg 357132caa0SSebastian Grimberg //////////////////////////////////////////////////////////////////////////////// 36f80f4a74SSebastian Grimberg // grad basis action (3D) 37f80f4a74SSebastian Grimberg // This function is called three times at a higher level for 3D 383c1e2affSSebastian Grimberg // DIM_U -- for the size of rU[DIM_U * NUM_COMP * MAX_P_Q] 393c1e2affSSebastian Grimberg // DIM_V -- for the size of rV[DIM_V * NUM_COMP * MAX_P_Q] 403c1e2affSSebastian Grimberg // i_DIM -- the index of the outermost loop over dimensions in grad 413c1e2affSSebastian Grimberg // i_DIM_U -- which dim index of rU is accessed (always 0 for notrans, 0, 1, or 2 for trans) 423c1e2affSSebastian Grimberg // i_DIM_V -- which dim index of rV is accessed (0, 1, or 2 for notrans, always 0 for trans) 437132caa0SSebastian Grimberg template <typename T, int DIM_U, int DIM_V, int NUM_COMP, int P, int Q, int rU_SIZE, int rV_SIZE, int i_DIM, int i_DIM_U, int i_DIM_V, bool ADD> 443c1e2affSSebastian Grimberg static __device__ __inline__ void magma_grad_3d_device(const T *sTinterp, const T *sTgrad, T rU[DIM_U][NUM_COMP][rU_SIZE], 457132caa0SSebastian Grimberg T rV[DIM_V][NUM_COMP][rV_SIZE], const int tx, T rTmp, T *swork) { 46f80f4a74SSebastian Grimberg // Assumptions 473c1e2affSSebastian Grimberg // 0. This device routine applies grad for one dim only (i_DIM), so it should be thrice for 3D 483c1e2affSSebastian Grimberg // 1. 1D threads of size max(P,Q)^2 493c1e2affSSebastian Grimberg // 2. input: rU[DIM_U x NUM_COMP x rU_SIZE] in registers (per thread) 503c1e2affSSebastian Grimberg // 3. output: rV[DIM_V x NUM_COMP x rV_SIZE] in registers (per thread) 51f80f4a74SSebastian Grimberg // 4. Three products per each (dim,component) pair 523c1e2affSSebastian Grimberg // 4.1 Batch P^2 of (1xP) matrices times (PxQ) matrix => Batch P^2 of (1xQ) matrices 533c1e2affSSebastian Grimberg // 4.2 Batch P of (QxP) matrices times (PxQ) matrix => Batch P of (QxQ) matrices 543c1e2affSSebastian Grimberg // 4.3 Batch 1 of (Q^2xP_) matrix times (PxQ) matrix => (Q^2xQ_) matrix 55f80f4a74SSebastian Grimberg // 6. Each thread computes one row of the output of each product 56f80f4a74SSebastian Grimberg // 7. Sync is recommended before and after the call 57f80f4a74SSebastian Grimberg 58f80f4a74SSebastian Grimberg T *sW1 = swork; 593c1e2affSSebastian Grimberg T *sW2 = sW1 + P * P * Q; 603c1e2affSSebastian Grimberg for (int comp = 0; comp < NUM_COMP; comp++) { 613c1e2affSSebastian Grimberg // Batch P^2 of (1xP) matrices [reg] times (PxQ) matrix [shmem] => Batch P^2 of (1xQ) matrices [shmem] 623c1e2affSSebastian Grimberg if (tx < (P * P)) { 63f80f4a74SSebastian Grimberg const int batchid = tx; 64f80f4a74SSebastian Grimberg const int sld = 1; 653c1e2affSSebastian Grimberg const T *sT = (i_DIM == 0) ? sTgrad : sTinterp; 663c1e2affSSebastian Grimberg T *sTmp = sW1 + batchid * (1 * Q); 673c1e2affSSebastian Grimberg for (int j = 0; j < Q; j++) { 68f80f4a74SSebastian Grimberg rTmp = 0.0; 693c1e2affSSebastian Grimberg for (int i = 0; i < P; i++) { 703c1e2affSSebastian Grimberg rTmp += rU[i_DIM_U][comp][i] * sT(i, j); 71f80f4a74SSebastian Grimberg } 72f80f4a74SSebastian Grimberg sTmp(0, j, sld) = rTmp; 73f80f4a74SSebastian Grimberg } 743c1e2affSSebastian Grimberg } // end of: if (tx < P*P) 75f80f4a74SSebastian Grimberg __syncthreads(); 76f80f4a74SSebastian Grimberg 773c1e2affSSebastian Grimberg // Batch P of (QxP) matrices [shmem] times (PxQ) matrix [shmem] => Batch P of (QxQ) matrices [reg] 783c1e2affSSebastian Grimberg if (tx < (P * Q)) { 793c1e2affSSebastian Grimberg const int batchid = tx / Q; 803c1e2affSSebastian Grimberg const int tx_ = tx % Q; 813c1e2affSSebastian Grimberg const int sld = Q; 823c1e2affSSebastian Grimberg const T *sT = (i_DIM == 1) ? sTgrad : sTinterp; 833c1e2affSSebastian Grimberg T *sTmp = sW1 + batchid * (Q * P); // sTmp is input 843c1e2affSSebastian Grimberg T *sTmp2 = sW2 + batchid * (Q * Q); // sTmp2 is output 853c1e2affSSebastian Grimberg for (int j = 0; j < Q; j++) { 86f80f4a74SSebastian Grimberg rTmp = 0.0; 873c1e2affSSebastian Grimberg for (int i = 0; i < P; i++) { 88f80f4a74SSebastian Grimberg rTmp += sTmp(tx_, i, sld) * sT(i, j); 89f80f4a74SSebastian Grimberg } 90f80f4a74SSebastian Grimberg sTmp2(tx_, j, sld) = rTmp; 91f80f4a74SSebastian Grimberg } 92f80f4a74SSebastian Grimberg } 93f80f4a74SSebastian Grimberg __syncthreads(); 94f80f4a74SSebastian Grimberg 953c1e2affSSebastian Grimberg // Batch 1 of (Q^2xP_) matrices [shmem] times (PxQ) matrix [shmem] => Batch 1 of (Q^2xQ_) matrices [reg] 963c1e2affSSebastian Grimberg if (tx < (Q * Q)) { 973c1e2affSSebastian Grimberg // No need to declare batchid = (tx / Q^2) = always zero 983c1e2affSSebastian Grimberg // No need to declare tx_ = (tx_ % Q^2) = always tx 993c1e2affSSebastian Grimberg const int sld = Q * Q; 1003c1e2affSSebastian Grimberg const T *sT = (i_DIM == 2) ? sTgrad : sTinterp; 101f80f4a74SSebastian Grimberg T *sTmp = sW2; // sTmp is input 1023c1e2affSSebastian Grimberg for (int j = 0; j < Q; j++) { 103f80f4a74SSebastian Grimberg rTmp = 0.0; 1043c1e2affSSebastian Grimberg for (int i = 0; i < P; i++) { 105f80f4a74SSebastian Grimberg rTmp += sTmp(tx, i, sld) * sT(i, j); 106f80f4a74SSebastian Grimberg } 1077132caa0SSebastian Grimberg magma_grad_3d_device_accumulate<T, ADD>::op(rV[i_DIM_V][comp][j], rTmp); 108f80f4a74SSebastian Grimberg } 109f80f4a74SSebastian Grimberg } 110f80f4a74SSebastian Grimberg __syncthreads(); 1113c1e2affSSebastian Grimberg } // loop over NUM_COMP 112f80f4a74SSebastian Grimberg } 113f80f4a74SSebastian Grimberg 1149e0c01faSSebastian Grimberg //////////////////////////////////////////////////////////////////////////////// 1153c1e2affSSebastian Grimberg extern "C" __launch_bounds__(MAGMA_BASIS_BOUNDS(BASIS_MAX_P_Q *BASIS_MAX_P_Q, MAGMA_MAXTHREADS_3D)) __global__ 116f80f4a74SSebastian Grimberg void magma_gradn_3d_kernel(const CeedScalar *dinterp1d, const CeedScalar *dgrad1d, const CeedScalar *dU, const int estrdU, const int cstrdU, 117f80f4a74SSebastian Grimberg const int dstrdU, CeedScalar *dV, const int estrdV, const int cstrdV, const int dstrdV, const int nelem) { 118f80f4a74SSebastian Grimberg MAGMA_DEVICE_SHARED(CeedScalar, shared_data) 119f80f4a74SSebastian Grimberg 120f80f4a74SSebastian Grimberg const int tx = threadIdx.x; 121f80f4a74SSebastian Grimberg const int ty = threadIdx.y; 122f80f4a74SSebastian Grimberg const int elem_id = (blockIdx.x * blockDim.y) + ty; 123f80f4a74SSebastian Grimberg 124f80f4a74SSebastian Grimberg if (elem_id >= nelem) return; 125f80f4a74SSebastian Grimberg 1263c1e2affSSebastian Grimberg CeedScalar rU[1][BASIS_NUM_COMP][BASIS_P] = {0.0}; // here DIM_U = 1, but might be different for a fused operator 1273c1e2affSSebastian Grimberg CeedScalar rV[1][BASIS_NUM_COMP][BASIS_Q] = {0.0}; // here DIM_V = 1, but might be different for a fused operator 128f80f4a74SSebastian Grimberg CeedScalar rTmp = 0.0; 129f80f4a74SSebastian Grimberg 130f80f4a74SSebastian Grimberg // shift global memory pointers by elem stride 131f80f4a74SSebastian Grimberg dU += elem_id * estrdU; 132f80f4a74SSebastian Grimberg dV += elem_id * estrdV; 133f80f4a74SSebastian Grimberg 134f80f4a74SSebastian Grimberg // assign shared memory pointers 1353c1e2affSSebastian Grimberg CeedScalar *sTinterp = (CeedScalar *)shared_data; 1363c1e2affSSebastian Grimberg CeedScalar *sTgrad = sTinterp + BASIS_P * BASIS_Q; 1373c1e2affSSebastian Grimberg CeedScalar *sTmp = sTgrad + BASIS_P * BASIS_Q; 1383c1e2affSSebastian Grimberg sTmp += ty * (max(BASIS_P * BASIS_P * BASIS_P, (BASIS_P * BASIS_P * BASIS_Q) + (BASIS_P * BASIS_Q * BASIS_Q))); 139f80f4a74SSebastian Grimberg 140f80f4a74SSebastian Grimberg // read T 141f80f4a74SSebastian Grimberg if (ty == 0) { 1429e0c01faSSebastian Grimberg read_T_notrans_gm2sm<BASIS_P, BASIS_Q>(tx, dinterp1d, sTinterp); 1439e0c01faSSebastian Grimberg read_T_notrans_gm2sm<BASIS_P, BASIS_Q>(tx, dgrad1d, sTgrad); 144f80f4a74SSebastian Grimberg } 145f80f4a74SSebastian Grimberg __syncthreads(); 146f80f4a74SSebastian Grimberg 1473c1e2affSSebastian Grimberg /* read U (idim = 0 for dU, i_DIM = 0 for rU) -- 148f80f4a74SSebastian Grimberg there is a sync at the end of this function */ 1499e0c01faSSebastian Grimberg read_U_3d<CeedScalar, BASIS_P, 1, BASIS_NUM_COMP, BASIS_P, 0>(dU + (0 * dstrdU), cstrdU, rU, sTmp, tx); 150f80f4a74SSebastian Grimberg 1513c1e2affSSebastian Grimberg /* first call (i_DIM = 0, i_DIM_U = 0, i_DIM_V = 0) -- 152f80f4a74SSebastian Grimberg output from rV[0][][] into dV (idim = 0) */ 1537132caa0SSebastian Grimberg magma_grad_3d_device<CeedScalar, 1, 1, BASIS_NUM_COMP, BASIS_P, BASIS_Q, BASIS_P, BASIS_Q, 0, 0, 0, false>(sTinterp, sTgrad, rU, rV, tx, rTmp, 1547132caa0SSebastian Grimberg sTmp); 155f80f4a74SSebastian Grimberg /* there is a sync at the end of magma_grad_3d_device */ 1569e0c01faSSebastian Grimberg write_V_3d<CeedScalar, BASIS_Q, 1, BASIS_NUM_COMP, BASIS_Q, 0>(dV + (0 * dstrdV), cstrdV, rV, tx); 157f80f4a74SSebastian Grimberg 1583c1e2affSSebastian Grimberg /* second call (i_DIM = 1, i_DIM_U = 0, i_DIM_V = 0) -- 159f80f4a74SSebastian Grimberg output from rV[0][][] into dV (idim = 1) */ 1607132caa0SSebastian Grimberg magma_grad_3d_device<CeedScalar, 1, 1, BASIS_NUM_COMP, BASIS_P, BASIS_Q, BASIS_P, BASIS_Q, 1, 0, 0, false>(sTinterp, sTgrad, rU, rV, tx, rTmp, 1617132caa0SSebastian Grimberg sTmp); 162f80f4a74SSebastian Grimberg /* there is a sync at the end of magma_grad_3d_device */ 1639e0c01faSSebastian Grimberg write_V_3d<CeedScalar, BASIS_Q, 1, BASIS_NUM_COMP, BASIS_Q, 0>(dV + (1 * dstrdV), cstrdV, rV, tx); 164f80f4a74SSebastian Grimberg 1653c1e2affSSebastian Grimberg /* third call (i_DIM = 2, i_DIM_U = 0, i_DIM_V = 0) -- 166f80f4a74SSebastian Grimberg output from rV[0][][] into dV (idim = 2) */ 1677132caa0SSebastian Grimberg magma_grad_3d_device<CeedScalar, 1, 1, BASIS_NUM_COMP, BASIS_P, BASIS_Q, BASIS_P, BASIS_Q, 2, 0, 0, false>(sTinterp, sTgrad, rU, rV, tx, rTmp, 1687132caa0SSebastian Grimberg sTmp); 169f80f4a74SSebastian Grimberg /* there is a sync at the end of magma_grad_3d_device */ 1709e0c01faSSebastian Grimberg write_V_3d<CeedScalar, BASIS_Q, 1, BASIS_NUM_COMP, BASIS_Q, 0>(dV + (2 * dstrdV), cstrdV, rV, tx); 171f80f4a74SSebastian Grimberg } 172f80f4a74SSebastian Grimberg 1739e0c01faSSebastian Grimberg //////////////////////////////////////////////////////////////////////////////// 1743c1e2affSSebastian Grimberg extern "C" __launch_bounds__(MAGMA_BASIS_BOUNDS(BASIS_MAX_P_Q *BASIS_MAX_P_Q, MAGMA_MAXTHREADS_3D)) __global__ 175f80f4a74SSebastian Grimberg void magma_gradt_3d_kernel(const CeedScalar *dinterp1d, const CeedScalar *dgrad1d, const CeedScalar *dU, const int estrdU, const int cstrdU, 176f80f4a74SSebastian Grimberg const int dstrdU, CeedScalar *dV, const int estrdV, const int cstrdV, const int dstrdV, const int nelem) { 177f80f4a74SSebastian Grimberg MAGMA_DEVICE_SHARED(CeedScalar, shared_data) 178f80f4a74SSebastian Grimberg 179f80f4a74SSebastian Grimberg const int tx = threadIdx.x; 180f80f4a74SSebastian Grimberg const int ty = threadIdx.y; 181f80f4a74SSebastian Grimberg const int elem_id = (blockIdx.x * blockDim.y) + ty; 182f80f4a74SSebastian Grimberg 183f80f4a74SSebastian Grimberg if (elem_id >= nelem) return; 184f80f4a74SSebastian Grimberg 1853c1e2affSSebastian Grimberg CeedScalar rU[1][BASIS_NUM_COMP][BASIS_Q] = {0.0}; // here DIM_U = 1, but might be different for a fused operator 1863c1e2affSSebastian Grimberg CeedScalar rV[1][BASIS_NUM_COMP][BASIS_P] = {0.0}; // here DIM_V = 1, but might be different for a fused operator 187f80f4a74SSebastian Grimberg CeedScalar rTmp = 0.0; 188f80f4a74SSebastian Grimberg 189f80f4a74SSebastian Grimberg // shift global memory pointers by elem stride 190f80f4a74SSebastian Grimberg dU += elem_id * estrdU; 191f80f4a74SSebastian Grimberg dV += elem_id * estrdV; 192f80f4a74SSebastian Grimberg 193f80f4a74SSebastian Grimberg // assign shared memory pointers 1943c1e2affSSebastian Grimberg CeedScalar *sTinterp = (CeedScalar *)shared_data; 1953c1e2affSSebastian Grimberg CeedScalar *sTgrad = sTinterp + BASIS_Q * BASIS_P; 1963c1e2affSSebastian Grimberg CeedScalar *sTmp = sTgrad + BASIS_Q * BASIS_P; 1973c1e2affSSebastian Grimberg sTmp += ty * (max(BASIS_Q * BASIS_Q * BASIS_Q, (BASIS_Q * BASIS_Q * BASIS_P) + (BASIS_Q * BASIS_P * BASIS_P))); 198f80f4a74SSebastian Grimberg 199f80f4a74SSebastian Grimberg // read T 200f80f4a74SSebastian Grimberg if (ty == 0) { 2019e0c01faSSebastian Grimberg read_T_trans_gm2sm<BASIS_Q, BASIS_P>(tx, dinterp1d, sTinterp); 2029e0c01faSSebastian Grimberg read_T_trans_gm2sm<BASIS_Q, BASIS_P>(tx, dgrad1d, sTgrad); 203f80f4a74SSebastian Grimberg } 204f80f4a74SSebastian Grimberg __syncthreads(); 205f80f4a74SSebastian Grimberg 2063c1e2affSSebastian Grimberg /* read U (idim = 0 for dU, i_DIM = 0 for rU) -- 207f80f4a74SSebastian Grimberg there is a sync at the end of this function */ 2089e0c01faSSebastian Grimberg read_U_3d<CeedScalar, BASIS_Q, 1, BASIS_NUM_COMP, BASIS_Q, 0>(dU + (0 * dstrdU), cstrdU, rU, sTmp, tx); 2093c1e2affSSebastian Grimberg /* then first call (i_DIM = 0, i_DIM_U = 0, i_DIM_V = 0) */ 2107132caa0SSebastian Grimberg magma_grad_3d_device<CeedScalar, 1, 1, BASIS_NUM_COMP, BASIS_Q, BASIS_P, BASIS_Q, BASIS_P, 0, 0, 0, true>(sTinterp, sTgrad, rU, rV, tx, rTmp, sTmp); 211f80f4a74SSebastian Grimberg /* there is a sync at the end of magma_grad_3d_device */ 212f80f4a74SSebastian Grimberg 2133c1e2affSSebastian Grimberg /* read U (idim = 1 for dU, i_DIM = 0 for rU) -- 214f80f4a74SSebastian Grimberg there is a sync at the end of this function */ 2159e0c01faSSebastian Grimberg read_U_3d<CeedScalar, BASIS_Q, 1, BASIS_NUM_COMP, BASIS_Q, 0>(dU + (1 * dstrdU), cstrdU, rU, sTmp, tx); 2163c1e2affSSebastian Grimberg /* then second call (i_DIM = 1, i_DIM_U = 0, i_DIM_V = 0) */ 2177132caa0SSebastian Grimberg magma_grad_3d_device<CeedScalar, 1, 1, BASIS_NUM_COMP, BASIS_Q, BASIS_P, BASIS_Q, BASIS_P, 1, 0, 0, true>(sTinterp, sTgrad, rU, rV, tx, rTmp, sTmp); 218f80f4a74SSebastian Grimberg /* there is a sync at the end of magma_grad_3d_device */ 219f80f4a74SSebastian Grimberg 2203c1e2affSSebastian Grimberg /* read U (idim = 2 for dU, i_DIM = 0 for rU) -- 221f80f4a74SSebastian Grimberg there is a sync at the end of this function */ 2229e0c01faSSebastian Grimberg read_U_3d<CeedScalar, BASIS_Q, 1, BASIS_NUM_COMP, BASIS_Q, 0>(dU + (2 * dstrdU), cstrdU, rU, sTmp, tx); 2233c1e2affSSebastian Grimberg /* then third call (i_DIM = 2, i_DIM_U = 0, i_DIM_V = 0) */ 2247132caa0SSebastian Grimberg magma_grad_3d_device<CeedScalar, 1, 1, BASIS_NUM_COMP, BASIS_Q, BASIS_P, BASIS_Q, BASIS_P, 2, 0, 0, true>(sTinterp, sTgrad, rU, rV, tx, rTmp, sTmp); 225f80f4a74SSebastian Grimberg /* there is a sync at the end of magma_grad_3d_device */ 226f80f4a74SSebastian Grimberg 227f80f4a74SSebastian Grimberg // write V 2289e0c01faSSebastian Grimberg write_V_3d<CeedScalar, BASIS_P, 1, BASIS_NUM_COMP, BASIS_P, 0>(dV + (0 * dstrdV), cstrdV, rV, tx); 229f80f4a74SSebastian Grimberg } 2303c1e2affSSebastian Grimberg 2313c1e2affSSebastian Grimberg #endif // CEED_MAGMA_BASIS_GRAD_3D_H 232