xref: /honee/src/setupts.c (revision d940ca4e6fc01bb814648519a121b05c796e4d1d)
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 
11a515125bSLeila Ghaffari #include "../navierstokes.h"
12a515125bSLeila Ghaffari #include "../qfunctions/mass.h"
13a515125bSLeila Ghaffari 
14a515125bSLeila Ghaffari // Compute mass matrix for explicit scheme
15a515125bSLeila Ghaffari PetscErrorCode ComputeLumpedMassMatrix(Ceed ceed, DM dm, CeedData ceed_data,
16a515125bSLeila Ghaffari                                        Vec M) {
17a515125bSLeila Ghaffari   Vec            M_loc;
18a515125bSLeila Ghaffari   CeedQFunction  qf_mass;
19a515125bSLeila Ghaffari   CeedOperator   op_mass;
20a515125bSLeila Ghaffari   CeedVector     m_ceed, ones_vec;
21a515125bSLeila Ghaffari   CeedInt        num_comp_q, q_data_size;
22a515125bSLeila Ghaffari   PetscErrorCode ierr;
23a515125bSLeila Ghaffari   PetscFunctionBeginUser;
24a515125bSLeila Ghaffari 
25a515125bSLeila Ghaffari   // CEED Restriction
26a515125bSLeila Ghaffari   CeedElemRestrictionGetNumComponents(ceed_data->elem_restr_q, &num_comp_q);
27a515125bSLeila Ghaffari   CeedElemRestrictionGetNumComponents(ceed_data->elem_restr_qd_i, &q_data_size);
28a515125bSLeila Ghaffari   CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &m_ceed, NULL);
29a515125bSLeila Ghaffari   CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &ones_vec, NULL);
30a515125bSLeila Ghaffari   CeedVectorSetValue(ones_vec, 1.0);
31a515125bSLeila Ghaffari 
32a515125bSLeila Ghaffari   // CEED QFunction
33a515125bSLeila Ghaffari   CeedQFunctionCreateInterior(ceed, 1, Mass, Mass_loc, &qf_mass);
34a515125bSLeila Ghaffari   CeedQFunctionAddInput(qf_mass, "q", num_comp_q, CEED_EVAL_INTERP);
353b1e209bSJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "qdata", q_data_size, CEED_EVAL_NONE);
36a515125bSLeila Ghaffari   CeedQFunctionAddOutput(qf_mass, "v", num_comp_q, CEED_EVAL_INTERP);
37a515125bSLeila Ghaffari 
38a515125bSLeila Ghaffari   // CEED Operator
39a515125bSLeila Ghaffari   CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass);
40a515125bSLeila Ghaffari   CeedOperatorSetField(op_mass, "q", ceed_data->elem_restr_q, ceed_data->basis_q,
41a515125bSLeila Ghaffari                        CEED_VECTOR_ACTIVE);
423b1e209bSJeremy L Thompson   CeedOperatorSetField(op_mass, "qdata", ceed_data->elem_restr_qd_i,
43a515125bSLeila Ghaffari                        CEED_BASIS_COLLOCATED, ceed_data->q_data);
44a515125bSLeila Ghaffari   CeedOperatorSetField(op_mass, "v", ceed_data->elem_restr_q, ceed_data->basis_q,
45a515125bSLeila Ghaffari                        CEED_VECTOR_ACTIVE);
46a515125bSLeila Ghaffari 
47a515125bSLeila Ghaffari   // Place PETSc vector in CEED vector
48a515125bSLeila Ghaffari   CeedScalar *m;
49a515125bSLeila Ghaffari   PetscMemType m_mem_type;
50a515125bSLeila Ghaffari   ierr = DMGetLocalVector(dm, &M_loc); CHKERRQ(ierr);
51a515125bSLeila Ghaffari   ierr = VecGetArrayAndMemType(M_loc, (PetscScalar **)&m, &m_mem_type);
52a515125bSLeila Ghaffari   CHKERRQ(ierr);
53a515125bSLeila Ghaffari   CeedVectorSetArray(m_ceed, MemTypeP2C(m_mem_type), CEED_USE_POINTER, m);
54a515125bSLeila Ghaffari 
55a515125bSLeila Ghaffari   // Apply CEED Operator
56a515125bSLeila Ghaffari   CeedOperatorApply(op_mass, ones_vec, m_ceed, CEED_REQUEST_IMMEDIATE);
57a515125bSLeila Ghaffari 
58a515125bSLeila Ghaffari   // Restore vectors
59a515125bSLeila Ghaffari   CeedVectorTakeArray(m_ceed, MemTypeP2C(m_mem_type), NULL);
60a515125bSLeila Ghaffari   ierr = VecRestoreArrayReadAndMemType(M_loc, (const PetscScalar **)&m);
61a515125bSLeila Ghaffari   CHKERRQ(ierr);
62a515125bSLeila Ghaffari 
63a515125bSLeila Ghaffari   // Local-to-Global
64a515125bSLeila Ghaffari   ierr = VecZeroEntries(M); CHKERRQ(ierr);
65a515125bSLeila Ghaffari   ierr = DMLocalToGlobal(dm, M_loc, ADD_VALUES, M); CHKERRQ(ierr);
66a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(dm, &M_loc); CHKERRQ(ierr);
67a515125bSLeila Ghaffari 
68a515125bSLeila Ghaffari   // Invert diagonally lumped mass vector for RHS function
69a515125bSLeila Ghaffari   ierr = VecReciprocal(M); CHKERRQ(ierr);
70a515125bSLeila Ghaffari 
71a515125bSLeila Ghaffari   // Cleanup
72a515125bSLeila Ghaffari   CeedVectorDestroy(&ones_vec);
73a515125bSLeila Ghaffari   CeedVectorDestroy(&m_ceed);
74a515125bSLeila Ghaffari   CeedQFunctionDestroy(&qf_mass);
75a515125bSLeila Ghaffari   CeedOperatorDestroy(&op_mass);
76a515125bSLeila Ghaffari 
77a515125bSLeila Ghaffari   PetscFunctionReturn(0);
78a515125bSLeila Ghaffari }
79a515125bSLeila Ghaffari 
80a515125bSLeila Ghaffari // RHS (Explicit time-stepper) function setup
81a515125bSLeila Ghaffari //   This is the RHS of the ODE, given as u_t = G(t,u)
82a515125bSLeila Ghaffari //   This function takes in a state vector Q and writes into G
83a515125bSLeila Ghaffari PetscErrorCode RHS_NS(TS ts, PetscReal t, Vec Q, Vec G, void *user_data) {
84a515125bSLeila Ghaffari 
85a515125bSLeila Ghaffari   User           user = *(User *)user_data;
86a515125bSLeila Ghaffari   PetscScalar    *q, *g;
87a515125bSLeila Ghaffari   Vec            Q_loc, G_loc;
88a515125bSLeila Ghaffari   PetscMemType   q_mem_type, g_mem_type;
89a515125bSLeila Ghaffari   PetscErrorCode ierr;
90a515125bSLeila Ghaffari   PetscFunctionBeginUser;
91a515125bSLeila Ghaffari 
92a515125bSLeila Ghaffari   // Update EulerContext
93a515125bSLeila Ghaffari   if (user->phys->has_curr_time) user->phys->euler_ctx->curr_time = t;
94a515125bSLeila Ghaffari 
95a515125bSLeila Ghaffari   // Get local vectors
96a515125bSLeila Ghaffari   ierr = DMGetLocalVector(user->dm, &Q_loc); CHKERRQ(ierr);
97a515125bSLeila Ghaffari   ierr = DMGetLocalVector(user->dm, &G_loc); CHKERRQ(ierr);
98a515125bSLeila Ghaffari 
99a515125bSLeila Ghaffari   // Global-to-local
100a515125bSLeila Ghaffari   ierr = VecZeroEntries(Q_loc); CHKERRQ(ierr);
101a515125bSLeila Ghaffari   ierr = DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc); CHKERRQ(ierr);
102a515125bSLeila Ghaffari   ierr = DMPlexInsertBoundaryValues(user->dm, PETSC_TRUE, Q_loc, 0.0,
103a515125bSLeila Ghaffari                                     NULL, NULL, NULL); CHKERRQ(ierr);
104a515125bSLeila Ghaffari   ierr = VecZeroEntries(G_loc); CHKERRQ(ierr);
105a515125bSLeila Ghaffari 
106a515125bSLeila Ghaffari   // Place PETSc vectors in CEED vectors
107a515125bSLeila Ghaffari   ierr = VecGetArrayReadAndMemType(Q_loc, (const PetscScalar **)&q, &q_mem_type);
108a515125bSLeila Ghaffari   CHKERRQ(ierr);
109a515125bSLeila Ghaffari   ierr = VecGetArrayAndMemType(G_loc, &g, &g_mem_type); CHKERRQ(ierr);
110a515125bSLeila Ghaffari   CeedVectorSetArray(user->q_ceed, MemTypeP2C(q_mem_type), CEED_USE_POINTER, q);
111a515125bSLeila Ghaffari   CeedVectorSetArray(user->g_ceed, MemTypeP2C(g_mem_type), CEED_USE_POINTER, g);
112a515125bSLeila Ghaffari 
113a515125bSLeila Ghaffari   // Apply CEED operator
114a515125bSLeila Ghaffari   CeedOperatorApply(user->op_rhs, user->q_ceed, user->g_ceed,
115a515125bSLeila Ghaffari                     CEED_REQUEST_IMMEDIATE);
116a515125bSLeila Ghaffari 
117a515125bSLeila Ghaffari   // Restore vectors
118a515125bSLeila Ghaffari   CeedVectorTakeArray(user->q_ceed, MemTypeP2C(q_mem_type), NULL);
119a515125bSLeila Ghaffari   CeedVectorTakeArray(user->g_ceed, MemTypeP2C(g_mem_type), NULL);
120a515125bSLeila Ghaffari   ierr = VecRestoreArrayReadAndMemType(Q_loc, (const PetscScalar **)&q);
121a515125bSLeila Ghaffari   CHKERRQ(ierr);
122a515125bSLeila Ghaffari   ierr = VecRestoreArrayAndMemType(G_loc, &g); CHKERRQ(ierr);
123a515125bSLeila Ghaffari 
124a515125bSLeila Ghaffari   // Local-to-Global
125a515125bSLeila Ghaffari   ierr = VecZeroEntries(G); CHKERRQ(ierr);
126a515125bSLeila Ghaffari   ierr = DMLocalToGlobal(user->dm, G_loc, ADD_VALUES, G); CHKERRQ(ierr);
127a515125bSLeila Ghaffari 
128a515125bSLeila Ghaffari   // Inverse of the lumped mass matrix (M is Minv)
129a515125bSLeila Ghaffari   ierr = VecPointwiseMult(G, G, user->M); CHKERRQ(ierr);
130a515125bSLeila Ghaffari 
131a515125bSLeila Ghaffari   // Restore vectors
132a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(user->dm, &Q_loc); CHKERRQ(ierr);
133a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(user->dm, &G_loc); CHKERRQ(ierr);
134a515125bSLeila Ghaffari 
135a515125bSLeila Ghaffari   PetscFunctionReturn(0);
136a515125bSLeila Ghaffari }
137a515125bSLeila Ghaffari 
138a515125bSLeila Ghaffari // Implicit time-stepper function setup
139a515125bSLeila Ghaffari PetscErrorCode IFunction_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, Vec G,
140a515125bSLeila Ghaffari                             void *user_data) {
141a515125bSLeila Ghaffari   User              user = *(User *)user_data;
142a515125bSLeila Ghaffari   const PetscScalar *q, *q_dot;
143a515125bSLeila Ghaffari   PetscScalar       *g;
144a515125bSLeila Ghaffari   Vec               Q_loc, Q_dot_loc, G_loc;
145a515125bSLeila Ghaffari   PetscMemType      q_mem_type, q_dot_mem_type, g_mem_type;
146a515125bSLeila Ghaffari   PetscErrorCode    ierr;
147a515125bSLeila Ghaffari   PetscFunctionBeginUser;
148a515125bSLeila Ghaffari 
149a515125bSLeila Ghaffari   // Update EulerContext
150a515125bSLeila Ghaffari   if (user->phys->has_curr_time) user->phys->euler_ctx->curr_time = t;
151a515125bSLeila Ghaffari 
152a515125bSLeila Ghaffari   // Get local vectors
153a515125bSLeila Ghaffari   ierr = DMGetLocalVector(user->dm, &Q_loc); CHKERRQ(ierr);
154a515125bSLeila Ghaffari   ierr = DMGetLocalVector(user->dm, &Q_dot_loc); CHKERRQ(ierr);
155a515125bSLeila Ghaffari   ierr = DMGetLocalVector(user->dm, &G_loc); CHKERRQ(ierr);
156a515125bSLeila Ghaffari 
157a515125bSLeila Ghaffari   // Global-to-local
158a515125bSLeila Ghaffari   ierr = VecZeroEntries(Q_loc); CHKERRQ(ierr);
159a515125bSLeila Ghaffari   ierr = DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc); CHKERRQ(ierr);
160a515125bSLeila Ghaffari   ierr = DMPlexInsertBoundaryValues(user->dm, PETSC_TRUE, Q_loc, 0.0,
161a515125bSLeila Ghaffari                                     NULL, NULL, NULL); CHKERRQ(ierr);
162a515125bSLeila Ghaffari   ierr = VecZeroEntries(Q_dot_loc); CHKERRQ(ierr);
163a515125bSLeila Ghaffari   ierr = DMGlobalToLocal(user->dm, Q_dot, INSERT_VALUES, Q_dot_loc);
164a515125bSLeila Ghaffari   CHKERRQ(ierr);
165a515125bSLeila Ghaffari   ierr = VecZeroEntries(G_loc); CHKERRQ(ierr);
166a515125bSLeila Ghaffari 
167a515125bSLeila Ghaffari   // Place PETSc vectors in CEED vectors
168a515125bSLeila Ghaffari   ierr = VecGetArrayReadAndMemType(Q_loc, &q, &q_mem_type); CHKERRQ(ierr);
169a515125bSLeila Ghaffari   ierr = VecGetArrayReadAndMemType(Q_dot_loc, &q_dot, &q_dot_mem_type);
170a515125bSLeila Ghaffari   CHKERRQ(ierr);
171a515125bSLeila Ghaffari   ierr = VecGetArrayAndMemType(G_loc, &g, &g_mem_type); CHKERRQ(ierr);
172a515125bSLeila Ghaffari   CeedVectorSetArray(user->q_ceed, MemTypeP2C(q_mem_type), CEED_USE_POINTER,
173a515125bSLeila Ghaffari                      (PetscScalar *)q);
174a515125bSLeila Ghaffari   CeedVectorSetArray(user->q_dot_ceed, MemTypeP2C(q_dot_mem_type),
175139613f2SLeila Ghaffari                      CEED_USE_POINTER, (PetscScalar *)q_dot);
176a515125bSLeila Ghaffari   CeedVectorSetArray(user->g_ceed, MemTypeP2C(g_mem_type), CEED_USE_POINTER, g);
177a515125bSLeila Ghaffari 
178a515125bSLeila Ghaffari   // Apply CEED operator
179a515125bSLeila Ghaffari   CeedOperatorApply(user->op_ifunction, user->q_ceed, user->g_ceed,
180a515125bSLeila Ghaffari                     CEED_REQUEST_IMMEDIATE);
181a515125bSLeila Ghaffari 
182a515125bSLeila Ghaffari   // Restore vectors
183a515125bSLeila Ghaffari   CeedVectorTakeArray(user->q_ceed, MemTypeP2C(q_mem_type), NULL);
184a515125bSLeila Ghaffari   CeedVectorTakeArray(user->q_dot_ceed, MemTypeP2C(q_dot_mem_type), NULL);
185a515125bSLeila Ghaffari   CeedVectorTakeArray(user->g_ceed, MemTypeP2C(g_mem_type), NULL);
186a515125bSLeila Ghaffari   ierr = VecRestoreArrayReadAndMemType(Q_loc, &q); CHKERRQ(ierr);
187a515125bSLeila Ghaffari   ierr = VecRestoreArrayReadAndMemType(Q_dot_loc, &q_dot); CHKERRQ(ierr);
188a515125bSLeila Ghaffari   ierr = VecRestoreArrayAndMemType(G_loc, &g); CHKERRQ(ierr);
189a515125bSLeila Ghaffari 
190a515125bSLeila Ghaffari   // Local-to-Global
191a515125bSLeila Ghaffari   ierr = VecZeroEntries(G); CHKERRQ(ierr);
192a515125bSLeila Ghaffari   ierr = DMLocalToGlobal(user->dm, G_loc, ADD_VALUES, G); CHKERRQ(ierr);
193a515125bSLeila Ghaffari 
194a515125bSLeila Ghaffari   // Restore vectors
195a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(user->dm, &Q_loc); CHKERRQ(ierr);
196a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(user->dm, &Q_dot_loc); CHKERRQ(ierr);
197a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(user->dm, &G_loc); CHKERRQ(ierr);
198a515125bSLeila Ghaffari 
199a515125bSLeila Ghaffari   PetscFunctionReturn(0);
200a515125bSLeila Ghaffari }
201a515125bSLeila Ghaffari 
202a515125bSLeila Ghaffari // User provided TS Monitor
203a515125bSLeila Ghaffari PetscErrorCode TSMonitor_NS(TS ts, PetscInt step_no, PetscReal time,
204a515125bSLeila Ghaffari                             Vec Q, void *ctx) {
205a515125bSLeila Ghaffari   User           user = ctx;
206a515125bSLeila Ghaffari   Vec            Q_loc;
207a515125bSLeila Ghaffari   char           file_path[PETSC_MAX_PATH_LEN];
208a515125bSLeila Ghaffari   PetscViewer    viewer;
209a515125bSLeila Ghaffari   PetscErrorCode ierr;
210a515125bSLeila Ghaffari   PetscFunctionBeginUser;
211a515125bSLeila Ghaffari 
212a515125bSLeila Ghaffari   // Print every 'output_freq' steps
213a515125bSLeila Ghaffari   if (step_no % user->app_ctx->output_freq != 0)
214a515125bSLeila Ghaffari     PetscFunctionReturn(0);
215a515125bSLeila Ghaffari 
216a515125bSLeila Ghaffari   // Set up output
217a515125bSLeila Ghaffari   ierr = DMGetLocalVector(user->dm, &Q_loc); CHKERRQ(ierr);
218a515125bSLeila Ghaffari   ierr = PetscObjectSetName((PetscObject)Q_loc, "StateVec"); CHKERRQ(ierr);
219a515125bSLeila Ghaffari   ierr = VecZeroEntries(Q_loc); CHKERRQ(ierr);
220a515125bSLeila Ghaffari   ierr = DMGlobalToLocal(user->dm, Q, INSERT_VALUES, Q_loc); CHKERRQ(ierr);
221a515125bSLeila Ghaffari 
222a515125bSLeila Ghaffari   // Output
223*d940ca4eSJed Brown   ierr = PetscSNPrintf(file_path, sizeof file_path,
224*d940ca4eSJed Brown                        "%s/ns-%03" PetscInt_FMT ".vtu",
225a515125bSLeila Ghaffari                        user->app_ctx->output_dir, step_no + user->app_ctx->cont_steps);
226a515125bSLeila Ghaffari   CHKERRQ(ierr);
227a515125bSLeila Ghaffari   ierr = PetscViewerVTKOpen(PetscObjectComm((PetscObject)Q), file_path,
228a515125bSLeila Ghaffari                             FILE_MODE_WRITE, &viewer); CHKERRQ(ierr);
229a515125bSLeila Ghaffari   ierr = VecView(Q_loc, viewer); CHKERRQ(ierr);
230a515125bSLeila Ghaffari   ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr);
231a515125bSLeila Ghaffari   if (user->dm_viz) {
232a515125bSLeila Ghaffari     Vec         Q_refined, Q_refined_loc;
233a515125bSLeila Ghaffari     char        file_path_refined[PETSC_MAX_PATH_LEN];
234a515125bSLeila Ghaffari     PetscViewer viewer_refined;
235a515125bSLeila Ghaffari 
236a515125bSLeila Ghaffari     ierr = DMGetGlobalVector(user->dm_viz, &Q_refined); CHKERRQ(ierr);
237a515125bSLeila Ghaffari     ierr = DMGetLocalVector(user->dm_viz, &Q_refined_loc); CHKERRQ(ierr);
238a515125bSLeila Ghaffari     ierr = PetscObjectSetName((PetscObject)Q_refined_loc, "Refined");
239a515125bSLeila Ghaffari     CHKERRQ(ierr);
240a515125bSLeila Ghaffari     ierr = MatInterpolate(user->interp_viz, Q, Q_refined); CHKERRQ(ierr);
241a515125bSLeila Ghaffari     ierr = VecZeroEntries(Q_refined_loc); CHKERRQ(ierr);
242a515125bSLeila Ghaffari     ierr = DMGlobalToLocal(user->dm_viz, Q_refined, INSERT_VALUES, Q_refined_loc);
243a515125bSLeila Ghaffari     CHKERRQ(ierr);
244a515125bSLeila Ghaffari     ierr = PetscSNPrintf(file_path_refined, sizeof file_path_refined,
245*d940ca4eSJed Brown                          "%s/nsrefined-%03" PetscInt_FMT ".vtu", user->app_ctx->output_dir,
246139613f2SLeila Ghaffari                          step_no + user->app_ctx->cont_steps);
247a515125bSLeila Ghaffari     CHKERRQ(ierr);
248a515125bSLeila Ghaffari     ierr = PetscViewerVTKOpen(PetscObjectComm((PetscObject)Q_refined),
249139613f2SLeila Ghaffari                               file_path_refined, FILE_MODE_WRITE, &viewer_refined); CHKERRQ(ierr);
250a515125bSLeila Ghaffari     ierr = VecView(Q_refined_loc, viewer_refined); CHKERRQ(ierr);
251a515125bSLeila Ghaffari     ierr = DMRestoreLocalVector(user->dm_viz, &Q_refined_loc); CHKERRQ(ierr);
252a515125bSLeila Ghaffari     ierr = DMRestoreGlobalVector(user->dm_viz, &Q_refined); CHKERRQ(ierr);
253a515125bSLeila Ghaffari     ierr = PetscViewerDestroy(&viewer_refined); CHKERRQ(ierr);
254a515125bSLeila Ghaffari   }
255a515125bSLeila Ghaffari   ierr = DMRestoreLocalVector(user->dm, &Q_loc); CHKERRQ(ierr);
256a515125bSLeila Ghaffari 
257a515125bSLeila Ghaffari   // Save data in a binary file for continuation of simulations
258a515125bSLeila Ghaffari   ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-solution.bin",
259a515125bSLeila Ghaffari                        user->app_ctx->output_dir); CHKERRQ(ierr);
260a515125bSLeila Ghaffari   ierr = PetscViewerBinaryOpen(user->comm, file_path, FILE_MODE_WRITE, &viewer);
261a515125bSLeila Ghaffari   CHKERRQ(ierr);
262a515125bSLeila Ghaffari   ierr = VecView(Q, viewer); CHKERRQ(ierr);
263a515125bSLeila Ghaffari   ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr);
264a515125bSLeila Ghaffari 
265a515125bSLeila Ghaffari   // Save time stamp
266a515125bSLeila Ghaffari   // Dimensionalize time back
267a515125bSLeila Ghaffari   time /= user->units->second;
268a515125bSLeila Ghaffari   ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-time.bin",
269a515125bSLeila Ghaffari                        user->app_ctx->output_dir); CHKERRQ(ierr);
270a515125bSLeila Ghaffari   ierr = PetscViewerBinaryOpen(user->comm, file_path, FILE_MODE_WRITE, &viewer);
271a515125bSLeila Ghaffari   CHKERRQ(ierr);
272a515125bSLeila Ghaffari   #if PETSC_VERSION_GE(3,13,0)
273a515125bSLeila Ghaffari   ierr = PetscViewerBinaryWrite(viewer, &time, 1, PETSC_REAL);
274a515125bSLeila Ghaffari   #else
275a515125bSLeila Ghaffari   ierr = PetscViewerBinaryWrite(viewer, &time, 1, PETSC_REAL, true);
276a515125bSLeila Ghaffari   #endif
277a515125bSLeila Ghaffari   CHKERRQ(ierr);
278a515125bSLeila Ghaffari   ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr);
279a515125bSLeila Ghaffari 
280a515125bSLeila Ghaffari   PetscFunctionReturn(0);
281a515125bSLeila Ghaffari }
282a515125bSLeila Ghaffari 
283a515125bSLeila Ghaffari // TS: Create, setup, and solve
284a515125bSLeila Ghaffari PetscErrorCode TSSolve_NS(DM dm, User user, AppCtx app_ctx, Physics phys,
285a515125bSLeila Ghaffari                           Vec *Q, PetscScalar *f_time, TS *ts) {
286a515125bSLeila Ghaffari   MPI_Comm       comm = user->comm;
287a515125bSLeila Ghaffari   TSAdapt        adapt;
288a515125bSLeila Ghaffari   PetscScalar    final_time;
289a515125bSLeila Ghaffari   PetscErrorCode ierr;
290a515125bSLeila Ghaffari   PetscFunctionBeginUser;
291a515125bSLeila Ghaffari 
292a515125bSLeila Ghaffari   ierr = TSCreate(comm, ts); CHKERRQ(ierr);
293a515125bSLeila Ghaffari   ierr = TSSetDM(*ts, dm); CHKERRQ(ierr);
294a515125bSLeila Ghaffari   if (phys->implicit) {
295a515125bSLeila Ghaffari     ierr = TSSetType(*ts, TSBDF); CHKERRQ(ierr);
296a515125bSLeila Ghaffari     if (user->op_ifunction) {
297a515125bSLeila Ghaffari       ierr = TSSetIFunction(*ts, NULL, IFunction_NS, &user); CHKERRQ(ierr);
298a515125bSLeila Ghaffari     } else { // Implicit integrators can fall back to using an RHSFunction
299a515125bSLeila Ghaffari       ierr = TSSetRHSFunction(*ts, NULL, RHS_NS, &user); CHKERRQ(ierr);
300a515125bSLeila Ghaffari     }
301a515125bSLeila Ghaffari   } else {
302a515125bSLeila Ghaffari     if (!user->op_rhs) SETERRQ(comm, PETSC_ERR_ARG_NULL,
303a515125bSLeila Ghaffari                                  "Problem does not provide RHSFunction");
304a515125bSLeila Ghaffari     ierr = TSSetType(*ts, TSRK); CHKERRQ(ierr);
305a515125bSLeila Ghaffari     ierr = TSRKSetType(*ts, TSRK5F); CHKERRQ(ierr);
306a515125bSLeila Ghaffari     ierr = TSSetRHSFunction(*ts, NULL, RHS_NS, &user); CHKERRQ(ierr);
307a515125bSLeila Ghaffari   }
308a515125bSLeila Ghaffari   ierr = TSSetMaxTime(*ts, 500. * user->units->second); CHKERRQ(ierr);
309a515125bSLeila Ghaffari   ierr = TSSetExactFinalTime(*ts, TS_EXACTFINALTIME_STEPOVER); CHKERRQ(ierr);
310a515125bSLeila Ghaffari   ierr = TSSetTimeStep(*ts, 1.e-2 * user->units->second); CHKERRQ(ierr);
311a515125bSLeila Ghaffari   if (app_ctx->test_mode) {ierr = TSSetMaxSteps(*ts, 10); CHKERRQ(ierr);}
312a515125bSLeila Ghaffari   ierr = TSGetAdapt(*ts, &adapt); CHKERRQ(ierr);
313a515125bSLeila Ghaffari   ierr = TSAdaptSetStepLimits(adapt,
314a515125bSLeila Ghaffari                               1.e-12 * user->units->second,
315a515125bSLeila Ghaffari                               1.e2 * user->units->second); CHKERRQ(ierr);
316a515125bSLeila Ghaffari   ierr = TSSetFromOptions(*ts); CHKERRQ(ierr);
317a515125bSLeila Ghaffari   if (!app_ctx->cont_steps) { // print initial condition
318a515125bSLeila Ghaffari     if (!app_ctx->test_mode) {
319a515125bSLeila Ghaffari       ierr = TSMonitor_NS(*ts, 0, 0., *Q, user); CHKERRQ(ierr);
320a515125bSLeila Ghaffari     }
321a515125bSLeila Ghaffari   } else { // continue from time of last output
322a515125bSLeila Ghaffari     PetscReal   time;
323a515125bSLeila Ghaffari     PetscInt    count;
324a515125bSLeila Ghaffari     PetscViewer viewer;
325a515125bSLeila Ghaffari     char        file_path[PETSC_MAX_PATH_LEN];
326a515125bSLeila Ghaffari     ierr = PetscSNPrintf(file_path, sizeof file_path, "%s/ns-time.bin",
327a515125bSLeila Ghaffari                          app_ctx->output_dir); CHKERRQ(ierr);
328a515125bSLeila Ghaffari     ierr = PetscViewerBinaryOpen(comm, file_path, FILE_MODE_READ, &viewer);
329a515125bSLeila Ghaffari     CHKERRQ(ierr);
330a515125bSLeila Ghaffari     ierr = PetscViewerBinaryRead(viewer, &time, 1, &count, PETSC_REAL);
331a515125bSLeila Ghaffari     CHKERRQ(ierr);
332a515125bSLeila Ghaffari     ierr = PetscViewerDestroy(&viewer); CHKERRQ(ierr);
333a515125bSLeila Ghaffari     ierr = TSSetTime(*ts, time * user->units->second); CHKERRQ(ierr);
334a515125bSLeila Ghaffari   }
335a515125bSLeila Ghaffari   if (!app_ctx->test_mode) {
336a515125bSLeila Ghaffari     ierr = TSMonitorSet(*ts, TSMonitor_NS, user, NULL); CHKERRQ(ierr);
337a515125bSLeila Ghaffari   }
338a515125bSLeila Ghaffari 
339a515125bSLeila Ghaffari   // Solve
340a515125bSLeila Ghaffari   double start, cpu_time_used;
341a515125bSLeila Ghaffari   start = MPI_Wtime();
342a515125bSLeila Ghaffari   ierr = PetscBarrier((PetscObject) *ts); CHKERRQ(ierr);
343a515125bSLeila Ghaffari   ierr = TSSolve(*ts, *Q); CHKERRQ(ierr);
344a515125bSLeila Ghaffari   cpu_time_used = MPI_Wtime() - start;
345a515125bSLeila Ghaffari   ierr = TSGetSolveTime(*ts, &final_time); CHKERRQ(ierr);
346a515125bSLeila Ghaffari   *f_time = final_time;
347a515125bSLeila Ghaffari   ierr = MPI_Allreduce(MPI_IN_PLACE, &cpu_time_used, 1, MPI_DOUBLE, MPI_MIN,
348a515125bSLeila Ghaffari                        comm); CHKERRQ(ierr);
349a515125bSLeila Ghaffari   if (!app_ctx->test_mode) {
350a515125bSLeila Ghaffari     ierr = PetscPrintf(PETSC_COMM_WORLD,
351a515125bSLeila Ghaffari                        "Time taken for solution (sec): %g\n",
352a515125bSLeila Ghaffari                        (double)cpu_time_used); CHKERRQ(ierr);
353a515125bSLeila Ghaffari   }
354a515125bSLeila Ghaffari   PetscFunctionReturn(0);
355a515125bSLeila Ghaffari }
356