xref: /libCEED/examples/petsc/area.c (revision 3fc8a154943bcd95936b4475143d7e8b037e7b11)
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/petscutils.h"
59b8962995SJeremy L Thompson #include "include/petscversion.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) {
1327ed3e4cdSJeremy L Thompson     ierr = DMPlexCreateFromFile(PETSC_COMM_WORLD, filename, NULL, PETSC_TRUE,
1337ed3e4cdSJeremy 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);
139*3fc8a154SJed Brown     if (problem_choice == CUBE) {
140*3fc8a154SJed Brown       ierr = DMPlexCreateCoordinateSpace(dm, 1, NULL); CHKERRQ(ierr);
141*3fc8a154SJed Brown     }
142cb32e2e7SValeria Barra     // Set the object name
1439b072555Sjeremylt     ierr = PetscObjectSetName((PetscObject)dm, problem_types[problem_choice]);
14488aa84d4Svaleriabarra     CHKERRQ(ierr);
14532d2ee49SValeria Barra     // Refine DMPlex with uniform refinement using runtime option -dm_refine
14632d2ee49SValeria Barra     ierr = DMPlexSetRefinementUniform(dm, PETSC_TRUE); CHKERRQ(ierr);
14732d2ee49SValeria Barra     ierr = DMSetFromOptions(dm); CHKERRQ(ierr);
148cb32e2e7SValeria Barra     // View DMPlex via runtime option
149cb32e2e7SValeria Barra     ierr = DMViewFromOptions(dm, NULL, "-dm_view"); CHKERRQ(ierr);
150cb32e2e7SValeria Barra   }
151cb32e2e7SValeria Barra 
15288aa84d4Svaleriabarra   // Create DM
1539b072555Sjeremylt   ierr = SetupDMByDegree(dm, degree, num_comp_u, topo_dim, false,
1549b072555Sjeremylt                          (BCFunction)NULL);
155e83e87a5Sjeremylt   CHKERRQ(ierr);
156cb32e2e7SValeria Barra 
157cb32e2e7SValeria Barra   // Create vectors
15888aa84d4Svaleriabarra   ierr = DMCreateGlobalVector(dm, &U); CHKERRQ(ierr);
1599b072555Sjeremylt   ierr = VecGetLocalSize(U, &l_size); CHKERRQ(ierr);
1609b072555Sjeremylt   ierr = VecGetSize(U, &g_size); CHKERRQ(ierr);
1619b072555Sjeremylt   ierr = DMCreateLocalVector(dm, &U_loc); CHKERRQ(ierr);
1629b072555Sjeremylt   ierr = VecGetSize(U_loc, &xl_size); CHKERRQ(ierr);
16388aa84d4Svaleriabarra   ierr = VecDuplicate(U, &V); CHKERRQ(ierr);
1649b072555Sjeremylt   ierr = VecDuplicate(U_loc, &V_loc); CHKERRQ(ierr);
16588aa84d4Svaleriabarra 
16688aa84d4Svaleriabarra   // Setup user structure
16788aa84d4Svaleriabarra   ierr = PetscMalloc1(1, &user); CHKERRQ(ierr);
168cb32e2e7SValeria Barra 
169cb32e2e7SValeria Barra   // Set up libCEED
1709b072555Sjeremylt   CeedInit(ceed_resource, &ceed);
1719b072555Sjeremylt   CeedMemType mem_type_backend;
1729b072555Sjeremylt   CeedGetPreferredMemType(ceed, &mem_type_backend);
173e83e87a5Sjeremylt 
1749b072555Sjeremylt   ierr = DMGetVecType(dm, &vec_type); CHKERRQ(ierr);
1759b072555Sjeremylt   if (!vec_type) { // Not yet set by user -dm_vec_type
1769b072555Sjeremylt     switch (mem_type_backend) {
1779b072555Sjeremylt     case CEED_MEM_HOST: vec_type = VECSTANDARD; break;
178e83e87a5Sjeremylt     case CEED_MEM_DEVICE: {
179e83e87a5Sjeremylt       const char *resolved;
180e83e87a5Sjeremylt       CeedGetResource(ceed, &resolved);
1819b072555Sjeremylt       if (strstr(resolved, "/gpu/cuda")) vec_type = VECCUDA;
182e83e87a5Sjeremylt       else if (strstr(resolved, "/gpu/hip/occa"))
1839b072555Sjeremylt         vec_type = VECSTANDARD; // https://github.com/CEED/libCEED/issues/678
1849b072555Sjeremylt       else if (strstr(resolved, "/gpu/hip")) vec_type = VECHIP;
1859b072555Sjeremylt       else vec_type = VECSTANDARD;
186e83e87a5Sjeremylt     }
187e83e87a5Sjeremylt     }
1889b072555Sjeremylt     ierr = DMSetVecType(dm, vec_type); CHKERRQ(ierr);
189e83e87a5Sjeremylt   }
190cb32e2e7SValeria Barra 
191cb32e2e7SValeria Barra   // Print summary
19288aa84d4Svaleriabarra   if (!test_mode) {
1939b072555Sjeremylt     PetscInt P = degree + 1, Q = P + q_extra;
1949b072555Sjeremylt     const char *used_resource;
1959b072555Sjeremylt     CeedGetResource(ceed, &used_resource);
196cb32e2e7SValeria Barra     ierr = PetscPrintf(comm,
19732d2ee49SValeria Barra                        "\n-- libCEED + PETSc Surface Area of a Manifold --\n"
198cb32e2e7SValeria Barra                        "  libCEED:\n"
199cb32e2e7SValeria Barra                        "    libCEED Backend                    : %s\n"
200e83e87a5Sjeremylt                        "    libCEED Backend MemType            : %s\n"
201cb32e2e7SValeria Barra                        "  Mesh:\n"
202cb32e2e7SValeria Barra                        "    Number of 1D Basis Nodes (p)       : %d\n"
203cb32e2e7SValeria Barra                        "    Number of 1D Quadrature Points (q) : %d\n"
204db419314Sjeremylt                        "    Global nodes                       : %D\n"
20588aa84d4Svaleriabarra                        "    DoF per node                       : %D\n"
20688aa84d4Svaleriabarra                        "    Global DoFs                        : %D\n",
2079b072555Sjeremylt                        used_resource, CeedMemTypes[mem_type_backend], P, Q,
2089b072555Sjeremylt                        g_size/num_comp_u, num_comp_u, g_size); CHKERRQ(ierr);
209cb32e2e7SValeria Barra   }
210cb32e2e7SValeria Barra 
21188aa84d4Svaleriabarra   // Setup libCEED's objects and apply setup operator
2129b072555Sjeremylt   ierr = PetscMalloc1(1, &ceed_data); CHKERRQ(ierr);
2139b072555Sjeremylt   ierr = SetupLibceedByDegree(dm, ceed, degree, topo_dim, q_extra, num_comp_x,
2149c774eddSJeremy L Thompson                               num_comp_u, g_size, xl_size,
2159c774eddSJeremy L Thompson                               problem_options[problem_choice], ceed_data,
216e83e87a5Sjeremylt                               false, (CeedVector)NULL, (CeedVector *)NULL);
217e83e87a5Sjeremylt   CHKERRQ(ierr);
218cb32e2e7SValeria Barra 
21988aa84d4Svaleriabarra   // Setup output vector
220cb32e2e7SValeria Barra   PetscScalar *v;
2219b072555Sjeremylt   ierr = VecZeroEntries(V_loc); CHKERRQ(ierr);
2229b072555Sjeremylt   ierr = VecGetArrayAndMemType(V_loc, &v, &mem_type); CHKERRQ(ierr);
2239b072555Sjeremylt   CeedVectorSetArray(ceed_data->y_ceed, MemTypeP2C(mem_type), CEED_USE_POINTER,
2249b072555Sjeremylt                      v);
225cb32e2e7SValeria Barra 
226ed264d09SValeria Barra   // Compute the mesh volume using the mass operator: area = 1^T \cdot M \cdot 1
227cb32e2e7SValeria Barra   if (!test_mode) {
228cb32e2e7SValeria Barra     ierr = PetscPrintf(comm,
22932d2ee49SValeria Barra                        "Computing the mesh area using the formula: area = 1^T M 1\n");
230cb32e2e7SValeria Barra     CHKERRQ(ierr);
231cb32e2e7SValeria Barra   }
232cb32e2e7SValeria Barra 
233ed264d09SValeria Barra   // Initialize u with ones
2349b072555Sjeremylt   CeedVectorSetValue(ceed_data->x_ceed, 1.0);
235cb32e2e7SValeria Barra 
236cb32e2e7SValeria Barra   // Apply the mass operator: 'u' -> 'v'
2379b072555Sjeremylt   CeedOperatorApply(ceed_data->op_apply, ceed_data->x_ceed, ceed_data->y_ceed,
23888aa84d4Svaleriabarra                     CEED_REQUEST_IMMEDIATE);
239cb32e2e7SValeria Barra 
240cb32e2e7SValeria Barra   // Gather output vector
2419b072555Sjeremylt   CeedVectorTakeArray(ceed_data->y_ceed, CEED_MEM_HOST, NULL);
2429b072555Sjeremylt   ierr = VecRestoreArrayAndMemType(V_loc, &v); CHKERRQ(ierr);
243cb32e2e7SValeria Barra   ierr = VecZeroEntries(V); CHKERRQ(ierr);
2449b072555Sjeremylt   ierr = DMLocalToGlobalBegin(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr);
2459b072555Sjeremylt   ierr = DMLocalToGlobalEnd(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr);
246cb32e2e7SValeria Barra 
247cb32e2e7SValeria Barra   // Compute and print the sum of the entries of 'v' giving the mesh surface area
248cb32e2e7SValeria Barra   PetscScalar area;
249cb32e2e7SValeria Barra   ierr = VecSum(V, &area); CHKERRQ(ierr);
250cb32e2e7SValeria Barra 
251cb32e2e7SValeria Barra   // Compute the exact surface area and print the result
2529b072555Sjeremylt   CeedScalar exact_surface_area = 4 * M_PI;
2539b072555Sjeremylt   if (problem_choice == CUBE) {
254*3fc8a154SJed Brown     exact_surface_area = 6 * 2 * 2; // surface of [-1, 1]^3
25532d2ee49SValeria Barra   }
25632d2ee49SValeria Barra 
2579b072555Sjeremylt   PetscReal error = fabs(area - exact_surface_area);
258587be3cdSvaleriabarra   PetscReal tol = 5e-6;
259587be3cdSvaleriabarra   if (!test_mode || error > tol) {
260cb32e2e7SValeria Barra     ierr = PetscPrintf(comm, "Exact mesh surface area    : % .14g\n",
2619b072555Sjeremylt                        exact_surface_area);
262e83e87a5Sjeremylt     CHKERRQ(ierr);
263cb32e2e7SValeria Barra     ierr = PetscPrintf(comm, "Computed mesh surface area : % .14g\n", area);
264cb32e2e7SValeria Barra     CHKERRQ(ierr);
265e83e87a5Sjeremylt     ierr = PetscPrintf(comm, "Area error                 : % .14g\n", error);
266e83e87a5Sjeremylt     CHKERRQ(ierr);
267cb32e2e7SValeria Barra   }
268cb32e2e7SValeria Barra 
26988aa84d4Svaleriabarra   // Cleanup
270cb32e2e7SValeria Barra   ierr = DMDestroy(&dm); CHKERRQ(ierr);
27188aa84d4Svaleriabarra   ierr = VecDestroy(&U); CHKERRQ(ierr);
2729b072555Sjeremylt   ierr = VecDestroy(&U_loc); CHKERRQ(ierr);
273cb32e2e7SValeria Barra   ierr = VecDestroy(&V); CHKERRQ(ierr);
2749b072555Sjeremylt   ierr = VecDestroy(&V_loc); CHKERRQ(ierr);
275e83e87a5Sjeremylt   ierr = PetscFree(user); CHKERRQ(ierr);
2769b072555Sjeremylt   ierr = CeedDataDestroy(0, ceed_data); CHKERRQ(ierr);
277cb32e2e7SValeria Barra   CeedDestroy(&ceed);
278cb32e2e7SValeria Barra   return PetscFinalize();
279cb32e2e7SValeria Barra }
280