From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mauny.inria@googlemail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 57B2BBBAF
	for <caml-list@yquem.inria.fr>; Sun,  9 Aug 2009 11:14:39 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjwCAOswfkrRVdvQimdsb2JhbACBUpg6PwEBAQoJDAcRBaMAjw0BBYQYiEc
X-IronPort-AV: E=Sophos;i="4.43,348,1246831200"; 
   d="scan'208";a="34197875"
Received: from mail-ew0-f208.google.com ([209.85.219.208])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Aug 2009 11:14:37 +0200
Received: by ewy4 with SMTP id 4so1319995ewy.27
        for <caml-list@yquem.inria.fr>; Sun, 09 Aug 2009 02:14:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:sender:message-id:date:from
         :reply-to:user-agent:mime-version:to:cc:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=OixrSUrmr/AbjnsMriHI9e0H5B42ibpzjXcqiOQxUHg=;
        b=M/jGxx6zi/UOF5cVeUAfWrPwI7+vlB2BXZB0tv31pnrZJlbuuVjQ6hyuWJCpGdFWZs
         ncnvEeD6ssa1NiHXrlwMdrdcAuzo87QZY0uNAisy6DF6HsFbaEsXTj9lyfSUN4b/u4Ek
         ybQP5AH4sGfgiTT4GNT1zMb1i7cP9iwDaezNo=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=sender:message-id:date:from:reply-to:user-agent:mime-version:to:cc
         :subject:references:in-reply-to:content-type
         :content-transfer-encoding;
        b=tIb/ZV37q2nXuXJYA1c3+/zK2ESll4EDf83mLEpiEpEF2mEC3xpVp7Y49fIxih+TZD
         Ww+8Zjksvr2XxsK/Yf8LnRqEZYW1xpSJBw3niMmRt3Fm/a6V11MRdb1PdefBdGHNaFMj
         NBZkIxvPlerkD+x5AfDZFv4JSAaL3ZHchB4hU=
Received: by 10.211.179.6 with SMTP id g6mr1570861ebp.49.1249809277473;
        Sun, 09 Aug 2009 02:14:37 -0700 (PDT)
Received: from mm.mauny.lan (ks23009.kimsufi.com [91.121.9.195])
        by mx.google.com with ESMTPS id 28sm4523954eye.4.2009.08.09.02.14.35
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Sun, 09 Aug 2009 02:14:36 -0700 (PDT)
Sender: Michel Mauny <mauny.inria@googlemail.com>
Message-ID: <4A7EA20C.9010807@inria.fr>
Date: Sun, 09 Aug 2009 11:16:44 +0100
From: Michel Mauny <Michel.Mauny@inria.fr>
Reply-To: Michel.Mauny@inria.fr
User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/2.0.0.6 Mnenhy/0.7.5.0
MIME-Version: 1.0
To: ivan chollet <ivan.chollet@free.fr>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Re: ocaml sefault in bytecode: unanswered questions
References: <000301ca184b$032b8cc0$0982a640$@chollet@free.fr>	<000701ca184d$29507e90$7bf17bb0$@metastack.com> <001001ca18c7$37b22220$a7166660$@chollet@free.fr>
In-Reply-To: <001001ca18c7$37b22220$a7166660$@chollet@free.fr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; mauny:01 mauny:01 ocaml:01 bytecode:01 segfault:01 ulimit:01 2009:98 michel:01 michel:01 caml-list:01 marshal:01 unsafe:01 writes:01 module:03 module:03 

ivan chollet écrit/writes [09/08/2009 08:58] :
> So my question is rather: outside the Marshal module, what
> can cause segfault?

The Obj module and your own C code --if any-- are also unsafe.

Note that the OS itself can kill you when your process goes beyond limits. Try playing with ulimit (for bash) before running your program.

Best,

-- Michel Mauny