c8f932b | Roberto Di Cosmo | 20 July 2011, 21:12:27 UTC | cleaned up code using xen mmap | 20 July 2011, 21:12:27 UTC |
b601876 | Roberto Di Cosmo | 20 July 2011, 20:51:02 UTC | First version using Xen's mmap | 20 July 2011, 20:51:02 UTC |
f99eb4e | Roberto Di Cosmo | 19 July 2011, 15:13:03 UTC | stable version with exact copy of the string of the shared mmapped file obtained via a pipe | 19 July 2011, 15:13:03 UTC |
04c74f0 | Roberto Di Cosmo | 19 July 2011, 14:36:04 UTC | Version with shared mmapped file and exact string copy using size passed in a pipe | 19 July 2011, 14:36:04 UTC |
7bf19cb | Roberto Di Cosmo | 19 July 2011, 13:46:02 UTC | Trying to get the size of the Marshal buffer ... | 19 July 2011, 13:46:02 UTC |
ed4d937 | Roberto Di Cosmo | 19 July 2011, 10:20:44 UTC | First 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 Cosmo | 19 July 2011, 09:44:50 UTC | Stable 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 Cosmo | 18 July 2011, 15:32:28 UTC | Fixed upper bound in iterations for lat chunk. | 18 July 2011, 15:32:28 UTC |
d4e231b | Roberto Di Cosmo | 18 July 2011, 15:28:51 UTC | First working version using only one level for communication (OCaml channels). Before removing debugging output. | 18 July 2011, 15:28:51 UTC |
f61a98d | Roberto Di Cosmo | 18 July 2011, 15:24:15 UTC | First working version: we had forgotten to flush the output channel! | 18 July 2011, 15:24:15 UTC |
a1e0fc4 | Roberto Di Cosmo | 18 July 2011, 14:53:54 UTC | initial version (does not work) | 18 July 2011, 14:53:54 UTC |