1*5aed82e4SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors. 24021610dSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 34021610dSJames Wright // 44021610dSJames Wright // SPDX-License-Identifier: BSD-2-Clause 54021610dSJames Wright // 64021610dSJames Wright // This file is part of CEED: http://github.com/ceed 74021610dSJames Wright 84021610dSJames Wright #include "../include/petsc_ops.h" 94021610dSJames Wright 104021610dSJames Wright #include <ceed.h> 114021610dSJames Wright #include <petscdm.h> 124021610dSJames Wright 134021610dSJames Wright #include "../navierstokes.h" 144021610dSJames Wright 15b718eef5SJames Wright // @brief Get information about a DM's local vector 16b718eef5SJames Wright PetscErrorCode DMGetLocalVectorInfo(DM dm, PetscInt *local_size, PetscInt *global_size, VecType *vec_type) { 17b718eef5SJames Wright Vec V_loc; 18b718eef5SJames Wright 19b718eef5SJames Wright PetscFunctionBeginUser; 20b718eef5SJames Wright PetscCall(DMGetLocalVector(dm, &V_loc)); 21b718eef5SJames Wright if (local_size) PetscCall(VecGetLocalSize(V_loc, local_size)); 22b718eef5SJames Wright if (global_size) PetscCall(VecGetSize(V_loc, global_size)); 23b718eef5SJames Wright if (vec_type) PetscCall(VecGetType(V_loc, vec_type)); 24b718eef5SJames Wright PetscCall(DMRestoreLocalVector(dm, &V_loc)); 25ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 26b718eef5SJames Wright } 27b718eef5SJames Wright 28b718eef5SJames Wright // @brief Get information about a DM's global vector 29b718eef5SJames Wright PetscErrorCode DMGetGlobalVectorInfo(DM dm, PetscInt *local_size, PetscInt *global_size, VecType *vec_type) { 30b718eef5SJames Wright Vec V; 31b718eef5SJames Wright 32b718eef5SJames Wright PetscFunctionBeginUser; 33b718eef5SJames Wright PetscCall(DMGetGlobalVector(dm, &V)); 34b718eef5SJames Wright if (local_size) PetscCall(VecGetLocalSize(V, local_size)); 35b718eef5SJames Wright if (global_size) PetscCall(VecGetSize(V, global_size)); 36b718eef5SJames Wright if (vec_type) PetscCall(VecGetType(V, vec_type)); 37b718eef5SJames Wright PetscCall(DMRestoreGlobalVector(dm, &V)); 38ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 39b718eef5SJames Wright } 40b718eef5SJames Wright 412cd2c56bSJames Wright /** 422cd2c56bSJames Wright * @brief Create OperatorApplyContext struct for applying FEM operator in a PETSc context 432cd2c56bSJames Wright * 442cd2c56bSJames Wright * All passed in objects are reference copied and may be destroyed if desired (with the exception of `CEED_VECTOR_NONE`). 452cd2c56bSJames Wright * Resulting context should be destroyed with `OperatorApplyContextDestroy()`. 462cd2c56bSJames Wright * 472cd2c56bSJames Wright * @param[in] dm_x `DM` associated with the operator active input. May be `NULL` 482cd2c56bSJames Wright * @param[in] dm_y `DM` associated with the operator active output. May be `NULL` 492cd2c56bSJames Wright * @param[in] ceed `Ceed` object 502cd2c56bSJames Wright * @param[in] op_apply `CeedOperator` representing the local action of the FEM operator 512cd2c56bSJames Wright * @param[in] x_ceed `CeedVector` for operator active input. May be `CEED_VECTOR_NONE` or `NULL`. If `NULL`, `CeedVector` will be automatically 522cd2c56bSJames Wright * generated. 532cd2c56bSJames Wright * @param[in] y_ceed `CeedVector` for operator active output. May be `CEED_VECTOR_NONE` or `NULL`. If `NULL`, `CeedVector` will be automatically 542cd2c56bSJames Wright * generated. 552cd2c56bSJames Wright * @param[in] X_loc Local `Vec` for operator active input. If `NULL`, vector will be obtained if needed at ApplyCeedOperator time. 562cd2c56bSJames Wright * @param[in] Y_loc Local `Vec` for operator active output. If `NULL`, vector will be obtained if needed at ApplyCeedOperator time. 572cd2c56bSJames Wright * @param[out] ctx Struct containing all data necessary for applying the operator 582cd2c56bSJames Wright */ 594021610dSJames Wright PetscErrorCode OperatorApplyContextCreate(DM dm_x, DM dm_y, Ceed ceed, CeedOperator op_apply, CeedVector x_ceed, CeedVector y_ceed, Vec X_loc, 602cd2c56bSJames Wright Vec Y_loc, OperatorApplyContext *ctx) { 614021610dSJames Wright CeedSize x_size, y_size; 622cd2c56bSJames Wright 632cd2c56bSJames Wright PetscFunctionBeginUser; 64a424bcd0SJames Wright PetscCallCeed(ceed, CeedOperatorGetActiveVectorLengths(op_apply, &x_size, &y_size)); 652cd2c56bSJames Wright { // Verify sizes 66dd715608SJames Wright PetscInt X_size, Y_size, dm_X_size, dm_Y_size; 67dd715608SJames Wright CeedSize x_ceed_size, y_ceed_size; 68dd715608SJames Wright if (dm_x) PetscCall(DMGetLocalVectorInfo(dm_x, &dm_X_size, NULL, NULL)); 69dd715608SJames Wright if (dm_y) PetscCall(DMGetLocalVectorInfo(dm_y, &dm_Y_size, NULL, NULL)); 704021610dSJames Wright if (X_loc) { 714021610dSJames Wright PetscCall(VecGetLocalSize(X_loc, &X_size)); 724021610dSJames Wright PetscCheck(X_size == x_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 734021610dSJames Wright "X_loc (%" PetscInt_FMT ") not correct size for CeedOperator active input size (%" CeedSize_FMT ")", X_size, x_size); 74dd715608SJames Wright if (dm_x) 75dd715608SJames Wright PetscCheck(X_size == dm_X_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 76dd715608SJames Wright "X_loc size (%" PetscInt_FMT ") does not match dm_x local vector size (%" PetscInt_FMT ")", X_size, dm_X_size); 774021610dSJames Wright } 784021610dSJames Wright if (Y_loc) { 794021610dSJames Wright PetscCall(VecGetLocalSize(Y_loc, &Y_size)); 804021610dSJames Wright PetscCheck(Y_size == y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 814021610dSJames Wright "Y_loc (%" PetscInt_FMT ") not correct size for CeedOperator active output size (%" CeedSize_FMT ")", Y_size, y_size); 82dd715608SJames Wright if (dm_y) 83dd715608SJames Wright PetscCheck(Y_size == dm_Y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 84dd715608SJames Wright "Y_loc size (%" PetscInt_FMT ") does not match dm_y local vector size (%" PetscInt_FMT ")", Y_size, dm_Y_size); 85dd715608SJames Wright } 86dd715608SJames Wright if (x_ceed && x_ceed != CEED_VECTOR_NONE) { 87a424bcd0SJames Wright PetscCallCeed(ceed, CeedVectorGetLength(x_ceed, &x_ceed_size)); 88dd715608SJames Wright PetscCheck(x_size >= 0 ? x_ceed_size == x_size : true, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 89dd715608SJames Wright "x_ceed (%" CeedSize_FMT ") not correct size for CeedOperator active input size (%" CeedSize_FMT ")", x_ceed_size, x_size); 90dd715608SJames Wright if (dm_x) 91dd715608SJames Wright PetscCheck(x_ceed_size == dm_X_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 92dd715608SJames Wright "x_ceed size (%" CeedSize_FMT ") does not match dm_x local vector size (%" PetscInt_FMT ")", x_ceed_size, dm_X_size); 93dd715608SJames Wright } 94dd715608SJames Wright if (y_ceed && y_ceed != CEED_VECTOR_NONE) { 95a424bcd0SJames Wright PetscCallCeed(ceed, CeedVectorGetLength(y_ceed, &y_ceed_size)); 96dd715608SJames Wright PetscCheck(y_ceed_size == y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 97dd715608SJames Wright "y_ceed (%" CeedSize_FMT ") not correct size for CeedOperator active input size (%" CeedSize_FMT ")", y_ceed_size, y_size); 98dd715608SJames Wright if (dm_y) 99dd715608SJames Wright PetscCheck(y_ceed_size == dm_Y_size, PETSC_COMM_WORLD, PETSC_ERR_ARG_SIZ, 100dd715608SJames Wright "y_ceed size (%" CeedSize_FMT ") does not match dm_y local vector size (%" PetscInt_FMT ")", y_ceed_size, dm_Y_size); 1014021610dSJames Wright } 1024021610dSJames Wright } 1034021610dSJames Wright 1042cd2c56bSJames Wright PetscCall(PetscNew(ctx)); 1054021610dSJames Wright 1064021610dSJames Wright // Copy PETSc Objects 1074021610dSJames Wright if (dm_x) PetscCall(PetscObjectReference((PetscObject)dm_x)); 1082cd2c56bSJames Wright (*ctx)->dm_x = dm_x; 1094021610dSJames Wright if (dm_y) PetscCall(PetscObjectReference((PetscObject)dm_y)); 1102cd2c56bSJames Wright (*ctx)->dm_y = dm_y; 1114021610dSJames Wright 1124021610dSJames Wright if (X_loc) PetscCall(PetscObjectReference((PetscObject)X_loc)); 1132cd2c56bSJames Wright (*ctx)->X_loc = X_loc; 1144021610dSJames Wright if (Y_loc) PetscCall(PetscObjectReference((PetscObject)Y_loc)); 1152cd2c56bSJames Wright (*ctx)->Y_loc = Y_loc; 1164021610dSJames Wright 1174021610dSJames Wright // Copy libCEED objects 118a424bcd0SJames Wright if (x_ceed) PetscCallCeed(ceed, CeedVectorReferenceCopy(x_ceed, &(*ctx)->x_ceed)); 119a424bcd0SJames Wright else PetscCallCeed(ceed, CeedVectorCreate(ceed, x_size, &(*ctx)->x_ceed)); 1202cd2c56bSJames Wright 121a424bcd0SJames Wright if (y_ceed) PetscCallCeed(ceed, CeedVectorReferenceCopy(y_ceed, &(*ctx)->y_ceed)); 122a424bcd0SJames Wright else PetscCallCeed(ceed, CeedVectorCreate(ceed, y_size, &(*ctx)->y_ceed)); 1232cd2c56bSJames Wright 124a424bcd0SJames Wright PetscCallCeed(ceed, CeedOperatorReferenceCopy(op_apply, &(*ctx)->op)); 125a424bcd0SJames Wright PetscCallCeed(ceed, CeedReferenceCopy(ceed, &(*ctx)->ceed)); 126ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1274021610dSJames Wright } 1284021610dSJames Wright 1292cd2c56bSJames Wright /** 1302cd2c56bSJames Wright * @brief Destroy OperatorApplyContext struct 1312cd2c56bSJames Wright * 1322cd2c56bSJames Wright * @param[in,out] ctx Context to destroy 1332cd2c56bSJames Wright */ 1342cd2c56bSJames Wright PetscErrorCode OperatorApplyContextDestroy(OperatorApplyContext ctx) { 1354021610dSJames Wright PetscFunctionBeginUser; 136ee4ca9cbSJames Wright if (!ctx) PetscFunctionReturn(PETSC_SUCCESS); 137a424bcd0SJames Wright Ceed ceed = ctx->ceed; 1384021610dSJames Wright 1394021610dSJames Wright // Destroy PETSc Objects 1402cd2c56bSJames Wright PetscCall(DMDestroy(&ctx->dm_x)); 1412cd2c56bSJames Wright PetscCall(DMDestroy(&ctx->dm_y)); 1422cd2c56bSJames Wright PetscCall(VecDestroy(&ctx->X_loc)); 1432cd2c56bSJames Wright PetscCall(VecDestroy(&ctx->Y_loc)); 1444021610dSJames Wright 1454021610dSJames Wright // Destroy libCEED Objects 146a424bcd0SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&ctx->x_ceed)); 147a424bcd0SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&ctx->y_ceed)); 148a424bcd0SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&ctx->op)); 149a424bcd0SJames Wright PetscCallCeed(ceed, CeedDestroy(&ctx->ceed)); 1504021610dSJames Wright 1512cd2c56bSJames Wright PetscCall(PetscFree(ctx)); 152ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1534021610dSJames Wright } 1544021610dSJames Wright 1554210c567SJames Wright //@brief Return VecType for the given DM 1564210c567SJames Wright VecType DMReturnVecType(DM dm) { 1574210c567SJames Wright VecType vec_type; 1584210c567SJames Wright DMGetVecType(dm, &vec_type); 1594210c567SJames Wright return vec_type; 1604210c567SJames Wright } 1614210c567SJames Wright 1624210c567SJames Wright /** 1634210c567SJames Wright * @brief Create local PETSc Vecs for CeedOperator's active input/outputs 1644210c567SJames Wright * 1654210c567SJames Wright * This is primarily used for when the active input/ouput vector does not correspond to a `DM` object, and thus `DMCreateLocalVector` or 1664210c567SJames Wright * `DMGetLocalVector` are not applicable. 1674210c567SJames Wright * For example, if statitics are being store at quadrature points, a `DM`-created `Vec` will not have the 1684210c567SJames Wright * correct size. 1694210c567SJames Wright * 1704210c567SJames Wright * @param[in] op Operator to make the Vecs for 171dcdae71aSJames Wright * @param[in] vec_type `VecType` for the new Vecs 172dcdae71aSJames Wright * @param[in] comm `MPI_Comm` for the new Vecs 1734210c567SJames Wright * @param[out] input Vec for CeedOperator active input 1744210c567SJames Wright * @param[out] output Vec for CeedOperator active output 1754210c567SJames Wright */ 1764210c567SJames Wright PetscErrorCode CeedOperatorCreateLocalVecs(CeedOperator op, VecType vec_type, MPI_Comm comm, Vec *input, Vec *output) { 1774210c567SJames Wright CeedSize input_size, output_size; 178a424bcd0SJames Wright Ceed ceed; 1794210c567SJames Wright 1804210c567SJames Wright PetscFunctionBeginUser; 181a424bcd0SJames Wright PetscCall(CeedOperatorGetCeed(op, &ceed)); 182a424bcd0SJames Wright PetscCallCeed(ceed, CeedOperatorGetActiveVectorLengths(op, &input_size, &output_size)); 1834210c567SJames Wright if (input) { 1844210c567SJames Wright PetscCall(VecCreate(comm, input)); 1854210c567SJames Wright PetscCall(VecSetType(*input, vec_type)); 1864210c567SJames Wright PetscCall(VecSetSizes(*input, input_size, input_size)); 1874210c567SJames Wright } 1884210c567SJames Wright if (output) { 1894210c567SJames Wright PetscCall(VecCreate(comm, output)); 1904210c567SJames Wright PetscCall(VecSetType(*output, vec_type)); 1914210c567SJames Wright PetscCall(VecSetSizes(*output, output_size, output_size)); 1924210c567SJames Wright } 193ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1944210c567SJames Wright } 1954210c567SJames Wright 1964021610dSJames Wright /** 1974021610dSJames Wright * @brief Apply FEM Operator defined by `OperatorApplyContext` to various input and output vectors 1984021610dSJames Wright * 199f0d883e9SJames Wright * @param[in] X Input global `Vec`, maybe `NULL` 200f0d883e9SJames Wright * @param[in] X_loc Input local `Vec`, maybe `NULL` 201f0d883e9SJames Wright * @param[in] x_ceed Input `CeedVector`, maybe `CEED_VECTOR_NONE` 202f0d883e9SJames Wright * @param[in,out] y_ceed Output `CeedVector`, maybe `CEED_VECTOR_NONE` 203f0d883e9SJames Wright * @param[in,out] Y_loc Output local `Vec`, maybe `NULL` 204f0d883e9SJames Wright * @param[in,out] Y Output global `Vec`, maybe `NULL` 205f0d883e9SJames Wright * @param[in] ctx Context for the operator apply 206f0d883e9SJames Wright * @param[in] use_apply_add Whether to use `CeedOperatorApply` or `CeedOperatorApplyAdd` 2074021610dSJames Wright */ 2084021610dSJames Wright PetscErrorCode ApplyCeedOperator_Core(Vec X, Vec X_loc, CeedVector x_ceed, CeedVector y_ceed, Vec Y_loc, Vec Y, OperatorApplyContext ctx, 2094021610dSJames Wright bool use_apply_add) { 2104021610dSJames Wright PetscMemType x_mem_type, y_mem_type; 211a424bcd0SJames Wright Ceed ceed = ctx->ceed; 2124021610dSJames Wright 2134021610dSJames Wright PetscFunctionBeginUser; 2144021610dSJames Wright if (X) PetscCall(DMGlobalToLocal(ctx->dm_x, X, INSERT_VALUES, X_loc)); 215d0593705SJames Wright if (X_loc) PetscCall(VecReadPetscToCeed(X_loc, &x_mem_type, x_ceed)); 2164021610dSJames Wright 217d0593705SJames Wright if (Y_loc) PetscCall(VecPetscToCeed(Y_loc, &y_mem_type, y_ceed)); 2184021610dSJames Wright 21975d1798cSJames Wright PetscCall(PetscLogEventBegin(FLUIDS_CeedOperatorApply, X, Y, 0, 0)); 22075d1798cSJames Wright PetscCall(PetscLogGpuTimeBegin()); 221a424bcd0SJames Wright if (use_apply_add) PetscCallCeed(ceed, CeedOperatorApplyAdd(ctx->op, x_ceed, y_ceed, CEED_REQUEST_IMMEDIATE)); 222a424bcd0SJames Wright else PetscCallCeed(ceed, CeedOperatorApply(ctx->op, x_ceed, y_ceed, CEED_REQUEST_IMMEDIATE)); 22375d1798cSJames Wright PetscCall(PetscLogGpuTimeEnd()); 22475d1798cSJames Wright PetscCall(PetscLogEventEnd(FLUIDS_CeedOperatorApply, X, Y, 0, 0)); 2254021610dSJames Wright 226d0593705SJames Wright if (X_loc) PetscCall(VecReadCeedToPetsc(ctx->x_ceed, x_mem_type, X_loc)); 2274021610dSJames Wright 228d0593705SJames Wright if (Y_loc) PetscCall(VecCeedToPetsc(ctx->y_ceed, y_mem_type, Y_loc)); 2294021610dSJames Wright if (Y) PetscCall(DMLocalToGlobal(ctx->dm_y, Y_loc, ADD_VALUES, Y)); 230ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2314021610dSJames Wright }; 2324021610dSJames Wright 2334021610dSJames Wright PetscErrorCode ApplyCeedOperatorGlobalToGlobal(Vec X, Vec Y, OperatorApplyContext ctx) { 2344021610dSJames Wright Vec X_loc = ctx->X_loc, Y_loc = ctx->Y_loc; 2354021610dSJames Wright 2364021610dSJames Wright PetscFunctionBeginUser; 2374021610dSJames Wright PetscCall(VecZeroEntries(Y)); 2384021610dSJames Wright 2394021610dSJames Wright // Get local vectors (if needed) 2404021610dSJames Wright if (!ctx->X_loc) PetscCall(DMGetLocalVector(ctx->dm_x, &X_loc)); 2414021610dSJames Wright if (!ctx->Y_loc) PetscCall(DMGetLocalVector(ctx->dm_y, &Y_loc)); 2424021610dSJames Wright 2434021610dSJames Wright PetscCall(ApplyCeedOperator_Core(X, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, Y, ctx, false)); 2444021610dSJames Wright 2454021610dSJames Wright // Restore local vector (if needed) 2464021610dSJames Wright if (!ctx->X_loc) PetscCall(DMRestoreLocalVector(ctx->dm_x, &X_loc)); 2474021610dSJames Wright if (!ctx->Y_loc) PetscCall(DMRestoreLocalVector(ctx->dm_y, &Y_loc)); 248ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2494021610dSJames Wright } 2504021610dSJames Wright 2514021610dSJames Wright PetscErrorCode ApplyCeedOperatorLocalToGlobal(Vec X_loc, Vec Y, OperatorApplyContext ctx) { 2524021610dSJames Wright Vec Y_loc = ctx->Y_loc; 2534021610dSJames Wright 2544021610dSJames Wright PetscFunctionBeginUser; 2554021610dSJames Wright PetscCall(VecZeroEntries(Y)); 2564021610dSJames Wright 2574021610dSJames Wright // Get local vectors (if needed) 2584021610dSJames Wright if (!ctx->Y_loc) PetscCall(DMGetLocalVector(ctx->dm_y, &Y_loc)); 2594021610dSJames Wright 2604021610dSJames Wright PetscCall(ApplyCeedOperator_Core(NULL, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, Y, ctx, false)); 2614021610dSJames Wright 2624021610dSJames Wright // Restore local vectors (if needed) 2634021610dSJames Wright if (!ctx->Y_loc) PetscCall(DMRestoreLocalVector(ctx->dm_y, &Y_loc)); 264ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2654021610dSJames Wright } 2664021610dSJames Wright 2674021610dSJames Wright PetscErrorCode ApplyCeedOperatorGlobalToLocal(Vec X, Vec Y_loc, OperatorApplyContext ctx) { 2684021610dSJames Wright Vec X_loc = ctx->X_loc; 2694021610dSJames Wright 2704021610dSJames Wright PetscFunctionBeginUser; 2714021610dSJames Wright // Get local vectors (if needed) 2724021610dSJames Wright if (!ctx->X_loc) PetscCall(DMGetLocalVector(ctx->dm_x, &X_loc)); 2734021610dSJames Wright 2744021610dSJames Wright PetscCall(ApplyCeedOperator_Core(X, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, NULL, ctx, false)); 2754021610dSJames Wright 2764021610dSJames Wright // Restore local vector (if needed) 2774021610dSJames Wright if (!ctx->X_loc) PetscCall(DMRestoreLocalVector(ctx->dm_x, &X_loc)); 278ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2794021610dSJames Wright } 2804021610dSJames Wright 28193567eeaSJames Wright PetscErrorCode ApplyCeedOperatorLocalToLocal(Vec X_loc, Vec Y_loc, OperatorApplyContext ctx) { 28293567eeaSJames Wright PetscFunctionBeginUser; 28393567eeaSJames Wright PetscCall(ApplyCeedOperator_Core(NULL, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, NULL, ctx, false)); 284ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 28593567eeaSJames Wright } 28693567eeaSJames Wright 2874021610dSJames Wright PetscErrorCode ApplyAddCeedOperatorLocalToLocal(Vec X_loc, Vec Y_loc, OperatorApplyContext ctx) { 2884021610dSJames Wright PetscFunctionBeginUser; 2894021610dSJames Wright PetscCall(ApplyCeedOperator_Core(NULL, X_loc, ctx->x_ceed, ctx->y_ceed, Y_loc, NULL, ctx, true)); 290ee4ca9cbSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2914021610dSJames Wright } 2924021610dSJames Wright 2937f2a9303SJames Wright /** 2947f2a9303SJames Wright * @brief Return Mats for KSP solve 2957f2a9303SJames Wright * 2967f2a9303SJames Wright * Uses command-line flag with `ksp`'s prefix to determine if mat_ceed should be used directly or whether it should be assembled. 2977f2a9303SJames Wright * If `Amat` is to be assembled, then `Pmat` is equal to `Amat`. 2987f2a9303SJames Wright * 2997f2a9303SJames Wright * If `Amat` uses `mat_ceed`, then `Pmat` is either assembled or uses `mat_ceed` based on the preconditioner choice in `ksp`. 3007f2a9303SJames Wright * 3017f2a9303SJames Wright * @param[in] ksp `KSP` object for used for solving 3027f2a9303SJames Wright * @param[in] mat_ceed `MATCEED` for the linear operator 3037f2a9303SJames Wright * @param[in] assemble Whether to assemble `Amat` and `Pmat` if they are not `mat_ceed` 3047f2a9303SJames Wright * @param[out] Amat `Mat` to be used for the solver `Amat` 3057f2a9303SJames Wright * @param[out] Pmat `Mat` to be used for the solver `Pmat` 3067f2a9303SJames Wright */ 3077f2a9303SJames Wright PetscErrorCode CreateSolveOperatorsFromMatCeed(KSP ksp, Mat mat_ceed, PetscBool assemble, Mat *Amat, Mat *Pmat) { 3087f2a9303SJames Wright PetscBool use_matceed_pmat, assemble_amat = PETSC_FALSE; 3097f2a9303SJames Wright MatType mat_ceed_inner_type; 3107f2a9303SJames Wright 3117f2a9303SJames Wright PetscFunctionBeginUser; 3127f2a9303SJames Wright PetscCall(MatCeedGetInnerMatType(mat_ceed, &mat_ceed_inner_type)); 3137f2a9303SJames Wright { // Determine if Amat should be MATCEED or assembled 3147f2a9303SJames Wright const char *ksp_prefix = NULL; 3157f2a9303SJames Wright 3167f2a9303SJames Wright PetscCall(KSPGetOptionsPrefix(ksp, &ksp_prefix)); 3177f2a9303SJames Wright PetscOptionsBegin(PetscObjectComm((PetscObject)mat_ceed), ksp_prefix, "", NULL); 3187f2a9303SJames Wright PetscCall(PetscOptionsBool("-matceed_assemble_amat", "Assemble the A matrix for KSP solve", NULL, assemble_amat, &assemble_amat, NULL)); 3197f2a9303SJames Wright PetscOptionsEnd(); 3207f2a9303SJames Wright } 3217f2a9303SJames Wright 3227f2a9303SJames Wright if (assemble_amat) { 3237f2a9303SJames Wright PetscCall(MatConvert(mat_ceed, mat_ceed_inner_type, MAT_INITIAL_MATRIX, Amat)); 3247f2a9303SJames Wright if (assemble) PetscCall(MatCeedAssembleCOO(mat_ceed, *Amat)); 3257f2a9303SJames Wright 3267f2a9303SJames Wright PetscCall(PetscObjectReference((PetscObject)*Amat)); 3277f2a9303SJames Wright *Pmat = *Amat; 3287f2a9303SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 3297f2a9303SJames Wright } else { 3307f2a9303SJames Wright PetscCall(PetscObjectReference((PetscObject)mat_ceed)); 3317f2a9303SJames Wright *Amat = mat_ceed; 3327f2a9303SJames Wright } 3337f2a9303SJames Wright 3347f2a9303SJames Wright { // Determine if Pmat should be MATCEED or assembled 3357f2a9303SJames Wright PC pc; 3367f2a9303SJames Wright PCType pc_type; 3377f2a9303SJames Wright 3387f2a9303SJames Wright PetscCall(KSPGetPC(ksp, &pc)); 3397f2a9303SJames Wright PetscCall(PCGetType(pc, &pc_type)); 3407f2a9303SJames Wright PetscCall(PetscStrcmpAny(pc_type, &use_matceed_pmat, PCJACOBI, PCVPBJACOBI, PCPBJACOBI, "")); 3417f2a9303SJames Wright } 3427f2a9303SJames Wright 3437f2a9303SJames Wright if (use_matceed_pmat) { 3447f2a9303SJames Wright PetscCall(PetscObjectReference((PetscObject)mat_ceed)); 3457f2a9303SJames Wright *Pmat = mat_ceed; 3467f2a9303SJames Wright } else { 3477f2a9303SJames Wright PetscCall(MatConvert(mat_ceed, mat_ceed_inner_type, MAT_INITIAL_MATRIX, Pmat)); 3487f2a9303SJames Wright if (assemble) PetscCall(MatCeedAssembleCOO(mat_ceed, *Pmat)); 3497f2a9303SJames Wright } 3507f2a9303SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 3517f2a9303SJames Wright } 3527f2a9303SJames Wright 3537f2a9303SJames Wright /** 3547f2a9303SJames Wright * @brief Runs KSPSetFromOptions and sets Operators based on mat_ceed 3557f2a9303SJames Wright * 3567f2a9303SJames Wright * See CreateSolveOperatorsFromMatCeed for details on how the KSPSolve operators are set. 3577f2a9303SJames Wright * 3587f2a9303SJames Wright * @param[in] ksp `KSP` of the solve 3597f2a9303SJames Wright * @param[in] mat_ceed `MatCeed` linear operator to solve for 3607f2a9303SJames Wright */ 3617f2a9303SJames Wright PetscErrorCode KSPSetFromOptions_WithMatCeed(KSP ksp, Mat mat_ceed) { 3627f2a9303SJames Wright Mat Amat, Pmat; 3637f2a9303SJames Wright 3647f2a9303SJames Wright PetscFunctionBeginUser; 3657f2a9303SJames Wright PetscCall(KSPSetFromOptions(ksp)); 3667f2a9303SJames Wright PetscCall(CreateSolveOperatorsFromMatCeed(ksp, mat_ceed, PETSC_TRUE, &Amat, &Pmat)); 3677f2a9303SJames Wright PetscCall(KSPSetOperators(ksp, Amat, Pmat)); 3687f2a9303SJames Wright PetscCall(MatDestroy(&Amat)); 3697f2a9303SJames Wright PetscCall(MatDestroy(&Pmat)); 3707f2a9303SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 3717f2a9303SJames Wright } 3724021610dSJames Wright // ----------------------------------------------------------------------------- 373