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

Ability to limit memory usage #171

Open
Bastacyclop opened this issue Mar 15, 2022 · 1 comment
Open

Ability to limit memory usage #171

Bastacyclop opened this issue Mar 15, 2022 · 1 comment

Comments

@Bastacyclop
Copy link
Contributor

Hi!

Having a memory usage limit for the Runner would be really useful. There is an e-graph size limit, but the correlation with memory usage is unclear (for example memory is also allocated when applying rewrite rules inside an iteration).
I've implemented such a feature in my Scala port but it relies on Java runtime features, and I am not sure what is the best way to achieve something similar in Rust.

@cospectrum
Copy link
Contributor

cospectrum commented Apr 25, 2024

To calculate the size of EGraph we need to know the size that each node occupies. The node is a Language trait at the moment. Therefore, we will need to add an additional method/trait heap_size(&self) -> ByteSize for a node somewhere.

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

No branches or pull requests

2 participants