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.

Sign up for GitHub

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

Jump to bottom

Improve memory allocation in allocator #823

Closed
kanigsson opened this issue Oct 21, 2021 · 0 comments · Fixed by #832
Closed

Improve memory allocation in allocator #823

kanigsson opened this issue Oct 21, 2021 · 0 comments · Fixed by #832
Assignees
@kanigsson
Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less

Comments

@kanigsson
Copy link
Collaborator

The allocator implemented in #629 currently allocates a memory slot for each point of allocation. We should improve this to allocate only as many slots as are potentially used at the same time. This should be done before the more complex scheme in #713.
@kanigsson kanigsson self-assigned this Oct 21, 2021
@kanigsson kanigsson changed the title Improve naive memory allocation in allocator Improve memory allocation in allocator Oct 21, 2021
@kanigsson kanigsson added generator Related to generator package (SPARK code generation) small Effort of one person-day or less labels Oct 21, 2021
@kanigsson kanigsson mentioned this issue Oct 22, 2021
Merged
@kanigsson kanigsson linked a pull request Oct 22, 2021 that will close this issue
Issue 823: improve allocation of memory slots #832
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kanigsson kanigsson

Labels
generator Related to generator package (SPARK code generation) small Effort of one person-day or less
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 823: improve allocation of memory slots AdaCore/RecordFlux
1 participant
@kanigsson