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 // 32*88aa84d4Svaleriabarra // ./area -problem cube -degree 3 -dm_refine 2 3332d2ee49SValeria Barra // 34*88aa84d4Svaleriabarra // ./area -problem sphere -degree 3 -dm_refine 2 35cb32e2e7SValeria Barra // 36cb32e2e7SValeria Barra // In parallel: 37cb32e2e7SValeria Barra // 38*88aa84d4Svaleriabarra // mpiexec -n 4 ./area -problem cube -degree 3 -dm_refine 2 3932d2ee49SValeria Barra // 40*88aa84d4Svaleriabarra // mpiexec -n 4 ./area -problem sphere -degree 3 -dm_refine 2 4132d2ee49SValeria Barra // 4232d2ee49SValeria Barra // The above example runs use 2 levels of refinement for the mesh. 4332d2ee49SValeria Barra // Use -dm_refine k, for k levels of uniform refinement. 44cb32e2e7SValeria Barra // 45cb32e2e7SValeria Barra //TESTARGS -ceed {ceed_resource} -test -petscspace_degree 3 46cb32e2e7SValeria Barra 47cb32e2e7SValeria Barra /// @file 4832d2ee49SValeria Barra /// libCEED example using the mass operator to compute a cube or a cubed-sphere surface area using PETSc with DMPlex 49ccf0fe6fSjeremylt static const char help[] = 5032d2ee49SValeria Barra "Compute surface area of a cube or a cubed-sphere using DMPlex in PETSc\n"; 51cb32e2e7SValeria Barra 52cb32e2e7SValeria Barra #include <string.h> 53cb32e2e7SValeria Barra #include <petscdmplex.h> 54cb32e2e7SValeria Barra #include <ceed.h> 55*88aa84d4Svaleriabarra #include "setuparea.h" 5632d2ee49SValeria Barra 5732d2ee49SValeria Barra #ifndef M_PI 5832d2ee49SValeria Barra # define M_PI 3.14159265358979323846 5932d2ee49SValeria Barra #endif 60cb32e2e7SValeria Barra 61cb32e2e7SValeria Barra int main(int argc, char **argv) { 62cb32e2e7SValeria Barra PetscInt ierr; 63cb32e2e7SValeria Barra MPI_Comm comm; 64cb0b5415Sjeremylt char filename[PETSC_MAX_PATH_LEN], 65cb0b5415Sjeremylt ceedresource[PETSC_MAX_PATH_LEN] = "/cpu/self"; 66cb32e2e7SValeria Barra PetscInt lsize, gsize, xlsize, 67cb32e2e7SValeria Barra qextra = 1, // default number of extra quadrature points 68cb32e2e7SValeria Barra ncompx = 3, // number of components of 3D physical coordinates 69cb32e2e7SValeria Barra ncompu = 1, // dimension of field to which apply mass operator 70cb32e2e7SValeria Barra topodim = 2, // topological dimension of manifold 71cb32e2e7SValeria Barra degree = 3; // default degree for finite element bases 72cb32e2e7SValeria Barra PetscBool read_mesh = PETSC_FALSE, 73*88aa84d4Svaleriabarra test_mode = PETSC_FALSE, 74*88aa84d4Svaleriabarra simplex = PETSC_FALSE; 75*88aa84d4Svaleriabarra Vec U, Uloc, V, Vloc; 76*88aa84d4Svaleriabarra DM dm; 77*88aa84d4Svaleriabarra User user; 78cb32e2e7SValeria Barra Ceed ceed; 79*88aa84d4Svaleriabarra CeedData ceeddata; 80*88aa84d4Svaleriabarra problemType problemChoice; 81cb32e2e7SValeria Barra 82cb32e2e7SValeria Barra ierr = PetscInitialize(&argc, &argv, NULL, help); 83cb32e2e7SValeria Barra if (ierr) return ierr; 84cb32e2e7SValeria Barra comm = PETSC_COMM_WORLD; 85cb32e2e7SValeria Barra 8632d2ee49SValeria Barra // Read command line options 87ccf0fe6fSjeremylt ierr = PetscOptionsBegin(comm, NULL, "CEED surface area problem with PETSc", 88ccf0fe6fSjeremylt NULL); 89cb32e2e7SValeria Barra CHKERRQ(ierr); 90*88aa84d4Svaleriabarra problemChoice = SPHERE; 91*88aa84d4Svaleriabarra ierr = PetscOptionsEnum("-problem", 92*88aa84d4Svaleriabarra "Problem to solve", NULL, 93*88aa84d4Svaleriabarra problemTypes, (PetscEnum)problemChoice, 94*88aa84d4Svaleriabarra (PetscEnum *)&problemChoice, 95*88aa84d4Svaleriabarra NULL); CHKERRQ(ierr); 96cb32e2e7SValeria Barra ierr = PetscOptionsInt("-qextra", "Number of extra quadrature points", 97cb32e2e7SValeria Barra NULL, qextra, &qextra, NULL); CHKERRQ(ierr); 98cb32e2e7SValeria Barra ierr = PetscOptionsString("-ceed", "CEED resource specifier", 99cb32e2e7SValeria Barra NULL, ceedresource, ceedresource, 100cb32e2e7SValeria Barra sizeof(ceedresource), NULL); CHKERRQ(ierr); 101cb32e2e7SValeria Barra ierr = PetscOptionsBool("-test", 102cb32e2e7SValeria Barra "Testing mode (do not print unless error is large)", 103cb32e2e7SValeria Barra NULL, test_mode, &test_mode, NULL); CHKERRQ(ierr); 104cb32e2e7SValeria Barra ierr = PetscOptionsString("-mesh", "Read mesh from file", NULL, 105cb32e2e7SValeria Barra filename, filename, sizeof(filename), &read_mesh); 106cb32e2e7SValeria Barra CHKERRQ(ierr); 107*88aa84d4Svaleriabarra ierr = PetscOptionsBool("-simplex", "Use simplices, or tensor product cells", 108*88aa84d4Svaleriabarra NULL, simplex, &simplex, NULL); CHKERRQ(ierr); 109*88aa84d4Svaleriabarra ierr = PetscOptionsInt("-degree", "Polynomial degree of tensor product basis", 110*88aa84d4Svaleriabarra NULL, degree, °ree, NULL); CHKERRQ(ierr); 111cb32e2e7SValeria Barra ierr = PetscOptionsEnd(); CHKERRQ(ierr); 112cb32e2e7SValeria Barra 113cb32e2e7SValeria Barra // Setup DM 114cb32e2e7SValeria Barra if (read_mesh) { 115cb32e2e7SValeria Barra ierr = DMPlexCreateFromFile(PETSC_COMM_WORLD, filename, PETSC_TRUE, &dm); 116cb32e2e7SValeria Barra CHKERRQ(ierr); 117cb32e2e7SValeria Barra } else { 118*88aa84d4Svaleriabarra // Create the mesh as a 0-refined sphere. This will create a cubic surface, not a box 119cb32e2e7SValeria Barra ierr = DMPlexCreateSphereMesh(PETSC_COMM_WORLD, topodim, simplex, &dm); 120cb32e2e7SValeria Barra CHKERRQ(ierr); 121cb32e2e7SValeria Barra // Set the object name 122*88aa84d4Svaleriabarra ierr = PetscObjectSetName((PetscObject)dm, problemTypes[problemChoice]); 123*88aa84d4Svaleriabarra CHKERRQ(ierr); 124cb32e2e7SValeria Barra // Distribute mesh over processes 125cb32e2e7SValeria Barra { 126cb32e2e7SValeria Barra DM dmDist = NULL; 127cb32e2e7SValeria Barra PetscPartitioner part; 128cb32e2e7SValeria Barra 129cb32e2e7SValeria Barra ierr = DMPlexGetPartitioner(dm, &part); CHKERRQ(ierr); 130cb32e2e7SValeria Barra ierr = PetscPartitionerSetFromOptions(part); CHKERRQ(ierr); 131cb32e2e7SValeria Barra ierr = DMPlexDistribute(dm, 0, NULL, &dmDist); CHKERRQ(ierr); 132cb32e2e7SValeria Barra if (dmDist) { 133cb32e2e7SValeria Barra ierr = DMDestroy(&dm); CHKERRQ(ierr); 134cb32e2e7SValeria Barra dm = dmDist; 135cb32e2e7SValeria Barra } 136cb32e2e7SValeria Barra } 13732d2ee49SValeria Barra // Refine DMPlex with uniform refinement using runtime option -dm_refine 13832d2ee49SValeria Barra ierr = DMPlexSetRefinementUniform(dm, PETSC_TRUE); CHKERRQ(ierr); 13932d2ee49SValeria Barra ierr = DMSetFromOptions(dm); CHKERRQ(ierr); 140*88aa84d4Svaleriabarra if (problemChoice == SPHERE) { 14132d2ee49SValeria Barra ierr = ProjectToUnitSphere(dm); CHKERRQ(ierr); 142*88aa84d4Svaleriabarra } 143cb32e2e7SValeria Barra // View DMPlex via runtime option 144cb32e2e7SValeria Barra ierr = DMViewFromOptions(dm, NULL, "-dm_view"); CHKERRQ(ierr); 145cb32e2e7SValeria Barra } 146cb32e2e7SValeria Barra 147*88aa84d4Svaleriabarra // Create DM 148*88aa84d4Svaleriabarra ierr = SetupDMByDegree(dm, degree, ncompu, topodim); CHKERRQ(ierr); 149cb32e2e7SValeria Barra 150cb32e2e7SValeria Barra // Create vectors 151*88aa84d4Svaleriabarra ierr = DMCreateGlobalVector(dm, &U); CHKERRQ(ierr); 152*88aa84d4Svaleriabarra ierr = VecGetLocalSize(U, &lsize); CHKERRQ(ierr); 153*88aa84d4Svaleriabarra ierr = VecGetSize(U, &gsize); CHKERRQ(ierr); 154*88aa84d4Svaleriabarra ierr = DMCreateLocalVector(dm, &Uloc); CHKERRQ(ierr); 155*88aa84d4Svaleriabarra ierr = VecGetSize(Uloc, &xlsize); CHKERRQ(ierr); 156*88aa84d4Svaleriabarra ierr = VecDuplicate(U, &V); CHKERRQ(ierr); 157*88aa84d4Svaleriabarra ierr = VecDuplicate(Uloc, &Vloc); CHKERRQ(ierr); 158*88aa84d4Svaleriabarra 159*88aa84d4Svaleriabarra // Setup user structure 160*88aa84d4Svaleriabarra ierr = PetscMalloc1(1, &user); CHKERRQ(ierr); 161cb32e2e7SValeria Barra 162cb32e2e7SValeria Barra // Set up libCEED 163cb32e2e7SValeria Barra CeedInit(ceedresource, &ceed); 164cb32e2e7SValeria Barra 165cb32e2e7SValeria Barra // Print summary 166*88aa84d4Svaleriabarra if (!test_mode) { 167*88aa84d4Svaleriabarra PetscInt P = degree + 1, Q = P + qextra; 168cb32e2e7SValeria Barra const char *usedresource; 169cb32e2e7SValeria Barra CeedGetResource(ceed, &usedresource); 170cb32e2e7SValeria Barra ierr = PetscPrintf(comm, 17132d2ee49SValeria Barra "\n-- libCEED + PETSc Surface Area of a Manifold --\n" 172cb32e2e7SValeria Barra " libCEED:\n" 173cb32e2e7SValeria Barra " libCEED Backend : %s\n" 174cb32e2e7SValeria Barra " Mesh:\n" 175cb32e2e7SValeria Barra " Number of 1D Basis Nodes (p) : %d\n" 176cb32e2e7SValeria Barra " Number of 1D Quadrature Points (q) : %d\n" 177db419314Sjeremylt " Global nodes : %D\n" 178*88aa84d4Svaleriabarra " DoF per node : %D\n" 179*88aa84d4Svaleriabarra " Global DoFs : %D\n", 180*88aa84d4Svaleriabarra usedresource, P, Q, gsize/ncompu, ncompu, gsize); 181cb32e2e7SValeria Barra CHKERRQ(ierr); 182cb32e2e7SValeria Barra } 183cb32e2e7SValeria Barra 184*88aa84d4Svaleriabarra // Setup libCEED's objects and apply setup operator 185*88aa84d4Svaleriabarra ierr = PetscMalloc1(1, &ceeddata); CHKERRQ(ierr); 186*88aa84d4Svaleriabarra ierr = SetupLibceedByDegree(dm, ceed, degree, topodim, qextra, 187*88aa84d4Svaleriabarra ncompx, ncompu, xlsize, problemChoice, 188*88aa84d4Svaleriabarra ceeddata); CHKERRQ(ierr); 189cb32e2e7SValeria Barra 190*88aa84d4Svaleriabarra // Setup output vector 191cb32e2e7SValeria Barra PetscScalar *v; 192cb32e2e7SValeria Barra ierr = VecZeroEntries(Vloc); CHKERRQ(ierr); 193cb32e2e7SValeria Barra ierr = VecGetArray(Vloc, &v); 194*88aa84d4Svaleriabarra CeedVectorSetArray(ceeddata->vceed, CEED_MEM_HOST, CEED_USE_POINTER, v); 195cb32e2e7SValeria Barra 196ed264d09SValeria Barra // Compute the mesh volume using the mass operator: area = 1^T \cdot M \cdot 1 197cb32e2e7SValeria Barra if (!test_mode) { 198cb32e2e7SValeria Barra ierr = PetscPrintf(comm, 19932d2ee49SValeria Barra "Computing the mesh area using the formula: area = 1^T M 1\n"); 200cb32e2e7SValeria Barra CHKERRQ(ierr); 201cb32e2e7SValeria Barra } 202cb32e2e7SValeria Barra 203ed264d09SValeria Barra // Initialize u with ones 204*88aa84d4Svaleriabarra CeedVectorSetValue(ceeddata->uceed, 1.0); 205cb32e2e7SValeria Barra 206cb32e2e7SValeria Barra // Apply the mass operator: 'u' -> 'v' 207*88aa84d4Svaleriabarra CeedOperatorApply(ceeddata->op_apply, ceeddata->uceed, ceeddata->vceed, 208*88aa84d4Svaleriabarra CEED_REQUEST_IMMEDIATE); 209*88aa84d4Svaleriabarra CeedVectorSyncArray(ceeddata->vceed, CEED_MEM_HOST); 210cb32e2e7SValeria Barra 211cb32e2e7SValeria Barra // Gather output vector 212cb32e2e7SValeria Barra ierr = VecRestoreArray(Vloc, &v); CHKERRQ(ierr); 213cb32e2e7SValeria Barra ierr = VecZeroEntries(V); CHKERRQ(ierr); 214cb32e2e7SValeria Barra ierr = DMLocalToGlobalBegin(dm, Vloc, ADD_VALUES, V); CHKERRQ(ierr); 215cb32e2e7SValeria Barra ierr = DMLocalToGlobalEnd(dm, Vloc, ADD_VALUES, V); CHKERRQ(ierr); 216cb32e2e7SValeria Barra 217cb32e2e7SValeria Barra // Compute and print the sum of the entries of 'v' giving the mesh surface area 218cb32e2e7SValeria Barra PetscScalar area; 219cb32e2e7SValeria Barra ierr = VecSum(V, &area); CHKERRQ(ierr); 220cb32e2e7SValeria Barra 221cb32e2e7SValeria Barra // Compute the exact surface area and print the result 22232d2ee49SValeria Barra CeedScalar exact_surfarea = 4 * M_PI; 223*88aa84d4Svaleriabarra if (problemChoice == CUBE) { 22432d2ee49SValeria Barra PetscScalar l = 1.0/PetscSqrtReal(3.0); // half edge of the cube 22532d2ee49SValeria Barra exact_surfarea = 6 * (2*l) * (2*l); 22632d2ee49SValeria Barra } 22732d2ee49SValeria Barra 228cb32e2e7SValeria Barra if (!test_mode) { 229cb32e2e7SValeria Barra ierr = PetscPrintf(comm, "Exact mesh surface area : % .14g\n", 230cb32e2e7SValeria Barra exact_surfarea); CHKERRQ(ierr); 231cb32e2e7SValeria Barra ierr = PetscPrintf(comm, "Computed mesh surface area : % .14g\n", area); 232cb32e2e7SValeria Barra CHKERRQ(ierr); 233cb32e2e7SValeria Barra ierr = PetscPrintf(comm, "Area error : % .14g\n", 234cb32e2e7SValeria Barra fabs(area - exact_surfarea)); CHKERRQ(ierr); 235cb32e2e7SValeria Barra } 236cb32e2e7SValeria Barra 237*88aa84d4Svaleriabarra // Cleanup 238cb32e2e7SValeria Barra ierr = DMDestroy(&dm); CHKERRQ(ierr); 239*88aa84d4Svaleriabarra ierr = VecDestroy(&U); CHKERRQ(ierr); 240*88aa84d4Svaleriabarra ierr = VecDestroy(&Uloc); CHKERRQ(ierr); 241cb32e2e7SValeria Barra ierr = VecDestroy(&V); CHKERRQ(ierr); 242cb32e2e7SValeria Barra ierr = VecDestroy(&Vloc); CHKERRQ(ierr); 243*88aa84d4Svaleriabarra ierr = CeedDataDestroy(ceeddata); CHKERRQ(ierr); 244cb32e2e7SValeria Barra CeedDestroy(&ceed); 245cb32e2e7SValeria Barra return PetscFinalize(); 246cb32e2e7SValeria Barra } 247