From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7609FBBAF for ; Sat, 9 Jan 2010 15:00:02 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjMCAPYaSEvRVdvRkGdsb2JhbACDXpc/PwEBAQEJCQwHE6t7gVuFCIVxAQIDBYEmgi5WBIJ+iDA X-IronPort-AV: E=Sophos;i="4.49,247,1262559600"; d="scan'208";a="44520515" Received: from mail-ew0-f209.google.com ([209.85.219.209]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Jan 2010 15:00:02 +0100 Received: by ewy1 with SMTP id 1so1619531ewy.8 for ; Sat, 09 Jan 2010 06:00:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type; bh=42O2FFpvS6HE6t7xepv2MDdb4ShnqIBGLiiDEb9J9t8=; b=ESPtfJyhh/Wwr1EDVxfJdo9lIbbtKbve1VyKNrz9c6eQH9aPosSLkpUDB7FB7X0466 0JdGyvuVhkHHOzhPDZ18/1zp/aqvmcgoHbxlHV7eBEmPZ4uvi9aClqeV1zGjeZvFeGkc RVDiEGFuBnL32BPdF69ETNXcURI8IGLNGJTwQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=JGEwfBOXqmOu/SnpjFPaYOLkzSrx5N95lZQ3PSxRtysUcEs9M/U7etgnc72Kp1M7tO EPx7MnE/VtBWXGnNrMklnz/yTEp0t2j2pS+aNnyjsri0x9FlPVgx0JbAqzlOIwNLzD+I YXdG0gWhYNvffX45IevaGgeKrv/VyS/IseSPU= MIME-Version: 1.0 Sender: daniel.c.buenzli@gmail.com Received: by 10.213.107.131 with SMTP id b3mr708796ebp.91.1263045601445; Sat, 09 Jan 2010 06:00:01 -0800 (PST) In-Reply-To: <20100109125224.GC26610@annexia.org> References: <56670.41.177.16.252.1262195331.squirrel@41.177.16.252> <4B3BE288.4030701@citycable.ch> <3EE07409-9559-4B91-BA3E-8787D1378275@inria.fr> <4B47C201.7090201@citycable.ch> <4B47C59C.9080505@starynkevitch.net> <4B47C9BE.4060309@citycable.ch> <001f01ca9101$7ee76850$7cb638f0$@romulus.metastack.com> <4B486974.7060007@citycable.ch> <20100109125224.GC26610@annexia.org> Date: Sat, 9 Jan 2010 23:00:01 +0900 X-Google-Sender-Auth: 69fe6b30fa27df60 Message-ID: <91a3da521001090600y2a456e3dg98200cd84d8bf082@mail.gmail.com> Subject: Re: [Caml-list] problem creating .cma library From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Guillaume Yziquel Cc: caml-list List Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; buenzli:01 ocaml's:01 runtime:01 readable:01 caml-list:01 caml-list:01 functions:01 cma:01 caml:02 caml:02 library:03 cfm:95 daniel:04 daniel:04 blocking:04 Section 2) of this paper also has a very gentle and readable introduction to the gc : http://portal.acm.org/citation.cfm?id=141130 Another thing you need to know, if you have long running pieces of C code that don't interact with ocaml's runtime system, is the two functions : caml_enter_blocking_section caml_leave_blocking_section They are explained in this message : http://caml.inria.fr/pub/ml-archives/caml-list/2001/06/58d7a7e8747056c3842e53b4e9454f44.en.html Best, Daniel