1cb32e2e7SValeria Barra // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at 2cb32e2e7SValeria Barra // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights 3cb32e2e7SValeria Barra // reserved. See files LICENSE and NOTICE for details. 4cb32e2e7SValeria Barra // 5cb32e2e7SValeria Barra // This file is part of CEED, a collection of benchmarks, miniapps, software 6cb32e2e7SValeria Barra // libraries and APIs for efficient high-order finite element and spectral 7cb32e2e7SValeria Barra // element discretizations for exascale applications. For more information and 8cb32e2e7SValeria Barra // source code availability see http://github.com/ceed. 9cb32e2e7SValeria Barra // 10cb32e2e7SValeria Barra // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC, 11cb32e2e7SValeria Barra // a collaborative effort of two U.S. Department of Energy organizations (Office 12cb32e2e7SValeria Barra // of Science and the National Nuclear Security Administration) responsible for 13cb32e2e7SValeria Barra // the planning and preparation of a capable exascale ecosystem, including 14cb32e2e7SValeria Barra // software, applications, hardware, advanced system engineering and early 15cb32e2e7SValeria Barra // testbed platforms, in support of the nation's exascale computing imperative. 16cb32e2e7SValeria Barra 17cb32e2e7SValeria Barra // libCEED + PETSc Example: Surface Area 18cb32e2e7SValeria Barra // 19cb32e2e7SValeria Barra // This example demonstrates a simple usage of libCEED with PETSc to calculate 2032d2ee49SValeria Barra // the surface area of a simple closed surface, such as the one of a cube or a 2132d2ee49SValeria Barra // tensor-product discrete sphere via the mass operator. 22cb32e2e7SValeria Barra // 23cb32e2e7SValeria Barra // The code uses higher level communication protocols in DMPlex. 24cb32e2e7SValeria Barra // 25cb32e2e7SValeria Barra // Build with: 26cb32e2e7SValeria Barra // 27cb32e2e7SValeria Barra // make area [PETSC_DIR=</path/to/petsc>] [CEED_DIR=</path/to/libceed>] 28cb32e2e7SValeria Barra // 29cb32e2e7SValeria Barra // Sample runs: 30cb32e2e7SValeria Barra // Sequential: 31cb32e2e7SValeria Barra // 3288aa84d4Svaleriabarra // ./area -problem cube -degree 3 -dm_refine 2 3388aa84d4Svaleriabarra // ./area -problem sphere -degree 3 -dm_refine 2 34cb32e2e7SValeria Barra // 35cb32e2e7SValeria Barra // In parallel: 36cb32e2e7SValeria Barra // 3788aa84d4Svaleriabarra // mpiexec -n 4 ./area -problem cube -degree 3 -dm_refine 2 3888aa84d4Svaleriabarra // mpiexec -n 4 ./area -problem sphere -degree 3 -dm_refine 2 3932d2ee49SValeria Barra // 4032d2ee49SValeria Barra // The above example runs use 2 levels of refinement for the mesh. 4132d2ee49SValeria Barra // Use -dm_refine k, for k levels of uniform refinement. 42cb32e2e7SValeria Barra // 43587be3cdSvaleriabarra //TESTARGS -ceed {ceed_resource} -test -degree 3 -dm_refine 1 44cb32e2e7SValeria Barra 45cb32e2e7SValeria Barra /// @file 4632d2ee49SValeria Barra /// libCEED example using the mass operator to compute a cube or a cubed-sphere surface area using PETSc with DMPlex 47ccf0fe6fSjeremylt static const char help[] = 4832d2ee49SValeria Barra "Compute surface area of a cube or a cubed-sphere using DMPlex in PETSc\n"; 49cb32e2e7SValeria Barra 50636cccdbSjeremylt #include <stdbool.h> 513d576824SJeremy L Thompson #include <string.h> 52636cccdbSjeremylt #include <ceed.h> 53636cccdbSjeremylt #include <petsc.h> 54636cccdbSjeremylt #include <petscdmplex.h> 55636cccdbSjeremylt 56e83e87a5Sjeremylt #include "area.h" 57636cccdbSjeremylt #include "include/areaproblemdata.h" 58636cccdbSjeremylt #include "include/petscmacros.h" 59636cccdbSjeremylt #include "include/petscutils.h" 60636cccdbSjeremylt #include "include/matops.h" 61636cccdbSjeremylt #include "include/structs.h" 62636cccdbSjeremylt #include "include/libceedsetup.h" 63636cccdbSjeremylt 64636cccdbSjeremylt #if PETSC_VERSION_LT(3,12,0) 65636cccdbSjeremylt #ifdef PETSC_HAVE_CUDA 66636cccdbSjeremylt #include <petsccuda.h> 67636cccdbSjeremylt // Note: With PETSc prior to version 3.12.0, providing the source path to 68636cccdbSjeremylt // include 'cublas_v2.h' will be needed to use 'petsccuda.h'. 69636cccdbSjeremylt #endif 70636cccdbSjeremylt #endif 7132d2ee49SValeria Barra 7232d2ee49SValeria Barra #ifndef M_PI 7332d2ee49SValeria Barra # define M_PI 3.14159265358979323846 7432d2ee49SValeria Barra #endif 75cb32e2e7SValeria Barra 76cb32e2e7SValeria Barra int main(int argc, char **argv) { 77cb32e2e7SValeria Barra PetscInt ierr; 78cb32e2e7SValeria Barra MPI_Comm comm; 79cb0b5415Sjeremylt char filename[PETSC_MAX_PATH_LEN], 809b072555Sjeremylt ceed_resource[PETSC_MAX_PATH_LEN] = "/cpu/self"; 819b072555Sjeremylt PetscInt l_size, g_size, xl_size, 829b072555Sjeremylt q_extra = 1, // default number of extra quadrature points 839b072555Sjeremylt num_comp_x = 3, // number of components of 3D physical coordinates 849b072555Sjeremylt num_comp_u = 1, // dimension of field to which apply mass operator 859b072555Sjeremylt topo_dim = 2, // topological dimension of manifold 86cb32e2e7SValeria Barra degree = 3; // default degree for finite element bases 87cb32e2e7SValeria Barra PetscBool read_mesh = PETSC_FALSE, 8888aa84d4Svaleriabarra test_mode = PETSC_FALSE, 8988aa84d4Svaleriabarra simplex = PETSC_FALSE; 909b072555Sjeremylt Vec U, U_loc, V, V_loc; 9188aa84d4Svaleriabarra DM dm; 92e83e87a5Sjeremylt UserO user; 93cb32e2e7SValeria Barra Ceed ceed; 949b072555Sjeremylt CeedData ceed_data; 959b072555Sjeremylt ProblemType problem_choice; 969b072555Sjeremylt VecType vec_type; 979b072555Sjeremylt PetscMemType mem_type; 98cb32e2e7SValeria Barra 99cb32e2e7SValeria Barra ierr = PetscInitialize(&argc, &argv, NULL, help); 100cb32e2e7SValeria Barra if (ierr) return ierr; 101cb32e2e7SValeria Barra comm = PETSC_COMM_WORLD; 102cb32e2e7SValeria Barra 10332d2ee49SValeria Barra // Read command line options 104ccf0fe6fSjeremylt ierr = PetscOptionsBegin(comm, NULL, "CEED surface area problem with PETSc", 105ccf0fe6fSjeremylt NULL); 106cb32e2e7SValeria Barra CHKERRQ(ierr); 1079b072555Sjeremylt problem_choice = SPHERE; 10888aa84d4Svaleriabarra ierr = PetscOptionsEnum("-problem", 10988aa84d4Svaleriabarra "Problem to solve", NULL, 1109b072555Sjeremylt problem_types, (PetscEnum)problem_choice, 1119b072555Sjeremylt (PetscEnum *)&problem_choice, 11288aa84d4Svaleriabarra NULL); CHKERRQ(ierr); 1139b072555Sjeremylt ierr = PetscOptionsInt("-q_extra", "Number of extra quadrature points", 1149b072555Sjeremylt NULL, q_extra, &q_extra, NULL); CHKERRQ(ierr); 115cb32e2e7SValeria Barra ierr = PetscOptionsString("-ceed", "CEED resource specifier", 1169b072555Sjeremylt NULL, ceed_resource, ceed_resource, 1179b072555Sjeremylt sizeof(ceed_resource), NULL); CHKERRQ(ierr); 118cb32e2e7SValeria Barra ierr = PetscOptionsBool("-test", 119cb32e2e7SValeria Barra "Testing mode (do not print unless error is large)", 120cb32e2e7SValeria Barra NULL, test_mode, &test_mode, NULL); CHKERRQ(ierr); 121cb32e2e7SValeria Barra ierr = PetscOptionsString("-mesh", "Read mesh from file", NULL, 122cb32e2e7SValeria Barra filename, filename, sizeof(filename), &read_mesh); 123cb32e2e7SValeria Barra CHKERRQ(ierr); 12488aa84d4Svaleriabarra ierr = PetscOptionsBool("-simplex", "Use simplices, or tensor product cells", 12588aa84d4Svaleriabarra NULL, simplex, &simplex, NULL); CHKERRQ(ierr); 12688aa84d4Svaleriabarra ierr = PetscOptionsInt("-degree", "Polynomial degree of tensor product basis", 12788aa84d4Svaleriabarra NULL, degree, °ree, NULL); CHKERRQ(ierr); 128cb32e2e7SValeria Barra ierr = PetscOptionsEnd(); CHKERRQ(ierr); 129cb32e2e7SValeria Barra 130cb32e2e7SValeria Barra // Setup DM 131cb32e2e7SValeria Barra if (read_mesh) { 132*7ed3e4cdSJeremy L Thompson ierr = DMPlexCreateFromFile(PETSC_COMM_WORLD, filename, NULL, PETSC_TRUE, 133*7ed3e4cdSJeremy L Thompson &dm); 134cb32e2e7SValeria Barra CHKERRQ(ierr); 135cb32e2e7SValeria Barra } else { 13688aa84d4Svaleriabarra // Create the mesh as a 0-refined sphere. This will create a cubic surface, not a box 1379b072555Sjeremylt ierr = DMPlexCreateSphereMesh(PETSC_COMM_WORLD, topo_dim, simplex, 1., &dm); 138cb32e2e7SValeria Barra CHKERRQ(ierr); 139cb32e2e7SValeria Barra // Set the object name 1409b072555Sjeremylt ierr = PetscObjectSetName((PetscObject)dm, problem_types[problem_choice]); 14188aa84d4Svaleriabarra CHKERRQ(ierr); 142cb32e2e7SValeria Barra // Distribute mesh over processes 143cb32e2e7SValeria Barra { 1449b072555Sjeremylt DM dm_dist = NULL; 145cb32e2e7SValeria Barra PetscPartitioner part; 146cb32e2e7SValeria Barra 147cb32e2e7SValeria Barra ierr = DMPlexGetPartitioner(dm, &part); CHKERRQ(ierr); 148cb32e2e7SValeria Barra ierr = PetscPartitionerSetFromOptions(part); CHKERRQ(ierr); 1499b072555Sjeremylt ierr = DMPlexDistribute(dm, 0, NULL, &dm_dist); CHKERRQ(ierr); 1509b072555Sjeremylt if (dm_dist) { 151cb32e2e7SValeria Barra ierr = DMDestroy(&dm); CHKERRQ(ierr); 1529b072555Sjeremylt dm = dm_dist; 153cb32e2e7SValeria Barra } 154cb32e2e7SValeria Barra } 15532d2ee49SValeria Barra // Refine DMPlex with uniform refinement using runtime option -dm_refine 15632d2ee49SValeria Barra ierr = DMPlexSetRefinementUniform(dm, PETSC_TRUE); CHKERRQ(ierr); 15732d2ee49SValeria Barra ierr = DMSetFromOptions(dm); CHKERRQ(ierr); 1589b072555Sjeremylt if (problem_choice == SPHERE) { 15932d2ee49SValeria Barra ierr = ProjectToUnitSphere(dm); CHKERRQ(ierr); 16088aa84d4Svaleriabarra } 161cb32e2e7SValeria Barra // View DMPlex via runtime option 162cb32e2e7SValeria Barra ierr = DMViewFromOptions(dm, NULL, "-dm_view"); CHKERRQ(ierr); 163cb32e2e7SValeria Barra } 164cb32e2e7SValeria Barra 16588aa84d4Svaleriabarra // Create DM 1669b072555Sjeremylt ierr = SetupDMByDegree(dm, degree, num_comp_u, topo_dim, false, 1679b072555Sjeremylt (BCFunction)NULL); 168e83e87a5Sjeremylt CHKERRQ(ierr); 169cb32e2e7SValeria Barra 170cb32e2e7SValeria Barra // Create vectors 17188aa84d4Svaleriabarra ierr = DMCreateGlobalVector(dm, &U); CHKERRQ(ierr); 1729b072555Sjeremylt ierr = VecGetLocalSize(U, &l_size); CHKERRQ(ierr); 1739b072555Sjeremylt ierr = VecGetSize(U, &g_size); CHKERRQ(ierr); 1749b072555Sjeremylt ierr = DMCreateLocalVector(dm, &U_loc); CHKERRQ(ierr); 1759b072555Sjeremylt ierr = VecGetSize(U_loc, &xl_size); CHKERRQ(ierr); 17688aa84d4Svaleriabarra ierr = VecDuplicate(U, &V); CHKERRQ(ierr); 1779b072555Sjeremylt ierr = VecDuplicate(U_loc, &V_loc); CHKERRQ(ierr); 17888aa84d4Svaleriabarra 17988aa84d4Svaleriabarra // Setup user structure 18088aa84d4Svaleriabarra ierr = PetscMalloc1(1, &user); CHKERRQ(ierr); 181cb32e2e7SValeria Barra 182cb32e2e7SValeria Barra // Set up libCEED 1839b072555Sjeremylt CeedInit(ceed_resource, &ceed); 1849b072555Sjeremylt CeedMemType mem_type_backend; 1859b072555Sjeremylt CeedGetPreferredMemType(ceed, &mem_type_backend); 186e83e87a5Sjeremylt 1879b072555Sjeremylt ierr = DMGetVecType(dm, &vec_type); CHKERRQ(ierr); 1889b072555Sjeremylt if (!vec_type) { // Not yet set by user -dm_vec_type 1899b072555Sjeremylt switch (mem_type_backend) { 1909b072555Sjeremylt case CEED_MEM_HOST: vec_type = VECSTANDARD; break; 191e83e87a5Sjeremylt case CEED_MEM_DEVICE: { 192e83e87a5Sjeremylt const char *resolved; 193e83e87a5Sjeremylt CeedGetResource(ceed, &resolved); 1949b072555Sjeremylt if (strstr(resolved, "/gpu/cuda")) vec_type = VECCUDA; 195e83e87a5Sjeremylt else if (strstr(resolved, "/gpu/hip/occa")) 1969b072555Sjeremylt vec_type = VECSTANDARD; // https://github.com/CEED/libCEED/issues/678 1979b072555Sjeremylt else if (strstr(resolved, "/gpu/hip")) vec_type = VECHIP; 1989b072555Sjeremylt else vec_type = VECSTANDARD; 199e83e87a5Sjeremylt } 200e83e87a5Sjeremylt } 2019b072555Sjeremylt ierr = DMSetVecType(dm, vec_type); CHKERRQ(ierr); 202e83e87a5Sjeremylt } 203cb32e2e7SValeria Barra 204cb32e2e7SValeria Barra // Print summary 20588aa84d4Svaleriabarra if (!test_mode) { 2069b072555Sjeremylt PetscInt P = degree + 1, Q = P + q_extra; 2079b072555Sjeremylt const char *used_resource; 2089b072555Sjeremylt CeedGetResource(ceed, &used_resource); 209cb32e2e7SValeria Barra ierr = PetscPrintf(comm, 21032d2ee49SValeria Barra "\n-- libCEED + PETSc Surface Area of a Manifold --\n" 211cb32e2e7SValeria Barra " libCEED:\n" 212cb32e2e7SValeria Barra " libCEED Backend : %s\n" 213e83e87a5Sjeremylt " libCEED Backend MemType : %s\n" 214cb32e2e7SValeria Barra " Mesh:\n" 215cb32e2e7SValeria Barra " Number of 1D Basis Nodes (p) : %d\n" 216cb32e2e7SValeria Barra " Number of 1D Quadrature Points (q) : %d\n" 217db419314Sjeremylt " Global nodes : %D\n" 21888aa84d4Svaleriabarra " DoF per node : %D\n" 21988aa84d4Svaleriabarra " Global DoFs : %D\n", 2209b072555Sjeremylt used_resource, CeedMemTypes[mem_type_backend], P, Q, 2219b072555Sjeremylt g_size/num_comp_u, num_comp_u, g_size); CHKERRQ(ierr); 222cb32e2e7SValeria Barra } 223cb32e2e7SValeria Barra 22488aa84d4Svaleriabarra // Setup libCEED's objects and apply setup operator 2259b072555Sjeremylt ierr = PetscMalloc1(1, &ceed_data); CHKERRQ(ierr); 2269b072555Sjeremylt ierr = SetupLibceedByDegree(dm, ceed, degree, topo_dim, q_extra, num_comp_x, 2279c774eddSJeremy L Thompson num_comp_u, g_size, xl_size, 2289c774eddSJeremy L Thompson problem_options[problem_choice], ceed_data, 229e83e87a5Sjeremylt false, (CeedVector)NULL, (CeedVector *)NULL); 230e83e87a5Sjeremylt CHKERRQ(ierr); 231cb32e2e7SValeria Barra 23288aa84d4Svaleriabarra // Setup output vector 233cb32e2e7SValeria Barra PetscScalar *v; 2349b072555Sjeremylt ierr = VecZeroEntries(V_loc); CHKERRQ(ierr); 2359b072555Sjeremylt ierr = VecGetArrayAndMemType(V_loc, &v, &mem_type); CHKERRQ(ierr); 2369b072555Sjeremylt CeedVectorSetArray(ceed_data->y_ceed, MemTypeP2C(mem_type), CEED_USE_POINTER, 2379b072555Sjeremylt v); 238cb32e2e7SValeria Barra 239ed264d09SValeria Barra // Compute the mesh volume using the mass operator: area = 1^T \cdot M \cdot 1 240cb32e2e7SValeria Barra if (!test_mode) { 241cb32e2e7SValeria Barra ierr = PetscPrintf(comm, 24232d2ee49SValeria Barra "Computing the mesh area using the formula: area = 1^T M 1\n"); 243cb32e2e7SValeria Barra CHKERRQ(ierr); 244cb32e2e7SValeria Barra } 245cb32e2e7SValeria Barra 246ed264d09SValeria Barra // Initialize u with ones 2479b072555Sjeremylt CeedVectorSetValue(ceed_data->x_ceed, 1.0); 248cb32e2e7SValeria Barra 249cb32e2e7SValeria Barra // Apply the mass operator: 'u' -> 'v' 2509b072555Sjeremylt CeedOperatorApply(ceed_data->op_apply, ceed_data->x_ceed, ceed_data->y_ceed, 25188aa84d4Svaleriabarra CEED_REQUEST_IMMEDIATE); 252cb32e2e7SValeria Barra 253cb32e2e7SValeria Barra // Gather output vector 2549b072555Sjeremylt CeedVectorTakeArray(ceed_data->y_ceed, CEED_MEM_HOST, NULL); 2559b072555Sjeremylt ierr = VecRestoreArrayAndMemType(V_loc, &v); CHKERRQ(ierr); 256cb32e2e7SValeria Barra ierr = VecZeroEntries(V); CHKERRQ(ierr); 2579b072555Sjeremylt ierr = DMLocalToGlobalBegin(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr); 2589b072555Sjeremylt ierr = DMLocalToGlobalEnd(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr); 259cb32e2e7SValeria Barra 260cb32e2e7SValeria Barra // Compute and print the sum of the entries of 'v' giving the mesh surface area 261cb32e2e7SValeria Barra PetscScalar area; 262cb32e2e7SValeria Barra ierr = VecSum(V, &area); CHKERRQ(ierr); 263cb32e2e7SValeria Barra 264cb32e2e7SValeria Barra // Compute the exact surface area and print the result 2659b072555Sjeremylt CeedScalar exact_surface_area = 4 * M_PI; 2669b072555Sjeremylt if (problem_choice == CUBE) { 26732d2ee49SValeria Barra PetscScalar l = 1.0/PetscSqrtReal(3.0); // half edge of the cube 2689b072555Sjeremylt exact_surface_area = 6 * (2*l) * (2*l); 26932d2ee49SValeria Barra } 27032d2ee49SValeria Barra 2719b072555Sjeremylt PetscReal error = fabs(area - exact_surface_area); 272587be3cdSvaleriabarra PetscReal tol = 5e-6; 273587be3cdSvaleriabarra if (!test_mode || error > tol) { 274cb32e2e7SValeria Barra ierr = PetscPrintf(comm, "Exact mesh surface area : % .14g\n", 2759b072555Sjeremylt exact_surface_area); 276e83e87a5Sjeremylt CHKERRQ(ierr); 277cb32e2e7SValeria Barra ierr = PetscPrintf(comm, "Computed mesh surface area : % .14g\n", area); 278cb32e2e7SValeria Barra CHKERRQ(ierr); 279e83e87a5Sjeremylt ierr = PetscPrintf(comm, "Area error : % .14g\n", error); 280e83e87a5Sjeremylt CHKERRQ(ierr); 281cb32e2e7SValeria Barra } 282cb32e2e7SValeria Barra 28388aa84d4Svaleriabarra // Cleanup 284cb32e2e7SValeria Barra ierr = DMDestroy(&dm); CHKERRQ(ierr); 28588aa84d4Svaleriabarra ierr = VecDestroy(&U); CHKERRQ(ierr); 2869b072555Sjeremylt ierr = VecDestroy(&U_loc); CHKERRQ(ierr); 287cb32e2e7SValeria Barra ierr = VecDestroy(&V); CHKERRQ(ierr); 2889b072555Sjeremylt ierr = VecDestroy(&V_loc); CHKERRQ(ierr); 289e83e87a5Sjeremylt ierr = PetscFree(user); CHKERRQ(ierr); 2909b072555Sjeremylt ierr = CeedDataDestroy(0, ceed_data); CHKERRQ(ierr); 291cb32e2e7SValeria Barra CeedDestroy(&ceed); 292cb32e2e7SValeria Barra return PetscFinalize(); 293cb32e2e7SValeria Barra } 294