Hi All, I saw this question first popped up at JuliaCon 2021: [The State of Julia | JuliaCon 2021 | Stefan Karpinksi, Viral Shah, Jeff Bezanson, & Keno Fischer] Since then I have seen a lot of talk and discussion about it as well as some attempt (StaticCompiler.jl) to address the missi…

So while there isn’t a clear roadmap at the moment, it is a goal of the Julia team to have small binaries (It’s the main thing I’ll be working on in the near future). The vision is to have something like juliac that takes in a module or a script (this isn’t super clear just yet, but also isn’t super…

Probably asked before, but is there a table laying out parts of Julia’s runtime and how much RAM and executable size they contribute? Would help if we had a common reference frame for what we’d trim for smaller binaries and for what purposes (for example, you would sacrifice a lot more things for em…

[image] Benny: Would help if we had a common reference frame for what we’d trim for smaller binaries and for what purposes (for example, you would sacrifice a lot more things for embedded systems than for mobile apps), This can be calculated roughly by inspecting the size of indiviual object …

[image] anon56330260: The case you make contains no dynamic dispatch (at runtime) because of union splitting. But union splitting is a kind of dynamic dispatch. For example Wikipedia defines dynamic dispatch as “the process of selecting which implementation of a polymorphic operation (method …

[image] sijo: But union splitting is a kind of dynamic dispatch. For example Wikipedia defines dynamic dispatch as “the process of selecting which implementation of a polymorphic operation (method or function) to call at run time”. The implementation of union splitting fits this perfectly. F…

[image] anon56330260: static compiler prototype I’m interested to hear more (or see code) on your static compiler prototype.

[image] A prototype of `pkgimage` binary cache system for reducing latency General Usage This is a repost from the slack. Slack doesn’t work quite well for long articles, so I decide to repost it here. Recently we ( Tongyuan ) have investigated into binary compilation using…

Super interesting discussion. How does the static compiler prototype compare to pkgimages we have since 1.9? Is it the same essentially? Does pkgimages also rely on interpretation? Best, Oliver

Yeah. The mechanism is basically the same: cache relocatable binary produces to reduce JIT latency. [image] Olivier_Merchiers: Does pkgimages also rely on interpretation? I believe interpretation is only used for toplevel code if you have LLVM (recent Julia supports mixed compilation mode so…

[image] anon56330260: So basically this is all your imagination and expectation. None of them is achieved yet. That’s exactly right. [image] anon56330260: how can you even draw the conclusion that “the situation could improve quickly”/“there are a tons of situation that…”? I’m being h…

There are some parts of the Julia ecosystem that are amenable to static compilation. The SciML work is one I’ve been experimenting with for static compilation. These packages work well with static compilation because they parameterize structs like crazy and pay attention to type stability.

Roadmap for small binaries

Internals & Design

woclass October 20, 2023, 3:21am 47

Topic		Replies	Views
Building stand-alone helloworld produces many dlls, being 200MB big New to Julia	37	6345	November 18, 2021
Why is static compilation difficult General Usage	7	1985	September 14, 2023
Could Someone Explain To Me the Desire for Small Julia Binaries? General Usage question	41	5037	June 12, 2023
Statically compiled and statically linked General Usage	35	9903	September 8, 2020
Julia static compilation General Usage question	39	14634	February 15, 2019

Roadmap for small binaries

Related topics