adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
themsay has quit [Quit: Leaving]
spew has quit [Quit: Connection closed for inactivity]
nicoo has joined #ocaml
nicootje has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
al-damiri has joined #ocaml
pierpal has quit [Ping timeout: 258 seconds]
DomTorr__ has quit [Remote host closed the connection]
DomTorr__ has joined #ocaml
silver has quit [Read error: Connection reset by peer]
Geekingfrog has quit [Ping timeout: 245 seconds]
Geekingfrog has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Changing host]
infinity0 has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
gravicappa has joined #ocaml
mfp has quit [Ping timeout: 252 seconds]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
mal`` has quit [Quit: Leaving]
al-damiri has quit [Quit: Connection closed for inactivity]
mal`` has joined #ocaml
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
DomTorr__ is now known as DomTorr
pierpal has joined #ocaml
oni-on-ion has joined #ocaml
mal`` has quit [Quit: Leaving]
zmt00 has joined #ocaml
mal`` has joined #ocaml
oni_on_ion has joined #ocaml
oni_on_ion has left #ocaml [#ocaml]
oni-on-ion has quit [Disconnected by services]
oni-on-ion has joined #ocaml
ggole has joined #ocaml
oni_on_ion has joined #ocaml
oni-on-ion has quit [Ping timeout: 268 seconds]
oni_on_ion has left #ocaml [#ocaml]
oni-on-ion has joined #ocaml
<oni-on-ion> why do i keep getting this ?
<oni-on-ion> * oni-on-ion #ocaml :Cannot change nickname while banned/quieted on channel
<oni-on-ion> only for this channel
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 246 seconds]
Netsu has quit [Ping timeout: 256 seconds]
fantasticsid has joined #ocaml
fantasticsid has quit [Remote host closed the connection]
Bahman has joined #ocaml
unyu has quit [Ping timeout: 258 seconds]
_whitelogger has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
barockobamo has joined #ocaml
raduom has joined #ocaml
Haudegen has joined #ocaml
Netsu has joined #ocaml
<Netsu> BTW what is best option for profiling in ocaml world?
<Armael> I know you can use perf
<Armael> if that's what you're thinking about
<Armael> an other approach is https://github.com/LexiFi/landmarks
<Netsu> yeah, any common tool for memory profiling of native debug builds
<def`> statmemprof :P
<def`> it is available as an opam switch
<Armael> (that's for memory profiling)
<Armael> but yeah for time I've used perf ("perf record" and "perf record --call-graph dwarf" to get call stacks) and it worked quite well
<Armael> (having access to Pierre Chambard was also very helpful)
<def`> but perf is only for time profiling
<Armael> yes
<def`> statmemprof & landmark are good and complementary for memory profiling
<def`> (landmark will track the amount of allocation but won't say anything about lifetime, statmemprof is good for that)
<def`> In my experience, statmemproof alone is good enough for finding problems. then landmark is useful to reveal some unexpected behaviors and confirm or infirm some hypotheses
<ggole> Is that spacetime, or is there yet another profiling tool?
<def`> it is another one, using statistical profiling so the overhead is very low
<def`> (it is good enough that you can ship it in production without noticeable slowdown until the time you turn profiling on)
<ggole> Mmm, ok
<ggole> It seems like it should be possible to hide the profiling logic in the slow path of the allocation test and have no slowdown at all (until profiling is on), but perhaps that's hard to implement
ollehar has joined #ocaml
<def`> It is the case.
<def`> When I say not noticeable, it is way below the execution time noise.
<def`> (The actual trick is to dynamically reduce the size of the minor heap to trigger the sampling profiler)
<ggole> Yeah, that sounds sensible
nullifidian_ is now known as nullifidian
<ggole> I was thinking that you do that with every allocation (when profiling is on), so that the test fails every time you get to a new allocation site, then in the profiler you record your info and then dole out exactly enough space for that allocation (so that it fails next time)
<ggole> But just reducing the available space sounds easier.
<def`> Yes.
dhil has joined #ocaml
ShalokShalom has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
powerbit has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
<Netsu> Thanks all, lots of helpful info
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ShalokShalom has joined #ocaml
sz0_ has joined #ocaml
zolk3ri has joined #ocaml
zolk3ri_ has joined #ocaml
zolk3ri has quit [Disconnected by services]
zolk3ri_ is now known as zolk3ri
mfp has joined #ocaml
dhil has joined #ocaml
KeyJoo has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom_ has joined #ocaml
ShalokShalom_ is now known as ShalokShalom
Haudegen has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 258 seconds]
jao has joined #ocaml
kakadu has joined #ocaml
Netsu has quit [Ping timeout: 256 seconds]
silver has joined #ocaml
jbrown has joined #ocaml
dhil has quit [Ping timeout: 252 seconds]
gareppa has joined #ocaml
dimitarvp has joined #ocaml
Haudegen has joined #ocaml
pierpal has quit [Remote host closed the connection]
dhil has joined #ocaml
jao has quit [Ping timeout: 244 seconds]
jao has joined #ocaml
jbrown has quit [Ping timeout: 258 seconds]
KeyJoo has quit [Quit: KeyJoo]
jbrown has joined #ocaml
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
emias has quit [Ping timeout: 255 seconds]
emias has joined #ocaml
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
ale64bit has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
unyu has joined #ocaml
ale64bit has quit [Ping timeout: 246 seconds]
gareppa has quit [Quit: Leaving]
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom_ has joined #ocaml
ShalokShalom_ is now known as ShalokShalom
Jesin has quit [Quit: Leaving]
JimmyRcom has quit [Ping timeout: 246 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
AtumT has joined #ocaml
Jesin has joined #ocaml
JimmyRcom has joined #ocaml
ollehar has quit [Ping timeout: 258 seconds]
Haudegen has quit [Read error: Connection reset by peer]
JimmyRcom has quit [Ping timeout: 245 seconds]
dimitarvp has quit [Quit: Bye]
ziyourenxiang has quit [Ping timeout: 268 seconds]
dhil has quit [Ping timeout: 255 seconds]
ehirdoy1 has quit [Quit: WeeChat 1.4]
jnavila has joined #ocaml
ggole has quit [Quit: Leaving]
tane has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 259 seconds]
Jesin has quit [Quit: Leaving]
spew has joined #ocaml
Jesin has joined #ocaml
dhil has joined #ocaml
yetanotherion[m] has quit [Quit: Idle kick: User has been idle for 30 days.]
Walter[m] has quit [Quit: Idle kick: User has been idle for 30 days.]
barockobamo has quit [Remote host closed the connection]
jnavila has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
miguelbe[m] has quit [Quit: Idle kick: User has been idle for 30 days.]
nojb[m] has quit [Quit: Idle kick: User has been idle for 30 days.]
kakadu has quit [Quit: Konversation terminated!]
gravicappa has quit [Ping timeout: 246 seconds]
AtumT_ has joined #ocaml
AtumT has quit [Ping timeout: 258 seconds]
nojb_[m] has quit [Quit: Idle kick: User has been idle for 30 days.]
ale64bit has joined #ocaml
ehirdoy has joined #ocaml
karan[m] has quit [Quit: Idle kick: User has been idle for 30 days.]
okuu has joined #ocaml
AtumT has joined #ocaml
AtumT_ has quit [Ping timeout: 252 seconds]
sz0_ has quit [Quit: Connection closed for inactivity]
kakadu has joined #ocaml
Serpent7776 has joined #ocaml
ale64bit has quit [Ping timeout: 250 seconds]
ale64bit has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
rntz_tmp_ is now known as rntz2
ale64bit has quit [Ping timeout: 264 seconds]
ale64bit has joined #ocaml
Haudegen has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
kakadu has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
ale64bit has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Leaving]
Serpent7776 has quit [Quit: leaving]
troydm has joined #ocaml
al-damiri has joined #ocaml
troydm has quit [Client Quit]
jnavila has quit [Ping timeout: 246 seconds]
troydm has joined #ocaml
sonologico has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Ping timeout: 246 seconds]
mbac has quit [Quit: leaving]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
kakadu has quit [Remote host closed the connection]
ale64bit has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
okuu has quit [Ping timeout: 252 seconds]
unyu has quit [Ping timeout: 258 seconds]
jbrown has quit [Ping timeout: 258 seconds]
jbrown has joined #ocaml
keep_learning has quit [Ping timeout: 245 seconds]
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
ziyourenxiang has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]