xref: /honee/src/petsc_ops.c (revision b4c37c5c26bd208d7f474cbd9aa0850e82e1a854)
1f7325489SJames Wright // Copyright (c) 2017-2023, Lawrence Livermore National Security, LLC and other CEED contributors.
2f7325489SJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3f7325489SJames Wright //
4f7325489SJames Wright // SPDX-License-Identifier: BSD-2-Clause
5f7325489SJames Wright //
6f7325489SJames Wright // This file is part of CEED:  http://github.com/ceed
7f7325489SJames Wright 
8f7325489SJames Wright #include "../include/petsc_ops.h"
9f7325489SJames Wright 
10f7325489SJames Wright #include <ceed.h>
11f7325489SJames Wright #include <petscdm.h>
12f7325489SJames Wright 
13f7325489SJames Wright #include "../navierstokes.h"
14f7325489SJames Wright 
1529afcdd1SJames Wright // @brief Get information about a DM's local vector
1629afcdd1SJames Wright PetscErrorCode DMGetLocalVectorInfo(DM dm, PetscInt *local_size, PetscInt *global_size, VecType *vec_type) {
1729afcdd1SJames Wright   Vec V_loc;
1829afcdd1SJames Wright 
1929afcdd1SJames Wright   PetscFunctionBeginUser;
2029afcdd1SJames Wright   PetscCall(DMGetLocalVector(dm, &V_loc));
2129afcdd1SJames Wright   if (local_size) PetscCall(VecGetLocalSize(V_loc, local_size));
2229afcdd1SJames Wright   if (global_size) PetscCall(VecGetSize(V_loc, global_size));
2329afcdd1SJames Wright   if (vec_type) PetscCall(VecGetType(V_loc, vec_type));
2429afcdd1SJames Wright   PetscCall(DMRestoreLocalVector(dm, &V_loc));
25d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
2629afcdd1SJames Wright }
2729afcdd1SJames Wright 
2829afcdd1SJames Wright // @brief Get information about a DM's global vector
2929afcdd1SJames Wright PetscErrorCode DMGetGlobalVectorInfo(DM dm, PetscInt *local_size, PetscInt *global_size, VecType *vec_type) {
3029afcdd1SJames Wright   Vec V;
3129afcdd1SJames Wright 
3229afcdd1SJames Wright   PetscFunctionBeginUser;
3329afcdd1SJames Wright   PetscCall(DMGetGlobalVector(dm, &V));
3429afcdd1SJames Wright   if (local_size) PetscCall(VecGetLocalSize(V, local_size));
3529afcdd1SJames Wright   if (global_size) PetscCall(VecGetSize(V, global_size));
3629afcdd1SJames Wright   if (vec_type) PetscCall(VecGetType(V, vec_type));
3729afcdd1SJames Wright   PetscCall(DMRestoreGlobalVector(dm, &V));
38d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
3929afcdd1SJames Wright }
4029afcdd1SJames Wright 
41fbcfc4fcSJames Wright /**
42fbcfc4fcSJames Wright  * @brief Create OperatorApplyContext struct for applying FEM operator in a PETSc context
43fbcfc4fcSJames Wright  *
44fbcfc4fcSJames Wright  * All passed in objects are reference copied and may be destroyed if desired (with the exception of `CEED_VECTOR_NONE`).
45fbcfc4fcSJames Wright  * Resulting context should be destroyed with `OperatorApplyContextDestroy()`.
46fbcfc4fcSJames Wright  *
47fbcfc4fcSJames Wright  * @param[in]  dm_x     `DM` associated with the operator active input. May be `NULL`
48fbcfc4fcSJames Wright  * @param[in]  dm_y     `DM` associated with the operator active output. May be `NULL`
49fbcfc4fcSJames Wright  * @param[in]  ceed     `Ceed` object
50fbcfc4fcSJames Wright  * @param[in]  op_apply `CeedOperator` representing the local action of the FEM operator
51fbcfc4fcSJames Wright  * @param[in]  x_ceed   `CeedVector` for operator active input. May be `CEED_VECTOR_NONE` or `NULL`. If `NULL`, `CeedVector` will be automatically
52fbcfc4fcSJames Wright  *                      generated.
53fbcfc4fcSJames Wright  * @param[in]  y_ceed   `CeedVector` for operator active output. May be `CEED_VECTOR_NONE` or `NULL`. If `NULL`, `CeedVector` will be automatically
54fbcfc4fcSJames Wright  *                      generated.
55fbcfc4fcSJames Wright  * @param[in]  X_loc    Local `Vec` for operator active input. If `NULL`, vector will be obtained if needed at ApplyCeedOperator time.
56fbcfc4fcSJames Wright  * @param[in]  Y_loc    Local `Vec` for operator active output. If `NULL`, vector will be obtained if needed at ApplyCeedOperator time.
57fbcfc4fcSJames Wright  * @param[out] ctx      Struct containing all data necessary for applying the operator
58fbcfc4fcSJames Wright  */
59f7325489SJames Wright PetscErrorCode OperatorApplyContextCreate(DM dm_x, DM dm_y, Ceed ceed, CeedOperator op_apply, CeedVector x_ceed, CeedVector y_ceed, Vec X_loc,
60fbcfc4fcSJames Wright                                           Vec Y_loc, OperatorApplyContext *ctx) {
61f7325489SJames Wright   CeedSize x_size, y_size;
62fbcfc4fcSJames Wright 
63fbcfc4fcSJames Wright   PetscFunctionBeginUser;
64*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorGetActiveVectorLengths(op_apply, &x_size, &y_size));
65fbcfc4fcSJames Wright   {  // Verify sizes
6682560a70SJames Wright     PetscInt X_size, Y_size, dm_X_size, dm_Y_size;
6782560a70SJames Wright     CeedSize x_ceed_size, y_ceed_size;
6882560a70SJames Wright     if (dm_x) PetscCall(DMGetLocalVectorInfo(dm_x, &dm_X_size, NULL, NULL));
6982560a70SJames Wright     if (dm_y) PetscCall(DMGetLocalVectorInfo(dm_y, &dm_Y_size, NULL, NULL));
70f7325489SJames Wright     if (X_loc) {
71f7325489SJames Wright       PetscCall(VecGetLocalSize(X_loc, &X_size));
72f7325489SJames Wright       PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
73f7325489SJames Wright                  "X_loc (%" PetscInt_FMT ") not correct size for CeedOperator active input size (%" CeedSize_FMT ")", X_size, x_size);
7482560a70SJames Wright       if (dm_x)
7582560a70SJames Wright         PetscCheck(X_size == dm_X_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
7682560a70SJames Wright                    "X_loc size (%" PetscInt_FMT ") does not match dm_x local vector size (%" PetscInt_FMT ")", X_size, dm_X_size);
77f7325489SJames Wright     }
78f7325489SJames Wright     if (Y_loc) {
79f7325489SJames Wright       PetscCall(VecGetLocalSize(Y_loc, &Y_size));
80f7325489SJames Wright       PetscCheck(Y_size == y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
81f7325489SJames Wright                  "Y_loc (%" PetscInt_FMT ") not correct size for CeedOperator active output size (%" CeedSize_FMT ")", Y_size, y_size);
8282560a70SJames Wright       if (dm_y)
8382560a70SJames Wright         PetscCheck(Y_size == dm_Y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
8482560a70SJames Wright                    "Y_loc size (%" PetscInt_FMT ") does not match dm_y local vector size (%" PetscInt_FMT ")", Y_size, dm_Y_size);
8582560a70SJames Wright     }
8682560a70SJames Wright     if (x_ceed && x_ceed != CEED_VECTOR_NONE) {
87*b4c37c5cSJames Wright       PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_ceed_size));
8882560a70SJames Wright       PetscCheck(x_size >= 0 ? x_ceed_size == x_size : true, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
8982560a70SJames Wright                  "x_ceed (%" CeedSize_FMT ") not correct size for CeedOperator active input size (%" CeedSize_FMT ")", x_ceed_size, x_size);
9082560a70SJames Wright       if (dm_x)
9182560a70SJames Wright         PetscCheck(x_ceed_size == dm_X_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
9282560a70SJames Wright                    "x_ceed size (%" CeedSize_FMT ") does not match dm_x local vector size (%" PetscInt_FMT ")", x_ceed_size, dm_X_size);
9382560a70SJames Wright     }
9482560a70SJames Wright     if (y_ceed && y_ceed != CEED_VECTOR_NONE) {
95*b4c37c5cSJames Wright       PetscCallCeed(ceed, CeedVectorGetLength(y_ceed, &y_ceed_size));
9682560a70SJames Wright       PetscCheck(y_ceed_size == y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
9782560a70SJames Wright                  "y_ceed (%" CeedSize_FMT ") not correct size for CeedOperator active input size (%" CeedSize_FMT ")", y_ceed_size, y_size);
9882560a70SJames Wright       if (dm_y)
9982560a70SJames Wright         PetscCheck(y_ceed_size == dm_Y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ,
10082560a70SJames Wright                    "y_ceed size (%" CeedSize_FMT ") does not match dm_y local vector size (%" PetscInt_FMT ")", y_ceed_size, dm_Y_size);
101f7325489SJames Wright     }
102f7325489SJames Wright   }
103f7325489SJames Wright 
104fbcfc4fcSJames Wright   PetscCall(PetscNew(ctx));
105f7325489SJames Wright 
106f7325489SJames Wright   // Copy PETSc Objects
107f7325489SJames Wright   if (dm_x) PetscCall(PetscObjectReference((PetscObject)dm_x));
108fbcfc4fcSJames Wright   (*ctx)->dm_x = dm_x;
109f7325489SJames Wright   if (dm_y) PetscCall(PetscObjectReference((PetscObject)dm_y));
110fbcfc4fcSJames Wright   (*ctx)->dm_y = dm_y;
111f7325489SJames Wright 
112f7325489SJames Wright   if (X_loc) PetscCall(PetscObjectReference((PetscObject)X_loc));
113fbcfc4fcSJames Wright   (*ctx)->X_loc = X_loc;
114f7325489SJames Wright   if (Y_loc) PetscCall(PetscObjectReference((PetscObject)Y_loc));
115fbcfc4fcSJames Wright   (*ctx)->Y_loc = Y_loc;
116f7325489SJames Wright 
117f7325489SJames Wright   // Copy libCEED objects
118*b4c37c5cSJames Wright   if (x_ceed) PetscCallCeed(ceed, CeedVectorReferenceCopy(x_ceed, &(*ctx)->x_ceed));
119*b4c37c5cSJames Wright   else PetscCallCeed(ceed, CeedVectorCreate(ceed, x_size, &(*ctx)->x_ceed));
120fbcfc4fcSJames Wright 
121*b4c37c5cSJames Wright   if (y_ceed) PetscCallCeed(ceed, CeedVectorReferenceCopy(y_ceed, &(*ctx)->y_ceed));
122*b4c37c5cSJames Wright   else PetscCallCeed(ceed, CeedVectorCreate(ceed, y_size, &(*ctx)->y_ceed));
123fbcfc4fcSJames Wright 
124*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorReferenceCopy(op_apply, &(*ctx)->op));
125*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedReferenceCopy(ceed, &(*ctx)->ceed));
126f7325489SJames Wright 
127d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
128f7325489SJames Wright }
129f7325489SJames Wright 
130fbcfc4fcSJames Wright /**
131fbcfc4fcSJames Wright  * @brief Destroy OperatorApplyContext struct
132fbcfc4fcSJames Wright  *
133fbcfc4fcSJames Wright  * @param[in,out] ctx Context to destroy
134fbcfc4fcSJames Wright  */
135fbcfc4fcSJames Wright PetscErrorCode OperatorApplyContextDestroy(OperatorApplyContext ctx) {
136f7325489SJames Wright   PetscFunctionBeginUser;
137d949ddfcSJames Wright   if (!ctx) PetscFunctionReturn(PETSC_SUCCESS);
138*b4c37c5cSJames Wright   Ceed ceed = ctx->ceed;
139f7325489SJames Wright 
140f7325489SJames Wright   // Destroy PETSc Objects
141fbcfc4fcSJames Wright   PetscCall(DMDestroy(&ctx->dm_x));
142fbcfc4fcSJames Wright   PetscCall(DMDestroy(&ctx->dm_y));
143fbcfc4fcSJames Wright   PetscCall(VecDestroy(&ctx->X_loc));
144fbcfc4fcSJames Wright   PetscCall(VecDestroy(&ctx->Y_loc));
145f7325489SJames Wright 
146f7325489SJames Wright   // Destroy libCEED Objects
147*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorDestroy(&ctx->x_ceed));
148*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorDestroy(&ctx->y_ceed));
149*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorDestroy(&ctx->op));
150*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedDestroy(&ctx->ceed));
151f7325489SJames Wright 
152fbcfc4fcSJames Wright   PetscCall(PetscFree(ctx));
153f7325489SJames Wright 
154d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
155f7325489SJames Wright }
156f7325489SJames Wright 
157f7325489SJames Wright /**
158f7325489SJames Wright   @brief Transfer array from PETSc Vec to CeedVector
159f7325489SJames Wright 
160f7325489SJames Wright   @param[in]   X_petsc   PETSc Vec
161f7325489SJames Wright   @param[out]  mem_type  PETSc MemType
162f7325489SJames Wright   @param[out]  x_ceed    CeedVector
163f7325489SJames Wright 
164f7325489SJames Wright   @return An error code: 0 - success, otherwise - failure
165f7325489SJames Wright **/
166f7325489SJames Wright PetscErrorCode VecP2C(Vec X_petsc, PetscMemType *mem_type, CeedVector x_ceed) {
167f7325489SJames Wright   PetscScalar *x;
168f7325489SJames Wright   PetscInt     X_size;
169f7325489SJames Wright   CeedSize     x_size;
170*b4c37c5cSJames Wright   Ceed         ceed;
171f7325489SJames Wright 
172f7325489SJames Wright   PetscFunctionBeginUser;
173*b4c37c5cSJames Wright   PetscCall(CeedVectorGetCeed(x_ceed, &ceed));
174f7325489SJames Wright   PetscCall(VecGetLocalSize(X_petsc, &X_size));
175*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_size));
176f7325489SJames Wright   PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, "X_petsc (%" PetscInt_FMT ") and x_ceed (%" CeedSize_FMT ") must be same size",
177f7325489SJames Wright              X_size, x_size);
178f7325489SJames Wright 
179f7325489SJames Wright   PetscCall(VecGetArrayAndMemType(X_petsc, &x, mem_type));
180*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorSetArray(x_ceed, MemTypeP2C(*mem_type), CEED_USE_POINTER, x));
181f7325489SJames Wright 
182d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
183f7325489SJames Wright }
184f7325489SJames Wright 
185f7325489SJames Wright /**
186f7325489SJames Wright   @brief Transfer array from CeedVector to PETSc Vec
187f7325489SJames Wright 
188f7325489SJames Wright   @param[in]   x_ceed    CeedVector
189f7325489SJames Wright   @param[in]   mem_type  PETSc MemType
190f7325489SJames Wright   @param[out]  X_petsc   PETSc Vec
191f7325489SJames Wright 
192f7325489SJames Wright   @return An error code: 0 - success, otherwise - failure
193f7325489SJames Wright **/
194f7325489SJames Wright PetscErrorCode VecC2P(CeedVector x_ceed, PetscMemType mem_type, Vec X_petsc) {
195f7325489SJames Wright   PetscScalar *x;
196f7325489SJames Wright   PetscInt     X_size;
197f7325489SJames Wright   CeedSize     x_size;
198*b4c37c5cSJames Wright   Ceed         ceed;
199f7325489SJames Wright 
200f7325489SJames Wright   PetscFunctionBeginUser;
201*b4c37c5cSJames Wright   PetscCall(CeedVectorGetCeed(x_ceed, &ceed));
202f7325489SJames Wright   PetscCall(VecGetLocalSize(X_petsc, &X_size));
203*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_size));
204f7325489SJames Wright   PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, "X_petsc (%" PetscInt_FMT ") and x_ceed (%" CeedSize_FMT ") must be same size",
205f7325489SJames Wright              X_size, x_size);
206f7325489SJames Wright 
207*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorTakeArray(x_ceed, MemTypeP2C(mem_type), &x));
208f7325489SJames Wright   PetscCall(VecRestoreArrayAndMemType(X_petsc, &x));
209f7325489SJames Wright 
210d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
211f7325489SJames Wright }
212f7325489SJames Wright 
213f7325489SJames Wright /**
214f7325489SJames Wright   @brief Transfer read-only array from PETSc Vec to CeedVector
215f7325489SJames Wright 
216f7325489SJames Wright   @param[in]   X_petsc   PETSc Vec
217f7325489SJames Wright   @param[out]  mem_type  PETSc MemType
218f7325489SJames Wright   @param[out]  x_ceed    CeedVector
219f7325489SJames Wright 
220f7325489SJames Wright   @return An error code: 0 - success, otherwise - failure
221f7325489SJames Wright **/
222f7325489SJames Wright PetscErrorCode VecReadP2C(Vec X_petsc, PetscMemType *mem_type, CeedVector x_ceed) {
223f7325489SJames Wright   PetscScalar *x;
224f7325489SJames Wright   PetscInt     X_size;
225f7325489SJames Wright   CeedSize     x_size;
226*b4c37c5cSJames Wright   Ceed         ceed;
227f7325489SJames Wright 
228f7325489SJames Wright   PetscFunctionBeginUser;
229*b4c37c5cSJames Wright   PetscCall(CeedVectorGetCeed(x_ceed, &ceed));
230f7325489SJames Wright   PetscCall(VecGetLocalSize(X_petsc, &X_size));
231*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_size));
232f7325489SJames Wright   PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, "X_petsc (%" PetscInt_FMT ") and x_ceed (%" CeedSize_FMT ") must be same size",
233f7325489SJames Wright              X_size, x_size);
234f7325489SJames Wright 
235f7325489SJames Wright   PetscCall(VecGetArrayReadAndMemType(X_petsc, (const PetscScalar **)&x, mem_type));
236*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorSetArray(x_ceed, MemTypeP2C(*mem_type), CEED_USE_POINTER, x));
237f7325489SJames Wright 
238d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
239f7325489SJames Wright }
240f7325489SJames Wright 
241f7325489SJames Wright /**
242f7325489SJames Wright   @brief Transfer read-only array from CeedVector to PETSc Vec
243f7325489SJames Wright 
244f7325489SJames Wright   @param[in]   x_ceed    CeedVector
245f7325489SJames Wright   @param[in]   mem_type  PETSc MemType
246f7325489SJames Wright   @param[out]  X_petsc   PETSc Vec
247f7325489SJames Wright 
248f7325489SJames Wright   @return An error code: 0 - success, otherwise - failure
249f7325489SJames Wright **/
250f7325489SJames Wright PetscErrorCode VecReadC2P(CeedVector x_ceed, PetscMemType mem_type, Vec X_petsc) {
251f7325489SJames Wright   PetscScalar *x;
252f7325489SJames Wright   PetscInt     X_size;
253f7325489SJames Wright   CeedSize     x_size;
254*b4c37c5cSJames Wright   Ceed         ceed;
255f7325489SJames Wright 
256f7325489SJames Wright   PetscFunctionBeginUser;
257*b4c37c5cSJames Wright   PetscCall(CeedVectorGetCeed(x_ceed, &ceed));
258f7325489SJames Wright   PetscCall(VecGetLocalSize(X_petsc, &X_size));
259*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_size));
260f7325489SJames Wright   PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, "X_petsc (%" PetscInt_FMT ") and x_ceed (%" CeedSize_FMT ") must be same size",
261f7325489SJames Wright              X_size, x_size);
262f7325489SJames Wright 
263*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorTakeArray(x_ceed, MemTypeP2C(mem_type), &x));
264f7325489SJames Wright   PetscCall(VecRestoreArrayReadAndMemType(X_petsc, (const PetscScalar **)&x));
265f7325489SJames Wright 
266d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
267f7325489SJames Wright }
268f7325489SJames Wright 
269f7325489SJames Wright /**
270f7325489SJames Wright   @brief Copy PETSc Vec data into CeedVector
271f7325489SJames Wright 
272f7325489SJames Wright   @param[in]   X_petsc PETSc Vec
273f7325489SJames Wright   @param[out]  x_ceed  CeedVector
274f7325489SJames Wright 
275f7325489SJames Wright   @return An error code: 0 - success, otherwise - failure
276f7325489SJames Wright **/
277f7325489SJames Wright PetscErrorCode VecCopyP2C(Vec X_petsc, CeedVector x_ceed) {
278f7325489SJames Wright   PetscScalar *x;
279f7325489SJames Wright   PetscMemType mem_type;
280f7325489SJames Wright   PetscInt     X_size;
281f7325489SJames Wright   CeedSize     x_size;
282*b4c37c5cSJames Wright   Ceed         ceed;
283f7325489SJames Wright 
284f7325489SJames Wright   PetscFunctionBeginUser;
285*b4c37c5cSJames Wright   PetscCall(CeedVectorGetCeed(x_ceed, &ceed));
286f7325489SJames Wright   PetscCall(VecGetLocalSize(X_petsc, &X_size));
287*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_size));
288f7325489SJames Wright   PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, "X_petsc (%" PetscInt_FMT ") and x_ceed (%" CeedSize_FMT ") must be same size",
289f7325489SJames Wright              X_size, x_size);
290f7325489SJames Wright 
291f7325489SJames Wright   PetscCall(VecGetArrayReadAndMemType(X_petsc, (const PetscScalar **)&x, &mem_type));
292*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedVectorSetArray(x_ceed, MemTypeP2C(mem_type), CEED_COPY_VALUES, x));
293f7325489SJames Wright   PetscCall(VecRestoreArrayReadAndMemType(X_petsc, (const PetscScalar **)&x));
294f7325489SJames Wright 
295d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
296f7325489SJames Wright }
297f7325489SJames Wright 
2986cbc221eSJames Wright //@brief Return VecType for the given DM
2996cbc221eSJames Wright VecType DMReturnVecType(DM dm) {
3006cbc221eSJames Wright   VecType vec_type;
3016cbc221eSJames Wright   DMGetVecType(dm, &vec_type);
3026cbc221eSJames Wright   return vec_type;
3036cbc221eSJames Wright }
3046cbc221eSJames Wright 
3056cbc221eSJames Wright /**
3066cbc221eSJames Wright  * @brief Create local PETSc Vecs for CeedOperator's active input/outputs
3076cbc221eSJames Wright  *
3086cbc221eSJames Wright  * This is primarily used for when the active input/ouput vector does not correspond to a `DM` object, and thus `DMCreateLocalVector` or
3096cbc221eSJames Wright  * `DMGetLocalVector` are not applicable.
3106cbc221eSJames Wright  * For example, if statitics are being store at quadrature points, a `DM`-created `Vec` will not have the
3116cbc221eSJames Wright  * correct size.
3126cbc221eSJames Wright  *
3136cbc221eSJames Wright  * @param[in]  dm     DM overwhich the Vecs would be used
3146cbc221eSJames Wright  * @param[in]  op     Operator to make the Vecs for
3156cbc221eSJames Wright  * @param[out] input  Vec for CeedOperator active input
3166cbc221eSJames Wright  * @param[out] output Vec for CeedOperator active output
3176cbc221eSJames Wright  */
3186cbc221eSJames Wright PetscErrorCode CeedOperatorCreateLocalVecs(CeedOperator op, VecType vec_type, MPI_Comm comm, Vec *input, Vec *output) {
3196cbc221eSJames Wright   CeedSize input_size, output_size;
320*b4c37c5cSJames Wright   Ceed     ceed;
3216cbc221eSJames Wright 
3226cbc221eSJames Wright   PetscFunctionBeginUser;
323*b4c37c5cSJames Wright   PetscCall(CeedOperatorGetCeed(op, &ceed));
324*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorGetActiveVectorLengths(op, &input_size, &output_size));
3256cbc221eSJames Wright   if (input) {
3266cbc221eSJames Wright     PetscCall(VecCreate(comm, input));
3276cbc221eSJames Wright     PetscCall(VecSetType(*input, vec_type));
3286cbc221eSJames Wright     PetscCall(VecSetSizes(*input, input_size, input_size));
3296cbc221eSJames Wright   }
3306cbc221eSJames Wright   if (output) {
3316cbc221eSJames Wright     PetscCall(VecCreate(comm, output));
3326cbc221eSJames Wright     PetscCall(VecSetType(*output, vec_type));
3336cbc221eSJames Wright     PetscCall(VecSetSizes(*output, output_size, output_size));
3346cbc221eSJames Wright   }
3356cbc221eSJames Wright 
336d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
3376cbc221eSJames Wright }
3386cbc221eSJames Wright 
339f7325489SJames Wright /**
340f7325489SJames Wright  * @brief Apply FEM Operator defined by `OperatorApplyContext` to various input and output vectors
341f7325489SJames Wright  *
3423fc17c4bSJames Wright  * @param[in]     X             Input global `Vec`, maybe `NULL`
3433fc17c4bSJames Wright  * @param[in]     X_loc         Input local `Vec`, maybe `NULL`
3443fc17c4bSJames Wright  * @param[in]     x_ceed        Input `CeedVector`, maybe `CEED_VECTOR_NONE`
3453fc17c4bSJames Wright  * @param[in,out] y_ceed        Output `CeedVector`, maybe `CEED_VECTOR_NONE`
3463fc17c4bSJames Wright  * @param[in,out] Y_loc         Output local `Vec`, maybe `NULL`
3473fc17c4bSJames Wright  * @param[in,out] Y             Output global `Vec`, maybe `NULL`
3483fc17c4bSJames Wright  * @param[in]     ctx           Context for the operator apply
3493fc17c4bSJames Wright  * @param[in]     use_apply_add Whether to use `CeedOperatorApply` or `CeedOperatorApplyAdd`
350f7325489SJames Wright  */
351f7325489SJames Wright PetscErrorCode ApplyCeedOperator_Core(Vec X, Vec X_loc, CeedVector x_ceed, CeedVector y_ceed, Vec Y_loc, Vec Y, OperatorApplyContext ctx,
352f7325489SJames Wright                                       bool use_apply_add) {
353f7325489SJames Wright   PetscMemType x_mem_type, y_mem_type;
354*b4c37c5cSJames Wright   Ceed         ceed = ctx->ceed;
355f7325489SJames Wright 
356f7325489SJames Wright   PetscFunctionBeginUser;
357f7325489SJames Wright   if (X) PetscCall(DMGlobalToLocal(ctx->dm_x, X, INSERT_VALUES, X_loc));
358f7325489SJames Wright   if (X_loc) PetscCall(VecReadP2C(X_loc, &x_mem_type, x_ceed));
359f7325489SJames Wright 
360f7325489SJames Wright   if (Y_loc) PetscCall(VecP2C(Y_loc, &y_mem_type, y_ceed));
361f7325489SJames Wright 
3627eedc94cSJames Wright   PetscCall(PetscLogEventBegin(FLUIDS_CeedOperatorApply, X, Y, 0, 0));
3637eedc94cSJames Wright   PetscCall(PetscLogGpuTimeBegin());
364*b4c37c5cSJames Wright   if (use_apply_add) PetscCallCeed(ceed, CeedOperatorApplyAdd(ctx->op, x_ceed, y_ceed, CEED_REQUEST_IMMEDIATE));
365*b4c37c5cSJames Wright   else PetscCallCeed(ceed, CeedOperatorApply(ctx->op, x_ceed, y_ceed, CEED_REQUEST_IMMEDIATE));
3667eedc94cSJames Wright   PetscCall(PetscLogGpuTimeEnd());
3677eedc94cSJames Wright   PetscCall(PetscLogEventEnd(FLUIDS_CeedOperatorApply, X, Y, 0, 0));
368f7325489SJames Wright 
369f7325489SJames Wright   if (X_loc) PetscCall(VecReadC2P(ctx->x_ceed, x_mem_type, X_loc));
370f7325489SJames Wright 
371f7325489SJames Wright   if (Y_loc) PetscCall(VecC2P(ctx->y_ceed, y_mem_type, Y_loc));
372f7325489SJames Wright   if (Y) PetscCall(DMLocalToGlobal(ctx->dm_y, Y_loc, ADD_VALUES, Y));
373f7325489SJames Wright 
374d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
375f7325489SJames Wright };
376f7325489SJames Wright 
377f7325489SJames Wright PetscErrorCode ApplyCeedOperatorGlobalToGlobal(Vec X, Vec Y, OperatorApplyContext ctx) {
378f7325489SJames Wright   Vec X_loc = ctx->X_loc, Y_loc = ctx->Y_loc;
379f7325489SJames Wright 
380f7325489SJames Wright   PetscFunctionBeginUser;
381f7325489SJames Wright   PetscCall(VecZeroEntries(Y));
382f7325489SJames Wright 
383f7325489SJames Wright   // Get local vectors (if needed)
384f7325489SJames Wright   if (!ctx->X_loc) PetscCall(DMGetLocalVector(ctx->dm_x, &X_loc));
385f7325489SJames Wright   if (!ctx->Y_loc) PetscCall(DMGetLocalVector(ctx->dm_y, &Y_loc));
386f7325489SJames Wright 
387f7325489SJames Wright   PetscCall(ApplyCeedOperator_Core(X, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, Y, ctx, false));
388f7325489SJames Wright 
389f7325489SJames Wright   // Restore local vector (if needed)
390f7325489SJames Wright   if (!ctx->X_loc) PetscCall(DMRestoreLocalVector(ctx->dm_x, &X_loc));
391f7325489SJames Wright   if (!ctx->Y_loc) PetscCall(DMRestoreLocalVector(ctx->dm_y, &Y_loc));
392f7325489SJames Wright 
393d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
394f7325489SJames Wright }
395f7325489SJames Wright 
396f7325489SJames Wright PetscErrorCode ApplyCeedOperatorLocalToGlobal(Vec X_loc, Vec Y, OperatorApplyContext ctx) {
397f7325489SJames Wright   Vec Y_loc = ctx->Y_loc;
398f7325489SJames Wright 
399f7325489SJames Wright   PetscFunctionBeginUser;
400f7325489SJames Wright   PetscCall(VecZeroEntries(Y));
401f7325489SJames Wright 
402f7325489SJames Wright   // Get local vectors (if needed)
403f7325489SJames Wright   if (!ctx->Y_loc) PetscCall(DMGetLocalVector(ctx->dm_y, &Y_loc));
404f7325489SJames Wright 
405f7325489SJames Wright   PetscCall(ApplyCeedOperator_Core(NULL, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, Y, ctx, false));
406f7325489SJames Wright 
407f7325489SJames Wright   // Restore local vectors (if needed)
408f7325489SJames Wright   if (!ctx->Y_loc) PetscCall(DMRestoreLocalVector(ctx->dm_y, &Y_loc));
409f7325489SJames Wright 
410d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
411f7325489SJames Wright }
412f7325489SJames Wright 
413f7325489SJames Wright PetscErrorCode ApplyCeedOperatorGlobalToLocal(Vec X, Vec Y_loc, OperatorApplyContext ctx) {
414f7325489SJames Wright   Vec X_loc = ctx->X_loc;
415f7325489SJames Wright 
416f7325489SJames Wright   PetscFunctionBeginUser;
417f7325489SJames Wright   // Get local vectors (if needed)
418f7325489SJames Wright   if (!ctx->X_loc) PetscCall(DMGetLocalVector(ctx->dm_x, &X_loc));
419f7325489SJames Wright 
420f7325489SJames Wright   PetscCall(ApplyCeedOperator_Core(X, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, NULL, ctx, false));
421f7325489SJames Wright 
422f7325489SJames Wright   // Restore local vector (if needed)
423f7325489SJames Wright   if (!ctx->X_loc) PetscCall(DMRestoreLocalVector(ctx->dm_x, &X_loc));
424f7325489SJames Wright 
425d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
426f7325489SJames Wright }
427f7325489SJames Wright 
4285ce09d65SJames Wright PetscErrorCode ApplyCeedOperatorLocalToLocal(Vec X_loc, Vec Y_loc, OperatorApplyContext ctx) {
4295ce09d65SJames Wright   PetscFunctionBeginUser;
4305ce09d65SJames Wright   PetscCall(ApplyCeedOperator_Core(NULL, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, NULL, ctx, false));
431d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
4325ce09d65SJames Wright }
4335ce09d65SJames Wright 
434f7325489SJames Wright PetscErrorCode ApplyAddCeedOperatorLocalToLocal(Vec X_loc, Vec Y_loc, OperatorApplyContext ctx) {
435f7325489SJames Wright   PetscFunctionBeginUser;
436f7325489SJames Wright   PetscCall(ApplyCeedOperator_Core(NULL, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, NULL, ctx, true));
437d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
438f7325489SJames Wright }
439f7325489SJames Wright 
440f7325489SJames Wright // -----------------------------------------------------------------------------
441f7325489SJames Wright // Wraps the libCEED operator for a MatShell
442f7325489SJames Wright // -----------------------------------------------------------------------------
443f7325489SJames Wright PetscErrorCode MatMult_Ceed(Mat A, Vec X, Vec Y) {
444f7325489SJames Wright   OperatorApplyContext ctx;
445f7325489SJames Wright   PetscFunctionBeginUser;
446f7325489SJames Wright 
447f7325489SJames Wright   PetscCall(MatShellGetContext(A, &ctx));
448f7325489SJames Wright   PetscCall(ApplyCeedOperatorGlobalToGlobal(X, Y, ctx));
449f7325489SJames Wright 
450d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
451f7325489SJames Wright };
452f7325489SJames Wright 
453f7325489SJames Wright // -----------------------------------------------------------------------------
454f7325489SJames Wright // Returns the computed diagonal of the operator
455f7325489SJames Wright // -----------------------------------------------------------------------------
456f7325489SJames Wright PetscErrorCode MatGetDiag_Ceed(Mat A, Vec D) {
457f7325489SJames Wright   OperatorApplyContext ctx;
458f7325489SJames Wright   Vec                  Y_loc;
459f7325489SJames Wright   PetscMemType         mem_type;
460f7325489SJames Wright   PetscFunctionBeginUser;
461f7325489SJames Wright 
462f7325489SJames Wright   PetscCall(MatShellGetContext(A, &ctx));
463*b4c37c5cSJames Wright   Ceed ceed = ctx->ceed;
464f7325489SJames Wright   if (ctx->Y_loc) Y_loc = ctx->Y_loc;
465f7325489SJames Wright   else PetscCall(DMGetLocalVector(ctx->dm_y, &Y_loc));
466f7325489SJames Wright 
467f7325489SJames Wright   // -- Place PETSc vector in libCEED vector
468f7325489SJames Wright   PetscCall(VecP2C(Y_loc, &mem_type, ctx->y_ceed));
469f7325489SJames Wright 
470f7325489SJames Wright   // -- Compute Diagonal
4717eedc94cSJames Wright   PetscCall(PetscLogEventBegin(FLUIDS_CeedOperatorAssembleDiagonal, A, D, 0, 0));
4727eedc94cSJames Wright   PetscCall(PetscLogGpuTimeBegin());
473*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorLinearAssembleDiagonal(ctx->op, ctx->y_ceed, CEED_REQUEST_IMMEDIATE));
4747eedc94cSJames Wright   PetscCall(PetscLogGpuTimeEnd());
4757eedc94cSJames Wright   PetscCall(PetscLogEventEnd(FLUIDS_CeedOperatorAssembleDiagonal, A, D, 0, 0));
476f7325489SJames Wright 
477f7325489SJames Wright   // -- Local-to-Global
478f7325489SJames Wright   PetscCall(VecC2P(ctx->y_ceed, mem_type, Y_loc));
479f7325489SJames Wright   PetscCall(VecZeroEntries(D));
480f7325489SJames Wright   PetscCall(DMLocalToGlobal(ctx->dm_y, Y_loc, ADD_VALUES, D));
481f7325489SJames Wright 
482f7325489SJames Wright   if (!ctx->Y_loc) PetscCall(DMRestoreLocalVector(ctx->dm_y, &Y_loc));
483d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
484f7325489SJames Wright };
485f7325489SJames Wright 
486bb1c79bdSJames Wright /**
487bb1c79bdSJames Wright  * @brief Create PETSc MatShell object for the corresponding OperatorApplyContext
488bb1c79bdSJames Wright  *
489bb1c79bdSJames Wright  * @param[in]  ctx Context that does the action of the operator
490bb1c79bdSJames Wright  * @param[out] mat MatShell for the operator
491bb1c79bdSJames Wright  */
492bb1c79bdSJames Wright PetscErrorCode CreateMatShell_Ceed(OperatorApplyContext ctx, Mat *mat) {
493bb1c79bdSJames Wright   MPI_Comm comm_x = PetscObjectComm((PetscObject)(ctx->dm_x));
494bb1c79bdSJames Wright   MPI_Comm comm_y = PetscObjectComm((PetscObject)(ctx->dm_y));
495bb1c79bdSJames Wright   PetscInt X_loc_size, X_size, Y_size, Y_loc_size;
496bb1c79bdSJames Wright   VecType  X_vec_type, Y_vec_type;
497bb1c79bdSJames Wright 
498bb1c79bdSJames Wright   PetscFunctionBeginUser;
49991933550SJames Wright   PetscCheck(comm_x == comm_y, PETSC_COMM_WORLD, PETSC_ERR_ARG_NOTSAMECOMM, "Input and output DM must have the same comm");
500bb1c79bdSJames Wright 
501bb1c79bdSJames Wright   PetscCall(DMGetGlobalVectorInfo(ctx->dm_x, &X_loc_size, &X_size, &X_vec_type));
502bb1c79bdSJames Wright   PetscCall(DMGetGlobalVectorInfo(ctx->dm_y, &Y_loc_size, &Y_size, &Y_vec_type));
503bb1c79bdSJames Wright 
504bb1c79bdSJames Wright   PetscCall(MatCreateShell(comm_x, Y_loc_size, X_loc_size, Y_size, X_size, ctx, mat));
505bb1c79bdSJames Wright   PetscCall(MatShellSetContextDestroy(*mat, (PetscErrorCode(*)(void *))OperatorApplyContextDestroy));
506bb1c79bdSJames Wright   PetscCall(MatShellSetOperation(*mat, MATOP_MULT, (void (*)(void))MatMult_Ceed));
507bb1c79bdSJames Wright   PetscCall(MatShellSetOperation(*mat, MATOP_GET_DIAGONAL, (void (*)(void))MatGetDiag_Ceed));
508bb1c79bdSJames Wright 
509bb1c79bdSJames Wright   PetscCheck(X_vec_type == Y_vec_type, PETSC_COMM_WORLD, PETSC_ERR_ARG_NOTSAMETYPE, "Vec_type of ctx->dm_x (%s) and ctx->dm_y (%s) must be the same",
510bb1c79bdSJames Wright              X_vec_type, Y_vec_type);
511bb1c79bdSJames Wright   PetscCall(MatShellSetVecType(*mat, X_vec_type));
512bb1c79bdSJames Wright 
513d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
514bb1c79bdSJames Wright }
515bb1c79bdSJames Wright 
516f7325489SJames Wright // -----------------------------------------------------------------------------
517