xref: /libCEED/examples/petsc/src/libceedsetup.c (revision de1229c50b0fa287ef0d97965becc5ec55ca5a76)
1 #include <stdio.h>
2 #include "../include/libceedsetup.h"
3 #include "../include/petscutils.h"
4 
5 // -----------------------------------------------------------------------------
6 // Destroy libCEED operator objects
7 // -----------------------------------------------------------------------------
8 PetscErrorCode CeedDataDestroy(CeedInt i, CeedData data) {
9   int ierr;
10 
11   PetscFunctionBeginUser;
12   CeedVectorDestroy(&data->q_data);
13   CeedVectorDestroy(&data->x_ceed);
14   CeedVectorDestroy(&data->y_ceed);
15   CeedBasisDestroy(&data->basis_x);
16   CeedBasisDestroy(&data->basis_u);
17   CeedElemRestrictionDestroy(&data->elem_restr_u);
18   CeedElemRestrictionDestroy(&data->elem_restr_x);
19   CeedElemRestrictionDestroy(&data->elem_restr_u_i);
20   CeedElemRestrictionDestroy(&data->elem_restr_qd_i);
21   CeedQFunctionDestroy(&data->qf_apply);
22   CeedOperatorDestroy(&data->op_apply);
23   if (i > 0) {
24     CeedOperatorDestroy(&data->op_prolong);
25     CeedBasisDestroy(&data->basis_c_to_f);
26     CeedOperatorDestroy(&data->op_restrict);
27   }
28   ierr = PetscFree(data); CHKERRQ(ierr);
29 
30   PetscFunctionReturn(0);
31 };
32 
33 // -----------------------------------------------------------------------------
34 // Set up libCEED for a given degree
35 // -----------------------------------------------------------------------------
36 PetscErrorCode SetupLibceedByDegree(DM dm, Ceed ceed, CeedInt degree,
37                                     CeedInt topo_dim, CeedInt q_extra,
38                                     PetscInt num_comp_x, PetscInt num_comp_u,
39                                     PetscInt g_size, PetscInt xl_size,
40                                     BPData bp_data, CeedData data,
41                                     PetscBool setup_rhs, CeedVector rhs_ceed,
42                                     CeedVector *target) {
43   int ierr;
44   DM dm_coord;
45   Vec coords;
46   const PetscScalar *coord_array;
47   CeedBasis basis_x, basis_u;
48   CeedElemRestriction elem_restr_x, elem_restr_u, elem_restr_u_i, elem_restr_qd_i;
49   CeedQFunction qf_setup_geo, qf_apply;
50   CeedOperator op_setup_geo, op_apply;
51   CeedVector x_coord, q_data, x_ceed, y_ceed;
52   CeedInt num_qpts, c_start, c_end, num_elem,
53           q_data_size = bp_data.q_data_size;
54   CeedScalar R = 1,                      // radius of the sphere
55              l = 1.0/PetscSqrtReal(3.0); // half edge of the inscribed cube
56 
57 <<<<<<< HEAD
58 <<<<<<< HEAD
59   PetscFunctionBeginUser;
60   // CEED bases
61   P = degree + 1;
62   Q = P + q_extra;
63   CeedBasisCreateTensorH1Lagrange(ceed, topo_dim, num_comp_u, P, Q,
64                                   bp_data.q_mode,
65                                   &basis_u);
66   CeedBasisCreateTensorH1Lagrange(ceed, topo_dim, num_comp_x, 2, Q,
67                                   bp_data.q_mode,
68                                   &basis_x);
69   CeedBasisGetNumQuadraturePoints(basis_u, &num_qpts);
70 
71   // CEED restrictions
72 =======
73 >>>>>>> 158419b6 (example/petsc: added CreateBasisFromPlex and tested with tensor basis)
74   ierr = DMSetCoordinateDim(dm, topo_dim); CHKERRQ(ierr);
75 =======
76   //ierr = DMSetCoordinateDim(dm, topo_dim); CHKERRQ(ierr);
77 >>>>>>> 0fa86f50 (example/petsc: Added CreateDistributedDM in petscutils.c and some cleanup)
78   ierr = DMGetCoordinateDM(dm, &dm_coord); CHKERRQ(ierr);
79 
80   // CEED bases
81   ierr = CreateBasisFromPlex(ceed, dm_coord, 0, 0, 0, 0, &basis_x); CHKERRQ(ierr);
82   ierr = CreateBasisFromPlex(ceed, dm, 0, 0, 0, 0, &basis_u); CHKERRQ(ierr);
83 
84   // CEED restrictions
85   ierr = DMPlexSetClosurePermutationTensor(dm_coord, PETSC_DETERMINE, NULL);
86   CHKERRQ(ierr);
87   ierr = CreateRestrictionFromPlex(ceed, dm_coord, 0, 0, 0, &elem_restr_x);
88   CHKERRQ(ierr);
89   ierr = CreateRestrictionFromPlex(ceed, dm, 0, 0, 0, &elem_restr_u);
90   CHKERRQ(ierr);
91 
92   ierr = DMPlexGetHeightStratum(dm, 0, &c_start, &c_end); CHKERRQ(ierr);
93   num_elem = c_end - c_start;
94   CeedBasisGetNumQuadraturePoints(basis_u, &num_qpts);
95 
96   CeedElemRestrictionCreateStrided(ceed, num_elem, num_qpts, num_comp_u,
97                                    num_comp_u*num_elem*num_qpts,
98                                    CEED_STRIDES_BACKEND, &elem_restr_u_i);
99   CeedElemRestrictionCreateStrided(ceed, num_elem, num_qpts, q_data_size,
100                                    q_data_size*num_elem*num_qpts,
101                                    CEED_STRIDES_BACKEND, &elem_restr_qd_i);
102 
103   // Element coordinates
104   ierr = DMGetCoordinatesLocal(dm, &coords); CHKERRQ(ierr);
105   ierr = VecGetArrayRead(coords, &coord_array); CHKERRQ(ierr);
106 
107   CeedElemRestrictionCreateVector(elem_restr_x, &x_coord, NULL);
108   CeedVectorSetArray(x_coord, CEED_MEM_HOST, CEED_COPY_VALUES,
109                      (PetscScalar *)coord_array);
110   ierr = VecRestoreArrayRead(coords, &coord_array);
111 
112   // Create the persistent vectors that will be needed in setup and apply
113   CeedVectorCreate(ceed, q_data_size*num_elem*num_qpts, &q_data);
114   CeedVectorCreate(ceed, xl_size, &x_ceed);
115   CeedVectorCreate(ceed, xl_size, &y_ceed);
116 
117   // Create the QFunction that builds the context data
118   CeedQFunctionCreateInterior(ceed, 1, bp_data.setup_geo, bp_data.setup_geo_loc,
119                               &qf_setup_geo);
120   CeedQFunctionAddInput(qf_setup_geo, "x", num_comp_x, CEED_EVAL_INTERP);
121   CeedQFunctionAddInput(qf_setup_geo, "dx", num_comp_x*topo_dim, CEED_EVAL_GRAD);
122   CeedQFunctionAddInput(qf_setup_geo, "weight", 1, CEED_EVAL_WEIGHT);
123   CeedQFunctionAddOutput(qf_setup_geo, "qdata", q_data_size, CEED_EVAL_NONE);
124 
125   // Create the operator that builds the quadrature data
126   CeedOperatorCreate(ceed, qf_setup_geo, NULL, NULL, &op_setup_geo);
127   CeedOperatorSetField(op_setup_geo, "x", elem_restr_x, basis_x,
128                        CEED_VECTOR_ACTIVE);
129   CeedOperatorSetField(op_setup_geo, "dx", elem_restr_x, basis_x,
130                        CEED_VECTOR_ACTIVE);
131   CeedOperatorSetField(op_setup_geo, "weight", CEED_ELEMRESTRICTION_NONE, basis_x,
132                        CEED_VECTOR_NONE);
133   CeedOperatorSetField(op_setup_geo, "qdata", elem_restr_qd_i,
134                        CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
135 
136   // Setup q_data
137   CeedOperatorApply(op_setup_geo, x_coord, q_data, CEED_REQUEST_IMMEDIATE);
138 
139   // Set up PDE operator
140   CeedInt in_scale = bp_data.in_mode == CEED_EVAL_GRAD ? topo_dim : 1;
141   CeedInt out_scale = bp_data.out_mode == CEED_EVAL_GRAD ? topo_dim : 1;
142   CeedQFunctionCreateInterior(ceed, 1, bp_data.apply, bp_data.apply_loc,
143                               &qf_apply);
144   CeedQFunctionAddInput(qf_apply, "u", num_comp_u*in_scale, bp_data.in_mode);
145   CeedQFunctionAddInput(qf_apply, "qdata", q_data_size, CEED_EVAL_NONE);
146   CeedQFunctionAddOutput(qf_apply, "v", num_comp_u*out_scale, bp_data.out_mode);
147 
148   // Create the mass or diff operator
149   CeedOperatorCreate(ceed, qf_apply, NULL, NULL, &op_apply);
150   CeedOperatorSetField(op_apply, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
151   CeedOperatorSetField(op_apply, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
152                        q_data);
153   CeedOperatorSetField(op_apply, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
154 
155   // Set up RHS if needed
156   if (setup_rhs) {
157     CeedQFunction qf_setup_rhs;
158     CeedOperator op_setup_rhs;
159     CeedVectorCreate(ceed, num_elem*num_qpts*num_comp_u, target);
160 
161     // Create the q-function that sets up the RHS and true solution
162     CeedQFunctionCreateInterior(ceed, 1, bp_data.setup_rhs, bp_data.setup_rhs_loc,
163                                 &qf_setup_rhs);
164     CeedQFunctionAddInput(qf_setup_rhs, "x", num_comp_x, CEED_EVAL_INTERP);
165     CeedQFunctionAddInput(qf_setup_rhs, "qdata", q_data_size, CEED_EVAL_NONE);
166     CeedQFunctionAddOutput(qf_setup_rhs, "true solution", num_comp_u,
167                            CEED_EVAL_NONE);
168     CeedQFunctionAddOutput(qf_setup_rhs, "rhs", num_comp_u, CEED_EVAL_INTERP);
169 
170     // Create the operator that builds the RHS and true solution
171     CeedOperatorCreate(ceed, qf_setup_rhs, NULL, NULL, &op_setup_rhs);
172     CeedOperatorSetField(op_setup_rhs, "x", elem_restr_x, basis_x,
173                          CEED_VECTOR_ACTIVE);
174     CeedOperatorSetField(op_setup_rhs, "qdata", elem_restr_qd_i,
175                          CEED_BASIS_COLLOCATED, q_data);
176     CeedOperatorSetField(op_setup_rhs, "true solution", elem_restr_u_i,
177                          CEED_BASIS_COLLOCATED, *target);
178     CeedOperatorSetField(op_setup_rhs, "rhs", elem_restr_u, basis_u,
179                          CEED_VECTOR_ACTIVE);
180 
181     // Set up the libCEED context
182     CeedQFunctionContext ctx_rhs_setup;
183     CeedQFunctionContextCreate(ceed, &ctx_rhs_setup);
184     CeedScalar rhs_setup_data[2] = {R, l};
185     CeedQFunctionContextSetData(ctx_rhs_setup, CEED_MEM_HOST, CEED_COPY_VALUES,
186                                 sizeof rhs_setup_data, &rhs_setup_data);
187     CeedQFunctionSetContext(qf_setup_rhs, ctx_rhs_setup);
188     CeedQFunctionContextDestroy(&ctx_rhs_setup);
189 
190     // Setup RHS and target
191     CeedOperatorApply(op_setup_rhs, x_coord, rhs_ceed, CEED_REQUEST_IMMEDIATE);
192 
193     // Cleanup
194     CeedQFunctionDestroy(&qf_setup_rhs);
195     CeedOperatorDestroy(&op_setup_rhs);
196   }
197 
198   // Cleanup
199   CeedQFunctionDestroy(&qf_setup_geo);
200   CeedOperatorDestroy(&op_setup_geo);
201   CeedVectorDestroy(&x_coord);
202 
203   // Save libCEED data required for level
204   data->basis_x = basis_x; data->basis_u = basis_u;
205   data->elem_restr_x = elem_restr_x;
206   data->elem_restr_u = elem_restr_u;
207   data->elem_restr_u_i = elem_restr_u_i;
208   data->elem_restr_qd_i = elem_restr_qd_i;
209   data->qf_apply = qf_apply;
210   data->op_apply = op_apply;
211   data->q_data = q_data;
212   data->x_ceed = x_ceed;
213   data->y_ceed = y_ceed;
214 
215   PetscFunctionReturn(0);
216 };
217 
218 // -----------------------------------------------------------------------------
219 // Setup libCEED level transfer operator objects
220 // -----------------------------------------------------------------------------
221 PetscErrorCode CeedLevelTransferSetup(Ceed ceed, CeedInt num_levels,
222                                       CeedInt num_comp_u, CeedData *data,
223                                       CeedInt *level_degrees,
224                                       CeedQFunction qf_restrict, CeedQFunction qf_prolong) {
225   PetscFunctionBeginUser;
226   // Return early if num_levels=1
227   if (num_levels == 1)
228     PetscFunctionReturn(0);
229 
230   // Set up each level
231   for (CeedInt i=1; i<num_levels; i++) {
232     // P coarse and P fine
233     CeedInt Pc = level_degrees[i-1] + 1;
234     CeedInt Pf = level_degrees[i] + 1;
235 
236     // Restriction - Fine to corse
237     CeedBasis basis_c_to_f;
238     CeedOperator op_restrict;
239 
240     // Basis
241     CeedBasisCreateTensorH1Lagrange(ceed, 3, num_comp_u, Pc, Pf,
242                                     CEED_GAUSS_LOBATTO, &basis_c_to_f);
243 
244     // Create the restriction operator
245     CeedOperatorCreate(ceed, qf_restrict, CEED_QFUNCTION_NONE,
246                        CEED_QFUNCTION_NONE, &op_restrict);
247     CeedOperatorSetField(op_restrict, "input", data[i]->elem_restr_u,
248                          CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
249     CeedOperatorSetField(op_restrict, "output", data[i-1]->elem_restr_u,
250                          basis_c_to_f, CEED_VECTOR_ACTIVE);
251 
252     // Save libCEED data required for level
253     data[i]->basis_c_to_f = basis_c_to_f;
254     data[i]->op_restrict = op_restrict;
255 
256     // Interpolation - Corse to fine
257     CeedOperator op_prolong;
258 
259     // Create the prolongation operator
260     CeedOperatorCreate(ceed, qf_prolong, CEED_QFUNCTION_NONE,
261                        CEED_QFUNCTION_NONE, &op_prolong);
262     CeedOperatorSetField(op_prolong, "input", data[i-1]->elem_restr_u,
263                          basis_c_to_f, CEED_VECTOR_ACTIVE);
264     CeedOperatorSetField(op_prolong, "output", data[i]->elem_restr_u,
265                          CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
266 
267     // Save libCEED data required for level
268     data[i]->op_prolong = op_prolong;
269   }
270 
271   PetscFunctionReturn(0);
272 };
273 
274 // -----------------------------------------------------------------------------
275