From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A74247EE6B for ; Tue, 26 Nov 2013 07:53:49 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of florian@hars.de) identity=pra; client-ip=212.227.17.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="florian@hars.de"; x-sender="florian@hars.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of florian@hars.de) identity=mailfrom; client-ip=212.227.17.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="florian@hars.de"; x-sender="florian@hars.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.8 as permitted sender) identity=helo; client-ip=212.227.17.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="florian@hars.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQCACtElFLU4xEInGdsb2JhbABZhwu2JYJ8AQmBKBYOAQEBAQEGDQkJFCiCJgEFIxVAEQsaAgUWCwICCQMCAQIBRRMIAQGIAQGtX5EPF4EpiAuFSRaCVYFIA5gUhj+Oew X-IPAS-Result: AjQCACtElFLU4xEInGdsb2JhbABZhwu2JYJ8AQmBKBYOAQEBAQEGDQkJFCiCJgEFIxVAEQsaAgUWCwICCQMCAQIBRRMIAQGIAQGtX5EPF4EpiAuFSRaCVYFIA5gUhj+Oew X-IronPort-AV: E=Sophos;i="4.93,772,1378850400"; d="scan'208";a="45401589" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Nov 2013 07:53:49 +0100 Received: from keller.fritz.box (p4FF64675.dip0.t-ipconnect.de [79.246.70.117]) by mrelayeu.kundenserver.de (node=mrbap3) with ESMTP (Nemesis) id 0MBBob-1VtCjm2Izd-00ApRp; Tue, 26 Nov 2013 07:53:47 +0100 Received: from bessel.fritz.box ([192.168.178.41]) by keller.fritz.box with esmtp (Exim 4.80) (envelope-from ) id 1VlCWo-0002JJ-RX for caml-list@inria.fr; Tue, 26 Nov 2013 07:53:46 +0100 Message-ID: <5294457A.4020709@hars.de> Date: Tue, 26 Nov 2013 07:53:46 +0100 From: Florian Hars User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.1.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <20131120205611.GA15056@notk.org> <20131125130111.GC3610@frosties> <20131125135527.GA23794@notk.org> In-Reply-To: <20131125135527.GA23794@notk.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-SA-Exim-Connect-IP: 192.168.178.41 X-SA-Exim-Mail-From: florian@hars.de X-SA-Exim-Scanned: No (on keller.fritz.box); SAEximRunCond expanded to false X-Provags-ID: V02:K0:pfo5DdXED9MjCHKx0Yd/x/qf87Opq3PWkpzNjPrn5sp iFk7Ylqyyu1eYhzwhQ6Ak09Tzmvc4dy/34JbH5hl21XpAZc/uR 8R7S0lFiI/meAueNX+QUSULyNXx2zs4Eyq/DHH8Fdc340BBL1p A68DbIWPBtWRCXPNYZU2fg6PTUKmG1qoBCufwJY0wt2XIdlpuF jIL0nn0JR7FiUeaHcI/gK+XzXmn2S+/kvWyon7GTQ2n64Xrr9A cpZk7tR1I9GOFHAYwu6BTdTyZskt7Zc5nHO5nkyD5vZ7/sUtAY 1yTBiUs+GpoM/s9Ft1/bjHUkNc+ArtZdex36Aeo9gNYS1Mqm4w e7/mjl6ZoCniXUOZLnWY= Subject: Re: [Caml-list] Ocaml crash in windows due to running out of memory Am 25.11.2013 14:55, schrieb Adrien Nader: > As far as I know, it doesn't do overcommit. Also, I doubt that would > change anything: if you exhaust your address space, you cannot receive a > pointer to some place since it would collide with some of your already > assigned space. That is a non-sequitur, in modern operating systems every process gets its own space of 2^64 adresses, no matter how much physical RAM + swap is available. And the common way to get overcommitment (at least on unixoids, windows may be different) in't malloc anyway, it's fork, where both processes end up with the same address space layout, but (logically) corresponding to differen physical memory (modulo COW pages). - Florian.