Version française
Home     About     Download     Resources     Contact us    
Browse thread
Bigarray.*.map_file
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Bauer, Christoph <Christoph.Bauer@l...>
Subject: Bigarray.*.map_file
Hi,

Bigarray.Genarray.map_file uses mmap to "read" a file. How can
I specify an offset in the file (like the offset parameter in mmap)?
Unix.lseek doesn't help me.

How can I do an munmap? I ask because of these lines from the man-page:

       The munmap system call deletes the mappings for the speci-
       fied address  range,  and  causes  further  references  to
       addresses within the range to generate invalid memory ref-
       erences.  The region is also automatically  unmapped  when
       the process is terminated.  On the other hand, closing the
       file descriptor does not unmap the region.

Thanks,

Christoph Bauer
Dipl. Inf.

LMS Deutschland GmbH
Luxemburgerstr. 7
D-67657 Kaiserslautern

T +49 631 303 22 152

mailto:Christoph.Bauer@lms-gmbh.de
http://www.lmsintl.com