swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d

sort by:
Revision Author Date Message Commit Date
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