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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 66AB87EE1D for ; Fri, 30 Jun 2017 17:31:46 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Neutral smtp.mailfrom=e@x80.org; spf=None smtp.helo=postmaster@cc-tupan-roaming-b.ensmp.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of e@x80.org) identity=pra; client-ip=194.214.158.136; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of e@x80.org does not assert whether or not 194.214.158.136 is permitted sender) identity=mailfrom; client-ip=194.214.158.136; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@cc-tupan-roaming-b.ensmp.fr) identity=helo; client-ip=194.214.158.136; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-b.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AW4lxuBAeJJOLgbyjQ8DKUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX4oMbcNUDSrc9gkEXOFd2CrakV1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsZfWTJcDIO7?= =?us-ascii?q?YYsBAegOM+VWoIbyu1QDtge+CRW2Ce/z1jNFnH370Ksn2OohCwHG2wkgEsoQv3?= =?us-ascii?q?nPo9T4N7seXfqyzKnSwjXIcvda1zj46IjJdhAhoPaMVq90f8XP0kk3DRjFhUiR?= =?us-ascii?q?p4P/OzOV0voCs2ec7+F9Se+vkW8npBtqojSqwMonl4fHhoUQyl/e9CV5xp44Jd?= =?us-ascii?q?y+SE5hYN6rCoFcty+AN4duTcMiQn1ouCYnyrIdo5K0YC8KyJE/yxHFa/yHaZaH?= =?us-ascii?q?4hz4VOqLPTh4g3dldbSijBix6Uit0vDwW8273VpQsCZJj9bBumoQ2xHT6cWLUO?= =?us-ascii?q?Zx80mg1DqXygze7uFJLVo3mKfVMZIt36M8m5gJvUjdHiL6hEP7h7KMeEo+4Oin?= =?us-ascii?q?8eHnb63mppCCM490jRnzPbgylcCmHeQ4LxAOUHKd+eilzr3j+lf2QLBLjv0wna?= =?us-ascii?q?nVqYvVKd4Fqa6/GA9V154j5wyxDze8yNgYnH8HI0xZeB+fkoTkP17DLOrmAfui?= =?us-ascii?q?jFmgiipnyvDFM7H7H5nAIHnOnK/kfbln6k5czAQzzcpY55JRErwOPun+W0Dyud?= =?us-ascii?q?DEFBM5NBa0w+n/BNVnyoweQX6PArOeMK7Kvl6I4vwgI/OLZI4Vozv8Kvkl5/v1?= =?us-ascii?q?gn8jg1ARZ6ip3Z0NaHC5BPtqOUuZYWD0iNcbDWgKphY+TPDtiFCaTTFcfXOyX6?= =?us-ascii?q?Yl6jE/CYKmFpvDS5u2gL2B2Se7BodZanpHClCKC3fodp+LV+0CaCKIcYddlWkr?= =?us-ascii?q?XLK7SoIlnSqltALgxqAveuXd8DcZuJalz9N16vfejzk98DV1C4KW1GTbHE9umW?= =?us-ascii?q?ZdShcmjPg5plZygheu1Kl8gvsQN9FIdegBfQ4+MZPTyKRTEdH7QUOSLZ+yVF+6?= =?us-ascii?q?T4D+UnkKRdUrzopLOh4lFg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DZAACXblZZh4ie1sJCGh4GDBkGDIQRg?= =?us-ascii?q?Q6OeJB4iCqEW4sHLIVwAoNaFAEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzJAGCQQE?= =?us-ascii?q?CAgF5BQsLISUPAQQNGyETihcDDQwMMrR7hzINhAABAQEBBgEBAQEfBSCDB4hRg?= =?us-ascii?q?lcpJoc4BZEIjTc6AYdEh1KXAotuhE81hDs2gSuBAlEIgXODKCWBT3QBiSkBAQE?= X-IPAS-Result: =?us-ascii?q?A0DZAACXblZZh4ie1sJCGh4GDBkGDIQRgQ6OeJB4iCqEW4s?= =?us-ascii?q?HLIVwAoNaFAEBAQEBAQEBAQEBEgEBAQoLCQgoL4IzJAGCQQECAgF5BQsLISUPA?= =?us-ascii?q?QQNGyETihcDDQwMMrR7hzINhAABAQEBBgEBAQEfBSCDB4hRglcpJoc4BZEIjTc?= =?us-ascii?q?6AYdEh1KXAotuhE81hDs2gSuBAlEIgXODKCWBT3QBiSkBAQE?= X-IronPort-AV: E=Sophos;i="5.40,287,1496095200"; d="scan'208";a="230163821" Received: from boipeva.ensmp.fr (HELO cc-tupan-roaming-b.ensmp.fr) ([194.214.158.136]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Jun 2017 17:31:45 +0200 Received: from kaguya (pau-rnt.cri.ensmp.fr [195.83.117.250]) (authenticated bits=0) by cc-tupan-roaming-b.ensmp.fr (8.15.2/8.15.2/JMMC-22/Oct/2013) with ESMTPSA id v5UFVicw026113 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Fri, 30 Jun 2017 17:31:44 +0200 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: Gabriel Scherer Cc: Xavier Leroy , OCaml Mailing List Organization: X80 Heavy Industries References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> X-Url: https://x80.org/emilio/ Mail-Followup-To: Gabriel Scherer , Xavier Leroy , OCaml Mailing List Date: Fri, 30 Jun 2017 17:31:44 +0200 In-Reply-To: (Gabriel Scherer's message of "Fri, 30 Jun 2017 11:17:26 -0400") Message-ID: <84injdfq5b.fsf@kaguya> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Miltered: at cc-tupan-roaming-b.ensmp.fr with ID 59566EE0.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 59566EE0.000 from pau-rnt.cri.ensmp.fr/pau-rnt.cri.ensmp.fr/195.83.117.250/kaguya/ Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs Gabriel Scherer writes: > Here is my list of affected OCaml projects known so far (it seems > surprisingly less rare than I thought at first): > > - an (unnamed) industrial user noticed the issue in Spring 2016, as > reported by Xavier on the bugtracker: > https://caml.inria.fr/mantis/view.php?id=7452#c17109 > > - ahrefs noticed issues in late 2016, as reported by Joris > Giovannangeli on the bugtracker issue or his longer piece > https://tech.ahrefs.com/skylake-bug-a-detective-story-ab1ad2beddcd > > - Lwt users were also affected (first report from Sebastien Mondet in > February 2017): > https://github.com/ocsigen/lwt/issues/315 > > - Julia Lawall reported segfaults from a downstream user on the caml-list, > that seem extreley likely to be related to this issue (they > disappear with hyperthreading disabled) > https://sympa.inria.fr/sympa/arc/caml-list/2017-06/msg00115.html Here is the only Coq bug that I know of: https://coq.inria.fr/bugs/show_bug.cgi?id=5517 but as Maxime pointed out, the problem was observed by other people internally. E.