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

Make reservation policy owning #250

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

Conversation

chillenzer
Copy link

@chillenzer chillenzer commented Mar 27, 2024

DRAFT: Awaiting merge of #247 such that we can test this (at least manually).

Closes #244.

As discussed in #244, this makes the ReservePoolPolicies own the pool memory. We discussed that this might go beyond the scope of a "policy" but a renaming would break backwards compatibility, so should be well thought through. Tracked in #251.

@chillenzer chillenzer changed the title Topic make reservation policy owning Make reservation policy owning Mar 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Discrepancy between calls to setMemPool and resetMemPool
1 participant