sort by:
Revision Author Date Message Commit Date
072b231 Merged, modularised code allowing to use Mmap or BigArray 29 July 2011, 20:32 UTC
aaed3b0 Added .gitignore 29 July 2011, 12:49 UTC
7d7774e Cleaned up the code, and adjusted the size of the mmap to the size of the file. 28 July 2011, 15:07 UTC
7fbaa70 Cleaned up code for mmap using BigArray 20 July 2011, 21:38 UTC
f99eb4e stable version with exact copy of the string of the shared mmapped file obtained via a pipe 19 July 2011, 15:13 UTC
04c74f0 Version with shared mmapped file and exact string copy using size passed in a pipe 19 July 2011, 14:36 UTC
7bf19cb Trying to get the size of the Marshal buffer ... 19 July 2011, 13:46 UTC
ed4d937 First working version with file interface: no significant gain w.r.t. the pipes on big data structures. 19 July 2011, 10:20 UTC
fdc77b1 Stable version with pipes, but inefficient on big data structure: saving state before trying a different strategy. 19 July 2011, 09:44 UTC
25b4052 Fixed upper bound in iterations for lat chunk. 18 July 2011, 15:32 UTC
d4e231b First working version using only one level for communication (OCaml channels). Before removing debugging output. 18 July 2011, 15:28 UTC
f61a98d First working version: we had forgotten to flush the output channel! 18 July 2011, 15:24 UTC
a1e0fc4 initial version (does not work) 18 July 2011, 14:53 UTC
back to top