05:52 <ehirdoy> copy`, thanks!!

11:46 <ehirdoy> what's the name of macro(or flag?) to pass as linker option(-lto) at mirage build?

15:19 <ehirdoy> I couldn't find any configurable flag so that I hardcoded -use-lto in mirage code, https://gist.github.com/ehirdoy/461731eb55b6c567a8018c1cc66ab26f

15:28 <ehirdoy> 2.2M vs 967K, with lto and without lto repectively....still this looks big from the result of http://anil.recoil.org/papers/2013-asplos-mirage.pdf, any hint to go further?

16:10 <apache2> ehirdoy: is this after `strip` ?

17:46 <ehirdoy_home> yes after stripped

17:53 <hannes> ehirdoy_home: AFAIK the numbers from asplos paper used the byte code interpreter, whereas mirage nowadays always uses native code compilation...

17:56 <ehirdoy_home> @hannes, you mean, with bytecode, actual size may be binary size + runtime size ~= native code size?

17:58 <hannes> ehirdoy_home: I'm talking about https://v1.realworldocaml.org/v1/en/html/the-compiler-backend-byte-code-and-native-code.html -- and I don't know from where the numbers came into the 2013 asplos paper

18:12 <ehirdoy_home> ocamlclean is used to remove unused functions in addition to '-lto' removing unused modules, but ocamlclean seems to be only for byte code :( I need the similar for native code, removing unused functions........

18:14 <hannes> well, or finding out which opam packages are in the dependency chain and are big and can be safely removed/replaced ;) what is your desired binary size?

18:15 <hannes> or re-activating the bytecode output of mirageos to produce tiny binaries

18:20 <ehirdoy_home> the smaller the better:) People are trying to shrink linux kernel ~1MB+ and also there are many more smaller RTOSes. Probably 500kB MirageOS(inc net stack) may be appealing as in asplos paper originally, I guess. If I take MirageOS in bytecode for smallness, some perf would be sacrificed....

18:24 <Drup> the "dead code elim" sizes in the asplos paper are with ocamlclean, you won't get that in native. hello wolrd in native + -lto on unix is ~500Ko. A complete website with TLS stack+assets is 1.5Mo

18:25 <Drup> (add around 1Mo for Xen images)

18:31 <ehirdoy_home> I tried today with 4.06.1+lto switch, and hello.hvt(native) is 967KB. This is still bigger by 467KB, compared with your info....:( I really want to see 500KB hello native at first with the latest 4.06.1+lto.

18:33 <Drup> hmm, the measurements I have at hands were done with 4.05, and I don't know which Mirage version (probably 2.X or 3.0). The base things might have grown a bit

18:35 <ehirdoy_home> is my hack correct, enabling -lto? https://gist.github.com/ehirdoy/461731eb55b6c567a8018c1cc66ab26f

18:37 <Drup> by instinct, I would say. You could also just use OCAMLPARAM

18:47 <ehirdoy_home> "noop.hvt"z in mirage-skelton is 960KB with "-lto".....something seems wrong??? I used 4.06.1+lto switch and mirage v3.4.1

18:51 <copy`> This may be useful for finding the culprit: https://discuss.ocaml.org/t/reducing-mirageos-image-size-using-ocamlclean/2481/13