From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.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 A4FA47EE4B
	for <caml-list@sympa.inria.fr>; Mon, 30 Sep 2013 20:18:13 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=212.27.42.5;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=212.27.42.5;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp5-g21.free.fr) identity=helo;
  client-ip=212.27.42.5;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@smtp5-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aj4BAAq/SVLUGyoFnGdsb2JhbAA/GoM/wU+BMRYOAQEBAQEGDQkJFCiCJQEBBThAEQsYCRYPCQMCAQIBRQYNCAEBiAYINr1Oj1iEIgOXf4EvhQSObA
X-IPAS-Result: Aj4BAAq/SVLUGyoFnGdsb2JhbAA/GoM/wU+BMRYOAQEBAQEGDQkJFCiCJQEBBThAEQsYCRYPCQMCAQIBRQYNCAEBiAYINr1Oj1iEIgOXf4EvhQSObA
X-IronPort-AV: E=Sophos;i="4.90,1009,1371074400"; 
   d="scan'208";a="34960964"
Received: from smtp5-g21.free.fr ([212.27.42.5])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Sep 2013 20:18:10 +0200
Received: from [192.168.0.10] (unknown [78.192.0.38])
	by smtp5-g21.free.fr (Postfix) with ESMTP id 9EE1ED48281
	for <caml-list@inria.fr>; Mon, 30 Sep 2013 20:18:08 +0200 (CEST)
Message-ID: <5249C05F.6000102@frisch.fr>
Date: Mon, 30 Sep 2013 20:18:07 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130801 Thunderbird/17.0.8
MIME-Version: 1.0
To: "'caml-list@inria.fr'" <caml-list@inria.fr>
References: <CABooLwPwdN+g4Aor4O=Dfm5+zmOnRqnaRcaN5BCHTW4s4gZoZQ@mail.gmail.com> <524941CC.1080906@inria.fr> <CABooLwOstn7yCXwGr_6n62tKN5ZPDoLbr-7=pSRMdmUQptuYYA@mail.gmail.com> <20130930165651.GA4207@kerneis.info>
In-Reply-To: <20130930165651.GA4207@kerneis.info>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Thread behaviour

On 9/30/2013 6:56 PM, Gabriel Kerneis wrote:
> A bit of off-topic Linux history for those interested:
 > ...
> As a matter of fact, this change also broke OCaml scheduling.  Nowadays,
> sched_yield() is disabled in the ocaml runtime on Linux.  Have a look at
> http://caml.inria.fr/mantis/view.php?id=2663 for more details on the
> caml-side of the story (in French).

And, more recently:

http://caml.inria.fr/mantis/view.php?id=5373

-- Alain