13d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 377841947SLeila Ghaffari // 43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 577841947SLeila Ghaffari // 63d8e8822SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 777841947SLeila Ghaffari 8b7c563b6SJeremy L Thompson #ifndef libceed_fluids_examples_navier_stokes_h 9b7c563b6SJeremy L Thompson #define libceed_fluids_examples_navier_stokes_h 1077841947SLeila Ghaffari 1177841947SLeila Ghaffari #include <ceed.h> 1277841947SLeila Ghaffari #include <petscts.h> 1377841947SLeila Ghaffari #include <stdbool.h> 142b730f8bSJeremy L Thompson 154021610dSJames Wright #include "./include/petsc_ops.h" 1697baf651SJames Wright #include "qfunctions/newtonian_types.h" 172b730f8bSJeremy L Thompson #include "qfunctions/stabilization_types.h" 1877841947SLeila Ghaffari 19d31f425aSJeremy L Thompson #if PETSC_VERSION_LT(3, 20, 0) 20d31f425aSJeremy L Thompson #error "PETSc v3.20 or later is required" 2177841947SLeila Ghaffari #endif 2277841947SLeila Ghaffari 2349a40c8aSKenneth E. Jansen #if PETSC_VERSION_LT(3, 21, 0) 2449a40c8aSKenneth E. Jansen #define DMSetCoordinateDisc(a, b, c) DMProjectCoordinates(a, b) 2549a40c8aSKenneth E. Jansen #endif 2649a40c8aSKenneth E. Jansen 27d9d458caSJames Wright #define PetscCallCeed(ceed, ...) \ 28a424bcd0SJames Wright do { \ 29d9d458caSJames Wright int ierr = __VA_ARGS__; \ 30a424bcd0SJames Wright if (ierr != CEED_ERROR_SUCCESS) { \ 31a424bcd0SJames Wright const char *error_message; \ 32a424bcd0SJames Wright CeedGetErrorMessage(ceed, &error_message); \ 33a424bcd0SJames Wright SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "%s", error_message); \ 34a424bcd0SJames Wright } \ 35a424bcd0SJames Wright } while (0) 36a424bcd0SJames Wright 3777841947SLeila Ghaffari // ----------------------------------------------------------------------------- 3877841947SLeila Ghaffari // Enums 3977841947SLeila Ghaffari // ----------------------------------------------------------------------------- 4077841947SLeila Ghaffari // Translate PetscMemType to CeedMemType 412b730f8bSJeremy L Thompson static inline CeedMemType MemTypeP2C(PetscMemType mem_type) { return PetscMemTypeDevice(mem_type) ? CEED_MEM_DEVICE : CEED_MEM_HOST; } 4277841947SLeila Ghaffari 4377841947SLeila Ghaffari // Euler - test cases 4477841947SLeila Ghaffari typedef enum { 45bc7bbd5dSLeila Ghaffari EULER_TEST_ISENTROPIC_VORTEX = 0, 4677841947SLeila Ghaffari EULER_TEST_1 = 1, 4777841947SLeila Ghaffari EULER_TEST_2 = 2, 4877841947SLeila Ghaffari EULER_TEST_3 = 3, 4977841947SLeila Ghaffari EULER_TEST_4 = 4, 5032f166c6SLeila Ghaffari EULER_TEST_5 = 5, 5177841947SLeila Ghaffari } EulerTestType; 522b730f8bSJeremy L Thompson static const char *const EulerTestTypes[] = {"isentropic_vortex", "test_1", "test_2", "test_3", "test_4", "test_5", 532b730f8bSJeremy L Thompson "EulerTestType", "EULER_TEST_", NULL}; 5477841947SLeila Ghaffari 55700ae941SJames Wright // Advection - Wind types 56700ae941SJames Wright static const char *const WindTypes[] = {"rotation", "translation", "WindType", "WIND_", NULL}; 57700ae941SJames Wright 587b77ddfdSJames Wright // Advection - Initial Condition Types 597b77ddfdSJames Wright static const char *const AdvectionICTypes[] = {"sphere", "cylinder", "cosine_hill", "skew", "AdvectionICType", "ADVECTIONIC_", NULL}; 60700ae941SJames Wright 61700ae941SJames Wright // Advection - Bubble Continuity Types 6293639ffbSJames Wright static const char *const BubbleContinuityTypes[] = {"smooth", "back_sharp", "thick", "cosine", "BubbleContinuityType", "BUBBLE_CONTINUITY_", NULL}; 63700ae941SJames Wright 6477841947SLeila Ghaffari // Stabilization methods 652b730f8bSJeremy L Thompson static const char *const StabilizationTypes[] = {"none", "SU", "SUPG", "StabilizationType", "STAB_", NULL}; 6677841947SLeila Ghaffari 67*b18328c4SJames Wright // Stabilization tau constants 68*b18328c4SJames Wright static const char *const StabilizationTauTypes[] = {"Ctau", "AdvDiff_Shakib", "AdvDiff_Shakib_P", "StabilizationTauType", "STAB_TAU_", NULL}; 69*b18328c4SJames Wright 7051b00d91SJames Wright // Test mode type 718fb33541SJames Wright typedef enum { 728fb33541SJames Wright TESTTYPE_NONE = 0, 738fb33541SJames Wright TESTTYPE_SOLVER = 1, 748fb33541SJames Wright TESTTYPE_TURB_SPANSTATS = 2, 75970fa48bSJames Wright TESTTYPE_DIFF_FILTER = 3, 768fb33541SJames Wright } TestType; 77970fa48bSJames Wright static const char *const TestTypes[] = {"none", "solver", "turb_spanstats", "diff_filter", "TestType", "TESTTYPE_", NULL}; 788fb33541SJames Wright 792526956eSJames Wright // Subgrid-Stress mode type 8019ffbc25SJames Wright typedef enum { 8119ffbc25SJames Wright SGS_MODEL_NONE = 0, 8219ffbc25SJames Wright SGS_MODEL_DATA_DRIVEN = 1, 8319ffbc25SJames Wright } SGSModelType; 8419ffbc25SJames Wright static const char *const SGSModelTypes[] = {"none", "data_driven", "SGSModelType", "SGS_MODEL_", NULL}; 8519ffbc25SJames Wright 862526956eSJames Wright // Mesh transformation type 872526956eSJames Wright typedef enum { 882526956eSJames Wright MESH_TRANSFORM_NONE = 0, 892526956eSJames Wright MESH_TRANSFORM_PLATEMESH = 1, 902526956eSJames Wright } MeshTransformType; 912526956eSJames Wright static const char *const MeshTransformTypes[] = {"none", "platemesh", "MeshTransformType", "MESH_TRANSFORM_", NULL}; 922526956eSJames Wright 93bd882c8aSJames Wright static const char *const DifferentialFilterDampingFunctions[] = { 94bd882c8aSJames Wright "none", "van_driest", "mms", "DifferentialFilterDampingFunction", "DIFF_FILTER_DAMP_", NULL}; 95bd882c8aSJames Wright 9677841947SLeila Ghaffari // ----------------------------------------------------------------------------- 9775d1798cSJames Wright // Log Events 9875d1798cSJames Wright // ----------------------------------------------------------------------------- 9975d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorApply; 10075d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorAssemble; 10175d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorAssembleDiagonal; 10275d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorAssemblePointBlockDiagonal; 103844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_SmartRedis_Init; 104844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_SmartRedis_Meta; 105844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_SmartRedis_Train; 106844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_TrainDataCompute; 1073737f832SJames Wright extern PetscLogEvent FLUIDS_DifferentialFilter; 1083737f832SJames Wright extern PetscLogEvent FLUIDS_VelocityGradientProjection; 10975d1798cSJames Wright PetscErrorCode RegisterLogEvents(); 11075d1798cSJames Wright 11175d1798cSJames Wright // ----------------------------------------------------------------------------- 11277841947SLeila Ghaffari // Structs 11377841947SLeila Ghaffari // ----------------------------------------------------------------------------- 11477841947SLeila Ghaffari // Structs declarations 11577841947SLeila Ghaffari typedef struct AppCtx_private *AppCtx; 11677841947SLeila Ghaffari typedef struct CeedData_private *CeedData; 11777841947SLeila Ghaffari typedef struct User_private *User; 11877841947SLeila Ghaffari typedef struct Units_private *Units; 11977841947SLeila Ghaffari typedef struct SimpleBC_private *SimpleBC; 12077841947SLeila Ghaffari typedef struct Physics_private *Physics; 12177841947SLeila Ghaffari 12277841947SLeila Ghaffari // Application context from user command line options 12377841947SLeila Ghaffari struct AppCtx_private { 12477841947SLeila Ghaffari // libCEED arguments 12577841947SLeila Ghaffari char ceed_resource[PETSC_MAX_PATH_LEN]; // libCEED backend 12677841947SLeila Ghaffari PetscInt degree; 12777841947SLeila Ghaffari PetscInt q_extra; 128544be873SJed Brown // Solver arguments 129544be873SJed Brown MatType amat_type; 130544be873SJed Brown PetscBool pmat_pbdiagonal; 13177841947SLeila Ghaffari // Post-processing arguments 13237cbb16aSJed Brown PetscInt checkpoint_interval; 13377841947SLeila Ghaffari PetscInt viz_refine; 13477841947SLeila Ghaffari PetscInt cont_steps; 1354de8550aSJed Brown PetscReal cont_time; 13669293791SJames Wright char cont_file[PETSC_MAX_PATH_LEN]; 13769293791SJames Wright char cont_time_file[PETSC_MAX_PATH_LEN]; 13877841947SLeila Ghaffari char output_dir[PETSC_MAX_PATH_LEN]; 13969293791SJames Wright PetscBool add_stepnum2bin; 14037cbb16aSJed Brown PetscBool checkpoint_vtk; 14177841947SLeila Ghaffari // Problem type arguments 14277841947SLeila Ghaffari PetscFunctionList problems; 14377841947SLeila Ghaffari char problem_name[PETSC_MAX_PATH_LEN]; 14477841947SLeila Ghaffari // Test mode arguments 1458fb33541SJames Wright TestType test_type; 14677841947SLeila Ghaffari PetscScalar test_tol; 147b7d66439SJames Wright char test_file_path[PETSC_MAX_PATH_LEN]; 148b7d66439SJames Wright // Turbulent spanwise statistics 149b7d66439SJames Wright PetscBool turb_spanstats_enable; 150b7d66439SJames Wright PetscInt turb_spanstats_collect_interval; 151b7d66439SJames Wright PetscInt turb_spanstats_viewer_interval; 152b7d66439SJames Wright PetscViewer turb_spanstats_viewer; 153b7d66439SJames Wright PetscViewerFormat turb_spanstats_viewer_format; 154ca69d878SAdeleke O. Bankole // Wall forces 155ca69d878SAdeleke O. Bankole struct { 156ca69d878SAdeleke O. Bankole PetscInt num_wall; 157ca69d878SAdeleke O. Bankole PetscInt *walls; 158ca69d878SAdeleke O. Bankole PetscViewer viewer; 159ca69d878SAdeleke O. Bankole PetscViewerFormat viewer_format; 160ca69d878SAdeleke O. Bankole PetscBool header_written; 161ca69d878SAdeleke O. Bankole } wall_forces; 16219ffbc25SJames Wright // Subgrid Stress Model 16319ffbc25SJames Wright SGSModelType sgs_model_type; 16428134cfaSJames Wright PetscBool sgs_train_enable; 1654e9802d1SJames Wright // Differential Filtering 1664e9802d1SJames Wright PetscBool diff_filter_monitor; 1672526956eSJames Wright MeshTransformType mesh_transform_type; 16877841947SLeila Ghaffari }; 16977841947SLeila Ghaffari 17077841947SLeila Ghaffari // libCEED data struct 17177841947SLeila Ghaffari struct CeedData_private { 17277841947SLeila Ghaffari CeedVector x_coord, q_data; 1732b730f8bSJeremy L Thompson CeedBasis basis_x, basis_xc, basis_q, basis_x_sur, basis_q_sur, basis_xc_sur; 17477841947SLeila Ghaffari CeedElemRestriction elem_restr_x, elem_restr_q, elem_restr_qd_i; 1755263e9c6SJames Wright CeedOperator op_setup_vol; 1765263e9c6SJames Wright OperatorApplyContext op_ics_ctx; 177d310b3d3SAdeleke O. Bankole CeedQFunction qf_setup_vol, qf_ics, qf_rhs_vol, qf_ifunction_vol, qf_setup_sur, qf_apply_inflow, qf_apply_inflow_jacobian, qf_apply_outflow, 1789f844368SJames Wright qf_apply_outflow_jacobian, qf_apply_freestream, qf_apply_freestream_jacobian, qf_apply_slip, qf_apply_slip_jacobian; 17977841947SLeila Ghaffari }; 18077841947SLeila Ghaffari 18151ee423eSJames Wright typedef struct { 18251ee423eSJames Wright DM dm; 1831737222fSJames Wright PetscSF sf; // For communicating child data to parents 184ed331efdSJames Wright OperatorApplyContext op_stats_collect_ctx, op_proj_rhs_ctx; 18551ee423eSJames Wright PetscInt num_comp_stats; 186ed331efdSJames Wright Vec Child_Stats_loc, Parent_Stats_loc; 187a175e481SJames Wright KSP ksp; // For the L^2 projection solve 188a175e481SJames Wright CeedScalar span_width; // spanwise width of the child domain 189b7d66439SJames Wright PetscBool do_mms_test; 1904021610dSJames Wright OperatorApplyContext mms_error_ctx; 191495b9769SJames Wright CeedContextFieldLabel solution_time_label, previous_time_label; 192cbef7084SJames Wright } SpanStatsData; 19351ee423eSJames Wright 194999ff5c7SJames Wright typedef struct { 195999ff5c7SJames Wright DM dm; 196999ff5c7SJames Wright PetscInt num_comp; 197999ff5c7SJames Wright OperatorApplyContext l2_rhs_ctx; 198999ff5c7SJames Wright KSP ksp; 199999ff5c7SJames Wright } *NodalProjectionData; 200999ff5c7SJames Wright 2016b3fb9aeSJames Wright typedef PetscErrorCode (*SgsDDNodalStressEval)(User user, Vec Q_loc, Vec VelocityGradient, Vec SGSNodal_loc); 2021250e899SJames Wright typedef PetscErrorCode (*SgsDDNodalStressInference)(Vec DD_Inputs_loc, Vec DD_Outputs_loc, void *ctx); 2039a17443dSJames Wright typedef struct { 2041250e899SJames Wright DM dm_sgs, dm_dd_inputs, dm_dd_outputs; 2059a17443dSJames Wright PetscInt num_comp_sgs; 2061250e899SJames Wright CeedInt num_comp_inputs, num_comp_outputs; 2071250e899SJames Wright OperatorApplyContext op_nodal_evaluation_ctx, op_nodal_dd_inputs_ctx, op_nodal_dd_outputs_ctx, op_sgs_apply_ctx; 2081250e899SJames Wright CeedVector sgs_nodal_ceed, grad_velo_ceed; 2096b3fb9aeSJames Wright SgsDDNodalStressEval sgs_nodal_eval; 2101250e899SJames Wright SgsDDNodalStressInference sgs_nodal_inference; 2111250e899SJames Wright void *sgs_nodal_inference_ctx; 2121250e899SJames Wright PetscErrorCode (*sgs_nodal_inference_ctx_destroy)(void *ctx); 213cbef7084SJames Wright } *SgsDDData; 2149a17443dSJames Wright 2154e9802d1SJames Wright typedef struct { 216ee3b213aSJames Wright DM dm_dd_training; 217ee3b213aSJames Wright PetscInt num_comp_dd_inputs, write_data_interval; 218ee3b213aSJames Wright OperatorApplyContext op_training_data_calc_ctx; 219ee3b213aSJames Wright NodalProjectionData filtered_grad_velo_proj; 220ee3b213aSJames Wright size_t training_data_array_dims[2]; 221ee3b213aSJames Wright PetscBool overwrite_training_data; 222ee3b213aSJames Wright } *SGS_DD_TrainingData; 223ee3b213aSJames Wright 224ee3b213aSJames Wright typedef struct { 2254e9802d1SJames Wright DM dm_filter; 22681530087SJames Wright PetscInt num_filtered_fields; 22781530087SJames Wright CeedInt *num_field_components; 228051427eeSJames Wright PetscInt field_prim_state, field_velo_prod; 2294e9802d1SJames Wright OperatorApplyContext op_rhs_ctx; 2304e9802d1SJames Wright KSP ksp; 2312029a677SJames Wright PetscBool do_mms_test; 2324e9802d1SJames Wright } *DiffFilterData; 2334e9802d1SJames Wright 2348146534cSJames Wright typedef struct { 2358146534cSJames Wright void *client; 2368146534cSJames Wright char rank_id_name[16]; 2378146534cSJames Wright PetscInt collocated_database_num_ranks; 2388146534cSJames Wright } *SmartSimData; 2398146534cSJames Wright 24077841947SLeila Ghaffari // PETSc user data 24177841947SLeila Ghaffari struct User_private { 24277841947SLeila Ghaffari MPI_Comm comm; 24377841947SLeila Ghaffari DM dm; 24477841947SLeila Ghaffari DM dm_viz; 24577841947SLeila Ghaffari Mat interp_viz; 24677841947SLeila Ghaffari Ceed ceed; 24777841947SLeila Ghaffari Units units; 24804292f7dSJames Wright Vec Q_loc, Q_dot_loc; 24977841947SLeila Ghaffari Physics phys; 25077841947SLeila Ghaffari AppCtx app_ctx; 2512b730f8bSJeremy L Thompson CeedVector q_ceed, q_dot_ceed, g_ceed, coo_values_amat, coo_values_pmat, x_ceed; 2529ad5e8e4SJames Wright CeedOperator op_rhs_vol, op_ifunction_vol, op_ifunction, op_ijacobian; 25304292f7dSJames Wright KSP mass_ksp; 2549ad5e8e4SJames Wright OperatorApplyContext op_rhs_ctx, op_strong_bc_ctx; 255e334ad8fSJed Brown bool matrices_set_up; 25615637395SJames Wright CeedScalar time_bc_set; 257cbef7084SJames Wright SpanStatsData spanstats; 258999ff5c7SJames Wright NodalProjectionData grad_velo_proj; 259cbef7084SJames Wright SgsDDData sgs_dd_data; 2604e9802d1SJames Wright DiffFilterData diff_filter; 2618146534cSJames Wright SmartSimData smartsim; 262ee3b213aSJames Wright SGS_DD_TrainingData sgs_dd_train; 26377841947SLeila Ghaffari }; 26477841947SLeila Ghaffari 26577841947SLeila Ghaffari // Units 26677841947SLeila Ghaffari struct Units_private { 26777841947SLeila Ghaffari // fundamental units 26877841947SLeila Ghaffari PetscScalar meter; 26977841947SLeila Ghaffari PetscScalar kilogram; 27077841947SLeila Ghaffari PetscScalar second; 27177841947SLeila Ghaffari PetscScalar Kelvin; 27277841947SLeila Ghaffari // derived units 27377841947SLeila Ghaffari PetscScalar Pascal; 27477841947SLeila Ghaffari PetscScalar J_per_kg_K; 27577841947SLeila Ghaffari PetscScalar m_per_squared_s; 27677841947SLeila Ghaffari PetscScalar W_per_m_K; 27777841947SLeila Ghaffari PetscScalar Joule; 27877841947SLeila Ghaffari }; 27977841947SLeila Ghaffari 28077841947SLeila Ghaffari // Boundary conditions 28177841947SLeila Ghaffari struct SimpleBC_private { 2822fe7aee7SLeila Ghaffari PetscInt num_wall, // Number of faces with wall BCs 2832fe7aee7SLeila Ghaffari wall_comps[5], // An array of constrained component numbers 2842fe7aee7SLeila Ghaffari num_comps, 2857c5bba50SJames Wright num_symmetry[3], // Number of faces with symmetry BCs 2869f844368SJames Wright num_inflow, num_outflow, num_freestream, num_slip; 2879f844368SJames Wright PetscInt walls[16], symmetries[3][16], inflows[16], outflows[16], freestreams[16], slips[16]; 28877841947SLeila Ghaffari }; 28977841947SLeila Ghaffari 29077841947SLeila Ghaffari // Struct that contains all enums and structs used for the physics of all problems 29177841947SLeila Ghaffari struct Physics_private { 29277841947SLeila Ghaffari PetscBool implicit; 29397baf651SJames Wright StateVariable state_var; 29411436a05SJames Wright CeedContextFieldLabel solution_time_label; 295cd4035ffSJames Wright CeedContextFieldLabel stg_solution_time_label; 29688626eedSJames Wright CeedContextFieldLabel timestep_size_label; 297841e4c73SJed Brown CeedContextFieldLabel ics_time_label; 298e334ad8fSJed Brown CeedContextFieldLabel ijacobian_time_shift_label; 29977841947SLeila Ghaffari }; 30077841947SLeila Ghaffari 30191e5af17SJed Brown typedef struct { 30291e5af17SJed Brown CeedQFunctionUser qfunction; 30391e5af17SJed Brown const char *qfunction_loc; 304841e4c73SJed Brown CeedQFunctionContext qfunction_context; 30591e5af17SJed Brown } ProblemQFunctionSpec; 30691e5af17SJed Brown 30777841947SLeila Ghaffari // Problem specific data 308841e4c73SJed Brown typedef struct ProblemData_private ProblemData; 309841e4c73SJed Brown struct ProblemData_private { 310e334ad8fSJed Brown CeedInt dim, q_data_size_vol, q_data_size_sur, jac_data_size_sur; 3111864f1c2SLeila Ghaffari CeedScalar dm_scale; 3122b730f8bSJeremy L Thompson ProblemQFunctionSpec setup_vol, setup_sur, ics, apply_vol_rhs, apply_vol_ifunction, apply_vol_ijacobian, apply_inflow, apply_outflow, 3139f844368SJames Wright apply_freestream, apply_slip, apply_inflow_jacobian, apply_outflow_jacobian, apply_freestream_jacobian, apply_slip_jacobian; 31477841947SLeila Ghaffari bool non_zero_time; 315752a08a7SJames Wright PetscBool bc_from_ics, use_strong_bc_ceed, uses_newtonian; 316367c849eSJames Wright PetscErrorCode (*print_info)(User, ProblemData *, AppCtx); 317841e4c73SJed Brown }; 31877841947SLeila Ghaffari 319841e4c73SJed Brown extern int FreeContextPetsc(void *); 320841e4c73SJed Brown 32177841947SLeila Ghaffari // ----------------------------------------------------------------------------- 32277841947SLeila Ghaffari // Set up problems 32377841947SLeila Ghaffari // ----------------------------------------------------------------------------- 32477841947SLeila Ghaffari // Set up function for each problem 32514712a6bSJames Wright extern PetscErrorCode NS_TAYLOR_GREEN(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 326530ad8c4SKenneth E. Jansen extern PetscErrorCode NS_GAUSSIAN_WAVE(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 32746de7363SJames Wright extern PetscErrorCode NS_CHANNEL(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 32846de7363SJames Wright extern PetscErrorCode NS_BLASIUS(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 32946de7363SJames Wright extern PetscErrorCode NS_NEWTONIAN_IG(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 33046de7363SJames Wright extern PetscErrorCode NS_DENSITY_CURRENT(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 33146de7363SJames Wright extern PetscErrorCode NS_EULER_VORTEX(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 33246de7363SJames Wright extern PetscErrorCode NS_SHOCKTUBE(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 33346de7363SJames Wright extern PetscErrorCode NS_ADVECTION(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 33446de7363SJames Wright extern PetscErrorCode NS_ADVECTION2D(ProblemData *problem, DM dm, void *ctx, SimpleBC bc); 33577841947SLeila Ghaffari 33677841947SLeila Ghaffari // Print function for each problem 337367c849eSJames Wright extern PetscErrorCode PRINT_NEWTONIAN(User user, ProblemData *problem, AppCtx app_ctx); 33877841947SLeila Ghaffari 339367c849eSJames Wright extern PetscErrorCode PRINT_EULER_VORTEX(User user, ProblemData *problem, AppCtx app_ctx); 34077841947SLeila Ghaffari 341367c849eSJames Wright extern PetscErrorCode PRINT_SHOCKTUBE(User user, ProblemData *problem, AppCtx app_ctx); 342019b7682STimothy Aiken 343367c849eSJames Wright extern PetscErrorCode PRINT_ADVECTION(User user, ProblemData *problem, AppCtx app_ctx); 34477841947SLeila Ghaffari 345367c849eSJames Wright extern PetscErrorCode PRINT_ADVECTION2D(User user, ProblemData *problem, AppCtx app_ctx); 34677841947SLeila Ghaffari 3472e31f396SJames Wright PetscErrorCode PrintRunInfo(User user, Physics phys_ctx, ProblemData *problem, MPI_Comm comm); 3482e31f396SJames Wright 34977841947SLeila Ghaffari // ----------------------------------------------------------------------------- 35077841947SLeila Ghaffari // libCEED functions 35177841947SLeila Ghaffari // ----------------------------------------------------------------------------- 35277841947SLeila Ghaffari // Utility function to create local CEED restriction 353431cd09aSJames Wright PetscErrorCode CreateRestrictionFromPlex(Ceed ceed, DM dm, CeedInt height, DMLabel domain_label, CeedInt label_value, PetscInt dm_field, 354431cd09aSJames Wright CeedElemRestriction *elem_restr); 35577841947SLeila Ghaffari 356bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, PetscInt dm_field, 357bb85d312SJames Wright CeedElemRestriction *restriction); 358bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCoordinateCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, 359bb85d312SJames Wright CeedElemRestriction *restriction); 360bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionQDataCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, 361bb85d312SJames Wright PetscInt q_data_size, CeedElemRestriction *restriction); 362bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCollocatedCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, 363bb85d312SJames Wright PetscInt q_data_size, CeedElemRestriction *restriction); 36477841947SLeila Ghaffari 3650814d5a7SKenneth E. Jansen PetscErrorCode CreateBasisFromPlex(Ceed ceed, DM dm, DMLabel domain_label, CeedInt label_value, CeedInt height, CeedInt dm_field, CeedBasis *basis); 3660814d5a7SKenneth E. Jansen 36777841947SLeila Ghaffari // Utility function to create CEED Composite Operator for the entire domain 3682b730f8bSJeremy L Thompson PetscErrorCode CreateOperatorForDomain(Ceed ceed, DM dm, SimpleBC bc, CeedData ceed_data, Physics phys, CeedOperator op_apply_vol, 3692b730f8bSJeremy L Thompson CeedOperator op_apply_ijacobian_vol, CeedInt height, CeedInt P_sur, CeedInt Q_sur, CeedInt q_data_size_sur, 3702b730f8bSJeremy L Thompson CeedInt jac_data_size_sur, CeedOperator *op_apply, CeedOperator *op_apply_ijacobian); 37177841947SLeila Ghaffari 3722b730f8bSJeremy L Thompson PetscErrorCode SetupLibceed(Ceed ceed, CeedData ceed_data, DM dm, User user, AppCtx app_ctx, ProblemData *problem, SimpleBC bc); 37377841947SLeila Ghaffari 37477841947SLeila Ghaffari // ----------------------------------------------------------------------------- 37577841947SLeila Ghaffari // Time-stepping functions 37677841947SLeila Ghaffari // ----------------------------------------------------------------------------- 37704292f7dSJames Wright // Create KSP to solve the inverse mass operator for explicit time stepping schemes 378dfcf44b0SJames Wright PetscErrorCode CreateKSPMassOperator(User user, CeedData ceed_data); 37977841947SLeila Ghaffari 38077841947SLeila Ghaffari // RHS (Explicit time-stepper) function setup 38177841947SLeila Ghaffari PetscErrorCode RHS_NS(TS ts, PetscReal t, Vec Q, Vec G, void *user_data); 38277841947SLeila Ghaffari 38377841947SLeila Ghaffari // Implicit time-stepper function setup 3842b730f8bSJeremy L Thompson PetscErrorCode IFunction_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, Vec G, void *user_data); 38577841947SLeila Ghaffari 38677841947SLeila Ghaffari // User provided TS Monitor 3872b730f8bSJeremy L Thompson PetscErrorCode TSMonitor_NS(TS ts, PetscInt step_no, PetscReal time, Vec Q, void *ctx); 38877841947SLeila Ghaffari 38977841947SLeila Ghaffari // TS: Create, setup, and solve 3902b730f8bSJeremy L Thompson PetscErrorCode TSSolve_NS(DM dm, User user, AppCtx app_ctx, Physics phys, Vec *Q, PetscScalar *f_time, TS *ts); 39177841947SLeila Ghaffari 392a0b9a424SJames Wright // Update Boundary Values when time has changed 393a0b9a424SJames Wright PetscErrorCode UpdateBoundaryValues(User user, Vec Q_loc, PetscReal t); 394a0b9a424SJames Wright 39577841947SLeila Ghaffari // ----------------------------------------------------------------------------- 39677841947SLeila Ghaffari // Setup DM 39777841947SLeila Ghaffari // ----------------------------------------------------------------------------- 3981864f1c2SLeila Ghaffari // Create mesh 3992b730f8bSJeremy L Thompson PetscErrorCode CreateDM(MPI_Comm comm, ProblemData *problem, MatType, VecType, DM *dm); 40077841947SLeila Ghaffari 40177841947SLeila Ghaffari // Set up DM 4020814d5a7SKenneth E. Jansen PetscErrorCode SetUpDM(DM dm, ProblemData *problem, PetscInt degree, PetscInt q_extra, SimpleBC bc, Physics phys); 403d68a66c4SJames Wright PetscErrorCode DMSetupByOrderBegin_FEM(PetscBool setup_faces, PetscBool setup_coords, PetscInt degree, PetscInt coord_order, PetscInt q_extra, 40485df0564SJames Wright PetscInt num_fields, const PetscInt *field_sizes, DM dm); 405d68a66c4SJames Wright PetscErrorCode DMSetupByOrderEnd_FEM(PetscBool setup_coords, DM dm); 406d68a66c4SJames Wright PetscErrorCode DMSetupByOrder_FEM(PetscBool setup_faces, PetscBool setup_coords, PetscInt degree, PetscInt coord_order, PetscInt q_extra, 40785df0564SJames Wright PetscInt num_fields, const PetscInt *field_sizes, DM dm); 40877841947SLeila Ghaffari 40977841947SLeila Ghaffari // Refine DM for high-order viz 4102b730f8bSJeremy L Thompson PetscErrorCode VizRefineDM(DM dm, User user, ProblemData *problem, SimpleBC bc, Physics phys); 41177841947SLeila Ghaffari 41277841947SLeila Ghaffari // ----------------------------------------------------------------------------- 41377841947SLeila Ghaffari // Process command line options 41477841947SLeila Ghaffari // ----------------------------------------------------------------------------- 41577841947SLeila Ghaffari // Register problems to be available on the command line 41677841947SLeila Ghaffari PetscErrorCode RegisterProblems_NS(AppCtx app_ctx); 41777841947SLeila Ghaffari 41877841947SLeila Ghaffari // Process general command line options 4192b730f8bSJeremy L Thompson PetscErrorCode ProcessCommandLineOptions(MPI_Comm comm, AppCtx app_ctx, SimpleBC bc); 42077841947SLeila Ghaffari 42177841947SLeila Ghaffari // ----------------------------------------------------------------------------- 42277841947SLeila Ghaffari // Miscellaneous utility functions 42377841947SLeila Ghaffari // ----------------------------------------------------------------------------- 4242b730f8bSJeremy L Thompson PetscErrorCode ICs_FixMultiplicity(DM dm, CeedData ceed_data, User user, Vec Q_loc, Vec Q, CeedScalar time); 42577841947SLeila Ghaffari 4263c9e7ad1SJames Wright PetscErrorCode DMPlexInsertBoundaryValues_FromICs(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM, Vec cell_geom_FVM, 4272b730f8bSJeremy L Thompson Vec grad_FVM); 42877841947SLeila Ghaffari 42977841947SLeila Ghaffari // Compare reference solution values with current test run for CI 4303c9e7ad1SJames Wright PetscErrorCode RegressionTest(AppCtx app_ctx, Vec Q); 43177841947SLeila Ghaffari 43277841947SLeila Ghaffari // Get error for problems with exact solutions 4333c9e7ad1SJames Wright PetscErrorCode PrintError(CeedData ceed_data, DM dm, User user, Vec Q, PetscScalar final_time); 43477841947SLeila Ghaffari 43577841947SLeila Ghaffari // Post-processing 4363c9e7ad1SJames Wright PetscErrorCode PostProcess(TS ts, CeedData ceed_data, DM dm, ProblemData *problem, User user, Vec Q, PetscScalar final_time); 43777841947SLeila Ghaffari 43877841947SLeila Ghaffari // -- Gather initial Q values in case of continuation of simulation 43977841947SLeila Ghaffari PetscErrorCode SetupICsFromBinary(MPI_Comm comm, AppCtx app_ctx, Vec Q); 44077841947SLeila Ghaffari 44177841947SLeila Ghaffari // Record boundary values from initial condition 4423c9e7ad1SJames Wright PetscErrorCode SetBCsFromICs(DM dm, Vec Q, Vec Q_loc); 44377841947SLeila Ghaffari 4444de8550aSJed Brown // Versioning token for binary checkpoints 4450de6a49fSJames Wright extern const PetscInt32 FLUIDS_FILE_TOKEN; // for backwards compatibility 4460de6a49fSJames Wright extern const PetscInt32 FLUIDS_FILE_TOKEN_32; 4470de6a49fSJames Wright extern const PetscInt32 FLUIDS_FILE_TOKEN_64; 4484de8550aSJed Brown 449ef080ff9SJames Wright // Create appropriate mass qfunction based on number of components N 450ef080ff9SJames Wright PetscErrorCode CreateMassQFunction(Ceed ceed, CeedInt N, CeedInt q_data_size, CeedQFunction *qf); 451ef080ff9SJames Wright 452999ff5c7SJames Wright PetscErrorCode NodalProjectionDataDestroy(NodalProjectionData context); 453999ff5c7SJames Wright 454cbef7084SJames Wright PetscErrorCode PhastaDatFileOpen(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], const PetscInt char_array_len, PetscInt dims[2], 4558b892a05SJames Wright FILE **fp); 4568b892a05SJames Wright 457cbef7084SJames Wright PetscErrorCode PhastaDatFileGetNRows(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscInt *nrows); 4588b892a05SJames Wright 459cbef7084SJames Wright PetscErrorCode PhastaDatFileReadToArrayReal(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscReal array[]); 4604cc9442bSJames Wright 461457e73b2SJames Wright PetscErrorCode IntArrayC2P(PetscInt num_entries, CeedInt **array_ceed, PetscInt **array_petsc); 462457e73b2SJames Wright PetscErrorCode IntArrayP2C(PetscInt num_entries, PetscInt **array_petsc, CeedInt **array_ceed); 463457e73b2SJames Wright 4648b892a05SJames Wright // ----------------------------------------------------------------------------- 4658b892a05SJames Wright // Turbulence Statistics Collection Functions 4668b892a05SJames Wright // ----------------------------------------------------------------------------- 4678b892a05SJames Wright 468f5452247SJames Wright PetscErrorCode TurbulenceStatisticsSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem); 469f5452247SJames Wright PetscErrorCode TSMonitor_TurbulenceStatistics(TS ts, PetscInt steps, PetscReal solution_time, Vec Q, void *ctx); 470f5452247SJames Wright PetscErrorCode TurbulenceStatisticsDestroy(User user, CeedData ceed_data); 471fd170fd0SJames Wright 47277841947SLeila Ghaffari // ----------------------------------------------------------------------------- 4734cc9442bSJames Wright // Data-Driven Subgrid Stress (DD-SGS) Modeling Functions 4744cc9442bSJames Wright // ----------------------------------------------------------------------------- 4754cc9442bSJames Wright 4768f5ab23bSJames Wright PetscErrorCode SgsDDSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem); 477cbef7084SJames Wright PetscErrorCode SgsDDDataDestroy(SgsDDData sgs_dd_data); 4788f5ab23bSJames Wright PetscErrorCode SgsDDApplyIFunction(User user, const Vec Q_loc, Vec G_loc); 4797618d7b7SJames Wright PetscErrorCode VelocityGradientProjectionSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem, StateVariable state_var_input, 4807618d7b7SJames Wright CeedElemRestriction elem_restr_input, CeedBasis basis_input, NodalProjectionData *pgrad_velo_proj); 4817618d7b7SJames Wright PetscErrorCode VelocityGradientProjectionApply(NodalProjectionData grad_velo_proj, Vec Q_loc, Vec VelocityGradient); 482052409adSJames Wright PetscErrorCode GridAnisotropyTensorProjectionSetupApply(Ceed ceed, User user, CeedData ceed_data, CeedElemRestriction *elem_restr_grid_aniso, 483052409adSJames Wright CeedVector *grid_aniso_vector); 484900aec75SJames Wright PetscErrorCode GridAnisotropyTensorCalculateCollocatedVector(Ceed ceed, User user, CeedData ceed_data, CeedElemRestriction *elem_restr_grid_aniso, 485900aec75SJames Wright CeedVector *aniso_colloc_ceed, PetscInt *num_comp_aniso); 4864cc9442bSJames Wright 4874cc9442bSJames Wright // ----------------------------------------------------------------------------- 488dada6cc0SJames Wright // Boundary Condition Related Functions 489dada6cc0SJames Wright // ----------------------------------------------------------------------------- 490dada6cc0SJames Wright 491dada6cc0SJames Wright // Setup StrongBCs that use QFunctions 49266170c20SJames Wright PetscErrorCode SetupStrongBC_Ceed(Ceed ceed, CeedData ceed_data, DM dm, User user, ProblemData *problem, SimpleBC bc); 493b7c563b6SJeremy L Thompson 494d310b3d3SAdeleke O. Bankole PetscErrorCode FreestreamBCSetup(ProblemData *problem, DM dm, void *ctx, NewtonianIdealGasContext newtonian_ig_ctx, const StatePrimitive *reference); 4958a94a473SJed Brown PetscErrorCode OutflowBCSetup(ProblemData *problem, DM dm, void *ctx, NewtonianIdealGasContext newtonian_ig_ctx, const StatePrimitive *reference); 4969f844368SJames Wright PetscErrorCode SlipBCSetup(ProblemData *problem, DM dm, void *ctx, CeedQFunctionContext newtonian_ig_qfctx); 4972b730f8bSJeremy L Thompson 4984e9802d1SJames Wright // ----------------------------------------------------------------------------- 4994e9802d1SJames Wright // Differential Filtering Functions 5004e9802d1SJames Wright // ----------------------------------------------------------------------------- 5014e9802d1SJames Wright 5024e9802d1SJames Wright PetscErrorCode DifferentialFilterSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem); 5034e9802d1SJames Wright PetscErrorCode DifferentialFilterDataDestroy(DiffFilterData diff_filter); 5044e9802d1SJames Wright PetscErrorCode TSMonitor_DifferentialFilter(TS ts, PetscInt steps, PetscReal solution_time, Vec Q, void *ctx); 5054e9802d1SJames Wright PetscErrorCode DifferentialFilterApply(User user, const PetscReal solution_time, const Vec Q, Vec Filtered_Solution); 506cbef7084SJames Wright PetscErrorCode DifferentialFilterMmsICSetup(ProblemData *problem); 5074e9802d1SJames Wright 5088146534cSJames Wright // ----------------------------------------------------------------------------- 5098146534cSJames Wright // SGS Data-Driven Training via SmartSim 5108146534cSJames Wright // ----------------------------------------------------------------------------- 5118146534cSJames Wright PetscErrorCode SmartSimSetup(User user); 512b306c3f1SJames Wright PetscErrorCode SmartSimDataDestroy(SmartSimData smartsim); 513ee3b213aSJames Wright PetscErrorCode SGS_DD_TrainingSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem); 514ee3b213aSJames Wright PetscErrorCode TSMonitor_SGS_DD_Training(TS ts, PetscInt step_num, PetscReal solution_time, Vec Q, void *ctx); 5151a7db67cSJames Wright PetscErrorCode TSPostStep_SGS_DD_Training(TS ts); 516ee3b213aSJames Wright PetscErrorCode SGS_DD_TrainingDataDestroy(SGS_DD_TrainingData sgs_dd_train); 5178146534cSJames Wright 518b7c563b6SJeremy L Thompson #endif // libceed_fluids_examples_navier_stokes_h 519