xref: /libCEED/examples/petsc/area.c (revision 3d8e882215d238700cdceb37404f76ca7fa24eaa)
1*3d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2*3d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3cb32e2e7SValeria Barra //
4*3d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5cb32e2e7SValeria Barra //
6*3d8e8822SJeremy 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
95ccf0fe6fSjeremylt   ierr = PetscOptionsBegin(comm, NULL, "CEED surface area problem with PETSc",
96ccf0fe6fSjeremylt                            NULL);
97cb32e2e7SValeria Barra   CHKERRQ(ierr);
989b072555Sjeremylt   problem_choice = SPHERE;
9988aa84d4Svaleriabarra   ierr = PetscOptionsEnum("-problem",
10088aa84d4Svaleriabarra                           "Problem to solve", NULL,
1019b072555Sjeremylt                           problem_types, (PetscEnum)problem_choice,
1029b072555Sjeremylt                           (PetscEnum *)&problem_choice,
10388aa84d4Svaleriabarra                           NULL); CHKERRQ(ierr);
1049b072555Sjeremylt   ierr = PetscOptionsInt("-q_extra", "Number of extra quadrature points",
1059b072555Sjeremylt                          NULL, q_extra, &q_extra, NULL); CHKERRQ(ierr);
106cb32e2e7SValeria Barra   ierr = PetscOptionsString("-ceed", "CEED resource specifier",
1079b072555Sjeremylt                             NULL, ceed_resource, ceed_resource,
1089b072555Sjeremylt                             sizeof(ceed_resource), NULL); CHKERRQ(ierr);
109cb32e2e7SValeria Barra   ierr = PetscOptionsBool("-test",
110cb32e2e7SValeria Barra                           "Testing mode (do not print unless error is large)",
111cb32e2e7SValeria Barra                           NULL, test_mode, &test_mode, NULL); CHKERRQ(ierr);
112cb32e2e7SValeria Barra   ierr = PetscOptionsString("-mesh", "Read mesh from file", NULL,
113cb32e2e7SValeria Barra                             filename, filename, sizeof(filename), &read_mesh);
114cb32e2e7SValeria Barra   CHKERRQ(ierr);
11588aa84d4Svaleriabarra   ierr = PetscOptionsBool("-simplex", "Use simplices, or tensor product cells",
11688aa84d4Svaleriabarra                           NULL, simplex, &simplex, NULL); CHKERRQ(ierr);
11788aa84d4Svaleriabarra   ierr = PetscOptionsInt("-degree", "Polynomial degree of tensor product basis",
11888aa84d4Svaleriabarra                          NULL, degree, &degree, NULL); CHKERRQ(ierr);
119cb32e2e7SValeria Barra   ierr = PetscOptionsEnd(); CHKERRQ(ierr);
120cb32e2e7SValeria Barra 
121cb32e2e7SValeria Barra   // Setup DM
122cb32e2e7SValeria Barra   if (read_mesh) {
1237ed3e4cdSJeremy L Thompson     ierr = DMPlexCreateFromFile(PETSC_COMM_WORLD, filename, NULL, PETSC_TRUE,
1247ed3e4cdSJeremy L Thompson                                 &dm);
125cb32e2e7SValeria Barra     CHKERRQ(ierr);
126cb32e2e7SValeria Barra   } else {
12788aa84d4Svaleriabarra     // Create the mesh as a 0-refined sphere. This will create a cubic surface, not a box
1289b072555Sjeremylt     ierr = DMPlexCreateSphereMesh(PETSC_COMM_WORLD, topo_dim, simplex, 1., &dm);
129cb32e2e7SValeria Barra     CHKERRQ(ierr);
1303fc8a154SJed Brown     if (problem_choice == CUBE) {
1313fc8a154SJed Brown       ierr = DMPlexCreateCoordinateSpace(dm, 1, NULL); CHKERRQ(ierr);
1323fc8a154SJed Brown     }
133cb32e2e7SValeria Barra     // Set the object name
1349b072555Sjeremylt     ierr = PetscObjectSetName((PetscObject)dm, problem_types[problem_choice]);
13588aa84d4Svaleriabarra     CHKERRQ(ierr);
13632d2ee49SValeria Barra     // Refine DMPlex with uniform refinement using runtime option -dm_refine
13732d2ee49SValeria Barra     ierr = DMPlexSetRefinementUniform(dm, PETSC_TRUE); CHKERRQ(ierr);
13832d2ee49SValeria Barra     ierr = DMSetFromOptions(dm); CHKERRQ(ierr);
139cb32e2e7SValeria Barra     // View DMPlex via runtime option
140cb32e2e7SValeria Barra     ierr = DMViewFromOptions(dm, NULL, "-dm_view"); CHKERRQ(ierr);
141cb32e2e7SValeria Barra   }
142cb32e2e7SValeria Barra 
14388aa84d4Svaleriabarra   // Create DM
1449b072555Sjeremylt   ierr = SetupDMByDegree(dm, degree, num_comp_u, topo_dim, false,
1459b072555Sjeremylt                          (BCFunction)NULL);
146e83e87a5Sjeremylt   CHKERRQ(ierr);
147cb32e2e7SValeria Barra 
148cb32e2e7SValeria Barra   // Create vectors
14988aa84d4Svaleriabarra   ierr = DMCreateGlobalVector(dm, &U); CHKERRQ(ierr);
1509b072555Sjeremylt   ierr = VecGetLocalSize(U, &l_size); CHKERRQ(ierr);
1519b072555Sjeremylt   ierr = VecGetSize(U, &g_size); CHKERRQ(ierr);
1529b072555Sjeremylt   ierr = DMCreateLocalVector(dm, &U_loc); CHKERRQ(ierr);
1539b072555Sjeremylt   ierr = VecGetSize(U_loc, &xl_size); CHKERRQ(ierr);
15488aa84d4Svaleriabarra   ierr = VecDuplicate(U, &V); CHKERRQ(ierr);
1559b072555Sjeremylt   ierr = VecDuplicate(U_loc, &V_loc); CHKERRQ(ierr);
15688aa84d4Svaleriabarra 
15788aa84d4Svaleriabarra   // Setup user structure
15888aa84d4Svaleriabarra   ierr = PetscMalloc1(1, &user); CHKERRQ(ierr);
159cb32e2e7SValeria Barra 
160cb32e2e7SValeria Barra   // Set up libCEED
1619b072555Sjeremylt   CeedInit(ceed_resource, &ceed);
1629b072555Sjeremylt   CeedMemType mem_type_backend;
1639b072555Sjeremylt   CeedGetPreferredMemType(ceed, &mem_type_backend);
164e83e87a5Sjeremylt 
1659b072555Sjeremylt   ierr = DMGetVecType(dm, &vec_type); CHKERRQ(ierr);
1669b072555Sjeremylt   if (!vec_type) { // Not yet set by user -dm_vec_type
1679b072555Sjeremylt     switch (mem_type_backend) {
1689b072555Sjeremylt     case CEED_MEM_HOST: vec_type = VECSTANDARD; break;
169e83e87a5Sjeremylt     case CEED_MEM_DEVICE: {
170e83e87a5Sjeremylt       const char *resolved;
171e83e87a5Sjeremylt       CeedGetResource(ceed, &resolved);
1729b072555Sjeremylt       if (strstr(resolved, "/gpu/cuda")) vec_type = VECCUDA;
173e83e87a5Sjeremylt       else if (strstr(resolved, "/gpu/hip/occa"))
1749b072555Sjeremylt         vec_type = VECSTANDARD; // https://github.com/CEED/libCEED/issues/678
1759b072555Sjeremylt       else if (strstr(resolved, "/gpu/hip")) vec_type = VECHIP;
1769b072555Sjeremylt       else vec_type = VECSTANDARD;
177e83e87a5Sjeremylt     }
178e83e87a5Sjeremylt     }
1799b072555Sjeremylt     ierr = DMSetVecType(dm, vec_type); CHKERRQ(ierr);
180e83e87a5Sjeremylt   }
181cb32e2e7SValeria Barra 
182cb32e2e7SValeria Barra   // Print summary
18388aa84d4Svaleriabarra   if (!test_mode) {
1849b072555Sjeremylt     PetscInt P = degree + 1, Q = P + q_extra;
1859b072555Sjeremylt     const char *used_resource;
1869b072555Sjeremylt     CeedGetResource(ceed, &used_resource);
187cb32e2e7SValeria Barra     ierr = PetscPrintf(comm,
18832d2ee49SValeria Barra                        "\n-- libCEED + PETSc Surface Area of a Manifold --\n"
189cb32e2e7SValeria Barra                        "  libCEED:\n"
190cb32e2e7SValeria Barra                        "    libCEED Backend                    : %s\n"
191e83e87a5Sjeremylt                        "    libCEED Backend MemType            : %s\n"
192cb32e2e7SValeria Barra                        "  Mesh:\n"
193cb32e2e7SValeria Barra                        "    Number of 1D Basis Nodes (p)       : %d\n"
194cb32e2e7SValeria Barra                        "    Number of 1D Quadrature Points (q) : %d\n"
195db419314Sjeremylt                        "    Global nodes                       : %D\n"
19688aa84d4Svaleriabarra                        "    DoF per node                       : %D\n"
19788aa84d4Svaleriabarra                        "    Global DoFs                        : %D\n",
1989b072555Sjeremylt                        used_resource, CeedMemTypes[mem_type_backend], P, Q,
1999b072555Sjeremylt                        g_size/num_comp_u, num_comp_u, g_size); CHKERRQ(ierr);
200cb32e2e7SValeria Barra   }
201cb32e2e7SValeria Barra 
20288aa84d4Svaleriabarra   // Setup libCEED's objects and apply setup operator
2039b072555Sjeremylt   ierr = PetscMalloc1(1, &ceed_data); CHKERRQ(ierr);
2049b072555Sjeremylt   ierr = SetupLibceedByDegree(dm, ceed, degree, topo_dim, q_extra, num_comp_x,
2059c774eddSJeremy L Thompson                               num_comp_u, g_size, xl_size,
2069c774eddSJeremy L Thompson                               problem_options[problem_choice], ceed_data,
207e83e87a5Sjeremylt                               false, (CeedVector)NULL, (CeedVector *)NULL);
208e83e87a5Sjeremylt   CHKERRQ(ierr);
209cb32e2e7SValeria Barra 
21088aa84d4Svaleriabarra   // Setup output vector
211cb32e2e7SValeria Barra   PetscScalar *v;
2129b072555Sjeremylt   ierr = VecZeroEntries(V_loc); CHKERRQ(ierr);
2139b072555Sjeremylt   ierr = VecGetArrayAndMemType(V_loc, &v, &mem_type); CHKERRQ(ierr);
2149b072555Sjeremylt   CeedVectorSetArray(ceed_data->y_ceed, MemTypeP2C(mem_type), CEED_USE_POINTER,
2159b072555Sjeremylt                      v);
216cb32e2e7SValeria Barra 
217ed264d09SValeria Barra   // Compute the mesh volume using the mass operator: area = 1^T \cdot M \cdot 1
218cb32e2e7SValeria Barra   if (!test_mode) {
219cb32e2e7SValeria Barra     ierr = PetscPrintf(comm,
22032d2ee49SValeria Barra                        "Computing the mesh area using the formula: area = 1^T M 1\n");
221cb32e2e7SValeria Barra     CHKERRQ(ierr);
222cb32e2e7SValeria Barra   }
223cb32e2e7SValeria Barra 
224ed264d09SValeria Barra   // Initialize u with ones
2259b072555Sjeremylt   CeedVectorSetValue(ceed_data->x_ceed, 1.0);
226cb32e2e7SValeria Barra 
227cb32e2e7SValeria Barra   // Apply the mass operator: 'u' -> 'v'
2289b072555Sjeremylt   CeedOperatorApply(ceed_data->op_apply, ceed_data->x_ceed, ceed_data->y_ceed,
22988aa84d4Svaleriabarra                     CEED_REQUEST_IMMEDIATE);
230cb32e2e7SValeria Barra 
231cb32e2e7SValeria Barra   // Gather output vector
2329b072555Sjeremylt   CeedVectorTakeArray(ceed_data->y_ceed, CEED_MEM_HOST, NULL);
2339b072555Sjeremylt   ierr = VecRestoreArrayAndMemType(V_loc, &v); CHKERRQ(ierr);
234cb32e2e7SValeria Barra   ierr = VecZeroEntries(V); CHKERRQ(ierr);
2359b072555Sjeremylt   ierr = DMLocalToGlobalBegin(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr);
2369b072555Sjeremylt   ierr = DMLocalToGlobalEnd(dm, V_loc, ADD_VALUES, V); CHKERRQ(ierr);
237cb32e2e7SValeria Barra 
238cb32e2e7SValeria Barra   // Compute and print the sum of the entries of 'v' giving the mesh surface area
239cb32e2e7SValeria Barra   PetscScalar area;
240cb32e2e7SValeria Barra   ierr = VecSum(V, &area); CHKERRQ(ierr);
241cb32e2e7SValeria Barra 
242cb32e2e7SValeria Barra   // Compute the exact surface area and print the result
2439b072555Sjeremylt   CeedScalar exact_surface_area = 4 * M_PI;
2449b072555Sjeremylt   if (problem_choice == CUBE) {
2453fc8a154SJed Brown     exact_surface_area = 6 * 2 * 2; // surface of [-1, 1]^3
24632d2ee49SValeria Barra   }
24732d2ee49SValeria Barra 
2489b072555Sjeremylt   PetscReal error = fabs(area - exact_surface_area);
249587be3cdSvaleriabarra   PetscReal tol = 5e-6;
250587be3cdSvaleriabarra   if (!test_mode || error > tol) {
251cb32e2e7SValeria Barra     ierr = PetscPrintf(comm, "Exact mesh surface area    : % .14g\n",
2529b072555Sjeremylt                        exact_surface_area);
253e83e87a5Sjeremylt     CHKERRQ(ierr);
254cb32e2e7SValeria Barra     ierr = PetscPrintf(comm, "Computed mesh surface area : % .14g\n", area);
255cb32e2e7SValeria Barra     CHKERRQ(ierr);
256e83e87a5Sjeremylt     ierr = PetscPrintf(comm, "Area error                 : % .14g\n", error);
257e83e87a5Sjeremylt     CHKERRQ(ierr);
258cb32e2e7SValeria Barra   }
259cb32e2e7SValeria Barra 
26088aa84d4Svaleriabarra   // Cleanup
261cb32e2e7SValeria Barra   ierr = DMDestroy(&dm); CHKERRQ(ierr);
26288aa84d4Svaleriabarra   ierr = VecDestroy(&U); CHKERRQ(ierr);
2639b072555Sjeremylt   ierr = VecDestroy(&U_loc); CHKERRQ(ierr);
264cb32e2e7SValeria Barra   ierr = VecDestroy(&V); CHKERRQ(ierr);
2659b072555Sjeremylt   ierr = VecDestroy(&V_loc); CHKERRQ(ierr);
266e83e87a5Sjeremylt   ierr = PetscFree(user); CHKERRQ(ierr);
2679b072555Sjeremylt   ierr = CeedDataDestroy(0, ceed_data); CHKERRQ(ierr);
268cb32e2e7SValeria Barra   CeedDestroy(&ceed);
269cb32e2e7SValeria Barra   return PetscFinalize();
270cb32e2e7SValeria Barra }
271