xref: /libCEED/examples/petsc/area.c (revision 67490bc6de48fa3615ca135c74fbc2a7c9584dee)
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.
3cb32e2e7SValeria Barra //
43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5cb32e2e7SValeria Barra //
63d8e8822SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
7cb32e2e7SValeria Barra 
8cb32e2e7SValeria Barra //                        libCEED + PETSc Example: Surface Area
9cb32e2e7SValeria Barra //
10cb32e2e7SValeria Barra // This example demonstrates a simple usage of libCEED with PETSc to calculate
1132d2ee49SValeria Barra // the surface area of a simple closed surface, such as the one of a cube or a
1232d2ee49SValeria Barra // tensor-product discrete sphere via the mass operator.
13cb32e2e7SValeria Barra //
14cb32e2e7SValeria Barra // The code uses higher level communication protocols in DMPlex.
15cb32e2e7SValeria Barra //
16cb32e2e7SValeria Barra // Build with:
17cb32e2e7SValeria Barra //
18cb32e2e7SValeria Barra //     make area [PETSC_DIR=</path/to/petsc>] [CEED_DIR=</path/to/libceed>]
19cb32e2e7SValeria Barra //
20cb32e2e7SValeria Barra // Sample runs:
21cb32e2e7SValeria Barra //   Sequential:
22cb32e2e7SValeria Barra //
2388aa84d4Svaleriabarra //     ./area -problem cube -degree 3 -dm_refine 2
2488aa84d4Svaleriabarra //     ./area -problem sphere -degree 3 -dm_refine 2
25cb32e2e7SValeria Barra //
26cb32e2e7SValeria Barra //   In parallel:
27cb32e2e7SValeria Barra //
2888aa84d4Svaleriabarra //     mpiexec -n 4 ./area -problem cube -degree 3 -dm_refine 2
2988aa84d4Svaleriabarra //     mpiexec -n 4 ./area -problem sphere -degree 3 -dm_refine 2
3032d2ee49SValeria Barra //
3132d2ee49SValeria Barra //   The above example runs use 2 levels of refinement for the mesh.
3232d2ee49SValeria Barra //   Use -dm_refine k, for k levels of uniform refinement.
33cb32e2e7SValeria Barra //
34587be3cdSvaleriabarra //TESTARGS -ceed {ceed_resource} -test -degree 3 -dm_refine 1
35cb32e2e7SValeria Barra 
36cb32e2e7SValeria Barra /// @file
3732d2ee49SValeria Barra /// libCEED example using the mass operator to compute a cube or a cubed-sphere surface area using PETSc with DMPlex
38ccf0fe6fSjeremylt static const char help[] =
3932d2ee49SValeria Barra   "Compute surface area of a cube or a cubed-sphere using DMPlex in PETSc\n";
40cb32e2e7SValeria Barra 
41636cccdbSjeremylt #include <stdbool.h>
423d576824SJeremy L Thompson #include <string.h>
43636cccdbSjeremylt #include <ceed.h>
44636cccdbSjeremylt #include <petsc.h>
45636cccdbSjeremylt #include <petscdmplex.h>
46636cccdbSjeremylt 
47e83e87a5Sjeremylt #include "area.h"
48636cccdbSjeremylt #include "include/areaproblemdata.h"
49636cccdbSjeremylt #include "include/petscutils.h"
50b8962995SJeremy L Thompson #include "include/petscversion.h"
51636cccdbSjeremylt #include "include/matops.h"
52636cccdbSjeremylt #include "include/structs.h"
53636cccdbSjeremylt #include "include/libceedsetup.h"
54636cccdbSjeremylt 
55636cccdbSjeremylt #if PETSC_VERSION_LT(3,12,0)
56636cccdbSjeremylt #ifdef PETSC_HAVE_CUDA
57636cccdbSjeremylt #include <petsccuda.h>
58636cccdbSjeremylt // Note: With PETSc prior to version 3.12.0, providing the source path to
59636cccdbSjeremylt //       include 'cublas_v2.h' will be needed to use 'petsccuda.h'.
60636cccdbSjeremylt #endif
61636cccdbSjeremylt #endif
6232d2ee49SValeria Barra 
6332d2ee49SValeria Barra #ifndef M_PI
6432d2ee49SValeria Barra #  define M_PI 3.14159265358979323846
6532d2ee49SValeria Barra #endif
66cb32e2e7SValeria Barra 
67cb32e2e7SValeria Barra int main(int argc, char **argv) {
68cb32e2e7SValeria Barra   PetscInt ierr;
69cb32e2e7SValeria Barra   MPI_Comm comm;
70cb0b5415Sjeremylt   char filename[PETSC_MAX_PATH_LEN],
719b072555Sjeremylt        ceed_resource[PETSC_MAX_PATH_LEN] = "/cpu/self";
729b072555Sjeremylt   PetscInt l_size, g_size, xl_size,
739b072555Sjeremylt            q_extra     = 1, // default number of extra quadrature points
749b072555Sjeremylt            num_comp_x  = 3, // number of components of 3D physical coordinates
759b072555Sjeremylt            num_comp_u  = 1, // dimension of field to which apply mass operator
769b072555Sjeremylt            topo_dim    = 2, // topological dimension of manifold
77cb32e2e7SValeria Barra            degree      = 3; // default degree for finite element bases
78cb32e2e7SValeria Barra   PetscBool read_mesh = PETSC_FALSE,
7988aa84d4Svaleriabarra             test_mode = PETSC_FALSE,
8088aa84d4Svaleriabarra             simplex = PETSC_FALSE;
819b072555Sjeremylt   Vec U, U_loc, V, V_loc;
8288aa84d4Svaleriabarra   DM  dm;
83e83e87a5Sjeremylt   UserO user;
84cb32e2e7SValeria Barra   Ceed ceed;
859b072555Sjeremylt   CeedData ceed_data;
869b072555Sjeremylt   ProblemType problem_choice;
879b072555Sjeremylt   VecType vec_type;
889b072555Sjeremylt   PetscMemType mem_type;
89cb32e2e7SValeria Barra 
90cb32e2e7SValeria Barra   ierr = PetscInitialize(&argc, &argv, NULL, help);
91cb32e2e7SValeria Barra   if (ierr) return ierr;
92cb32e2e7SValeria Barra   comm = PETSC_COMM_WORLD;
93cb32e2e7SValeria Barra 
9432d2ee49SValeria Barra   // Read command line options
95*67490bc6SJeremy L Thompson   PetscOptionsBegin(comm, NULL, "CEED surface area problem with PETSc", NULL);
969b072555Sjeremylt   problem_choice = SPHERE;
9788aa84d4Svaleriabarra   ierr = PetscOptionsEnum("-problem",
9888aa84d4Svaleriabarra                           "Problem to solve", NULL,
999b072555Sjeremylt                           problem_types, (PetscEnum)problem_choice,
1009b072555Sjeremylt                           (PetscEnum *)&problem_choice,
10188aa84d4Svaleriabarra                           NULL); CHKERRQ(ierr);
1029b072555Sjeremylt   ierr = PetscOptionsInt("-q_extra", "Number of extra quadrature points",
1039b072555Sjeremylt                          NULL, q_extra, &q_extra, NULL); CHKERRQ(ierr);
104cb32e2e7SValeria Barra   ierr = PetscOptionsString("-ceed", "CEED resource specifier",
1059b072555Sjeremylt                             NULL, ceed_resource, ceed_resource,
1069b072555Sjeremylt                             sizeof(ceed_resource), NULL); CHKERRQ(ierr);
107cb32e2e7SValeria Barra   ierr = PetscOptionsBool("-test",
108cb32e2e7SValeria Barra                           "Testing mode (do not print unless error is large)",
109cb32e2e7SValeria Barra                           NULL, test_mode, &test_mode, NULL); CHKERRQ(ierr);
110cb32e2e7SValeria Barra   ierr = PetscOptionsString("-mesh", "Read mesh from file", NULL,
111cb32e2e7SValeria Barra                             filename, filename, sizeof(filename), &read_mesh);
112cb32e2e7SValeria Barra   CHKERRQ(ierr);
11388aa84d4Svaleriabarra   ierr = PetscOptionsBool("-simplex", "Use simplices, or tensor product cells",
11488aa84d4Svaleriabarra                           NULL, simplex, &simplex, NULL); CHKERRQ(ierr);
11588aa84d4Svaleriabarra   ierr = PetscOptionsInt("-degree", "Polynomial degree of tensor product basis",
11688aa84d4Svaleriabarra                          NULL, degree, &degree, NULL); CHKERRQ(ierr);
117*67490bc6SJeremy L Thompson   PetscOptionsEnd();
118cb32e2e7SValeria Barra 
119cb32e2e7SValeria Barra   // Setup DM
120cb32e2e7SValeria Barra   if (read_mesh) {
1217ed3e4cdSJeremy L Thompson     ierr = DMPlexCreateFromFile(PETSC_COMM_WORLD, filename, NULL, PETSC_TRUE,
1227ed3e4cdSJeremy L Thompson                                 &dm);
123cb32e2e7SValeria Barra     CHKERRQ(ierr);
124cb32e2e7SValeria Barra   } else {
12588aa84d4Svaleriabarra     // Create the mesh as a 0-refined sphere. This will create a cubic surface, not a box
1269b072555Sjeremylt     ierr = DMPlexCreateSphereMesh(PETSC_COMM_WORLD, topo_dim, simplex, 1., &dm);
127cb32e2e7SValeria Barra     CHKERRQ(ierr);
1283fc8a154SJed Brown     if (problem_choice == CUBE) {
1293fc8a154SJed Brown       ierr = DMPlexCreateCoordinateSpace(dm, 1, NULL); CHKERRQ(ierr);
1303fc8a154SJed Brown     }
131cb32e2e7SValeria Barra     // Set the object name
1329b072555Sjeremylt     ierr = PetscObjectSetName((PetscObject)dm, problem_types[problem_choice]);
13388aa84d4Svaleriabarra     CHKERRQ(ierr);
13432d2ee49SValeria Barra     // Refine DMPlex with uniform refinement using runtime option -dm_refine
13532d2ee49SValeria Barra     ierr = DMPlexSetRefinementUniform(dm, PETSC_TRUE); CHKERRQ(ierr);
13632d2ee49SValeria Barra     ierr = DMSetFromOptions(dm); CHKERRQ(ierr);
137cb32e2e7SValeria Barra     // View DMPlex via runtime option
138cb32e2e7SValeria Barra     ierr = DMViewFromOptions(dm, NULL, "-dm_view"); CHKERRQ(ierr);
139cb32e2e7SValeria Barra   }
140cb32e2e7SValeria Barra 
14188aa84d4Svaleriabarra   // Create DM
1429b072555Sjeremylt   ierr = SetupDMByDegree(dm, degree, num_comp_u, topo_dim, false,
1439b072555Sjeremylt                          (BCFunction)NULL);
144e83e87a5Sjeremylt   CHKERRQ(ierr);
145cb32e2e7SValeria Barra 
146cb32e2e7SValeria Barra   // Create vectors
14788aa84d4Svaleriabarra   ierr = DMCreateGlobalVector(dm, &U); CHKERRQ(ierr);
1489b072555Sjeremylt   ierr = VecGetLocalSize(U, &l_size); CHKERRQ(ierr);
1499b072555Sjeremylt   ierr = VecGetSize(U, &g_size); CHKERRQ(ierr);
1509b072555Sjeremylt   ierr = DMCreateLocalVector(dm, &U_loc); CHKERRQ(ierr);
1519b072555Sjeremylt   ierr = VecGetSize(U_loc, &xl_size); CHKERRQ(ierr);
15288aa84d4Svaleriabarra   ierr = VecDuplicate(U, &V); CHKERRQ(ierr);
1539b072555Sjeremylt   ierr = VecDuplicate(U_loc, &V_loc); CHKERRQ(ierr);
15488aa84d4Svaleriabarra 
15588aa84d4Svaleriabarra   // Setup user structure
15688aa84d4Svaleriabarra   ierr = PetscMalloc1(1, &user); CHKERRQ(ierr);
157cb32e2e7SValeria Barra 
158cb32e2e7SValeria Barra   // Set up libCEED
1599b072555Sjeremylt   CeedInit(ceed_resource, &ceed);
1609b072555Sjeremylt   CeedMemType mem_type_backend;
1619b072555Sjeremylt   CeedGetPreferredMemType(ceed, &mem_type_backend);
162e83e87a5Sjeremylt 
1639b072555Sjeremylt   ierr = DMGetVecType(dm, &vec_type); CHKERRQ(ierr);
1649b072555Sjeremylt   if (!vec_type) { // Not yet set by user -dm_vec_type
1659b072555Sjeremylt     switch (mem_type_backend) {
1669b072555Sjeremylt     case CEED_MEM_HOST: vec_type = VECSTANDARD; break;
167e83e87a5Sjeremylt     case CEED_MEM_DEVICE: {
168e83e87a5Sjeremylt       const char *resolved;
169e83e87a5Sjeremylt       CeedGetResource(ceed, &resolved);
1709b072555Sjeremylt       if (strstr(resolved, "/gpu/cuda")) vec_type = VECCUDA;
171e83e87a5Sjeremylt       else if (strstr(resolved, "/gpu/hip/occa"))
1729b072555Sjeremylt         vec_type = VECSTANDARD; // https://github.com/CEED/libCEED/issues/678
1739b072555Sjeremylt       else if (strstr(resolved, "/gpu/hip")) vec_type = VECHIP;
1749b072555Sjeremylt       else vec_type = VECSTANDARD;
175e83e87a5Sjeremylt     }
176e83e87a5Sjeremylt     }
1779b072555Sjeremylt     ierr = DMSetVecType(dm, vec_type); CHKERRQ(ierr);
178e83e87a5Sjeremylt   }
179cb32e2e7SValeria Barra 
180cb32e2e7SValeria Barra   // Print summary
18188aa84d4Svaleriabarra   if (!test_mode) {
1829b072555Sjeremylt     PetscInt P = degree + 1, Q = P + q_extra;
1839b072555Sjeremylt     const char *used_resource;
1849b072555Sjeremylt     CeedGetResource(ceed, &used_resource);
185cb32e2e7SValeria Barra     ierr = PetscPrintf(comm,
18632d2ee49SValeria Barra                        "\n-- libCEED + PETSc Surface Area of a Manifold --\n"
187cb32e2e7SValeria Barra                        "  libCEED:\n"
188cb32e2e7SValeria Barra                        "    libCEED Backend                    : %s\n"
189e83e87a5Sjeremylt                        "    libCEED Backend MemType            : %s\n"
190cb32e2e7SValeria Barra                        "  Mesh:\n"
191cb32e2e7SValeria Barra                        "    Number of 1D Basis Nodes (p)       : %d\n"
192cb32e2e7SValeria Barra                        "    Number of 1D Quadrature Points (q) : %d\n"
193db419314Sjeremylt                        "    Global nodes                       : %D\n"
19488aa84d4Svaleriabarra                        "    DoF per node                       : %D\n"
19588aa84d4Svaleriabarra                        "    Global DoFs                        : %D\n",
1969b072555Sjeremylt                        used_resource, CeedMemTypes[mem_type_backend], P, Q,
1979b072555Sjeremylt                        g_size/num_comp_u, num_comp_u, g_size); CHKERRQ(ierr);
198cb32e2e7SValeria Barra   }
199cb32e2e7SValeria Barra 
20088aa84d4Svaleriabarra   // Setup libCEED's objects and apply setup operator
2019b072555Sjeremylt   ierr = PetscMalloc1(1, &ceed_data); CHKERRQ(ierr);
2029b072555Sjeremylt   ierr = SetupLibceedByDegree(dm, ceed, degree, topo_dim, q_extra, num_comp_x,
2039c774eddSJeremy L Thompson                               num_comp_u, g_size, xl_size,
2049c774eddSJeremy L Thompson                               problem_options[problem_choice], ceed_data,
205e83e87a5Sjeremylt                               false, (CeedVector)NULL, (CeedVector *)NULL);
206e83e87a5Sjeremylt   CHKERRQ(ierr);
207cb32e2e7SValeria Barra 
20888aa84d4Svaleriabarra   // Setup output vector
209cb32e2e7SValeria Barra   PetscScalar *v;
2109b072555Sjeremylt   ierr = VecZeroEntries(V_loc); CHKERRQ(ierr);
2119b072555Sjeremylt   ierr = VecGetArrayAndMemType(V_loc, &v, &mem_type); CHKERRQ(ierr);
2129b072555Sjeremylt   CeedVectorSetArray(ceed_data->y_ceed, MemTypeP2C(mem_type), CEED_USE_POINTER,
2139b072555Sjeremylt                      v);
214cb32e2e7SValeria Barra 
215ed264d09SValeria Barra   // Compute the mesh volume using the mass operator: area = 1^T \cdot M \cdot 1
216cb32e2e7SValeria Barra   if (!test_mode) {
217cb32e2e7SValeria Barra     ierr = PetscPrintf(comm,
21832d2ee49SValeria Barra                        "Computing the mesh area using the formula: area = 1^T M 1\n");
219cb32e2e7SValeria Barra     CHKERRQ(ierr);
220cb32e2e7SValeria Barra   }
221cb32e2e7SValeria Barra 
222ed264d09SValeria Barra   // Initialize u with ones
2239b072555Sjeremylt   CeedVectorSetValue(ceed_data->x_ceed, 1.0);
224cb32e2e7SValeria Barra 
225cb32e2e7SValeria Barra   // Apply the mass operator: 'u' -> 'v'
2269b072555Sjeremylt   CeedOperatorApply(ceed_data->op_apply, ceed_data->x_ceed, ceed_data->y_ceed,
22788aa84d4Svaleriabarra                     CEED_REQUEST_IMMEDIATE);
228cb32e2e7SValeria Barra 
229cb32e2e7SValeria Barra   // Gather output vector
2309b072555Sjeremylt   CeedVectorTakeArray(ceed_data->y_ceed, CEED_MEM_HOST, NULL);
2319b072555Sjeremylt   ierr = VecRestoreArrayAndMemType(V_loc, &v); CHKERRQ(ierr);
232cb32e2e7SValeria Barra   ierr = VecZeroEntries(V); CHKERRQ(ierr);
2339b072555Sjeremylt   ierr = DMLocalToGlobalBegin(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr);
2349b072555Sjeremylt   ierr = DMLocalToGlobalEnd(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr);
235cb32e2e7SValeria Barra 
236cb32e2e7SValeria Barra   // Compute and print the sum of the entries of 'v' giving the mesh surface area
237cb32e2e7SValeria Barra   PetscScalar area;
238cb32e2e7SValeria Barra   ierr = VecSum(V, &area); CHKERRQ(ierr);
239cb32e2e7SValeria Barra 
240cb32e2e7SValeria Barra   // Compute the exact surface area and print the result
2419b072555Sjeremylt   CeedScalar exact_surface_area = 4 * M_PI;
2429b072555Sjeremylt   if (problem_choice == CUBE) {
2433fc8a154SJed Brown     exact_surface_area = 6 * 2 * 2; // surface of [-1, 1]^3
24432d2ee49SValeria Barra   }
24532d2ee49SValeria Barra 
2469b072555Sjeremylt   PetscReal error = fabs(area - exact_surface_area);
247587be3cdSvaleriabarra   PetscReal tol = 5e-6;
248587be3cdSvaleriabarra   if (!test_mode || error > tol) {
249cb32e2e7SValeria Barra     ierr = PetscPrintf(comm, "Exact mesh surface area    : % .14g\n",
2509b072555Sjeremylt                        exact_surface_area);
251e83e87a5Sjeremylt     CHKERRQ(ierr);
252cb32e2e7SValeria Barra     ierr = PetscPrintf(comm, "Computed mesh surface area : % .14g\n", area);
253cb32e2e7SValeria Barra     CHKERRQ(ierr);
254e83e87a5Sjeremylt     ierr = PetscPrintf(comm, "Area error                 : % .14g\n", error);
255e83e87a5Sjeremylt     CHKERRQ(ierr);
256cb32e2e7SValeria Barra   }
257cb32e2e7SValeria Barra 
25888aa84d4Svaleriabarra   // Cleanup
259cb32e2e7SValeria Barra   ierr = DMDestroy(&dm); CHKERRQ(ierr);
26088aa84d4Svaleriabarra   ierr = VecDestroy(&U); CHKERRQ(ierr);
2619b072555Sjeremylt   ierr = VecDestroy(&U_loc); CHKERRQ(ierr);
262cb32e2e7SValeria Barra   ierr = VecDestroy(&V); CHKERRQ(ierr);
2639b072555Sjeremylt   ierr = VecDestroy(&V_loc); CHKERRQ(ierr);
264e83e87a5Sjeremylt   ierr = PetscFree(user); CHKERRQ(ierr);
2659b072555Sjeremylt   ierr = CeedDataDestroy(0, ceed_data); CHKERRQ(ierr);
266cb32e2e7SValeria Barra   CeedDestroy(&ceed);
267cb32e2e7SValeria Barra   return PetscFinalize();
268cb32e2e7SValeria Barra }
269