fv-coupling.py

Go to the documentation of this file.

# This file is part of the ExaHyPE2 project. For conditions of distribution and
# use, please see the copyright notice at www.peano-framework.org
import peano4
import exahype2
 
parser = exahype2.ArgumentParser("ExaHyPE 2 - Finite Volumes Coupling Testing Script")
 
parser.set_defaults(
    min_depth=3,
    degrees_of_freedom=16,
    end_time=1.0,
    number_of_snapshots=0,
    periodic_boundary_conditions_x=False,
    periodic_boundary_conditions_y=False,
    periodic_boundary_conditions_z=False,
)
args = parser.parse_args()
 
max_h = 1.1 / 3.0**args.min_depth
min_h = max_h * 3.0 ** (-args.amr_levels)
 

 
euler_unknowns = {
    "rho": 1,
    "rhoU": 1,
    "rhoV": 1,
}
if args.dimensions == 3:
    euler_unknowns["rhoW"] = 1
euler_unknowns["rhoE"] = 1
 
euler_initial_conditions = """
  Q[Shortcuts::rho]  = 0.1;
  Q[Shortcuts::rhoU] = 0.0;
  Q[Shortcuts::rhoV] = 0.0;
#if DIMENSIONS == 3
  Q[Shortcuts::rhoW] = 0.0;
#endif
  Q[Shortcuts::rhoE] = ((x(0) < 0.5) ? (1.01) : (1.0));
"""
 
euler_boundary_conditions = """
  // Reflective boundary conditions
  Qoutside[Shortcuts::rho]  = Qinside[Shortcuts::rho];
  Qoutside[Shortcuts::rhoU] = -Qinside[Shortcuts::rhoU];
  Qoutside[Shortcuts::rhoV] = -Qinside[Shortcuts::rhoV];
#if DIMENSIONS == 3
  Qoutside[Shortcuts::rhoW] = -Qinside[Shortcuts::rhoW];
#endif
  Qoutside[Shortcuts::rhoE] = Qinside[Shortcuts::rhoE];
"""
 
compute_primitive_variables = r"""
  const auto irho = 1.0 / Q[Shortcuts::rho];
  const auto u0 = Q[Shortcuts::rhoU + 0] * irho;
  const auto u1 = Q[Shortcuts::rhoU + 1] * irho;
#if DIMENSIONS == 3
  const auto u2 = Q[Shortcuts::rhoU + 2] * irho;
#endif
 
#if DIMENSIONS == 3
  const auto uSq = u0 * u0 + u1 * u1 + u2 * u2;
  const auto u_n = (normal == 0) ? u0 : (normal == 1) ? u1 : u2;
#else
  const auto uSq = u0 * u0 + u1 * u1;
  const auto u_n = (normal == 0) ? u0 : u1;
#endif
 
  const auto internalE = Q[Shortcuts::rhoE] - 0.5 * Q[Shortcuts::rho] * uSq;
  const auto p = (GAMMA - 1.0) * internalE;
"""
 
euler_max_eigenvalue = r"""
  {compute_primitive_variables}
  const auto speedOfSound = std::sqrt(GAMMA * p * irho);
  auto result = std::fmax(0.0, std::fabs(u_n - speedOfSound));
  result = std::fmax(result, std::fabs(u_n + speedOfSound));
  return result;
""".format(
    compute_primitive_variables=compute_primitive_variables
)
 
euler_flux = r"""
  {compute_primitive_variables}
 
  F[Shortcuts::rho] = Q[Shortcuts::rhoU + normal];
 
  F[Shortcuts::rhoU + 0] = Q[Shortcuts::rhoU + 0] * u_n;
  F[Shortcuts::rhoU + 1] = Q[Shortcuts::rhoU + 1] * u_n;
#if DIMENSIONS == 3
  F[Shortcuts::rhoU + 2] = Q[Shortcuts::rhoU + 2] * u_n;
#endif
 
  F[Shortcuts::rhoU + normal] += p;
 
  F[Shortcuts::rhoE] = (Q[Shortcuts::rhoE] + p) * u_n;
""".format(
    compute_primitive_variables=compute_primitive_variables
)
 
euler_solver = exahype2.solvers.fv.godunov.GlobalAdaptiveTimeStep(
    name="EulerFVSolver",
    patch_size=args.degrees_of_freedom,
    unknowns=euler_unknowns,
    auxiliary_variables=0,
    min_volume_h=min_h,
    max_volume_h=max_h,
    time_step_relaxation=0.5,
)
 
euler_solver.set_implementation(
    initial_conditions=euler_initial_conditions,
    boundary_conditions=euler_boundary_conditions,
    flux=euler_flux,
    max_eigenvalue=euler_max_eigenvalue,
)
 

 
advection_unknowns = {"scalar": 1}  # Represents some material that is "moved" (advected) through the velocity field computed by the Euler equations
advection_auxiliary_variables = {
    "rho": 1,
    "rhoU": 1,
    "rhoV": 1,
}
if args.dimensions == 3:
    advection_auxiliary_variables["rhoW"] = 1
 
advection_initial_conditions = """
  Q[Shortcuts::scalar]  = ((x(0) < 0.5) ? (50) : 0.0);
  Q[Shortcuts::rho]     = 0.1;
  Q[Shortcuts::rhoU]    = 0.0;
  Q[Shortcuts::rhoV]    = 0.0;
#if DIMENSIONS == 3
  Q[Shortcuts::rhoW]    = 0.0;
#endif
"""
 
advection_boundary_conditions = """
  // Reflective boundary conditions
  Qoutside[Shortcuts::scalar] = Qinside[Shortcuts::scalar];
  Qoutside[Shortcuts::rho]    = Qinside[Shortcuts::rho];
  Qoutside[Shortcuts::rhoU]   = -Qinside[Shortcuts::rhoU];
  Qoutside[Shortcuts::rhoV]   = -Qinside[Shortcuts::rhoV];
#if DIMENSIONS == 3
  Qoutside[Shortcuts::rhoW]   = -Qinside[Shortcuts::rhoW];
#endif
"""
 
advection_flux = """
  const auto irho = 1.0 / Q[Shortcuts::rho];
  const auto u_n = Q[Shortcuts::rhoU + normal] * irho;
  F[Shortcuts::scalar] = Q[Shortcuts::scalar] * u_n;
"""
 
advection_max_eigenvalue = """
  if (dt == 0) {
    // Return dummy value initially because all velocities are 0
    return 1.0;
  }
  // We could also return a dummy value here but this way, mistakes are more obvious.
  const auto irho = 1.0 / Q[Shortcuts::rho];
  const auto u_n = Q[Shortcuts::rhoU + normal] * irho;
  return u_n;
"""
 
advection_solver = exahype2.solvers.fv.godunov.GlobalAdaptiveTimeStep(
    name="AdvectionFVSolver",
    patch_size=args.degrees_of_freedom,
    unknowns=advection_unknowns,
    auxiliary_variables=advection_auxiliary_variables,
    min_volume_h=min_h,
    max_volume_h=max_h,
    time_step_relaxation=0.5,
    solvers_before_in_coupling=[euler_solver],
)
 
advection_solver.set_implementation(
    initial_conditions=advection_initial_conditions,
    boundary_conditions=advection_boundary_conditions,
    flux=advection_flux,
    max_eigenvalue=advection_max_eigenvalue,
)
 

 
advection_solver._compute_time_step_size = (
    """
  const double timeStepSize = repositories::"""
    + euler_solver.get_name_of_global_instance()
    + """.getAdmissibleTimeStepSize(false);
"""
)
 
number_of_variables_euler = euler_solver.auxiliary_variables + euler_solver.unknowns
number_of_variables_advection = (
    advection_solver.auxiliary_variables + advection_solver.unknowns
)
 
# TODO: This is really ugly!
euler_solver.postprocess_updated_patch += f"""// Copy density and momenta
  ::toolbox::blockstructured::copyUnknown(
    {euler_solver.patch_size}, // no of unknowns per dimension
    fineGridCell{euler_solver.name}Q.value, // source
    {euler_solver._variable_names.index("rho")}, // density in source
    {number_of_variables_euler}, // unknowns in source (incl material parameters)
    0, // no overlap/halo here
    fineGridCell{advection_solver.name}Q.value, // dest
    {advection_solver._variable_names.index("rho")}, // density in dest
    {number_of_variables_advection}, // unknowns in dest (incl material parameters)
    0 // no overlap/halo here
  );
 
  ::toolbox::blockstructured::copyUnknown(
    {euler_solver.patch_size}, // no of unknowns per dimension
    fineGridCell{euler_solver.name}Q.value, // source
    {euler_solver._variable_names.index("rhoU")}, // x-momentum in source
    {number_of_variables_euler}, // unknowns in source (incl material parameters)
    0, // no overlap/halo here
    fineGridCell{advection_solver.name}Q.value, // dest
    {advection_solver._variable_names.index("rhoU")}, // x-momentum in dest
    {number_of_variables_advection}, // unknowns in dest (incl material parameters)
    0 // no overlap/halo here
  );
 
  ::toolbox::blockstructured::copyUnknown(
    {euler_solver.patch_size}, // no of unknowns per dimension
    fineGridCell{euler_solver.name}Q.value, // source
    {euler_solver._variable_names.index("rhoV")}, // y-momentum in source
    {number_of_variables_euler}, // unknowns in source (incl material parameters)
    0, // no overlap/halo here
    fineGridCell{advection_solver.name}Q.value, // dest
    {advection_solver._variable_names.index("rhoV")}, // y-momentum in dest
    {number_of_variables_advection}, // unknowns in dest (incl material parameters)
    0 // no overlap/halo here
  );
"""
 
if args.dimensions == 3:
    euler_solver.postprocess_updated_patch += f"""
#if DIMENSIONS == 3
  ::toolbox::blockstructured::copyUnknown(
    {euler_solver.patch_size}, // no of unknowns per dimension
    fineGridCell{euler_solver.name}Q.value, // source
    {euler_solver._variable_names.index("rhoW")}, // z-momentum in source
    {number_of_variables_euler}, // unknowns in source (incl material parameters)
    0, // no overlap/halo here
    fineGridCell{advection_solver.name}Q.value, // dest
    {advection_solver._variable_names.index("rhoW")}, // z-momentum in dest
    {number_of_variables_advection}, // unknowns in dest (incl material parameters)
    0 // no overlap/halo here
  );
#endif
"""
 
euler_solver.add_user_action_set_includes('#include "toolbox/blockstructured/Copy.h"\n')
 
euler_solver.last_solver = advection_solver
 

 
project = exahype2.Project(
    namespace=["tests", "exahype2", "fv"],
    project_name=".",
    directory=".",
    executable="ExaHyPE",
)
 
project.add_solver(euler_solver)
project.add_solver(advection_solver)
 
if args.number_of_snapshots <= 0:
    time_in_between_plots = 0.0
else:
    time_in_between_plots = args.end_time / args.number_of_snapshots
    project.set_output_path(args.output)
 
project.set_global_simulation_parameters(
    dimensions=args.dimensions,
    size=[1.0, 1.0, 1.0][0 : args.dimensions],
    offset=[0.0, 0.0, 0.0][0 : args.dimensions],
    min_end_time=args.end_time,
    max_end_time=args.end_time,
    first_plot_time_stamp=0.0,
    time_in_between_plots=time_in_between_plots,
    periodic_BC=[
        args.periodic_boundary_conditions_x,
        args.periodic_boundary_conditions_y,
        args.periodic_boundary_conditions_z,
    ],
)
 
project.set_load_balancer("new ::exahype2::LoadBalancingConfiguration")
project.set_Peano4_installation(
    "../../../", mode=peano4.output.string_to_mode(args.build_mode)
)
project = project.generate_Peano4_project(verbose=False)
project.output.makefile.add_CXX_flag("-DGAMMA=1.4")
project.set_fenv_handler(args.fpe)
project.build(make=True, make_clean_first=True, throw_away_data_after_build=True)