-
Notifications
You must be signed in to change notification settings - Fork 184
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
[BUG] js_of_ocaml is excessively memory hungry #1612
Labels
Comments
JasonGross
added a commit
to JasonGross/fiat-crypto
that referenced
this issue
May 9, 2024
`js_of_ocaml` is too heavy for M1 GH Action runners which have only 7GB RAM, cf ocsigen/js_of_ocaml#1612, https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories
JasonGross
added a commit
to JasonGross/fiat-crypto
that referenced
this issue
May 9, 2024
`js_of_ocaml` is too heavy for M1 GH Action runners which have only 7GB RAM, cf ocsigen/js_of_ocaml#1612, https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories
JasonGross
added a commit
to JasonGross/fiat-crypto
that referenced
this issue
May 9, 2024
`js_of_ocaml` is too heavy for M1 GH Action runners which have only 7GB RAM, cf ocsigen/js_of_ocaml#1612, https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories
With the change mentioned, I the following for
|
@hhugo Regarding this, I have been working on the sourcemap slowness and will open a PR today. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Describe the bug
js_of_ocaml
is very cool! I use it on CI to generate a webpage. However, I cannot use it on the new GitHub Actions arm64 MacOS boxes, which have only 7 GB of RAM, because it sometimes eats 8--9 GB RAM to generate a single .js file. For example here is a table of build times and memory usages on linux:It is similar on mac, and a bit better on debian sid.
I invoke it with
--source-map --no-inline --enable=effects
and invoke the compiler with-package js_of_ocaml -package unix -w -20 -g
For the near future (until artifacts expire), the build artifacts page contains generated .js files (fiat-html-js-of-ocaml), .ml source files (ExtractionJsOfOCaml-source-master), and compiled files (ExtractionJsOfOCaml-master-ocaml-4.11.1).
Expected behavior
I expect there to be a way to make the js_of_ocaml pipeline fit in under 7GB of RAM, possibly with a flag, if necessary.
Versions
js_of_ocaml 5.7.2, ocaml 4.11.1
The text was updated successfully, but these errors were encountered: