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 /// Command line option processing for Navier-Stokes example using PETSc 10a515125bSLeila Ghaffari 11a467869fSJed Brown #include <petscdevice.h> 12a467869fSJed Brown 13a515125bSLeila Ghaffari #include "../navierstokes.h" 14a515125bSLeila Ghaffari 15a515125bSLeila Ghaffari // Register problems to be available on the command line 16a515125bSLeila Ghaffari PetscErrorCode RegisterProblems_NS(AppCtx app_ctx) { 17a515125bSLeila Ghaffari app_ctx->problems = NULL; 18a515125bSLeila Ghaffari PetscFunctionBeginUser; 19a515125bSLeila Ghaffari 202b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "density_current", NS_DENSITY_CURRENT)); 212b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "euler_vortex", NS_EULER_VORTEX)); 222b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "shocktube", NS_SHOCKTUBE)); 232b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "advection", NS_ADVECTION)); 242b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "advection2d", NS_ADVECTION2D)); 252b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "blasius", NS_BLASIUS)); 262b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "channel", NS_CHANNEL)); 272b916ea7SJeremy L Thompson PetscCall(PetscFunctionListAdd(&app_ctx->problems, "newtonian_wave", NS_NEWTONIAN_WAVE)); 28b8fb7609SAdeleke O. Bankole PetscCall(PetscFunctionListAdd(&app_ctx->problems, "newtonian", NS_NEWTONIAN_IG)); 29bb8a0c61SJames Wright 30a515125bSLeila Ghaffari PetscFunctionReturn(0); 31a515125bSLeila Ghaffari } 32a515125bSLeila Ghaffari 33a515125bSLeila Ghaffari // Process general command line options 342b916ea7SJeremy L Thompson PetscErrorCode ProcessCommandLineOptions(MPI_Comm comm, AppCtx app_ctx, SimpleBC bc) { 35a515125bSLeila Ghaffari PetscBool ceed_flag = PETSC_FALSE; 36a515125bSLeila Ghaffari PetscBool problem_flag = PETSC_FALSE; 3791a36801SJames Wright PetscBool option_set = PETSC_FALSE; 382b916ea7SJeremy L Thompson 39a515125bSLeila Ghaffari PetscFunctionBeginUser; 40a515125bSLeila Ghaffari 412b916ea7SJeremy L Thompson PetscOptionsBegin(comm, NULL, "Navier-Stokes in PETSc with libCEED", NULL); 42a515125bSLeila Ghaffari 432b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-ceed", "CEED resource specifier", NULL, app_ctx->ceed_resource, app_ctx->ceed_resource, 442b916ea7SJeremy L Thompson sizeof(app_ctx->ceed_resource), &ceed_flag)); 45a515125bSLeila Ghaffari 460e1e9333SJames Wright app_ctx->test_type = TESTTYPE_NONE; 470e1e9333SJames Wright PetscCall(PetscOptionsEnum("-test_type", "Type of test to run", NULL, TestTypes, (PetscEnum)(app_ctx->test_type), (PetscEnum *)&app_ctx->test_type, 480e1e9333SJames Wright NULL)); 49a515125bSLeila Ghaffari 50a515125bSLeila Ghaffari app_ctx->test_tol = 1E-11; 512b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-compare_final_state_atol", "Test absolute tolerance", NULL, app_ctx->test_tol, &app_ctx->test_tol, NULL)); 52a515125bSLeila Ghaffari 53c931fa59SJames Wright PetscCall(PetscOptionsString("-compare_final_state_filename", "Test filename", NULL, app_ctx->test_file_path, app_ctx->test_file_path, 54c931fa59SJames Wright sizeof(app_ctx->test_file_path), NULL)); 55a515125bSLeila Ghaffari 562b916ea7SJeremy L Thompson PetscCall(PetscOptionsFList("-problem", "Problem to solve", NULL, app_ctx->problems, app_ctx->problem_name, app_ctx->problem_name, 572b916ea7SJeremy L Thompson sizeof(app_ctx->problem_name), &problem_flag)); 58a515125bSLeila Ghaffari 59a515125bSLeila Ghaffari app_ctx->viz_refine = 0; 602b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-viz_refine", "Regular refinement levels for visualization", NULL, app_ctx->viz_refine, &app_ctx->viz_refine, NULL)); 61a515125bSLeila Ghaffari 62852e5969SJed Brown app_ctx->checkpoint_interval = 10; 63852e5969SJed Brown app_ctx->checkpoint_vtk = PETSC_FALSE; 64852e5969SJed Brown PetscCall(PetscOptionsDeprecated("-output_freq", "-checkpoint_interval", "libCEED 0.11.1", "Use -checkpoint_vtk true to include VTK output")); 65852e5969SJed Brown PetscCall(PetscOptionsInt("-output_freq", "Frequency of output, in number of steps", NULL, app_ctx->checkpoint_interval, 66852e5969SJed Brown &app_ctx->checkpoint_interval, &option_set)); 67852e5969SJed Brown if (option_set) app_ctx->checkpoint_vtk = PETSC_TRUE; 68852e5969SJed Brown PetscCall(PetscOptionsInt("-checkpoint_interval", "Frequency of output, in number of steps", NULL, app_ctx->checkpoint_interval, 69852e5969SJed Brown &app_ctx->checkpoint_interval, NULL)); 70852e5969SJed Brown PetscCall(PetscOptionsBool("-checkpoint_vtk", "Include VTK (*.vtu) output at each binary checkpoint", NULL, app_ctx->checkpoint_vtk, 71852e5969SJed Brown &app_ctx->checkpoint_vtk, NULL)); 72a515125bSLeila Ghaffari 732b916ea7SJeremy L Thompson PetscCall(PetscOptionsBool("-output_add_stepnum2bin", "Add step number to the binary outputs", NULL, app_ctx->add_stepnum2bin, 742b916ea7SJeremy L Thompson &app_ctx->add_stepnum2bin, NULL)); 7591a36801SJames Wright 7691a36801SJames Wright PetscCall(PetscStrncpy(app_ctx->output_dir, ".", 2)); 772b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-output_dir", "Output directory", NULL, app_ctx->output_dir, app_ctx->output_dir, sizeof(app_ctx->output_dir), NULL)); 7891a36801SJames Wright 79a515125bSLeila Ghaffari app_ctx->cont_steps = 0; 802b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-continue", "Continue from previous solution", NULL, app_ctx->cont_steps, &app_ctx->cont_steps, NULL)); 81a515125bSLeila Ghaffari 8291a36801SJames Wright PetscCall(PetscStrcpy(app_ctx->cont_file, "[output_dir]/ns-solution.bin")); 832b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-continue_filename", "Filename to get initial condition from", NULL, app_ctx->cont_file, app_ctx->cont_file, 8491a36801SJames Wright sizeof(app_ctx->cont_file), &option_set)); 852b916ea7SJeremy L Thompson if (!option_set) PetscCall(PetscSNPrintf(app_ctx->cont_file, sizeof app_ctx->cont_file, "%s/ns-solution.bin", app_ctx->output_dir)); 869293eaa1SJed Brown if (option_set && app_ctx->cont_steps == 0) app_ctx->cont_steps = -1; // Read time from file 8791a36801SJames Wright 8891a36801SJames Wright PetscCall(PetscStrcpy(app_ctx->cont_time_file, "[output_dir]/ns-time.bin")); 892b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-continue_time_filename", "Filename to get initial condition time from", NULL, app_ctx->cont_time_file, 902b916ea7SJeremy L Thompson app_ctx->cont_time_file, sizeof(app_ctx->cont_time_file), &option_set)); 912b916ea7SJeremy L Thompson if (!option_set) PetscCall(PetscSNPrintf(app_ctx->cont_time_file, sizeof app_ctx->cont_time_file, "%s/ns-time.bin", app_ctx->output_dir)); 9291a36801SJames Wright 93a515125bSLeila Ghaffari app_ctx->degree = 1; 942b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-degree", "Polynomial degree of finite elements", NULL, app_ctx->degree, &app_ctx->degree, NULL)); 95a515125bSLeila Ghaffari 961219168aSLeila Ghaffari app_ctx->q_extra = 0; 972b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-q_extra", "Number of extra quadrature points", NULL, app_ctx->q_extra, &app_ctx->q_extra, NULL)); 98a515125bSLeila Ghaffari 99b107fddaSJed Brown { 100b107fddaSJed Brown PetscBool option_set; 101b107fddaSJed Brown char amat_type[256] = ""; 1022b916ea7SJeremy L Thompson PetscCall(PetscOptionsFList("-amat_type", "Set the type of Amat distinct from Pmat (-dm_mat_type)", NULL, MatList, amat_type, amat_type, 1032b916ea7SJeremy L Thompson sizeof(amat_type), &option_set)); 1042b916ea7SJeremy L Thompson if (option_set) PetscCall(PetscStrallocpy(amat_type, (char **)&app_ctx->amat_type)); 105b107fddaSJed Brown } 1062b916ea7SJeremy L Thompson PetscCall(PetscOptionsBool("-pmat_pbdiagonal", "Assemble only point-block diagonal for Pmat", NULL, app_ctx->pmat_pbdiagonal, 107b107fddaSJed Brown &app_ctx->pmat_pbdiagonal, NULL)); 108b107fddaSJed Brown 109a515125bSLeila Ghaffari // Provide default ceed resource if not specified 110a515125bSLeila Ghaffari if (!ceed_flag) { 111a515125bSLeila Ghaffari const char *ceed_resource = "/cpu/self"; 112a515125bSLeila Ghaffari strncpy(app_ctx->ceed_resource, ceed_resource, 10); 113a515125bSLeila Ghaffari } 114a467869fSJed Brown // If we request a GPU, make sure PETSc has initialized its device (which is 115a467869fSJed Brown // MPI-aware in case multiple devices are available) before CeedInit so that 116a467869fSJed Brown // PETSc and libCEED agree about which device to use. 117a467869fSJed Brown if (strncmp(app_ctx->ceed_resource, "/gpu", 4) == 0) PetscCall(PetscDeviceInitialize(PETSC_DEVICE_DEFAULT())); 118a515125bSLeila Ghaffari 119a515125bSLeila Ghaffari // Provide default problem if not specified 120a515125bSLeila Ghaffari if (!problem_flag) { 121a515125bSLeila Ghaffari const char *problem_name = "density_current"; 122a515125bSLeila Ghaffari strncpy(app_ctx->problem_name, problem_name, 16); 123a515125bSLeila Ghaffari } 124a515125bSLeila Ghaffari 125002797a3SLeila Ghaffari // Wall Boundary Conditions 126002797a3SLeila Ghaffari bc->num_wall = 16; 127002797a3SLeila Ghaffari PetscBool flg; 1282b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_wall", "Face IDs to apply wall BC", NULL, bc->walls, &bc->num_wall, NULL)); 129002797a3SLeila Ghaffari bc->num_comps = 5; 1302b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-wall_comps", "An array of constrained component numbers", NULL, bc->wall_comps, &bc->num_comps, &flg)); 131002797a3SLeila Ghaffari // Slip Boundary Conditions 132002797a3SLeila Ghaffari for (PetscInt j = 0; j < 3; j++) { 133002797a3SLeila Ghaffari bc->num_slip[j] = 16; 134002797a3SLeila Ghaffari PetscBool flg; 135002797a3SLeila Ghaffari const char *flags[3] = {"-bc_slip_x", "-bc_slip_y", "-bc_slip_z"}; 1362b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray(flags[j], "Face IDs to apply slip BC", NULL, bc->slips[j], &bc->num_slip[j], &flg)); 137002797a3SLeila Ghaffari if (flg) bc->user_bc = PETSC_TRUE; 138002797a3SLeila Ghaffari } 139002797a3SLeila Ghaffari 140002797a3SLeila Ghaffari // Error if wall and slip BCs are set on the same face 141002797a3SLeila Ghaffari if (bc->user_bc) 142002797a3SLeila Ghaffari for (PetscInt c = 0; c < 3; c++) 143002797a3SLeila Ghaffari for (PetscInt s = 0; s < bc->num_slip[c]; s++) 144002797a3SLeila Ghaffari for (PetscInt w = 0; w < bc->num_wall; w++) 145002797a3SLeila Ghaffari if (bc->slips[c][s] == bc->walls[w]) 1462b916ea7SJeremy L Thompson SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Boundary condition already set on face %" PetscInt_FMT "!\n", bc->walls[w]); 147002797a3SLeila Ghaffari 148002797a3SLeila Ghaffari // Inflow BCs 149002797a3SLeila Ghaffari bc->num_inflow = 16; 1502b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_inflow", "Face IDs to apply inflow BC", NULL, bc->inflows, &bc->num_inflow, NULL)); 151002797a3SLeila Ghaffari // Outflow BCs 152002797a3SLeila Ghaffari bc->num_outflow = 16; 1532b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_outflow", "Face IDs to apply outflow BC", NULL, bc->outflows, &bc->num_outflow, NULL)); 154df55ba5fSJames Wright // Freestream BCs 155df55ba5fSJames Wright bc->num_freestream = 16; 1562b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_freestream", "Face IDs to apply freestream BC", NULL, bc->freestreams, &bc->num_freestream, NULL)); 157002797a3SLeila Ghaffari 158b0488d1fSJames Wright // Statistics Options 159c931fa59SJames Wright app_ctx->turb_spanstats_collect_interval = 1; 160c931fa59SJames Wright PetscCall(PetscOptionsInt("-ts_monitor_turbulence_spanstats_collect_interval", "Number of timesteps between statistics collection", NULL, 161c931fa59SJames Wright app_ctx->turb_spanstats_collect_interval, &app_ctx->turb_spanstats_collect_interval, NULL)); 162b0488d1fSJames Wright 163c931fa59SJames Wright app_ctx->turb_spanstats_viewer_interval = -1; 164c931fa59SJames Wright PetscCall(PetscOptionsInt("-ts_monitor_turbulence_spanstats_viewer_interval", "Number of timesteps between statistics viewer writing", NULL, 165c931fa59SJames Wright app_ctx->turb_spanstats_viewer_interval, &app_ctx->turb_spanstats_viewer_interval, NULL)); 166b0488d1fSJames Wright 167c931fa59SJames Wright PetscCall(PetscOptionsViewer("-ts_monitor_turbulence_spanstats_viewer", "Viewer for the statistics", NULL, &app_ctx->turb_spanstats_viewer, 168c931fa59SJames Wright &app_ctx->turb_spanstats_viewer_format, &app_ctx->turb_spanstats_enable)); 169b0488d1fSJames Wright 170*c5e9980aSAdeleke O. Bankole PetscCall(PetscOptionsViewer("-ts_monitor_wall_force", "Viewer for force on each (no-slip) wall", NULL, &app_ctx->wall_forces.viewer, 171*c5e9980aSAdeleke O. Bankole &app_ctx->wall_forces.viewer_format, NULL)); 172*c5e9980aSAdeleke O. Bankole 1731485969bSJeremy L Thompson PetscOptionsEnd(); 174a515125bSLeila Ghaffari 175a515125bSLeila Ghaffari PetscFunctionReturn(0); 176a515125bSLeila Ghaffari } 177