Skip to content

Support heap images for cakeml. #1133

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
Open
ordinarymath opened this issue Feb 5, 2025 · 3 comments
Open

Support heap images for cakeml. #1133

ordinarymath opened this issue Feb 5, 2025 · 3 comments
Labels
high effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary

Comments

@ordinarymath
Copy link
Contributor

ordinarymath commented Feb 5, 2025 •
edited
Loading

It would be nice for cakeml to support heap images providing similar functionality to polyml heaps where you can save a heap state to disk and load the heap state.
@ordinarymath ordinarymath added performance Runtime of a plausible real cakeml-generated binary high effort medium reward Easy to measure but may not be noticed by itself high reward Improvements that will be noticed, >5-10% speedups and removed high reward Improvements that will be noticed, >5-10% speedups labels Feb 5, 2025
@ordinarymath ordinarymath changed the title Support heap images Support heap images in cakeml. Feb 5, 2025
@ordinarymath ordinarymath changed the title Support heap images in cakeml. Support heap images for cakeml. Feb 5, 2025
@ordinarymath
Copy link
Contributor Author

Allowing candle to use this would be explicit goal.

@xrchz
Copy link
Member

xrchz commented Feb 5, 2025

What if anything would you want to be verified about this?

@ordinarymath
Copy link
Contributor Author

ordinarymath commented Feb 5, 2025 •
edited
Loading

It would a proof of equivalence between

  1. run candle and "build" the base library. Export the heap state. Create a new instance of cakeml pass it the heap state as a param and continue.
  2. run candle and "build the base library"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
high effort medium reward Easy to measure but may not be noticed by itself performance Runtime of a plausible real cakeml-generated binary
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@xrchz @ordinarymath