From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 2990C7EE80; Fri, 15 Mar 2013 16:16:14 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsEIAEQ5Q1HAbSoIiWdsb2JhbABDiDG3RoUbAwGBZRYOAQEBFRIUBCSCKgEBBAEjVhALCQUMAgUhAgIPBRgxiCEGBLAdknYVgQ6NFV0Hgi0yYQOORIgWgSCSbg X-IPAS-Result: AsEIAEQ5Q1HAbSoIiWdsb2JhbABDiDG3RoUbAwGBZRYOAQEBFRIUBCSCKgEBBAEjVhALCQUMAgUhAgIPBRgxiCEGBLAdknYVgQ6NFV0Hgi0yYQOORIgWgSCSbg X-IronPort-AV: E=Sophos;i="4.84,850,1355094000"; d="scan'208";a="7819323" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Mar 2013 16:16:13 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178037077.adsl.alicedsl.de [85.178.37.77]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r2FFGCrb020697 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Fri, 15 Mar 2013 16:16:12 +0100 Received: by first (Postfix, from userid 1000) id 3DAA615400E6; Fri, 15 Mar 2013 16:16:11 +0100 (CET) Date: Fri, 15 Mar 2013 16:16:12 +0100 From: oliver To: Jeremie Dimino Cc: caml-list@inria.fr, ocsigen@inria.fr Message-ID: <20130315151612.GB5194@siouxsie> References: <5142E780.7060806@hars.de> <20130315124345.GB3262@siouxsie> <20130315141735.GA4697@siouxsie> <20130315142715.GC4697@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] BUG in unix.ml (was: strange errors when linking lwt.unix) On Fri, Mar 15, 2013 at 03:05:51PM +0000, Jeremie Dimino wrote: [...] > Actually OCaml is using sigaction(2). It is only using signal(2) when > sigaction is not available. [...] Possibly on non-unixoid systems, e.g. Windows. > > Actually there are two different things here: > > - signal disposition: this is a process-wide settings for each signal > describing how to react when it is received. It can be changed with > the [sigaction] system call (or the less portable [signal]). > - signal mask: it is a per-thread set of signals that are blocked. It > can be changed with sigprocmask. sigprocmask and sigaction and so on all work on processes. Mixing processes and threads (especially involving signals) can be tricky. Using signal(2) is deprecated in general. If you use Windows, it might be necessary, because unix-moulde is for Unix. Don't know if cygwin and similar environments allow usage of unix-module. But even if they do, I'm not sure it works like in real unixoid systems. Ciao, Oliver