Skip to main content
swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
sort by:
RevisionAuthorDateMessageCommit Date
072b231 Roberto Di Cosmo29 July 2011, 20:32:49 UTCMerged, modularised code allowing to use Mmap or BigArray29 July 2011, 20:32:49 UTC
aaed3b0 Roberto Di Cosmo29 July 2011, 07:44:39 UTCAdded .gitignore29 July 2011, 12:49:56 UTC
7d7774e Roberto Di Cosmo28 July 2011, 15:07:21 UTCCleaned up the code, and adjusted the size of the mmap to the size of the file.28 July 2011, 15:07:21 UTC
7fbaa70 Roberto Di Cosmo20 July 2011, 21:38:38 UTCCleaned up code for mmap using BigArray20 July 2011, 21:38:38 UTC
f99eb4e Roberto Di Cosmo19 July 2011, 15:13:03 UTCstable version with exact copy of the string of the shared mmapped file obtained via a pipe19 July 2011, 15:13:03 UTC
04c74f0 Roberto Di Cosmo19 July 2011, 14:36:04 UTCVersion with shared mmapped file and exact string copy using size passed in a pipe19 July 2011, 14:36:04 UTC
7bf19cb Roberto Di Cosmo19 July 2011, 13:46:02 UTCTrying to get the size of the Marshal buffer ...19 July 2011, 13:46:02 UTC
ed4d937 Roberto Di Cosmo19 July 2011, 10:20:44 UTCFirst working version with file interface: no significant gain w.r.t. the pipes on big data structures.19 July 2011, 10:20:44 UTC
fdc77b1 Roberto Di Cosmo19 July 2011, 09:44:50 UTCStable version with pipes, but inefficient on big data structure: saving state before trying a different strategy.19 July 2011, 09:44:50 UTC
25b4052 Roberto Di Cosmo18 July 2011, 15:32:28 UTCFixed upper bound in iterations for lat chunk.18 July 2011, 15:32:28 UTC
d4e231b Roberto Di Cosmo18 July 2011, 15:28:51 UTCFirst working version using only one level for communication (OCaml channels). Before removing debugging output.18 July 2011, 15:28:51 UTC
f61a98d Roberto Di Cosmo18 July 2011, 15:24:15 UTCFirst working version: we had forgotten to flush the output channel!18 July 2011, 15:24:15 UTC
a1e0fc4 Roberto Di Cosmo18 July 2011, 14:53:54 UTCinitial version (does not work)18 July 2011, 14:53:54 UTC
back to top