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 46a515125bSLeila Ghaffari app_ctx->test_mode = PETSC_FALSE; 472b916ea7SJeremy L Thompson PetscCall(PetscOptionsBool("-test", "Run in test mode", NULL, app_ctx->test_mode, &app_ctx->test_mode, NULL)); 48a515125bSLeila Ghaffari 49a515125bSLeila Ghaffari app_ctx->test_tol = 1E-11; 502b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-compare_final_state_atol", "Test absolute tolerance", NULL, app_ctx->test_tol, &app_ctx->test_tol, NULL)); 51a515125bSLeila Ghaffari 522b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-compare_final_state_filename", "Test filename", NULL, app_ctx->file_path, app_ctx->file_path, 532b916ea7SJeremy L Thompson sizeof(app_ctx->file_path), NULL)); 54a515125bSLeila Ghaffari 552b916ea7SJeremy L Thompson PetscCall(PetscOptionsFList("-problem", "Problem to solve", NULL, app_ctx->problems, app_ctx->problem_name, app_ctx->problem_name, 562b916ea7SJeremy L Thompson sizeof(app_ctx->problem_name), &problem_flag)); 57a515125bSLeila Ghaffari 58a515125bSLeila Ghaffari app_ctx->viz_refine = 0; 592b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-viz_refine", "Regular refinement levels for visualization", NULL, app_ctx->viz_refine, &app_ctx->viz_refine, NULL)); 60a515125bSLeila Ghaffari 61852e5969SJed Brown app_ctx->checkpoint_interval = 10; 62852e5969SJed Brown app_ctx->checkpoint_vtk = PETSC_FALSE; 63852e5969SJed Brown PetscCall(PetscOptionsDeprecated("-output_freq", "-checkpoint_interval", "libCEED 0.11.1", "Use -checkpoint_vtk true to include VTK output")); 64852e5969SJed Brown PetscCall(PetscOptionsInt("-output_freq", "Frequency of output, in number of steps", NULL, app_ctx->checkpoint_interval, 65852e5969SJed Brown &app_ctx->checkpoint_interval, &option_set)); 66852e5969SJed Brown if (option_set) app_ctx->checkpoint_vtk = PETSC_TRUE; 67852e5969SJed Brown PetscCall(PetscOptionsInt("-checkpoint_interval", "Frequency of output, in number of steps", NULL, app_ctx->checkpoint_interval, 68852e5969SJed Brown &app_ctx->checkpoint_interval, NULL)); 69852e5969SJed Brown PetscCall(PetscOptionsBool("-checkpoint_vtk", "Include VTK (*.vtu) output at each binary checkpoint", NULL, app_ctx->checkpoint_vtk, 70852e5969SJed Brown &app_ctx->checkpoint_vtk, NULL)); 71a515125bSLeila Ghaffari 722b916ea7SJeremy L Thompson PetscCall(PetscOptionsBool("-output_add_stepnum2bin", "Add step number to the binary outputs", NULL, app_ctx->add_stepnum2bin, 732b916ea7SJeremy L Thompson &app_ctx->add_stepnum2bin, NULL)); 7491a36801SJames Wright 7591a36801SJames Wright PetscCall(PetscStrncpy(app_ctx->output_dir, ".", 2)); 762b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-output_dir", "Output directory", NULL, app_ctx->output_dir, app_ctx->output_dir, sizeof(app_ctx->output_dir), NULL)); 7791a36801SJames Wright 78a515125bSLeila Ghaffari app_ctx->cont_steps = 0; 792b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-continue", "Continue from previous solution", NULL, app_ctx->cont_steps, &app_ctx->cont_steps, NULL)); 80a515125bSLeila Ghaffari 8191a36801SJames Wright PetscCall(PetscStrcpy(app_ctx->cont_file, "[output_dir]/ns-solution.bin")); 822b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-continue_filename", "Filename to get initial condition from", NULL, app_ctx->cont_file, app_ctx->cont_file, 8391a36801SJames Wright sizeof(app_ctx->cont_file), &option_set)); 842b916ea7SJeremy L Thompson if (!option_set) PetscCall(PetscSNPrintf(app_ctx->cont_file, sizeof app_ctx->cont_file, "%s/ns-solution.bin", app_ctx->output_dir)); 859293eaa1SJed Brown if (option_set && app_ctx->cont_steps == 0) app_ctx->cont_steps = -1; // Read time from file 8691a36801SJames Wright 8791a36801SJames Wright PetscCall(PetscStrcpy(app_ctx->cont_time_file, "[output_dir]/ns-time.bin")); 882b916ea7SJeremy L Thompson PetscCall(PetscOptionsString("-continue_time_filename", "Filename to get initial condition time from", NULL, app_ctx->cont_time_file, 892b916ea7SJeremy L Thompson app_ctx->cont_time_file, sizeof(app_ctx->cont_time_file), &option_set)); 902b916ea7SJeremy 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)); 9191a36801SJames Wright 92a515125bSLeila Ghaffari app_ctx->degree = 1; 932b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-degree", "Polynomial degree of finite elements", NULL, app_ctx->degree, &app_ctx->degree, NULL)); 94a515125bSLeila Ghaffari 951219168aSLeila Ghaffari app_ctx->q_extra = 0; 962b916ea7SJeremy L Thompson PetscCall(PetscOptionsInt("-q_extra", "Number of extra quadrature points", NULL, app_ctx->q_extra, &app_ctx->q_extra, NULL)); 97a515125bSLeila Ghaffari 98b107fddaSJed Brown { 99b107fddaSJed Brown PetscBool option_set; 100b107fddaSJed Brown char amat_type[256] = ""; 1012b916ea7SJeremy L Thompson PetscCall(PetscOptionsFList("-amat_type", "Set the type of Amat distinct from Pmat (-dm_mat_type)", NULL, MatList, amat_type, amat_type, 1022b916ea7SJeremy L Thompson sizeof(amat_type), &option_set)); 1032b916ea7SJeremy L Thompson if (option_set) PetscCall(PetscStrallocpy(amat_type, (char **)&app_ctx->amat_type)); 104b107fddaSJed Brown } 1052b916ea7SJeremy L Thompson PetscCall(PetscOptionsBool("-pmat_pbdiagonal", "Assemble only point-block diagonal for Pmat", NULL, app_ctx->pmat_pbdiagonal, 106b107fddaSJed Brown &app_ctx->pmat_pbdiagonal, NULL)); 107b107fddaSJed Brown 108a515125bSLeila Ghaffari // Provide default ceed resource if not specified 109a515125bSLeila Ghaffari if (!ceed_flag) { 110a515125bSLeila Ghaffari const char *ceed_resource = "/cpu/self"; 111a515125bSLeila Ghaffari strncpy(app_ctx->ceed_resource, ceed_resource, 10); 112a515125bSLeila Ghaffari } 113a467869fSJed Brown // If we request a GPU, make sure PETSc has initialized its device (which is 114a467869fSJed Brown // MPI-aware in case multiple devices are available) before CeedInit so that 115a467869fSJed Brown // PETSc and libCEED agree about which device to use. 116a467869fSJed Brown if (strncmp(app_ctx->ceed_resource, "/gpu", 4) == 0) PetscCall(PetscDeviceInitialize(PETSC_DEVICE_DEFAULT())); 117a515125bSLeila Ghaffari 118a515125bSLeila Ghaffari // Provide default problem if not specified 119a515125bSLeila Ghaffari if (!problem_flag) { 120a515125bSLeila Ghaffari const char *problem_name = "density_current"; 121a515125bSLeila Ghaffari strncpy(app_ctx->problem_name, problem_name, 16); 122a515125bSLeila Ghaffari } 123a515125bSLeila Ghaffari 124002797a3SLeila Ghaffari // Wall Boundary Conditions 125002797a3SLeila Ghaffari bc->num_wall = 16; 126002797a3SLeila Ghaffari PetscBool flg; 1272b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_wall", "Face IDs to apply wall BC", NULL, bc->walls, &bc->num_wall, NULL)); 128002797a3SLeila Ghaffari bc->num_comps = 5; 1292b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-wall_comps", "An array of constrained component numbers", NULL, bc->wall_comps, &bc->num_comps, &flg)); 130002797a3SLeila Ghaffari // Slip Boundary Conditions 131002797a3SLeila Ghaffari for (PetscInt j = 0; j < 3; j++) { 132002797a3SLeila Ghaffari bc->num_slip[j] = 16; 133002797a3SLeila Ghaffari PetscBool flg; 134002797a3SLeila Ghaffari const char *flags[3] = {"-bc_slip_x", "-bc_slip_y", "-bc_slip_z"}; 1352b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray(flags[j], "Face IDs to apply slip BC", NULL, bc->slips[j], &bc->num_slip[j], &flg)); 136002797a3SLeila Ghaffari if (flg) bc->user_bc = PETSC_TRUE; 137002797a3SLeila Ghaffari } 138002797a3SLeila Ghaffari 139002797a3SLeila Ghaffari // Error if wall and slip BCs are set on the same face 140002797a3SLeila Ghaffari if (bc->user_bc) 141002797a3SLeila Ghaffari for (PetscInt c = 0; c < 3; c++) 142002797a3SLeila Ghaffari for (PetscInt s = 0; s < bc->num_slip[c]; s++) 143002797a3SLeila Ghaffari for (PetscInt w = 0; w < bc->num_wall; w++) 144002797a3SLeila Ghaffari if (bc->slips[c][s] == bc->walls[w]) 1452b916ea7SJeremy L Thompson SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Boundary condition already set on face %" PetscInt_FMT "!\n", bc->walls[w]); 146002797a3SLeila Ghaffari 147002797a3SLeila Ghaffari // Inflow BCs 148002797a3SLeila Ghaffari bc->num_inflow = 16; 1492b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_inflow", "Face IDs to apply inflow BC", NULL, bc->inflows, &bc->num_inflow, NULL)); 150002797a3SLeila Ghaffari // Outflow BCs 151002797a3SLeila Ghaffari bc->num_outflow = 16; 1522b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_outflow", "Face IDs to apply outflow BC", NULL, bc->outflows, &bc->num_outflow, NULL)); 153df55ba5fSJames Wright // Freestream BCs 154df55ba5fSJames Wright bc->num_freestream = 16; 1552b916ea7SJeremy L Thompson PetscCall(PetscOptionsIntArray("-bc_freestream", "Face IDs to apply freestream BC", NULL, bc->freestreams, &bc->num_freestream, NULL)); 156002797a3SLeila Ghaffari 157*b0488d1fSJames Wright // Statistics Options 158*b0488d1fSJames Wright PetscCall(PetscOptionsBool("-stats_enable", "Enable collection of spanwise statistics", NULL, app_ctx->stats_enable, &app_ctx->stats_enable, NULL)); 159*b0488d1fSJames Wright 160*b0488d1fSJames Wright PetscCall(PetscOptionsBool("-stats_test", "Use test QF for stats collection", NULL, app_ctx->stats_test, &app_ctx->stats_test, NULL)); 161*b0488d1fSJames Wright 162*b0488d1fSJames Wright app_ctx->stats_collect_interval = 1; 163*b0488d1fSJames Wright PetscCall(PetscOptionsInt("-stats_collect_interval", "Number of timesteps between statistics collection", NULL, app_ctx->stats_collect_interval, 164*b0488d1fSJames Wright &app_ctx->stats_collect_interval, NULL)); 165*b0488d1fSJames Wright 166*b0488d1fSJames Wright app_ctx->stats_write_interval = -1; 167*b0488d1fSJames Wright PetscCall(PetscOptionsInt("-stats_write_interval", "Number of timesteps between statistics file writing", NULL, app_ctx->stats_write_interval, 168*b0488d1fSJames Wright &app_ctx->stats_write_interval, NULL)); 169*b0488d1fSJames Wright 1701485969bSJeremy L Thompson PetscOptionsEnd(); 171a515125bSLeila Ghaffari 172a515125bSLeila Ghaffari PetscFunctionReturn(0); 173a515125bSLeila Ghaffari } 174