avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has quit [Ping timeout: 258 seconds]
brson has quit [Quit: leaving]
ansiwen has quit [Read error: Connection reset by peer]
ansiwen has joined #mirage
demonimin has quit [Ping timeout: 276 seconds]
demonimin has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
w10have has joined #mirage
insitu has joined #mirage
seangrove has quit [Ping timeout: 276 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 246 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 260 seconds]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has joined #mirage
w10have has quit [Ping timeout: 240 seconds]
mort___ has left #mirage [#mirage]
w10have has joined #mirage
w10have has quit [Ping timeout: 250 seconds]
mort___ has joined #mirage
AltGr has joined #mirage
mort___ has quit [Quit: Leaving.]
StrykerKKD has joined #mirage
stryker_kkd has joined #mirage
StrykerKKD has quit [Remote host closed the connection]
mort___ has joined #mirage
mort___ has quit [Client Quit]
insitu has joined #mirage
reynir has quit [Quit: WeeChat 1.4]
reynir has joined #mirage
w10have has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
w10have has quit [Ping timeout: 244 seconds]
insitu has joined #mirage
w10have has joined #mirage
w10have has quit [Ping timeout: 244 seconds]
mort___ has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
insitu has joined #mirage
insitu has quit [Read error: Connection reset by peer]
rgrinberg has joined #mirage
seangrove has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
AltGr has left #mirage [#mirage]
betheynyx has joined #mirage
mort___ has joined #mirage
betheynyx has quit [Remote host closed the connection]
<hannes> I counted bytes of MirageOS unikernels, in case you're interested... https://hannes.nqsb.io/Posts/BottomUp
w10have has joined #mirage
<Drup> hannes: I asked pierre to add a tool/option to give the contribution of each archive in the total size of a binary, he said it could be done but it was complicated with inlining.
mort___ has quit [Quit: Leaving.]
rgrinberg has joined #mirage
insitu has joined #mirage
<hannes> Drup: it is possible to reverse it using nm..
<hannes> but thx, having it available at the higher level would certainly ease counting
<Drup> hannes: can you really ?
<hannes> run nm on all objects beforehand, list for each symbol their size (and dependent symbols)
<hannes> then run nm on the statically linked binary, and lookup all symbols, sum up the sizes
<Drup> hum, you could automate that
<hannes> does _not_ work if the linker smashes symbol names (but I don't think it does that)
<hannes> yes!
<hannes> in <50 lines of shell :)
<Drup> it would give better results than what you currently do
<hannes> yes
<hannes> you could also write a heuristic mapping symbol name to a module, and thus record module sizes
<Drup> wouldn't you have issues with C symbols ?
<hannes> heuristic.. C libs (symbols+nm should work) are best treated as a blob ;)
<Drup> (btw, you seem to make the assumption that re is big (and that astring is smaller), did you checked ?
<hannes> I'm also curious whether any of the ELF libs in OCaml would be useful here.. rather than screenscraping the nm output
<hannes> Drup: i never said so. I'm only allergic to regular expressions (and mirage-runtime already has a depedency on astring)
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Drup> right, the post seemed to implied that it was for size reasons
<Drup> hannes: Can I expect a contribution of the treemap algo to https://github.com/Drup/tree_layout ? :D
<hannes> Drup: oh, yours is to render actual trees, isn't it?
<hannes> mine is rather keys, values and sorting the size of the values...
<hannes> but of course you can grab the bits and pieces you need
<Drup> yes
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
seangrove has quit [Ping timeout: 240 seconds]
w10have has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #mirage
seangrove has joined #mirage
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
dograt has quit [Remote host closed the connection]
dograt has joined #mirage
copy` has joined #mirage
seangrove has quit [Ping timeout: 244 seconds]
seangrove has joined #mirage
stryker_kkd has quit [Quit: Leaving]
seangrove has quit [Ping timeout: 240 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 250 seconds]