13d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3241a4b83SYohann // 43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 5241a4b83SYohann // 63d8e8822SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 7241a4b83SYohann 849aac155SJeremy L Thompson #include <ceed.h> 9ec3da8bcSJed Brown #include <ceed/backend.h> 1049aac155SJeremy L Thompson #include <ceed/jit-source/cuda/cuda-types.h> 113d576824SJeremy L Thompson #include <stddef.h> 122b730f8bSJeremy L Thompson 1349aac155SJeremy L Thompson #include "../cuda/ceed-cuda-common.h" 146d69246aSJeremy L Thompson #include "../cuda/ceed-cuda-compile.h" 152b730f8bSJeremy L Thompson #include "ceed-cuda-gen-operator-build.h" 162b730f8bSJeremy L Thompson #include "ceed-cuda-gen.h" 17241a4b83SYohann 18ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 19ab213215SJeremy L Thompson // Destroy operator 20ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 21241a4b83SYohann static int CeedOperatorDestroy_Cuda_gen(CeedOperator op) { 22241a4b83SYohann CeedOperator_Cuda_gen *impl; 23*ca735530SJeremy L Thompson 242b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorGetData(op, &impl)); 252b730f8bSJeremy L Thompson CeedCallBackend(CeedFree(&impl)); 26e15f9bd0SJeremy L Thompson return CEED_ERROR_SUCCESS; 27241a4b83SYohann } 28241a4b83SYohann 292b730f8bSJeremy L Thompson static int Waste(int threads_per_sm, int warp_size, int threads_per_elem, int elems_per_block) { 3039532cebSJed Brown int useful_threads_per_block = threads_per_elem * elems_per_block; 3139532cebSJed Brown // round up to nearest multiple of warp_size 32b2165e7aSSebastian Grimberg int block_size = CeedDivUpInt(useful_threads_per_block, warp_size) * warp_size; 3339532cebSJed Brown int blocks_per_sm = threads_per_sm / block_size; 3439532cebSJed Brown return threads_per_sm - useful_threads_per_block * blocks_per_sm; 3539532cebSJed Brown } 3639532cebSJed Brown 37ea61e9acSJeremy L Thompson // Choose the least wasteful block size constrained by blocks_per_sm of max_threads_per_block. 3839532cebSJed Brown // 39ea61e9acSJeremy L Thompson // The x and y part of block[] contains per-element sizes (specified on input) while the z part is number of elements. 4039532cebSJed Brown // 41ea61e9acSJeremy L Thompson // Problem setting: we'd like to make occupancy high with relatively few inactive threads. CUDA (cuOccupancyMaxPotentialBlockSize) can tell us how 4239532cebSJed Brown // many threads can run. 4339532cebSJed Brown // 44ea61e9acSJeremy L Thompson // Note that full occupancy sometimes can't be achieved by one thread block. 45ea61e9acSJeremy L Thompson // For example, an SM might support 1536 threads in total, but only 1024 within a single thread block. 46ea61e9acSJeremy L Thompson // So cuOccupancyMaxPotentialBlockSize may suggest a block size of 768 so that two blocks can run, versus one block of 1024 will prevent a second 47ea61e9acSJeremy L Thompson // block from running. The cuda-gen kernels are pretty heavy with lots of instruction-level parallelism (ILP) so we'll generally be okay with 48ea61e9acSJeremy L Thompson // relatively low occupancy and smaller thread blocks, but we solve a reasonably general problem here. Empirically, we find that blocks bigger than 49ea61e9acSJeremy L Thompson // about 256 have higher latency and worse load balancing when the number of elements is modest. 5039532cebSJed Brown // 51ea61e9acSJeremy L Thompson // cuda-gen can't choose block sizes arbitrarily; they need to be a multiple of the number of quadrature points (or number of basis functions). 52ea61e9acSJeremy L Thompson // They also have a lot of __syncthreads(), which is another point against excessively large thread blocks. 53ea61e9acSJeremy L Thompson // Suppose I have elements with 7x7x7 quadrature points. 54ea61e9acSJeremy L Thompson // This will loop over the last dimension, so we have 7*7=49 threads per element. 55ea61e9acSJeremy L Thompson // Suppose we have two elements = 2*49=98 useful threads. 56ea61e9acSJeremy L Thompson // CUDA schedules in units of full warps (32 threads), so 128 CUDA hardware threads are effectively committed to that block. 57ea61e9acSJeremy L Thompson // Now suppose cuOccupancyMaxPotentialBlockSize returned 352. 58ea61e9acSJeremy L Thompson // We can schedule 2 blocks of size 98 (196 useful threads using 256 hardware threads), but not a third block (which would need a total of 384 59ea61e9acSJeremy L Thompson // hardware threads). 6039532cebSJed Brown // 61ea61e9acSJeremy L Thompson // If instead, we had packed 3 elements, we'd have 3*49=147 useful threads occupying 160 slots, and could schedule two blocks. 62ea61e9acSJeremy L Thompson // Alternatively, we could pack a single block of 7 elements (2*49=343 useful threads) into the 354 slots. 63ea61e9acSJeremy L Thompson // The latter has the least "waste", but __syncthreads() over-synchronizes and it might not pay off relative to smaller blocks. 642b730f8bSJeremy L Thompson static int BlockGridCalculate(CeedInt num_elem, int blocks_per_sm, int max_threads_per_block, int max_threads_z, int warp_size, int block[3], 652b730f8bSJeremy L Thompson int *grid) { 6639532cebSJed Brown const int threads_per_sm = blocks_per_sm * max_threads_per_block; 6739532cebSJed Brown const int threads_per_elem = block[0] * block[1]; 6839532cebSJed Brown int elems_per_block = 1; 6939532cebSJed Brown int waste = Waste(threads_per_sm, warp_size, threads_per_elem, 1); 70*ca735530SJeremy L Thompson 712b730f8bSJeremy L Thompson for (int i = 2; i <= CeedIntMin(max_threads_per_block / threads_per_elem, num_elem); i++) { 7239532cebSJed Brown int i_waste = Waste(threads_per_sm, warp_size, threads_per_elem, i); 73*ca735530SJeremy L Thompson 74ea61e9acSJeremy L Thompson // We want to minimize waste, but smaller kernels have lower latency and less __syncthreads() overhead so when a larger block size has the same 7539532cebSJed Brown // waste as a smaller one, go ahead and prefer the smaller block. 7639532cebSJed Brown if (i_waste < waste || (i_waste == waste && threads_per_elem * i <= 128)) { 7739532cebSJed Brown elems_per_block = i; 7839532cebSJed Brown waste = i_waste; 7939532cebSJed Brown } 8039532cebSJed Brown } 81ea61e9acSJeremy L Thompson // In low-order elements, threads_per_elem may be sufficiently low to give an elems_per_block greater than allowable for the device, so we must 82ea61e9acSJeremy L Thompson // check before setting the z-dimension size of the block. 8313516544Snbeams block[2] = CeedIntMin(elems_per_block, max_threads_z); 84b2165e7aSSebastian Grimberg *grid = CeedDivUpInt(num_elem, elems_per_block); 8539532cebSJed Brown return CEED_ERROR_SUCCESS; 8639532cebSJed Brown } 8739532cebSJed Brown 88ea61e9acSJeremy L Thompson // callback for cuOccupancyMaxPotentialBlockSize, providing the amount of dynamic shared memory required for a thread block of size threads. 8939532cebSJed Brown static size_t dynamicSMemSize(int threads) { return threads * sizeof(CeedScalar); } 9039532cebSJed Brown 91ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 92ab213215SJeremy L Thompson // Apply and add to output 93ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 942b730f8bSJeremy L Thompson static int CeedOperatorApplyAdd_Cuda_gen(CeedOperator op, CeedVector input_vec, CeedVector output_vec, CeedRequest *request) { 95241a4b83SYohann Ceed ceed; 9639532cebSJed Brown Ceed_Cuda *cuda_data; 97*ca735530SJeremy L Thompson CeedInt num_elem, num_input_fields, num_output_fields; 98*ca735530SJeremy L Thompson CeedEvalMode eval_mode; 99*ca735530SJeremy L Thompson CeedVector output_vecs[CEED_FIELD_MAX] = {NULL}; 100*ca735530SJeremy L Thompson CeedQFunctionField *qf_input_fields, *qf_output_fields; 101241a4b83SYohann CeedQFunction_Cuda_gen *qf_data; 102*ca735530SJeremy L Thompson CeedQFunction qf; 103*ca735530SJeremy L Thompson CeedOperatorField *op_input_fields, *op_output_fields; 104*ca735530SJeremy L Thompson CeedOperator_Cuda_gen *data; 105*ca735530SJeremy L Thompson 106*ca735530SJeremy L Thompson CeedCallBackend(CeedOperatorGetCeed(op, &ceed)); 107*ca735530SJeremy L Thompson CeedCallBackend(CeedGetData(ceed, &cuda_data)); 108*ca735530SJeremy L Thompson CeedCallBackend(CeedOperatorGetData(op, &data)); 1092b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorGetQFunction(op, &qf)); 1102b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionGetData(qf, &qf_data)); 1112b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorGetNumElements(op, &num_elem)); 1122b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorGetFields(op, &num_input_fields, &op_input_fields, &num_output_fields, &op_output_fields)); 1132b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionGetFields(qf, NULL, &qf_input_fields, NULL, &qf_output_fields)); 114241a4b83SYohann 115241a4b83SYohann // Creation of the operator 116eb7e6cafSJeremy L Thompson CeedCallBackend(CeedOperatorBuildKernel_Cuda_gen(op)); 117241a4b83SYohann 118241a4b83SYohann // Input vectors 1199e201c85SYohann for (CeedInt i = 0; i < num_input_fields; i++) { 120*ca735530SJeremy L Thompson CeedVector vec; 121*ca735530SJeremy L Thompson 1222b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode)); 1239e201c85SYohann if (eval_mode == CEED_EVAL_WEIGHT) { // Skip 1249e201c85SYohann data->fields.inputs[i] = NULL; 125241a4b83SYohann } else { 126241a4b83SYohann // Get input vector 1272b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorFieldGetVector(op_input_fields[i], &vec)); 1289e201c85SYohann if (vec == CEED_VECTOR_ACTIVE) vec = input_vec; 1292b730f8bSJeremy L Thompson CeedCallBackend(CeedVectorGetArrayRead(vec, CEED_MEM_DEVICE, &data->fields.inputs[i])); 130241a4b83SYohann } 131241a4b83SYohann } 132241a4b83SYohann 133241a4b83SYohann // Output vectors 1349e201c85SYohann for (CeedInt i = 0; i < num_output_fields; i++) { 135*ca735530SJeremy L Thompson CeedVector vec; 136*ca735530SJeremy L Thompson 1372b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode)); 1389e201c85SYohann if (eval_mode == CEED_EVAL_WEIGHT) { // Skip 1399e201c85SYohann data->fields.outputs[i] = NULL; 140241a4b83SYohann } else { 141241a4b83SYohann // Get output vector 1422b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorFieldGetVector(op_output_fields[i], &vec)); 1439e201c85SYohann if (vec == CEED_VECTOR_ACTIVE) vec = output_vec; 1449e201c85SYohann output_vecs[i] = vec; 1453b2939feSjeremylt // Check for multiple output modes 1463b2939feSjeremylt CeedInt index = -1; 147*ca735530SJeremy L Thompson 1483b2939feSjeremylt for (CeedInt j = 0; j < i; j++) { 1499e201c85SYohann if (vec == output_vecs[j]) { 1503b2939feSjeremylt index = j; 1513b2939feSjeremylt break; 1523b2939feSjeremylt } 1533b2939feSjeremylt } 1543b2939feSjeremylt if (index == -1) { 1552b730f8bSJeremy L Thompson CeedCallBackend(CeedVectorGetArray(vec, CEED_MEM_DEVICE, &data->fields.outputs[i])); 1563b2939feSjeremylt } else { 1579e201c85SYohann data->fields.outputs[i] = data->fields.outputs[index]; 1583b2939feSjeremylt } 159241a4b83SYohann } 160241a4b83SYohann } 161241a4b83SYohann 162777ff853SJeremy L Thompson // Get context data 1632b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionGetInnerContextData(qf, CEED_MEM_DEVICE, &qf_data->d_c)); 164241a4b83SYohann 165241a4b83SYohann // Apply operator 1662b730f8bSJeremy L Thompson void *opargs[] = {(void *)&num_elem, &qf_data->d_c, &data->indices, &data->fields, &data->B, &data->G, &data->W}; 167241a4b83SYohann const CeedInt dim = data->dim; 1689e201c85SYohann const CeedInt Q_1d = data->Q_1d; 1699e201c85SYohann const CeedInt P_1d = data->max_P_1d; 1709e201c85SYohann const CeedInt thread_1d = CeedIntMax(Q_1d, P_1d); 17139532cebSJed Brown int max_threads_per_block, min_grid_size; 172*ca735530SJeremy L Thompson 1732b730f8bSJeremy L Thompson CeedCallCuda(ceed, cuOccupancyMaxPotentialBlockSize(&min_grid_size, &max_threads_per_block, data->op, dynamicSMemSize, 0, 0x10000)); 1742b730f8bSJeremy L Thompson int block[3] = 1752b730f8bSJeremy L Thompson { 1762b730f8bSJeremy L Thompson thread_1d, 1772b730f8bSJeremy L Thompson dim < 2 ? 1 : thread_1d, 1782b730f8bSJeremy L Thompson -1, 1792b730f8bSJeremy L Thompson }, 1802b730f8bSJeremy L Thompson grid; 181*ca735530SJeremy L Thompson 1822b730f8bSJeremy L Thompson CeedChkBackend(BlockGridCalculate(num_elem, min_grid_size / cuda_data->device_prop.multiProcessorCount, max_threads_per_block, 1832b730f8bSJeremy L Thompson cuda_data->device_prop.maxThreadsDim[2], cuda_data->device_prop.warpSize, block, &grid)); 18439532cebSJed Brown CeedInt shared_mem = block[0] * block[1] * block[2] * sizeof(CeedScalar); 185*ca735530SJeremy L Thompson 186eb7e6cafSJeremy L Thompson CeedCallBackend(CeedRunKernelDimShared_Cuda(ceed, data->op, grid, block[0], block[1], block[2], shared_mem, opargs)); 187241a4b83SYohann 188241a4b83SYohann // Restore input arrays 1899e201c85SYohann for (CeedInt i = 0; i < num_input_fields; i++) { 190*ca735530SJeremy L Thompson CeedVector vec; 191*ca735530SJeremy L Thompson 1922b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_input_fields[i], &eval_mode)); 1939e201c85SYohann if (eval_mode == CEED_EVAL_WEIGHT) { // Skip 194241a4b83SYohann } else { 1952b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorFieldGetVector(op_input_fields[i], &vec)); 1969e201c85SYohann if (vec == CEED_VECTOR_ACTIVE) vec = input_vec; 1972b730f8bSJeremy L Thompson CeedCallBackend(CeedVectorRestoreArrayRead(vec, &data->fields.inputs[i])); 198241a4b83SYohann } 199241a4b83SYohann } 200241a4b83SYohann 201241a4b83SYohann // Restore output arrays 2029e201c85SYohann for (CeedInt i = 0; i < num_output_fields; i++) { 203*ca735530SJeremy L Thompson CeedVector vec; 204*ca735530SJeremy L Thompson 2052b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionFieldGetEvalMode(qf_output_fields[i], &eval_mode)); 2069e201c85SYohann if (eval_mode == CEED_EVAL_WEIGHT) { // Skip 207241a4b83SYohann } else { 2082b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorFieldGetVector(op_output_fields[i], &vec)); 2099e201c85SYohann if (vec == CEED_VECTOR_ACTIVE) vec = output_vec; 2103b2939feSjeremylt // Check for multiple output modes 2113b2939feSjeremylt CeedInt index = -1; 2123b2939feSjeremylt for (CeedInt j = 0; j < i; j++) { 2139e201c85SYohann if (vec == output_vecs[j]) { 2143b2939feSjeremylt index = j; 2153b2939feSjeremylt break; 2163b2939feSjeremylt } 2173b2939feSjeremylt } 2183b2939feSjeremylt if (index == -1) { 2192b730f8bSJeremy L Thompson CeedCallBackend(CeedVectorRestoreArray(vec, &data->fields.outputs[i])); 220241a4b83SYohann } 221241a4b83SYohann } 2223b2939feSjeremylt } 223777ff853SJeremy L Thompson 224777ff853SJeremy L Thompson // Restore context data 2252b730f8bSJeremy L Thompson CeedCallBackend(CeedQFunctionRestoreInnerContextData(qf, &qf_data->d_c)); 226e15f9bd0SJeremy L Thompson return CEED_ERROR_SUCCESS; 227241a4b83SYohann } 228241a4b83SYohann 229ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 230ab213215SJeremy L Thompson // Create operator 231ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 232241a4b83SYohann int CeedOperatorCreate_Cuda_gen(CeedOperator op) { 233241a4b83SYohann Ceed ceed; 234241a4b83SYohann CeedOperator_Cuda_gen *impl; 235241a4b83SYohann 236*ca735530SJeremy L Thompson CeedCallBackend(CeedOperatorGetCeed(op, &ceed)); 2372b730f8bSJeremy L Thompson CeedCallBackend(CeedCalloc(1, &impl)); 2382b730f8bSJeremy L Thompson CeedCallBackend(CeedOperatorSetData(op, impl)); 2392b730f8bSJeremy L Thompson CeedCallBackend(CeedSetBackendFunction(ceed, "Operator", op, "ApplyAdd", CeedOperatorApplyAdd_Cuda_gen)); 2402b730f8bSJeremy L Thompson CeedCallBackend(CeedSetBackendFunction(ceed, "Operator", op, "Destroy", CeedOperatorDestroy_Cuda_gen)); 241e15f9bd0SJeremy L Thompson return CEED_ERROR_SUCCESS; 242241a4b83SYohann } 2436aa95790SJeremy L Thompson 244ab213215SJeremy L Thompson //------------------------------------------------------------------------------ 245