adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
hdon has quit [Ping timeout: 256 seconds]
philtor has joined #ocaml
hdon has joined #ocaml
philtor has quit [Ping timeout: 260 seconds]
exarkun has quit [Read error: Connection reset by peer]
mengu has quit [Remote host closed the connection]
exarkun has joined #ocaml
mfp has quit [Ping timeout: 264 seconds]
jimt has joined #ocaml
isd has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
tormen_ has joined #ocaml
isd has quit [Ping timeout: 248 seconds]
tormen has quit [Ping timeout: 276 seconds]
isd has joined #ocaml
pierpa has quit [Quit: Page closed]
zolk3ri has quit [Ping timeout: 265 seconds]
hdon has joined #ocaml
Soni has quit [Ping timeout: 240 seconds]
philtor has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
philtor has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
shinnya has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 268 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Remote host closed the connection]
isd has quit [Ping timeout: 268 seconds]
spew has joined #ocaml
axesd9 has joined #ocaml
spew has quit [Quit: Leaving]
axesd9 has quit [Ping timeout: 256 seconds]
philtor has joined #ocaml
axesd9 has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
axesd9 has quit [Ping timeout: 256 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
isd has joined #ocaml
isd has quit [Ping timeout: 240 seconds]
isd has joined #ocaml
hdon has joined #ocaml
VermillionAzure has quit [Ping timeout: 255 seconds]
nahra has quit [Remote host closed the connection]
axesd9 has joined #ocaml
JimmyRcom_ has quit [Ping timeout: 264 seconds]
hdon has quit [Ping timeout: 276 seconds]
fwx has joined #ocaml
axesd9 has quit [Ping timeout: 276 seconds]
FreeBirdLjj has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
tarptaeya has joined #ocaml
ozzymcduff has joined #ocaml
isd has quit [Quit: Leaving.]
fwx has quit [Quit: Leaving]
fwx has joined #ocaml
hdon has joined #ocaml
xvilka has joined #ocaml
xvilka_ has quit [Ping timeout: 276 seconds]
zozozo has quit [Ping timeout: 260 seconds]
zozozo has joined #ocaml
fwx has quit [Quit: Leaving]
fwx has joined #ocaml
fwx has quit [Client Quit]
fwx has joined #ocaml
JimmyRcom_ has joined #ocaml
JimmyRcom_ has quit [Ping timeout: 264 seconds]
kakadu has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
hdon has quit [Ping timeout: 265 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
BitPuffin has joined #ocaml
fwx has quit [Remote host closed the connection]
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
sh0t has joined #ocaml
mfp has joined #ocaml
argent_smith has joined #ocaml
mengu has joined #ocaml
mengu has quit [Client Quit]
tarptaeya has quit [Quit: Konversation terminated!]
ozzymcduff has joined #ocaml
pierpal has joined #ocaml
zolk3ri has joined #ocaml
VermillionAzure has joined #ocaml
hdon has joined #ocaml
groovy2shoes has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
jimt has quit [Quit: leaving]
jimt has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
shinnya has quit [Ping timeout: 245 seconds]
hdon has joined #ocaml
dhil_ has joined #ocaml
mk9 has quit [Ping timeout: 265 seconds]
VermillionAzure has quit [Ping timeout: 265 seconds]
davs has joined #ocaml
_whitelogger has joined #ocaml
hdon has quit [Ping timeout: 245 seconds]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pierpal has quit [Ping timeout: 255 seconds]
Haudegen has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Client Quit]
pierpal has joined #ocaml
hdon has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
hdon has quit [Ping timeout: 248 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
spew has joined #ocaml
pierpal has joined #ocaml
Haudegen has quit [Remote host closed the connection]
sz0 has joined #ocaml
pierpal has quit [Ping timeout: 264 seconds]
hlysig has joined #ocaml
pzp has joined #ocaml
pierpal has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
mmatt has joined #ocaml
mmatt has quit [Remote host closed the connection]
larhat has quit [Ping timeout: 260 seconds]
kamog has joined #ocaml
Haudegen has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
spew has quit [Ping timeout: 264 seconds]
mk9 has joined #ocaml
orbifx has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
barcabuona has quit [Quit: WeeChat 2.1]
mk9 has quit [Ping timeout: 256 seconds]
kamog has quit [Remote host closed the connection]
orbifx has quit [Quit: WeeChat 2.1]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
dhil_ has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
davs_ has joined #ocaml
davs has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
mk9 has joined #ocaml
davs has joined #ocaml
hlysig has quit [Quit: WeeChat 2.1]
davs_ has quit [Ping timeout: 260 seconds]
hdon has joined #ocaml
spew has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 268 seconds]
invrsi is now known as xorpse
davs_ has joined #ocaml
davs has quit [Ping timeout: 264 seconds]
xorpse has quit [Quit: ZNC 1.6.5+deb1 - http://znc.in]
davs has joined #ocaml
davs_ has quit [Ping timeout: 256 seconds]
xorpse has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
barcabuona has joined #ocaml
barcabuona has quit [Client Quit]
spew has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
slash^ has quit [Quit: Leaving]
sh0t has quit [Remote host closed the connection]
davs_ has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
spew has quit [Ping timeout: 256 seconds]
davs has quit [Ping timeout: 256 seconds]
FreeBird_ has quit [Remote host closed the connection]
mk9 has quit [Quit: mk9]
davs_ has quit [Remote host closed the connection]
mk9 has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ozzymcduff has joined #ocaml
Leonidas has quit [Ping timeout: 268 seconds]
Leonidas has joined #ocaml
zolk3ri has quit [Ping timeout: 276 seconds]
kroot_ has joined #ocaml
zolk3ri has joined #ocaml
mk9 has quit [Quit: mk9]
hdon has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
hdon has quit [Ping timeout: 256 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
mk9 has joined #ocaml
jao has joined #ocaml
larhat has joined #ocaml
mk9 has quit [Quit: mk9]
kamog has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Client Quit]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ozzymcduff has joined #ocaml
jave has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
jave has quit [Quit: ZNC - http://znc.in]
jave has joined #ocaml
isd has joined #ocaml
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jave has quit [Quit: ZNC - http://znc.in]
silver has joined #ocaml
jave has joined #ocaml
_maniac_ has joined #ocaml
<_maniac_> Hello. can someone give me a memory usage estimate for compiling dose3 with ocamlopt ?
<Fardale> _maniac_: do you use flambda ?
<_maniac_> it's a powerpc64 system and it ate 13.5Gb already
<jpx> lol
<_maniac_> Fardale: probably not. I'm not very proficient in ml, just wanted to try liquidsoap
<_maniac_> I'm bit worried because I don't see any activity when I try to `strace` running ocamlopt
<ZirconiumX> strace just means whether it's making system calls
<_maniac_> yes, I know, it probably doesn't need to call anything, but I'm still worried
<ZirconiumX> What does top say?
<_maniac_> I didn't have top open, only atop and htop: https://i.pzskc383.dp.ua/scrots/20180611001935.png
<_maniac_> and machine just disconnected
<_maniac_> yeah, it stopped responding to ssh
mk9 has joined #ocaml
<ZirconiumX> Oh dear
<_maniac_> faulty cable, machine is online and build is still going
<ZirconiumX> How many cores do you have?
<_maniac_> only two there.
hdon has joined #ocaml
<ZirconiumX> You're running -j 10
<ZirconiumX> That's 500% loading per core
<ZirconiumX> Or in other words, each file now takes 5x as long to compile
mk9 has quit [Quit: mk9]
<_maniac_> yeah, I noticed, I thought it was an proctitle error, because I see only one process with no threads and parent make passes -j1 anyway
<ZirconiumX> _maniac_: perhaps you should turn -j down
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 245 seconds]
<ZirconiumX> In the makefile
<ZirconiumX> Not the make command line
<_maniac_> probably it doesn't like `-l1` passed to make
<_maniac_> hm, makefile? ok.
<ZirconiumX> PPC64, but only two cores. Are you using a G5?
<_maniac_> exactly
<ZirconiumX> That would be another reason why.
webshinra_ is now known as webshinra
<_maniac_> I know it isn't fastest machine, but waiting for 20 hours got me worried, and that's why I am here.
<ZirconiumX> Also, are you running in little or big endian? A friend had issues using little endian on those boxes.
hdon has quit [Ping timeout: 276 seconds]
<_maniac_> BE, and I got my share of endianness issues too
<ZirconiumX> Truth be told, my raspberry pi 3b+ is faster than your box, and has twice the cores.
<_maniac_> yes, most probably
<_maniac_> I wonder why I never noticed -j10 on my laptop.
argent_smith has quit [Quit: Leaving.]
<ZirconiumX> Maybe it's time to consider an upgrade, _maniac_
<_maniac_> Hey! I just recently bought it.
<ZirconiumX> The OCaml compiler is pretty fast, but for that kind of thing, you would have to hack the makefile
<ZirconiumX> I think -opaque as a compiler flag should help the build
<_maniac_> but I don't see it using much memory either. whole build just finished in less than a minute. g5 started stuttering after 2GB real ram ended. then I added some swap, couple of times, and the result you saw on screenshot
<_maniac_> build finished - on i7 laptop
ziyourenxiang has joined #ocaml
<ZirconiumX> Wait
<ZirconiumX> That build is running on swap?
<_maniac_> was running, yes. 2gb ram and 16gb of swap.
<ZirconiumX> No wonder it's so slow
<_maniac_> no wonder at all, but why eat 14Gb?
<ZirconiumX> I'd hazard a guess at the inter-module optimisation OCaml does
<ZirconiumX> Imagine building every C program with -flto
<ZirconiumX> That's what OCaml does
<_maniac_> aha, got it.
<ZirconiumX> -opaque disables this
<ZirconiumX> At the cost of performance
<_maniac_> thank you. going to try this and submit a fix into gentoo
<ZirconiumX> I'm not sure whether they'd accept it
<_maniac_> slower build on memory-constrained systems is better than failed build
<ZirconiumX> It'd be easier to cross-compile at that point
barcabuona has joined #ocaml
<_maniac_> you see, cross-compiling is keeping machine I am using busy
Haudegen has quit [Read error: Connection reset by peer]
<octachron> _maniac_, dose3 is a pathological case with flambda (which is an optional optimisating middle-end), you should really disable flambda in this situation
larhat has quit [Quit: Leaving.]
ziyourenxiang has quit [Ping timeout: 268 seconds]
<_maniac_> mhm, merely disabling job count wasn't enough
<discord3> <Perry> So just to note: the difference between RAM speed and disk speed is many orders of magnitude. Once you start paging during a build, you're dead. You cannot do this and expect reasonable performance.
<_maniac_> I know, I know, I know that very well. I wasn't in a hurry ;)
<_maniac_> now, reading docs gave impression that I can't use flambda and non-flambda code on same system
<_maniac_> at least, can't link against each other
<discord3> <Perry> I believe it is six orders of magnitude. You get that's like 2 million times slower.
<discord3> <Perry> Pardon, like 200,000 times slower. Still.
<discord3> <Perry> Something that takes 1 second going to main memory would take 2.3 days if every access had to be to disk. It's that big a difference.
spew has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
<octachron> _maniac_, yes, you cannot mixes flambda and non-flambda code; but taking years to compile code is not exactly doable either
spew has quit [Ping timeout: 265 seconds]
pierpa has joined #ocaml
exarkun has joined #ocaml
<discord3> <Perry> BTW, the biggest performance increases I've ever experienced have been associated with moving things from disk access to memory access. If, for example, you can put a whole web site into RAM you can saturate pretty damn fast network interfaces, but if you're hitting disk suddenly everything slows to a crawl. SSD is like 100-150x faster than magnetic disk, but still WAY slower than RAM.
<_maniac_> ok, finding all places where I should put `-opaque` to make it compile is harder than just disabling flambda
<octachron> _maniac_, note that I am unconvinced that the problem can be solved by -opaque
<_maniac_> already disabled flambda, now waiting for new compiler
kakadu has quit [Remote host closed the connection]
shinnya has joined #ocaml
hdon has joined #ocaml
spew has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
zolk3ri has quit [Remote host closed the connection]
BitPuffin has quit [Remote host closed the connection]