Peano
Loading...
Searching...
No Matches
CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking Class Reference

Variation of classic FD4 which relies on second order PDE formulation. More...

Inheritance diagram for CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking:
Collaboration diagram for CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking:

Public Member Functions

 __init__ (self, name, patch_size, rk_order, min_meshcell_h, max_meshcell_h, reconstruction_type)
 Constructor.
 
 add_tracer (self, name, coordinates, project, number_of_entries_between_two_db_flushes, data_delta_between_two_snapsots, time_delta_between_two_snapsots, clear_database_after_flush, tracer_unknowns)
 Add tracer to project.
 
- Public Member Functions inherited from CCZ4Solver.AbstractCCZ4Solver
 enable_second_order (self)
 
 add_all_solver_constants (self)
 Add domain-specific constants.
 
 add_makefile_parameters (self, peano4_project, path_of_ccz4_application)
 Add include path and minimal required cpp files to makefile.
 
- Public Member Functions inherited from exahype2.solvers.rkfd.fd4.GlobalAdaptiveTimeStepWithEnclaveTasking.GlobalAdaptiveTimeStepWithEnclaveTasking
 set_implementation (self, flux=None, ncp=None, source_term=None, eigenvalues=None, boundary_conditions=None, refinement_criterion=None, initial_conditions=None, memory_location=None, additional_action_set_includes="", additional_user_includes="", KOSigma=None)
 If you pass in User_Defined, then the generator will create C++ stubs that you have to befill manually.
 
 user_action_set_includes (self)
 Add further includes to this property, if your action sets require some additional routines from other header files.
 
 add_entries_to_text_replacement_dictionary (self, d)
 Invoce superclass and then add one more field:
 
- Public Member Functions inherited from exahype2.solvers.rkfd.SeparateSweepsWithEnclaveTasking.SeparateSweepsWithEnclaveTasking
 create_data_structures (self)
 Call the superclass' create_data_structures() to ensure that all the data structures are in place, i.e.
 
 create_action_sets (self)
 Call superclass routine and then reconfigure the update cell call.
 
 add_implementation_files_to_project (self, namespace, output, dimensions, subdirectory="")
 Add the enclave task for the GPU.
 
 add_actions_to_perform_time_step (self, step)
 Add enclave aspect.
 
 switch_storage_scheme (self, Storage cell_data_storage, Storage face_data_storage)
 By default, we hold all data on the call stacks.
 
- Public Member Functions inherited from exahype2.solvers.rkfd.CellCenteredFiniteDifferences.CellCenteredFiniteDifferences
 __str__ (self)
 
 get_min_number_of_spacetree_levels (self, domain_size)
 
 get_max_number_of_spacetree_levels (self, domain_size)
 
 get_coarsest_number_of_patches (self, domain_size)
 
 get_finest_number_of_patches (self, domain_size)
 
 get_coarsest_number_of_compute_grid_cells (self, domain_size)
 
 get_finest_number_of_compute_grid_cells (self, domain_size)
 
 get_coarsest_compute_grid_cell_size (self, domain_size)
 
 get_finest_compute_grid_cell_size (self, domain_size)
 
 create_readme_descriptor (self, domain_offset, domain_size)
 
 user_solver_includes (self)
 Add further includes to this property, if your solver requires some additional routines from other header files.
 
 number_of_Runge_Kutta_steps (self)
 Return number of steps required to realise the Runge-Kutta scheme.
 
 add_user_action_set_includes (self, value)
 Add further includes to this property, if your action sets require some additional routines from other header files.
 
 add_user_solver_includes (self, value)
 Add further includes to this property, if your solver requires some additional routines from other header files.
 
 get_name_of_global_instance (self)
 
 add_to_Peano4_datamodel (self, datamodel, verbose)
 Add all required data to the Peano4 project's datamodel so it is properly built up.
 
 add_use_data_statements_to_Peano4_solver_step (self, step)
 Tell Peano what data to move around.
 
 add_actions_to_init_grid (self, step, restart_from_checkpoint=False)
 Add your actions to init grid.
 
 add_actions_to_create_grid (self, step, evaluate_refinement_criterion)
 The boundary information is set only once.
 
 plot_description (self)
 
 plot_description (self, description)
 Use this one to set a description within the output patch file that tells the vis solver what the semantics of the entries are.
 
 add_actions_to_plot_solution (self, step, output_path, restart_from_checkpoint=False)
 Add action sets to plotting grid sweep.
 
 add_actions_to_checkpoint_solution (self, step, output_path, restart_from_checkpoint=False)
 Add action sets to checkpoint grid sweep.
 
 set_solver_constants (self, datastring)
 
 add_solver_constants (self, datastring)
 
 unknowns (self)
 
 patch_size (self)
 
 auxiliary_variables (self)
 
 patch_size (self, value)
 
 unknowns (self, value)
 
 auxiliary_variables (self, value)
 
 preprocess_reconstructed_patch (self)
 
 preprocess_reconstructed_patch (self, kernel)
 Please consult exahype2.solvers.fv.FV.preprocess_reconstructed_patch() for a documentation on this routine.
 
 name (self)
 
 postprocess_updated_patch (self)
 
 postprocess_updated_patch (self, kernel)
 Define a postprocessing routine over the data.
 
 overlap (self)
 
 overlap (self, value)
 
 interpolation (self)
 
 interpolation (self, value)
 Set the interpolation scheme.
 
 restriction (self)
 Set the restriction scheme.
 
 restriction (self, value)
 

Data Fields

 auxiliary_variables
 
- Data Fields inherited from CCZ4Solver.AbstractCCZ4Solver
 integer_constants
 
 double_constants
 
 Default_Time_Step_Size_Relaxation
 
- Data Fields inherited from exahype2.solvers.rkfd.SeparateSweepsWithEnclaveTasking.SeparateSweepsWithEnclaveTasking
 enclave_task_priority
 
 make_copy_of_enclave_task_data
 
- Data Fields inherited from exahype2.solvers.rkfd.CellCenteredFiniteDifferences.CellCenteredFiniteDifferences
 select_dofs_to_print
 

Protected Attributes

 _SO_formulation_unknowns
 
- Protected Attributes inherited from exahype2.solvers.rkfd.fd4.GlobalAdaptiveTimeStepWithEnclaveTasking.GlobalAdaptiveTimeStepWithEnclaveTasking
 _reconstruction_stages
 
 _time_step_relaxation
 
 _compute_eigenvalue
 
 _KO_Sigma
 
 _compute_kernel_call
 
 _flux_implementation
 
 _ncp_implementation
 
 _source_term_implementation
 
 _fused_compute_kernel_call_cpu
 
 _fused_compute_kernel_call_gpu
 
 _abstract_solver_user_declarations
 
 _abstract_solver_user_definitions
 
 _compute_time_step_size
 
 _compute_new_time_step_size
 
 _solver_user_declarations
 
 _solver_user_definitions
 
 _start_time_step_implementation
 
 _finish_time_step_implementation
 
 _constructor_implementation
 
- Protected Attributes inherited from exahype2.solvers.rkfd.SeparateSweepsWithEnclaveTasking.SeparateSweepsWithEnclaveTasking
 _name
 
 _rk_order
 
 _primary_sweeps_of_Runge_Kutta_step_on_cell
 
 _secondary_sweeps_of_Runge_Kutta_step_on_cell
 
 _last_secondary_sweep_of_Runge_Kutta_step_on_cell
 
 _primary_sweeps_of_Runge_Kutta_step_on_face
 
 _secondary_sweeps_of_Runge_Kutta_step_on_face
 
 _primary_sweep_guard
 
 _primary_sweep_or_plot_guard
 
 _secondary_sweep_guard
 
 _secondary_sweep_or_initialisation_guard
 
 _solver_template_file_class_name
 
 _fused_compute_kernel_call_cpu
 
 _fused_compute_kernel_call_gpu
 
 _pde_terms_without_state
 
 _fused_volumetric_kernel_call_cpu
 
 _fused_volumetric_kernel_call_gpu
 
 _action_set_merge_enclave_task_outcome
 
 _action_set_update_cell
 
- Protected Attributes inherited from exahype2.solvers.rkfd.SeparateSweeps.SeparateSweeps
 _rk_order
 
 _solver_template_file_class_name
 
 _flux_implementation
 
 _ncp_implementation
 
 _eigenvalues_implementation
 
 _source_term_implementation
 
 _name
 
 _action_set_update_cell
 
 _reconstruction_stages
 
 _boundary_conditions_implementation
 
 _refinement_criterion_implementation
 
 _initial_conditions_implementation
 
 _reconstructed_array_memory_location
 
- Protected Attributes inherited from exahype2.solvers.rkfd.CellCenteredFiniteDifferences.CellCenteredFiniteDifferences
 _name
 
 _min_meshcell_h
 
 _max_meshcell_h
 
 _plot_grid_properties
 
 _patch_size
 
 _overlap
 
 _rk_order
 
 _use_var_shortcut
 
 _variable_names
 
 _variable_pos
 
 _unknowns
 
 _auxiliary_variables
 
 _solver_constants
 
 _user_action_set_includes
 
 _user_solver_includes
 
 _kernel_namespace
 
 _reconstructed_array_memory_location
 
 _solver_template_file_class_name
 
 _plot_description
 
 _action_set_initial_conditions
 
 _action_set_initial_conditions_for_grid_construction
 
 _action_set_AMR
 
 _action_set_AMR_commit_without_further_analysis
 
 _action_set_handle_boundary
 
 _action_set_project_patch_onto_faces
 
 _action_set_roll_over_update_of_faces
 
 _action_set_copy_new_faces_onto_old_faces
 
 _action_set_couple_resolution_transitions_and_handle_dynamic_mesh_refinement
 
 _action_set_postprocess_solution
 
 _action_set_preprocess_solution
 
 _compute_time_step_size
 
 _compute_new_time_step_size
 
 _preprocess_reconstructed_patch
 
 _postprocess_updated_patch
 
 _compute_kernel_call
 
 _compute_eigenvalue
 
 _abstract_solver_user_declarations
 
 _abstract_solver_user_definitions
 
 _solver_user_declarations
 
 _solver_user_definitions
 
 _start_time_step_implementation
 
 _finish_time_step_implementation
 
 _constructor_implementation
 
 _boundary_conditions_implementation
 
 _refinement_criterion_implementation
 
 _initial_conditions_implementation
 
 _interpolation
 
 _restriction
 
 _baseline_action_set_descend_invocation_order
 
 _patch
 
 _patch_estimates
 
 _patch_overlap_old
 
 _patch_overlap_new
 
 _patch_overlap_update
 
 _cell_data_storage
 
 _face_data_storage
 
 _cell_label
 
 _face_label
 
 _action_set_AMR_throughout_grid_construction
 
 _action_set_compute_final_linear_combination
 
 _action_set_update_face_label
 
 _action_set_update_cell_label
 
 _action_set_update_cell
 

Additional Inherited Members

- Static Public Attributes inherited from CCZ4Solver.AbstractCCZ4Solver
float Default_Time_Step_Size_Relaxation = 0.1
 
- Protected Member Functions inherited from CCZ4Solver.AbstractCCZ4Solver
 _add_standard_includes (self)
 Add the headers for the compute kernels and initial condition implementations.
 
- Protected Member Functions inherited from exahype2.solvers.rkfd.SeparateSweepsWithEnclaveTasking.SeparateSweepsWithEnclaveTasking
 _enclave_task_name (self)
 
- Protected Member Functions inherited from exahype2.solvers.rkfd.CellCenteredFiniteDifferences.CellCenteredFiniteDifferences
 _provide_cell_data_to_compute_kernels_default_guard (self)
 
 _provide_face_data_to_compute_kernels_default_guard (self)
 
 _store_cell_data_default_guard (self)
 Extend the guard via ands only.
 
 _load_cell_data_default_guard (self)
 Extend the guard via ands only.
 
 _store_face_data_default_guard (self)
 Extend the guard via ands only.
 
 _load_face_data_default_guard (self)
 Extend the guard via ands only.
 
 _unknown_identifier (self)
 
 _get_default_includes (self)
 
 _init_dictionary_with_default_parameters (self, d)
 This one is called by all algorithmic steps before I invoke add_entries_to_text_replacement_dictionary().
 
- Static Protected Attributes inherited from CCZ4Solver.AbstractCCZ4Solver
dict _FO_formulation_unknowns
 
dict _SO_formulation_unknowns
 

Detailed Description

Variation of classic FD4 which relies on second order PDE formulation.

The traditional ExaHyPE CCZ4 formulation is the first order formulation introduced by Dumbser et al. In this formulation, the second order terms in CCZ4 are substituted with helper variables which represent first order derivatives. While formally straightforward, keeping the whole system consistent and stricly hyperbolic is a different challenge.

In this revised version, we have to evolve the primary quantities of CCZ4 and also the helper variables, which blows the overall system up to 59 equations in its simplest form. The work by Dumbser and others suggest that this is a consistent and stable approach, but limited work is actually published on proper physical simulations. We therefore also implemented a second order PDE version within ExaHyPE.

This second order variant is not really second order from the start. Instead, we use the first order formulation, and we reconstruct the helper term via finite differences prior to the compute kernel application. That is, the compute kernels see variables representing first order derivatives, and they also evolve these guys. Afterwards, we throw away the evolved quantities and reconstruct them from the primary unknowns prior to the next time step.

This might not be super efficient (it would be faster to stick to the second order formulation right from the start), but it allows us to reuse the compute kernels written for the first order PDE formulation.

Data layout

We have now a smaller number of real unknowns, i.e. only those guys who belong to the "original" second-order formulation. The remaining quantities compared to a first-order formulation are technically material or auxiliary quantities. We model them as such, which allows ExaHyPE`s data management to deal more efficiently with them.

reconstruction_type: "4thOrder", "centralDifferences", "leftDifference", "rightDifference"

Definition at line 994 of file CCZ4Solver.py.

Constructor & Destructor Documentation

◆ __init__()

CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking.__init__ ( self,
name,
patch_size,
rk_order,
min_meshcell_h,
max_meshcell_h,
reconstruction_type )

Constructor.

Calibrate the default time step size calibration with 1/16 to take into account that we have a higher-order numerical scheme.

Reimplemented from CCZ4Solver.AbstractCCZ4Solver.

Definition at line 1039 of file CCZ4Solver.py.

References CCZ4Solver.AbstractCCZ4Solver._FO_formulation_unknowns, CCZ4Solver.AbstractCCZ4Solver._SO_formulation_unknowns, and CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking._SO_formulation_unknowns.

Member Function Documentation

◆ add_tracer()

CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking.add_tracer ( self,
name,
coordinates,
project,
number_of_entries_between_two_db_flushes,
data_delta_between_two_snapsots,
time_delta_between_two_snapsots,
clear_database_after_flush,
tracer_unknowns )

Add tracer to project.

Consult exahype2.tracer.DumpTracerIntoDatabase for an explanation of some of the arguments. Most of them are simply piped through to this class.

project: exahype2.Project

Reimplemented from CCZ4Solver.AbstractCCZ4Solver.

Definition at line 1168 of file CCZ4Solver.py.

Field Documentation

◆ _SO_formulation_unknowns

CCZ4Solver.CCZ4Solver_FD4_SecondOrderFormulation_GlobalAdaptiveTimeStepWithEnclaveTasking._SO_formulation_unknowns
protected

◆ auxiliary_variables


The documentation for this class was generated from the following file: