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

Out Of Memory in the engine #1109

Open
W95Psp opened this issue Nov 12, 2024 · 2 comments
Open

Out Of Memory in the engine #1109

W95Psp opened this issue Nov 12, 2024 · 2 comments
Labels
engine Issue in the engine

Comments

@W95Psp
Copy link
Collaborator

W95Psp commented Nov 12, 2024

If an OOM happens in the engine, it seems like OCaml just exits with 1 with no error message at all.

That's an issue because that's probably a specific phase that crashed. We want to have information about that phase.

Possible solutions:

  • https://ocaml.org/manual/5.2/api/Stdlib.html at_exit, hook something to catch an error (we could register a callback when running a phase only, or just deregister the callback when exiting normally)
  • detect exit one in the Rust cli, and display a message saying that's probably an OOM, and re-run with --stats to get an idea of what phase failed
@W95Psp W95Psp added the engine Issue in the engine label Nov 12, 2024
@franziskuskiefer
Copy link
Member

Is this related to #1033?

@W95Psp
Copy link
Collaborator Author

W95Psp commented Nov 12, 2024

Probably, yes! Thanks for linking it!

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

No branches or pull requests

2 participants