2015-02-11T05:04:07Z Quadrescence joined #ccl
2015-02-11T10:41:10Z hlavaty joined #ccl
2015-02-11T11:11:38Z Quadrescence quit (Quit: This computer has gone to sleep)
2015-02-11T12:07:02Z Adlai joined #ccl
2015-02-11T17:27:03Z Quadrescence joined #ccl
2015-02-11T17:32:42Z Quadrescence quit (Quit: This computer has gone to sleep)
2015-02-11T19:35:34Z clop2: hey clozure folks -- any thoughts on roughly how hard it would be to speed up loading of compiled files?  i.e., is it already pretty heavily optimized?  can you imagine things that would make it much faster off the tops of your heads?
2015-02-11T19:42:59Z rme: I suppose it could vary on what sort of work has to be done at load-time.  fasl files are kind of a bytecode program.  What's in your fasls?
2015-02-11T19:47:30Z rme: I've never felt that fasls were a bottleneck, so I don't know of any low-handing optimization fruit off the top of my head (but as I say, I've never looked).
2015-02-11T21:51:06Z clop2: interesting
2015-02-11T21:51:10Z clop2: i'm not sure how to tell what's in them
2015-02-11T21:51:57Z clop2: but it seems that roughly 20-30% of the time it takes to include ACL2 books is being spent in loading the compiled files
2015-02-11T21:52:18Z clop2: so figuring out what's making it slow or speeding it up could be a huge boon to us
2015-02-11T21:53:26Z clop2: i'll try to investigate a bit -- if there are any tools you can recommend for inspecting the fasls i'd definitely be interested
2015-02-11T22:07:02Z gendl joined #ccl
2015-02-11T22:36:45Z rme: clop2: I can hardly imagine that it will make much difference, but you could try using fasl-concatenate to produce a single fasl file from multiple fasl files.  The manual documents fasl-concatenate.
2015-02-11T22:37:21Z rme: Opening and closing files is probably not a bottleneck.  fasl-concatenate is probably more useful for convenience when distributing a compiled system.
2015-02-11T23:09:29Z rme quit (Ping timeout: 187 seconds)
2015-02-11T23:10:35Z rme quit (Ping timeout: 250 seconds)
2015-02-11T23:14:27Z rme joined #ccl
2015-02-11T23:34:24Z gendl quit (Ping timeout: 245 seconds)
2015-02-11T23:34:52Z gendl joined #ccl