Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Save additional node variables in SaveSolutionCallback #2298

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

DanielDoehring
Copy link
Contributor

@DanielDoehring DanielDoehring commented Feb 25, 2025

First attempt to save additional stuff in the solution callback. Not sure if the current implementation works for all cases already.

This could be extended to other quantities such as local Mach number, temperature, ...

Copy link
Contributor

Review checklist

This checklist is meant to assist creators of PRs (to let them know what reviewers will typically look for) and reviewers (to guide them in a structured review process). Items do not need to be checked explicitly for a PR to be eligible for merging.

Purpose and scope

  • The PR has a single goal that is clear from the PR title and/or description.
  • All code changes represent a single set of modifications that logically belong together.
  • No more than 500 lines of code are changed or there is no obvious way to split the PR into multiple PRs.

Code quality

  • The code can be understood easily.
  • Newly introduced names for variables etc. are self-descriptive and consistent with existing naming conventions.
  • There are no redundancies that can be removed by simple modularization/refactoring.
  • There are no leftover debug statements or commented code sections.
  • The code adheres to our conventions and style guide, and to the Julia guidelines.

Documentation

  • New functions and types are documented with a docstring or top-level comment.
  • Relevant publications are referenced in docstrings (see example for formatting).
  • Inline comments are used to document longer or unusual code sections.
  • Comments describe intent ("why?") and not just functionality ("what?").
  • If the PR introduces a significant change or new feature, it is documented in NEWS.md with its PR number.

Testing

  • The PR passes all tests.
  • New or modified lines of code are covered by tests.
  • New or modified tests run in less then 10 seconds.

Performance

  • There are no type instabilities or memory allocations in performance-critical parts.
  • If the PR intent is to improve performance, before/after time measurements are posted in the PR.

Verification

  • The correctness of the code was verified using appropriate tests.
  • If new equations/methods are added, a convergence test has been run and the results
    are posted in the PR.

Created with ❤️ by the Trixi.jl community.

Copy link

codecov bot commented Feb 25, 2025

Codecov Report

Attention: Patch coverage is 94.28571% with 2 lines in your changes missing coverage. Please review.

Project coverage is 96.92%. Comparing base (f5d7a79) to head (5da8b16).
Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
src/solvers/dg.jl 93.33% 2 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2298   +/-   ##
=======================================
  Coverage   96.91%   96.92%           
=======================================
  Files         492      492           
  Lines       40201    40227   +26     
=======================================
+ Hits        38960    38986   +26     
  Misses       1241     1241           
Flag Coverage Δ
unittests 96.92% <94.29%> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@DanielDoehring
Copy link
Contributor Author

Currently, the PR is somewhat inconsistent as for hyperbolic equations there is a dispatch based on the volume integral type, and for the parabolic equations we use an if-clause. This should be unified IMO.

@DanielDoehring DanielDoehring added enhancement New feature or request visualization labels Feb 25, 2025
Copy link
Contributor

@bennibolm bennibolm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

In general, this looks good to me. Unfortunately, the correct export of the "limiting coefficient" is not CI tested extensively.
But, if you tested it locally and say it works properly, I'm fine with merging this after the one issue.

Comment on lines +63 to +72
if typeof(volume_integral) == VolumeIntegralSubcellLimiting
# While for the element-wise limiting with `VolumeIntegralShockCapturingHG` the indicator is
# called here to get up-to-date values for IO, this is not easily possible in this case
# because the calculation is very integrated into the method.
# See also https://github.com/trixi-framework/Trixi.jl/pull/1611#discussion_r1334553206.
# Therefore, the coefficients at `t=t^{n-1}` are saved. Thus, the coefficients of the first
# stored solution (initial condition) are not yet defined and were manually set to `NaN`.
get_node_variables!(node_variables, volume_integral.limiter, volume_integral,
equations)
else
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree with you that we should use dispatch here instead of the of clause.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, or we add an if-clause for the hyperbolic case - might be less code, but also less clean? I am not sure what is the better way here.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tend towards using dispatch as then the method can be extended (from outside Trixi.jl) for other types of volume integrals.

@DanielDoehring
Copy link
Contributor Author

Maybe it also makes sense to add new functions get_derived_solution_variables ?

@DanielDoehring
Copy link
Contributor Author

@JoshuaLampert could you maybe also take a look and leave your thoughts here?

Copy link
Member

@JoshuaLampert JoshuaLampert left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I can image, this is a very useful feature. However, I would like to discuss the interface first, see my comment below.

Comment on lines +63 to +72
if typeof(volume_integral) == VolumeIntegralSubcellLimiting
# While for the element-wise limiting with `VolumeIntegralShockCapturingHG` the indicator is
# called here to get up-to-date values for IO, this is not easily possible in this case
# because the calculation is very integrated into the method.
# See also https://github.com/trixi-framework/Trixi.jl/pull/1611#discussion_r1334553206.
# Therefore, the coefficients at `t=t^{n-1}` are saved. Thus, the coefficients of the first
# stored solution (initial condition) are not yet defined and were manually set to `NaN`.
get_node_variables!(node_variables, volume_integral.limiter, volume_integral,
equations)
else
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tend towards using dispatch as then the method can be extended (from outside Trixi.jl) for other types of volume integrals.

node_variables = Dict{Symbol, Any}()
# Add `:vorticity` key to `node_variables` dictionary.
# The actual values are then computed during the `SaveSolutionCallback`.
node_variables[:vorticity] = nothing
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I wonder whether this is the best interface. It feels a bit odd to create a dictionary and set the entry to nothing. One alternative would be to only pass a list of symbols, which can be used internally to create the dict. This is maybe a bit similar to extra_analysis_errors from the AnalysisCallback (In this case, I would probably rename the argument to something like extra_node_variables). Another alternative, which would allow for even more flexibility is to pass a list of functions with a certain signature. These could either we user-defined or pre-defined like a function computing the vorticity. I am not sure, however, if this approach is feasible in general. It would be a bit similar to extra_analysis_integrals from the AnalysisCallback.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Agreed, the dict should be created internally.

Hm passing in functions would be nice - I think it should be doable.

A more fundamental design choice is probably that we would want another type of solution variables, which truly depend on the solution vector u_ode (the subcell coefficients do not directly). This comes with more changes in the implementation, but is the much cleaner way I think.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants