xref: /honee/src/setupts.c (revision 632a41e1381e66e8d4d7b3b5a0c92538c85d457f)
1727da7e7SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2727da7e7SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3a515125bSLeila Ghaffari //
4727da7e7SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5a515125bSLeila Ghaffari //
6727da7e7SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
7a515125bSLeila Ghaffari 
8a515125bSLeila Ghaffari /// @file
9a515125bSLeila Ghaffari /// Time-stepping functions for Navier-Stokes example using PETSc
10a515125bSLeila Ghaffari 
11e419654dSJeremy L Thompson #include <ceed.h>
12e419654dSJeremy L Thompson #include <petscdmplex.h>
13e419654dSJeremy L Thompson #include <petscts.h>
14e419654dSJeremy L Thompson 
15a515125bSLeila Ghaffari #include "../navierstokes.h"
16c5e9980aSAdeleke O. Bankole #include "../qfunctions/newtonian_state.h"
17a515125bSLeila Ghaffari 
18a515125bSLeila Ghaffari // Compute mass matrix for explicit scheme
192b916ea7SJeremy L Thompson PetscErrorCode ComputeLumpedMassMatrix(Ceed ceed, DM dm, CeedData ceed_data, Vec M) {
20a515125bSLeila Ghaffari   CeedQFunction        qf_mass;
21a515125bSLeila Ghaffari   CeedOperator         op_mass;
220143e3daSJames Wright   OperatorApplyContext op_mass_ctx;
230143e3daSJames Wright   Vec                  Ones_loc;
24a515125bSLeila Ghaffari   CeedInt              num_comp_q, q_data_size;
25a515125bSLeila Ghaffari 
2606f41313SJames Wright   PetscFunctionBeginUser;
27b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedElemRestrictionGetNumComponents(ceed_data->elem_restr_q, &num_comp_q));
28b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedElemRestrictionGetNumComponents(ceed_data->elem_restr_qd_i, &q_data_size));
29a515125bSLeila Ghaffari 
309f59f36eSJames Wright   PetscCall(CreateMassQFunction(ceed, num_comp_q, q_data_size, &qf_mass));
31b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass));
32b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "u", ceed_data->elem_restr_q, ceed_data->basis_q, CEED_VECTOR_ACTIVE));
3358e1cbfdSJeremy L Thompson   PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "qdata", ceed_data->elem_restr_qd_i, CEED_BASIS_NONE, ceed_data->q_data));
34b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "v", ceed_data->elem_restr_q, ceed_data->basis_q, CEED_VECTOR_ACTIVE));
35a515125bSLeila Ghaffari 
360143e3daSJames Wright   PetscCall(OperatorApplyContextCreate(NULL, dm, ceed, op_mass, NULL, NULL, NULL, NULL, &op_mass_ctx));
37a515125bSLeila Ghaffari 
380143e3daSJames Wright   PetscCall(DMGetLocalVector(dm, &Ones_loc));
390143e3daSJames Wright   PetscCall(VecSet(Ones_loc, 1));
400143e3daSJames Wright   PetscCall(ApplyCeedOperatorLocalToGlobal(Ones_loc, M, op_mass_ctx));
41a515125bSLeila Ghaffari 
42a515125bSLeila Ghaffari   // Invert diagonally lumped mass vector for RHS function
432b916ea7SJeremy L Thompson   PetscCall(VecReciprocal(M));
44a515125bSLeila Ghaffari 
45a515125bSLeila Ghaffari   // Cleanup
460143e3daSJames Wright   PetscCall(OperatorApplyContextDestroy(op_mass_ctx));
470143e3daSJames Wright   PetscCall(DMRestoreLocalVector(dm, &Ones_loc));
48b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_mass));
49b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorDestroy(&op_mass));
50d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
51a515125bSLeila Ghaffari }
52a515125bSLeila Ghaffari 
53c996854bSJames Wright // Insert Boundary values if it's a new time
54c996854bSJames Wright PetscErrorCode UpdateBoundaryValues(User user, Vec Q_loc, PetscReal t) {
55c996854bSJames Wright   PetscFunctionBeginUser;
56c996854bSJames Wright   if (user->time_bc_set != t) {
57c996854bSJames Wright     PetscCall(DMPlexInsertBoundaryValues(user->dm, PETSC_TRUE, Q_loc, t, NULL, NULL, NULL));
58c996854bSJames Wright     user->time_bc_set = t;
59c996854bSJames Wright   }
60d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
61c996854bSJames Wright }
62c996854bSJames Wright 
63a515125bSLeila Ghaffari // RHS (Explicit time-stepper) function setup
64a515125bSLeila Ghaffari //   This is the RHS of the ODE, given as u_t = G(t,u)
65a515125bSLeila Ghaffari //   This function takes in a state vector Q and writes into G
66a515125bSLeila Ghaffari PetscErrorCode RHS_NS(TS ts, PetscReal t, Vec Q, Vec G, void *user_data) {
67a515125bSLeila Ghaffari   User        user = *(User *)user_data;
68701e5830SJames Wright   Ceed        ceed = user->ceed;
69fd969b44SJames Wright   PetscScalar dt;
70da5fe0e4SJames Wright   Vec         Q_loc = user->Q_loc;
71a515125bSLeila Ghaffari 
7206f41313SJames Wright   PetscFunctionBeginUser;
73e2f84137SJeremy L Thompson   // Update time dependent data
74c996854bSJames Wright   PetscCall(UpdateBoundaryValues(user, Q_loc, t));
75701e5830SJames Wright   if (user->phys->solution_time_label) PetscCallCeed(ceed, CeedOperatorSetContextDouble(user->op_rhs_ctx->op, user->phys->solution_time_label, &t));
762b916ea7SJeremy L Thompson   PetscCall(TSGetTimeStep(ts, &dt));
77701e5830SJames Wright   if (user->phys->timestep_size_label) PetscCallCeed(ceed, CeedOperatorSetContextDouble(user->op_rhs_ctx->op, user->phys->timestep_size_label, &dt));
78a515125bSLeila Ghaffari 
79da5fe0e4SJames Wright   PetscCall(ApplyCeedOperatorGlobalToGlobal(Q, G, user->op_rhs_ctx));
80a515125bSLeila Ghaffari 
81f3fcf8f4SJames Wright   // Inverse of the lumped mass matrix
82cc9aa765SJames Wright   PetscCall(VecPointwiseMult(G, G, user->M_inv));
83d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
84a515125bSLeila Ghaffari }
85a515125bSLeila Ghaffari 
86c5e9980aSAdeleke O. Bankole // Surface forces function setup
87c5e9980aSAdeleke O. Bankole static PetscErrorCode Surface_Forces_NS(DM dm, Vec G_loc, PetscInt num_walls, const PetscInt walls[], PetscScalar *reaction_force) {
88c5e9980aSAdeleke O. Bankole   DMLabel            face_label;
89c5e9980aSAdeleke O. Bankole   const PetscScalar *g;
902004e3acSAdeleke O. Bankole   PetscInt           dof, dim = 3;
91c5e9980aSAdeleke O. Bankole   MPI_Comm           comm;
922004e3acSAdeleke O. Bankole   PetscSection       s;
93c5e9980aSAdeleke O. Bankole 
94c5e9980aSAdeleke O. Bankole   PetscFunctionBeginUser;
95c5e9980aSAdeleke O. Bankole   PetscCall(PetscArrayzero(reaction_force, num_walls * dim));
96c5e9980aSAdeleke O. Bankole   PetscCall(PetscObjectGetComm((PetscObject)dm, &comm));
97c5e9980aSAdeleke O. Bankole   PetscCall(DMGetLabel(dm, "Face Sets", &face_label));
98c5e9980aSAdeleke O. Bankole   PetscCall(VecGetArrayRead(G_loc, &g));
99c5e9980aSAdeleke O. Bankole   for (PetscInt w = 0; w < num_walls; w++) {
100c5e9980aSAdeleke O. Bankole     const PetscInt wall = walls[w];
101c5e9980aSAdeleke O. Bankole     IS             wall_is;
1022004e3acSAdeleke O. Bankole     PetscCall(DMGetLocalSection(dm, &s));
103c5e9980aSAdeleke O. Bankole     PetscCall(DMLabelGetStratumIS(face_label, wall, &wall_is));
104c5e9980aSAdeleke O. Bankole     if (wall_is) {  // There exist such points on this process
105c5e9980aSAdeleke O. Bankole       PetscInt        num_points;
1062004e3acSAdeleke O. Bankole       PetscInt        num_comp = 0;
107c5e9980aSAdeleke O. Bankole       const PetscInt *points;
1082004e3acSAdeleke O. Bankole       PetscCall(PetscSectionGetFieldComponents(s, 0, &num_comp));
109c5e9980aSAdeleke O. Bankole       PetscCall(ISGetSize(wall_is, &num_points));
110c5e9980aSAdeleke O. Bankole       PetscCall(ISGetIndices(wall_is, &points));
111c5e9980aSAdeleke O. Bankole       for (PetscInt i = 0; i < num_points; i++) {
112c5e9980aSAdeleke O. Bankole         const PetscInt           p = points[i];
113c5e9980aSAdeleke O. Bankole         const StateConservative *r;
114c5e9980aSAdeleke O. Bankole         PetscCall(DMPlexPointLocalRead(dm, p, g, &r));
1152004e3acSAdeleke O. Bankole         PetscCall(PetscSectionGetDof(s, p, &dof));
1162004e3acSAdeleke O. Bankole         for (PetscInt node = 0; node < dof / num_comp; node++) {
117c5e9980aSAdeleke O. Bankole           for (PetscInt j = 0; j < 3; j++) {
1182004e3acSAdeleke O. Bankole             reaction_force[w * dim + j] -= r[node].momentum[j];
1192004e3acSAdeleke O. Bankole           }
120c5e9980aSAdeleke O. Bankole         }
121c5e9980aSAdeleke O. Bankole       }
122c5e9980aSAdeleke O. Bankole       PetscCall(ISRestoreIndices(wall_is, &points));
123c5e9980aSAdeleke O. Bankole     }
124c5e9980aSAdeleke O. Bankole     PetscCall(ISDestroy(&wall_is));
125c5e9980aSAdeleke O. Bankole   }
126c5e9980aSAdeleke O. Bankole   PetscCallMPI(MPI_Allreduce(MPI_IN_PLACE, reaction_force, dim * num_walls, MPIU_SCALAR, MPI_SUM, comm));
127c5e9980aSAdeleke O. Bankole   //  Restore Vectors
128c5e9980aSAdeleke O. Bankole   PetscCall(VecRestoreArrayRead(G_loc, &g));
129d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
130c5e9980aSAdeleke O. Bankole }
131c5e9980aSAdeleke O. Bankole 
132a515125bSLeila Ghaffari // Implicit time-stepper function setup
1332b916ea7SJeremy L Thompson PetscErrorCode IFunction_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, Vec G, void *user_data) {
134a515125bSLeila Ghaffari   User         user = *(User *)user_data;
135701e5830SJames Wright   Ceed         ceed = user->ceed;
136fd969b44SJames Wright   PetscScalar  dt;
137e2f84137SJeremy L Thompson   Vec          Q_loc = user->Q_loc, Q_dot_loc = user->Q_dot_loc, G_loc;
138a515125bSLeila Ghaffari   PetscMemType q_mem_type, q_dot_mem_type, g_mem_type;
139a515125bSLeila Ghaffari 
14006f41313SJames Wright   PetscFunctionBeginUser;
141e2f84137SJeremy L Thompson   // Get local vectors
142c5e9980aSAdeleke O. Bankole   PetscCall(DMGetNamedLocalVector(user->dm, "ResidualLocal", &G_loc));
143e2f84137SJeremy L Thompson 
144e2f84137SJeremy L Thompson   // Update time dependent data
145c996854bSJames Wright   PetscCall(UpdateBoundaryValues(user, Q_loc, t));
146701e5830SJames Wright   if (user->phys->solution_time_label) PetscCallCeed(ceed, CeedOperatorSetContextDouble(user->op_ifunction, user->phys->solution_time_label, &t));
1472b916ea7SJeremy L Thompson   PetscCall(TSGetTimeStep(ts, &dt));
148701e5830SJames Wright   if (user->phys->timestep_size_label) PetscCallCeed(ceed, CeedOperatorSetContextDouble(user->op_ifunction, user->phys->timestep_size_label, &dt));
149a515125bSLeila Ghaffari 
150a515125bSLeila Ghaffari   // Global-to-local
15106108310SJames Wright   PetscCall(DMGlobalToLocalBegin(user->dm, Q, INSERT_VALUES, Q_loc));
15206108310SJames Wright   PetscCall(DMGlobalToLocalBegin(user->dm, Q_dot, INSERT_VALUES, Q_dot_loc));
15306108310SJames Wright   PetscCall(DMGlobalToLocalEnd(user->dm, Q, INSERT_VALUES, Q_loc));
15406108310SJames Wright   PetscCall(DMGlobalToLocalEnd(user->dm, Q_dot, INSERT_VALUES, Q_dot_loc));
155a515125bSLeila Ghaffari 
156a515125bSLeila Ghaffari   // Place PETSc vectors in CEED vectors
157fd969b44SJames Wright   PetscCall(VecReadP2C(Q_loc, &q_mem_type, user->q_ceed));
158fd969b44SJames Wright   PetscCall(VecReadP2C(Q_dot_loc, &q_dot_mem_type, user->q_dot_ceed));
159fd969b44SJames Wright   PetscCall(VecP2C(G_loc, &g_mem_type, user->g_ceed));
160a515125bSLeila Ghaffari 
161a515125bSLeila Ghaffari   // Apply CEED operator
1627eedc94cSJames Wright   PetscCall(PetscLogEventBegin(FLUIDS_CeedOperatorApply, Q, G, 0, 0));
1637eedc94cSJames Wright   PetscCall(PetscLogGpuTimeBegin());
164b4c37c5cSJames Wright   PetscCallCeed(user->ceed, CeedOperatorApply(user->op_ifunction, user->q_ceed, user->g_ceed, CEED_REQUEST_IMMEDIATE));
1657eedc94cSJames Wright   PetscCall(PetscLogGpuTimeEnd());
1667eedc94cSJames Wright   PetscCall(PetscLogEventEnd(FLUIDS_CeedOperatorApply, Q, G, 0, 0));
167a515125bSLeila Ghaffari 
168a515125bSLeila Ghaffari   // Restore vectors
169fd969b44SJames Wright   PetscCall(VecReadC2P(user->q_ceed, q_mem_type, Q_loc));
170fd969b44SJames Wright   PetscCall(VecReadC2P(user->q_dot_ceed, q_dot_mem_type, Q_dot_loc));
171fd969b44SJames Wright   PetscCall(VecC2P(user->g_ceed, g_mem_type, G_loc));
172a515125bSLeila Ghaffari 
17301ab89c1SJames Wright   if (user->app_ctx->sgs_model_type == SGS_MODEL_DATA_DRIVEN) {
17442454adaSJames Wright     PetscCall(SgsDDModelApplyIFunction(user, Q_loc, G_loc));
17501ab89c1SJames Wright   }
1769c678832SJames Wright 
177a515125bSLeila Ghaffari   // Local-to-Global
1782b916ea7SJeremy L Thompson   PetscCall(VecZeroEntries(G));
1792b916ea7SJeremy L Thompson   PetscCall(DMLocalToGlobal(user->dm, G_loc, ADD_VALUES, G));
180a515125bSLeila Ghaffari 
181a515125bSLeila Ghaffari   // Restore vectors
182c5e9980aSAdeleke O. Bankole   PetscCall(DMRestoreNamedLocalVector(user->dm, "ResidualLocal", &G_loc));
183d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
184a515125bSLeila Ghaffari }
185a515125bSLeila Ghaffari 
1862b916ea7SJeremy L Thompson static PetscErrorCode FormPreallocation(User user, PetscBool pbdiagonal, Mat J, CeedVector *coo_values) {
187b107fddaSJed Brown   PetscCount ncoo;
188defe8520SJames Wright   PetscInt  *rows_petsc, *cols_petsc;
18971c848e3SJames Wright   CeedInt   *rows_ceed, *cols_ceed;
190b107fddaSJed Brown 
191b107fddaSJed Brown   PetscFunctionBeginUser;
192b107fddaSJed Brown   if (pbdiagonal) {
19371c848e3SJames Wright     PetscCallCeed(user->ceed, CeedOperatorLinearAssemblePointBlockDiagonalSymbolic(user->op_ijacobian, &ncoo, &rows_ceed, &cols_ceed));
194b107fddaSJed Brown   } else {
195b4c37c5cSJames Wright     PetscCallCeed(user->ceed, CeedOperatorLinearAssembleSymbolic(user->op_ijacobian, &ncoo, &rows_ceed, &cols_ceed));
19671c848e3SJames Wright   }
197defe8520SJames Wright   PetscCall(IntArrayC2P(ncoo, &rows_ceed, &rows_petsc));
198defe8520SJames Wright   PetscCall(IntArrayC2P(ncoo, &cols_ceed, &cols_petsc));
199defe8520SJames Wright   PetscCall(MatSetPreallocationCOOLocal(J, ncoo, rows_petsc, cols_petsc));
200defe8520SJames Wright   free(rows_petsc);
201defe8520SJames Wright   free(cols_petsc);
202b4c37c5cSJames Wright   PetscCallCeed(user->ceed, CeedVectorCreate(user->ceed, ncoo, coo_values));
203d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
204b107fddaSJed Brown }
205b107fddaSJed Brown 
2062b916ea7SJeremy L Thompson static PetscErrorCode FormSetValues(User user, PetscBool pbdiagonal, Mat J, CeedVector coo_values) {
207b107fddaSJed Brown   CeedMemType        mem_type = CEED_MEM_HOST;
208b107fddaSJed Brown   const PetscScalar *values;
209b107fddaSJed Brown   MatType            mat_type;
210b107fddaSJed Brown 
211b107fddaSJed Brown   PetscFunctionBeginUser;
212b107fddaSJed Brown   PetscCall(MatGetType(J, &mat_type));
2132b916ea7SJeremy L Thompson   if (strstr(mat_type, "kokkos") || strstr(mat_type, "cusparse")) mem_type = CEED_MEM_DEVICE;
214cb315d14SJames Wright   if (pbdiagonal) {
2157eedc94cSJames Wright     PetscCall(PetscLogEventBegin(FLUIDS_CeedOperatorAssemblePointBlockDiagonal, J, 0, 0, 0));
2167eedc94cSJames Wright     PetscCall(PetscLogGpuTimeBegin());
217b4c37c5cSJames Wright     PetscCallCeed(user->ceed, CeedOperatorLinearAssemblePointBlockDiagonal(user->op_ijacobian, coo_values, CEED_REQUEST_IMMEDIATE));
2187eedc94cSJames Wright     PetscCall(PetscLogGpuTimeEnd());
2197eedc94cSJames Wright     PetscCall(PetscLogEventEnd(FLUIDS_CeedOperatorAssemblePointBlockDiagonal, J, 0, 0, 0));
220b107fddaSJed Brown   } else {
2217eedc94cSJames Wright     PetscCall(PetscLogEventBegin(FLUIDS_CeedOperatorAssemble, J, 0, 0, 0));
2227eedc94cSJames Wright     PetscCall(PetscLogGpuTimeBegin());
223b4c37c5cSJames Wright     PetscCallCeed(user->ceed, CeedOperatorLinearAssemble(user->op_ijacobian, coo_values));
2247eedc94cSJames Wright     PetscCall(PetscLogGpuTimeEnd());
2257eedc94cSJames Wright     PetscCall(PetscLogEventEnd(FLUIDS_CeedOperatorAssemble, J, 0, 0, 0));
226b107fddaSJed Brown   }
227b4c37c5cSJames Wright   PetscCallCeed(user->ceed, CeedVectorGetArrayRead(coo_values, mem_type, &values));
228b107fddaSJed Brown   PetscCall(MatSetValuesCOO(J, values, INSERT_VALUES));
229b4c37c5cSJames Wright   PetscCallCeed(user->ceed, CeedVectorRestoreArrayRead(coo_values, &values));
230d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
231b107fddaSJed Brown }
232b107fddaSJed Brown 
2332b916ea7SJeremy L Thompson PetscErrorCode FormIJacobian_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, PetscReal shift, Mat J, Mat J_pre, void *user_data) {
234f0b65372SJed Brown   User      user = *(User *)user_data;
235b4c37c5cSJames Wright   Ceed      ceed = user->ceed;
23604855949SJed Brown   PetscBool J_is_shell, J_is_mffd, J_pre_is_shell;
23706f41313SJames Wright 
238f0b65372SJed Brown   PetscFunctionBeginUser;
239b4c37c5cSJames Wright   if (user->phys->ijacobian_time_shift_label)
240b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetContextDouble(user->op_ijacobian, user->phys->ijacobian_time_shift_label, &shift));
24104855949SJed Brown   PetscCall(PetscObjectTypeCompare((PetscObject)J, MATMFFD, &J_is_mffd));
242f0b65372SJed Brown   PetscCall(PetscObjectTypeCompare((PetscObject)J, MATSHELL, &J_is_shell));
2432b916ea7SJeremy L Thompson   PetscCall(PetscObjectTypeCompare((PetscObject)J_pre, MATSHELL, &J_pre_is_shell));
244f0b65372SJed Brown   if (!user->matrices_set_up) {
245f0b65372SJed Brown     if (J_is_shell) {
246f9028c3cSJames Wright       OperatorApplyContext op_ijacobian_ctx;
247f9028c3cSJames Wright       OperatorApplyContextCreate(user->dm, user->dm, user->ceed, user->op_ijacobian, user->q_ceed, user->g_ceed, user->Q_dot_loc, NULL,
248f9028c3cSJames Wright                                  &op_ijacobian_ctx);
249f9028c3cSJames Wright       PetscCall(MatShellSetContext(J, op_ijacobian_ctx));
250f9028c3cSJames Wright       PetscCall(MatShellSetContextDestroy(J, (PetscErrorCode(*)(void *))OperatorApplyContextDestroy));
251f9028c3cSJames Wright       PetscCall(MatShellSetOperation(J, MATOP_MULT, (void (*)(void))MatMult_Ceed));
252f9028c3cSJames Wright       PetscCall(MatShellSetOperation(J, MATOP_GET_DIAGONAL, (void (*)(void))MatGetDiag_Ceed));
253f0b65372SJed Brown       PetscCall(MatSetUp(J));
254f0b65372SJed Brown     }
255f0b65372SJed Brown     if (!J_pre_is_shell) {
2562b916ea7SJeremy L Thompson       PetscCall(FormPreallocation(user, user->app_ctx->pmat_pbdiagonal, J_pre, &user->coo_values_pmat));
257b107fddaSJed Brown     }
25804855949SJed Brown     if (J != J_pre && !J_is_shell && !J_is_mffd) {
259b107fddaSJed Brown       PetscCall(FormPreallocation(user, PETSC_FALSE, J, &user->coo_values_amat));
260b107fddaSJed Brown     }
261f0b65372SJed Brown     user->matrices_set_up = true;
262f0b65372SJed Brown   }
263f0b65372SJed Brown   if (!J_pre_is_shell) {
2642b916ea7SJeremy L Thompson     PetscCall(FormSetValues(user, user->app_ctx->pmat_pbdiagonal, J_pre, user->coo_values_pmat));
265f0b65372SJed Brown   }
26604855949SJed Brown   if (user->coo_values_amat) {
26704855949SJed Brown     PetscCall(FormSetValues(user, PETSC_FALSE, J, user->coo_values_amat));
26804855949SJed Brown   } else if (J_is_mffd) {
26904855949SJed Brown     PetscCall(MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY));
27004855949SJed Brown     PetscCall(MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY));
27104855949SJed Brown   }
272d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
273f0b65372SJed Brown }
274f0b65372SJed Brown 
2752b916ea7SJeremy L Thompson PetscErrorCode WriteOutput(User user, Vec Q, PetscInt step_no, PetscScalar time) {
276a515125bSLeila Ghaffari   Vec         Q_loc;
277a515125bSLeila Ghaffari   char        file_path[PETSC_MAX_PATH_LEN];
278a515125bSLeila Ghaffari   PetscViewer viewer;
279a515125bSLeila Ghaffari 
28006f41313SJames Wright   PetscFunctionBeginUser;
281852e5969SJed Brown   if (user->app_ctx->checkpoint_vtk) {
282a515125bSLeila Ghaffari     // Set up output
2837538d537SJames Wright     PetscCall(DMGetLocalVector(user->dm, &Q_loc));
2847538d537SJames Wright     PetscCall(PetscObjectSetName((PetscObject)Q_loc, "StateVec"));
2857538d537SJames Wright     PetscCall(VecZeroEntries(Q_loc));
2867538d537SJames Wright     PetscCall(DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc));
287a515125bSLeila Ghaffari 
288a515125bSLeila Ghaffari     // Output
289852e5969SJed Brown     PetscCall(PetscSNPrintf(file_path, sizeof file_path, "%s/ns-%03" PetscInt_FMT ".vtu", user->app_ctx->output_dir, step_no));
2907538d537SJames Wright 
2912b916ea7SJeremy L Thompson     PetscCall(PetscViewerVTKOpen(PetscObjectComm((PetscObject)Q), file_path, FILE_MODE_WRITE, &viewer));
2927538d537SJames Wright     PetscCall(VecView(Q_loc, viewer));
2937538d537SJames Wright     PetscCall(PetscViewerDestroy(&viewer));
294a515125bSLeila Ghaffari     if (user->dm_viz) {
295a515125bSLeila Ghaffari       Vec         Q_refined, Q_refined_loc;
296a515125bSLeila Ghaffari       char        file_path_refined[PETSC_MAX_PATH_LEN];
297a515125bSLeila Ghaffari       PetscViewer viewer_refined;
298a515125bSLeila Ghaffari 
2997538d537SJames Wright       PetscCall(DMGetGlobalVector(user->dm_viz, &Q_refined));
3007538d537SJames Wright       PetscCall(DMGetLocalVector(user->dm_viz, &Q_refined_loc));
3017538d537SJames Wright       PetscCall(PetscObjectSetName((PetscObject)Q_refined_loc, "Refined"));
3027538d537SJames Wright 
3037538d537SJames Wright       PetscCall(MatInterpolate(user->interp_viz, Q, Q_refined));
3047538d537SJames Wright       PetscCall(VecZeroEntries(Q_refined_loc));
3052b916ea7SJeremy L Thompson       PetscCall(DMGlobalToLocal(user->dm_viz, Q_refined, INSERT_VALUES, Q_refined_loc));
3067538d537SJames Wright 
307852e5969SJed Brown       PetscCall(
308852e5969SJed Brown           PetscSNPrintf(file_path_refined, sizeof file_path_refined, "%s/nsrefined-%03" PetscInt_FMT ".vtu", user->app_ctx->output_dir, step_no));
3097538d537SJames Wright 
3102b916ea7SJeremy L Thompson       PetscCall(PetscViewerVTKOpen(PetscObjectComm((PetscObject)Q_refined), file_path_refined, FILE_MODE_WRITE, &viewer_refined));
3117538d537SJames Wright       PetscCall(VecView(Q_refined_loc, viewer_refined));
3127538d537SJames Wright       PetscCall(DMRestoreLocalVector(user->dm_viz, &Q_refined_loc));
3137538d537SJames Wright       PetscCall(DMRestoreGlobalVector(user->dm_viz, &Q_refined));
3147538d537SJames Wright       PetscCall(PetscViewerDestroy(&viewer_refined));
315a515125bSLeila Ghaffari     }
3167538d537SJames Wright     PetscCall(DMRestoreLocalVector(user->dm, &Q_loc));
317852e5969SJed Brown   }
318a515125bSLeila Ghaffari 
319a515125bSLeila Ghaffari   // Save data in a binary file for continuation of simulations
32091a36801SJames Wright   if (user->app_ctx->add_stepnum2bin) {
321852e5969SJed Brown     PetscCall(PetscSNPrintf(file_path, sizeof file_path, "%s/ns-solution-%" PetscInt_FMT ".bin", user->app_ctx->output_dir, step_no));
32291a36801SJames Wright   } else {
3232b916ea7SJeremy L Thompson     PetscCall(PetscSNPrintf(file_path, sizeof file_path, "%s/ns-solution.bin", user->app_ctx->output_dir));
32491a36801SJames Wright   }
3252b916ea7SJeremy L Thompson   PetscCall(PetscViewerBinaryOpen(user->comm, file_path, FILE_MODE_WRITE, &viewer));
3267538d537SJames Wright 
327e1233009SJames Wright   PetscInt32 token = PetscDefined(USE_64BIT_INDICES) ? FLUIDS_FILE_TOKEN_64 : FLUIDS_FILE_TOKEN_32;
328e1233009SJames Wright   PetscCall(PetscViewerBinaryWrite(viewer, &token, 1, PETSC_INT32));
3299293eaa1SJed Brown   PetscCall(PetscViewerBinaryWrite(viewer, &step_no, 1, PETSC_INT));
3309293eaa1SJed Brown   time /= user->units->second;  // Dimensionalize time back
3319293eaa1SJed Brown   PetscCall(PetscViewerBinaryWrite(viewer, &time, 1, PETSC_REAL));
3327538d537SJames Wright   PetscCall(VecView(Q, viewer));
3337538d537SJames Wright   PetscCall(PetscViewerDestroy(&viewer));
334d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
3357538d537SJames Wright }
3367538d537SJames Wright 
337c5e9980aSAdeleke O. Bankole // CSV Monitor
338c5e9980aSAdeleke O. Bankole PetscErrorCode TSMonitor_WallForce(TS ts, PetscInt step_no, PetscReal time, Vec Q, void *ctx) {
339c5e9980aSAdeleke O. Bankole   User              user = ctx;
340c5e9980aSAdeleke O. Bankole   Vec               G_loc;
341c5e9980aSAdeleke O. Bankole   PetscInt          num_wall = user->app_ctx->wall_forces.num_wall, dim = 3;
342c5e9980aSAdeleke O. Bankole   const PetscInt   *walls  = user->app_ctx->wall_forces.walls;
343c5e9980aSAdeleke O. Bankole   PetscViewer       viewer = user->app_ctx->wall_forces.viewer;
344c5e9980aSAdeleke O. Bankole   PetscViewerFormat format = user->app_ctx->wall_forces.viewer_format;
345c5e9980aSAdeleke O. Bankole   PetscScalar      *reaction_force;
346c5e9980aSAdeleke O. Bankole   PetscBool         iascii;
347c5e9980aSAdeleke O. Bankole 
348c5e9980aSAdeleke O. Bankole   PetscFunctionBeginUser;
349d949ddfcSJames Wright   if (!viewer) PetscFunctionReturn(PETSC_SUCCESS);
350c5e9980aSAdeleke O. Bankole   PetscCall(DMGetNamedLocalVector(user->dm, "ResidualLocal", &G_loc));
351c5e9980aSAdeleke O. Bankole   PetscCall(PetscMalloc1(num_wall * dim, &reaction_force));
352c5e9980aSAdeleke O. Bankole   PetscCall(Surface_Forces_NS(user->dm, G_loc, num_wall, walls, reaction_force));
353c5e9980aSAdeleke O. Bankole   PetscCall(DMRestoreNamedLocalVector(user->dm, "ResidualLocal", &G_loc));
354c5e9980aSAdeleke O. Bankole 
355c5e9980aSAdeleke O. Bankole   PetscCall(PetscObjectTypeCompare((PetscObject)viewer, PETSCVIEWERASCII, &iascii));
356c5e9980aSAdeleke O. Bankole 
357c5e9980aSAdeleke O. Bankole   if (iascii) {
358c5e9980aSAdeleke O. Bankole     if (format == PETSC_VIEWER_ASCII_CSV && !user->app_ctx->wall_forces.header_written) {
359c5e9980aSAdeleke O. Bankole       PetscCall(PetscViewerASCIIPrintf(viewer, "Step,Time,Wall,ForceX,ForceY,ForceZ\n"));
360c5e9980aSAdeleke O. Bankole       user->app_ctx->wall_forces.header_written = PETSC_TRUE;
361c5e9980aSAdeleke O. Bankole     }
362c5e9980aSAdeleke O. Bankole     for (PetscInt w = 0; w < num_wall; w++) {
363c5e9980aSAdeleke O. Bankole       PetscInt wall = walls[w];
364c5e9980aSAdeleke O. Bankole       if (format == PETSC_VIEWER_ASCII_CSV) {
365c5e9980aSAdeleke O. Bankole         PetscCall(PetscViewerASCIIPrintf(viewer, "%" PetscInt_FMT ",%g,%" PetscInt_FMT ",%g,%g,%g\n", step_no, time, wall,
366c5e9980aSAdeleke O. Bankole                                          reaction_force[w * dim + 0], reaction_force[w * dim + 1], reaction_force[w * dim + 2]));
367c5e9980aSAdeleke O. Bankole 
368c5e9980aSAdeleke O. Bankole       } else {
369c5e9980aSAdeleke O. Bankole         PetscCall(PetscViewerASCIIPrintf(viewer, "Wall %" PetscInt_FMT " Forces: Force_x = %12g, Force_y = %12g, Force_z = %12g\n", wall,
370c5e9980aSAdeleke O. Bankole                                          reaction_force[w * dim + 0], reaction_force[w * dim + 1], reaction_force[w * dim + 2]));
371c5e9980aSAdeleke O. Bankole       }
372c5e9980aSAdeleke O. Bankole     }
373c5e9980aSAdeleke O. Bankole   }
374c5e9980aSAdeleke O. Bankole   PetscCall(PetscFree(reaction_force));
375d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
376c5e9980aSAdeleke O. Bankole }
377c5e9980aSAdeleke O. Bankole 
3787538d537SJames Wright // User provided TS Monitor
3792b916ea7SJeremy L Thompson PetscErrorCode TSMonitor_NS(TS ts, PetscInt step_no, PetscReal time, Vec Q, void *ctx) {
3807538d537SJames Wright   User user = ctx;
3817538d537SJames Wright 
38206f41313SJames Wright   PetscFunctionBeginUser;
383852e5969SJed Brown   // Print every 'checkpoint_interval' steps
384c539088bSJames Wright   if (user->app_ctx->checkpoint_interval <= 0 || step_no % user->app_ctx->checkpoint_interval != 0 ||
385e419654dSJeremy L Thompson       (user->app_ctx->cont_steps == step_no && step_no != 0)) {
386d949ddfcSJames Wright     PetscFunctionReturn(PETSC_SUCCESS);
387e419654dSJeremy L Thompson   }
3887538d537SJames Wright 
3897538d537SJames Wright   PetscCall(WriteOutput(user, Q, step_no, time));
390d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
391a515125bSLeila Ghaffari }
392a515125bSLeila Ghaffari 
393a515125bSLeila Ghaffari // TS: Create, setup, and solve
3942b916ea7SJeremy L Thompson PetscErrorCode TSSolve_NS(DM dm, User user, AppCtx app_ctx, Physics phys, Vec *Q, PetscScalar *f_time, TS *ts) {
395a515125bSLeila Ghaffari   MPI_Comm    comm = user->comm;
396a515125bSLeila Ghaffari   TSAdapt     adapt;
397a515125bSLeila Ghaffari   PetscScalar final_time;
398a515125bSLeila Ghaffari 
39906f41313SJames Wright   PetscFunctionBeginUser;
4002b916ea7SJeremy L Thompson   PetscCall(TSCreate(comm, ts));
4012b916ea7SJeremy L Thompson   PetscCall(TSSetDM(*ts, dm));
402*632a41e1SJames Wright   PetscCall(TSSetApplicationContext(*ts, user));
403a515125bSLeila Ghaffari   if (phys->implicit) {
4042b916ea7SJeremy L Thompson     PetscCall(TSSetType(*ts, TSBDF));
405a515125bSLeila Ghaffari     if (user->op_ifunction) {
4062b916ea7SJeremy L Thompson       PetscCall(TSSetIFunction(*ts, NULL, IFunction_NS, &user));
407a515125bSLeila Ghaffari     } else {  // Implicit integrators can fall back to using an RHSFunction
4082b916ea7SJeremy L Thompson       PetscCall(TSSetRHSFunction(*ts, NULL, RHS_NS, &user));
409a515125bSLeila Ghaffari     }
410f0b65372SJed Brown     if (user->op_ijacobian) {
4112b916ea7SJeremy L Thompson       PetscCall(DMTSSetIJacobian(dm, FormIJacobian_NS, &user));
412b107fddaSJed Brown       if (app_ctx->amat_type) {
413b107fddaSJed Brown         Mat Pmat, Amat;
4142b916ea7SJeremy L Thompson         PetscCall(DMCreateMatrix(dm, &Pmat));
4152b916ea7SJeremy L Thompson         PetscCall(DMSetMatType(dm, app_ctx->amat_type));
4162b916ea7SJeremy L Thompson         PetscCall(DMCreateMatrix(dm, &Amat));
4172b916ea7SJeremy L Thompson         PetscCall(TSSetIJacobian(*ts, Amat, Pmat, NULL, NULL));
4182b916ea7SJeremy L Thompson         PetscCall(MatDestroy(&Amat));
4192b916ea7SJeremy L Thompson         PetscCall(MatDestroy(&Pmat));
420b107fddaSJed Brown       }
421f0b65372SJed Brown     }
422a515125bSLeila Ghaffari   } else {
423da5fe0e4SJames Wright     PetscCheck(user->op_rhs_ctx, comm, PETSC_ERR_ARG_NULL, "Problem does not provide RHSFunction");
4242b916ea7SJeremy L Thompson     PetscCall(TSSetType(*ts, TSRK));
4252b916ea7SJeremy L Thompson     PetscCall(TSRKSetType(*ts, TSRK5F));
4262b916ea7SJeremy L Thompson     PetscCall(TSSetRHSFunction(*ts, NULL, RHS_NS, &user));
427a515125bSLeila Ghaffari   }
4282b916ea7SJeremy L Thompson   PetscCall(TSSetMaxTime(*ts, 500. * user->units->second));
4292b916ea7SJeremy L Thompson   PetscCall(TSSetExactFinalTime(*ts, TS_EXACTFINALTIME_STEPOVER));
43022387d3aSJames Wright   if (app_ctx->test_type == TESTTYPE_NONE) PetscCall(TSSetErrorIfStepFails(*ts, PETSC_FALSE));
4312b916ea7SJeremy L Thompson   PetscCall(TSSetTimeStep(*ts, 1.e-2 * user->units->second));
4322b916ea7SJeremy L Thompson   PetscCall(TSGetAdapt(*ts, &adapt));
4332b916ea7SJeremy L Thompson   PetscCall(TSAdaptSetStepLimits(adapt, 1.e-12 * user->units->second, 1.e2 * user->units->second));
4342b916ea7SJeremy L Thompson   PetscCall(TSSetFromOptions(*ts));
43591f639d2SJames Wright   user->time_bc_set = -1.0;   // require all BCs be updated
436c26b555cSJames Wright   if (app_ctx->cont_steps) {  // continue from previous timestep data
437a515125bSLeila Ghaffari     PetscInt    count;
438a515125bSLeila Ghaffari     PetscViewer viewer;
4392b916ea7SJeremy L Thompson 
4409293eaa1SJed Brown     if (app_ctx->cont_time <= 0) {  // Legacy files did not include step number and time
4412b916ea7SJeremy L Thompson       PetscCall(PetscViewerBinaryOpen(comm, app_ctx->cont_time_file, FILE_MODE_READ, &viewer));
4429293eaa1SJed Brown       PetscCall(PetscViewerBinaryRead(viewer, &app_ctx->cont_time, 1, &count, PETSC_REAL));
4432b916ea7SJeremy L Thompson       PetscCall(PetscViewerDestroy(&viewer));
4449293eaa1SJed Brown       PetscCheck(app_ctx->cont_steps != -1, comm, PETSC_ERR_ARG_INCOMP,
4459293eaa1SJed Brown                  "-continue step number not specified, but checkpoint file does not contain a step number (likely written by older code version)");
4469293eaa1SJed Brown     }
4479293eaa1SJed Brown     PetscCall(TSSetTime(*ts, app_ctx->cont_time * user->units->second));
44874a6f4ddSJed Brown     PetscCall(TSSetStepNumber(*ts, app_ctx->cont_steps));
449a515125bSLeila Ghaffari   }
4500e1e9333SJames Wright   if (app_ctx->test_type == TESTTYPE_NONE) {
4512b916ea7SJeremy L Thompson     PetscCall(TSMonitorSet(*ts, TSMonitor_NS, user, NULL));
4520e1e9333SJames Wright   }
453c5e9980aSAdeleke O. Bankole   if (app_ctx->wall_forces.viewer) {
454c5e9980aSAdeleke O. Bankole     PetscCall(TSMonitorSet(*ts, TSMonitor_WallForce, user, NULL));
455c5e9980aSAdeleke O. Bankole   }
456c931fa59SJames Wright   if (app_ctx->turb_spanstats_enable) {
45791933550SJames Wright     PetscCall(TSMonitorSet(*ts, TSMonitor_TurbulenceStatistics, user, NULL));
458b8daee98SJames Wright     CeedScalar previous_time = app_ctx->cont_time * user->units->second;
459b4c37c5cSJames Wright     PetscCallCeed(user->ceed,
460b4c37c5cSJames Wright                   CeedOperatorSetContextDouble(user->spanstats.op_stats_collect_ctx->op, user->spanstats.previous_time_label, &previous_time));
461b0488d1fSJames Wright   }
46288b07121SJames Wright   if (app_ctx->diff_filter_monitor) PetscCall(TSMonitorSet(*ts, TSMonitor_DifferentialFilter, user, NULL));
463a515125bSLeila Ghaffari 
464a515125bSLeila Ghaffari   // Solve
46574a6f4ddSJed Brown   PetscReal start_time;
46674a6f4ddSJed Brown   PetscInt  start_step;
4672b916ea7SJeremy L Thompson   PetscCall(TSGetTime(*ts, &start_time));
46874a6f4ddSJed Brown   PetscCall(TSGetStepNumber(*ts, &start_step));
46991982731SJeremy L Thompson 
470df4304b5SJed Brown   PetscCall(PetscLogDefaultBegin());  // So we can use PetscLogStageGetPerfInfo without -log_view
47191982731SJeremy L Thompson   PetscPreLoadBegin(PETSC_FALSE, "Fluids Solve");
47291982731SJeremy L Thompson   PetscCall(TSSetTime(*ts, start_time));
47374a6f4ddSJed Brown   PetscCall(TSSetStepNumber(*ts, start_step));
47491982731SJeremy L Thompson   if (PetscPreLoadingOn) {
47591982731SJeremy L Thompson     // LCOV_EXCL_START
47691982731SJeremy L Thompson     SNES      snes;
47791982731SJeremy L Thompson     Vec       Q_preload;
47891982731SJeremy L Thompson     PetscReal rtol;
47991982731SJeremy L Thompson     PetscCall(VecDuplicate(*Q, &Q_preload));
48091982731SJeremy L Thompson     PetscCall(VecCopy(*Q, Q_preload));
48191982731SJeremy L Thompson     PetscCall(TSGetSNES(*ts, &snes));
48291982731SJeremy L Thompson     PetscCall(SNESGetTolerances(snes, NULL, &rtol, NULL, NULL, NULL));
4832b916ea7SJeremy L Thompson     PetscCall(SNESSetTolerances(snes, PETSC_DEFAULT, .99, PETSC_DEFAULT, PETSC_DEFAULT, PETSC_DEFAULT));
48422c1b34eSJames Wright     PetscCall(TSSetSolution(*ts, Q_preload));
48591982731SJeremy L Thompson     PetscCall(TSStep(*ts));
4862b916ea7SJeremy L Thompson     PetscCall(SNESSetTolerances(snes, PETSC_DEFAULT, rtol, PETSC_DEFAULT, PETSC_DEFAULT, PETSC_DEFAULT));
48791982731SJeremy L Thompson     PetscCall(VecDestroy(&Q_preload));
48891982731SJeremy L Thompson     // LCOV_EXCL_STOP
48991982731SJeremy L Thompson   } else {
4902b916ea7SJeremy L Thompson     PetscCall(PetscBarrier((PetscObject)*ts));
4912b916ea7SJeremy L Thompson     PetscCall(TSSolve(*ts, *Q));
49291982731SJeremy L Thompson   }
49391982731SJeremy L Thompson   PetscPreLoadEnd();
49491982731SJeremy L Thompson 
49591982731SJeremy L Thompson   PetscCall(TSGetSolveTime(*ts, &final_time));
496a515125bSLeila Ghaffari   *f_time = final_time;
49791982731SJeremy L Thompson 
4980e1e9333SJames Wright   if (app_ctx->test_type == TESTTYPE_NONE) {
4997538d537SJames Wright     PetscInt step_no;
5007538d537SJames Wright     PetscCall(TSGetStepNumber(*ts, &step_no));
501b0488d1fSJames Wright     if (user->app_ctx->checkpoint_interval > 0 || user->app_ctx->checkpoint_interval == -1) {
5027538d537SJames Wright       PetscCall(WriteOutput(user, *Q, step_no, final_time));
5037538d537SJames Wright     }
5047538d537SJames Wright 
5057eedc94cSJames Wright     PetscLogStage      stage_id;
506df4304b5SJed Brown     PetscEventPerfInfo stage_perf;
50791982731SJeremy L Thompson 
50891982731SJeremy L Thompson     PetscCall(PetscLogStageGetId("Fluids Solve", &stage_id));
509df4304b5SJed Brown     PetscCall(PetscLogStageGetPerfInfo(stage_id, &stage_perf));
510df4304b5SJed Brown     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Time taken for solution (sec): %g\n", stage_perf.time));
511a515125bSLeila Ghaffari   }
512d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
513a515125bSLeila Ghaffari }
514