From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A8E44BB9C for ; Wed, 14 Sep 2005 16:16:27 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8EEGRdR029796 for ; Wed, 14 Sep 2005 16:16:27 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA02821 for ; Wed, 14 Sep 2005 16:16:26 +0200 (MET DST) Received: from kaiserslautern1.lmsintl.com (Kaiserslautern1.lms-gmbh.de [213.68.136.230]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8EEGQpr029789 for ; Wed, 14 Sep 2005 16:16:26 +0200 Received: by kaiserslautern1.lmsintl.com with Internet Mail Service (5.5.2653.19) id ; Wed, 14 Sep 2005 16:16:25 +0200 Message-ID: <26EB47FDD566A7469FC862DAF373792F07D5E1@kaiserslautern1.lmsintl.com> From: "Bauer, Christoph" To: "'Olivier Andrieu'" , "Bauer, Christoph" Cc: caml-list@inria.fr Subject: AW: [Caml-list] Bigarray.*.map_file Date: Wed, 14 Sep 2005 16:16:23 +0200 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain X-Miltered: at concorde with ID 432830BB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 432830BA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 bigarray:01 otherlibs:01 bigarray:01 mappings:01 unix:01 descriptor:02 guess:02 christoph:04 christoph:04 offset:07 causes:07 memory:08 file:08 file:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Hi, thanks for the fast reply. > You can't: mmap is called with offset 0 (see > otherlibs/bigarray/mmap_unix.c). This isn't nice for huge files (>2G) :-( But I guess I could write my own C-funktion for that. > > > 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. > > unmap() is called when the bigarray is collected by the GC. Ok. Best regards, Christoph