xref: /libCEED/examples/petsc/area.c (revision 7ed3e4cde27d28430628eaa24b22da48dc51cc32)
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, &degree, 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