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