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 70C2A7EE1D for ; Fri, 30 Jun 2017 17:18:10 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f53.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-it0-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f53.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aj+MBMBwsD7ajEf/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoWLPad9pjvdHbS+e9qxAeQG96KtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f00q000+ovHwLI0hE+Ed0Sq3?= =?us-ascii?q?nUsMn5Ob0OXeyp0KXFzzPOZO5W1zfn74jIdwgsr/CWUr1ra8rRyFcgFwfYhVuN?= =?us-ascii?q?tYPlPy2a1v4TvGiB8uFtUu2vhHQ8pAFrozig2MMshpPSho0JylDL6z95z5gvJd?= =?us-ascii?q?CjR057ZMSrEJpUty2AK4R2RcYiTnhutS0nxLMGvpu7czILyJQh3xPfavqHc5KJ?= =?us-ascii?q?4h35TuqRLy14iGpqeLK+mxay8VWgxfbmWsao11ZKqzJJk9nWuXAN0BzT7dKLRe?= =?us-ascii?q?d6/kekwTqAyh7c5fpFIU8uk6rXMZkhwqQ/lpYLq0vDHjX2l1v4jK+NbEkr5u+o?= =?us-ascii?q?6+Hhb777pZGcL5d5hh/iPqkqgMCyAuQ1PhIQU2SG9umwzr3u8EP/Tb5XlPM5iL?= =?us-ascii?q?PZv4rfJckDpq62HQtV0oE75ha6FTim0dAYkWAGLFJZZB6LlobpNlHALfziAve/?= =?us-ascii?q?hFOskDhvx//YJLHuHpLNLn3bnLfge7Zy9VJcxRItwdxD459YELIMLfLpVkPvqd?= =?us-ascii?q?DVAQU1Pgy6zur/DdVyzIIeWWaBAq+DN6PStEeF5u01LOaXfo8VuSjyK/w/6/71?= =?us-ascii?q?kXA5mUESfbO30psNc324EfFmLF+YYXromNsODWAKvg8mQOzwlFKCSSJTZ2q1X6?= =?us-ascii?q?8k6TA7DJypDZ3ERoGtm7GA3Sa7HphNaWBcEF+AC3bod4OeW/cNci2eOMFhkiYc?= =?us-ascii?q?X7i7V4AhzQ2utBP9y7d/MuXb4CgYtZb62Nhx5u3Tjg0y+CdvD8Wd1mGNV3t7kn?= =?us-ascii?q?kJRz8wxqB/oFZyxk2N0ahi0LRkEolj7u1IXx1yEZPGyP0yX8D7RAPMZJGNRUyh?= =?us-ascii?q?U/2nByswR5Q/2YldTVx6HoCNhxrZ3ieuS4Qel7GRCYZ8pq3V1WLwKsI70H3G2b?= =?us-ascii?q?MslXEpR8JOMSutgasppFubPJLAj0jMz/XiTq8bxiOYsTrawA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AxAwDaalZZfzXWVdFCGhwBAQQBAQoBA?= =?us-ascii?q?RcBAQQBAQoBAYNSAT6BDgefaIJBhlmMYYIRIQuFcAKDEAdBFgEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBCQsLCCYxQg6BYySCQgEBAQMBIh0BGxILAQMMBgULDQICCR0CAiIBBQwBB?= =?us-ascii?q?QEKEgYTEooEAQMVEDKmCj+MCoIEBQEcgwgFg1oKGScDClaDKgEBAQEBAQEDAQE?= =?us-ascii?q?BAQEbAgYSeYIcg0yFBYMAJoRXgmEFh3UMiQeNcoIghSSGTYVtggxWjziJMIcNN?= =?us-ascii?q?YJzFB+BFSYBgToxISNeCBKBYYMJRIFpJDYBhE+EWgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AxAwDaalZZfzXWVdFCGhwBAQQBAQoBARcBAQQBAQoBAYN?= =?us-ascii?q?SAT6BDgefaIJBhlmMYYIRIQuFcAKDEAdBFgEBAQEBAQEBAQEBEgEBCQsLCCYxQ?= =?us-ascii?q?g6BYySCQgEBAQMBIh0BGxILAQMMBgULDQICCR0CAiIBBQwBBQEKEgYTEooEAQM?= =?us-ascii?q?VEDKmCj+MCoIEBQEcgwgFg1oKGScDClaDKgEBAQEBAQEDAQEBAQEbAgYSeYIcg?= =?us-ascii?q?0yFBYMAJoRXgmEFh3UMiQeNcoIghSSGTYVtggxWjziJMIcNNYJzFB+BFSYBgTo?= =?us-ascii?q?xISNeCBKBYYMJRIFpJDYBhE+EWgEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,287,1496095200"; d="scan'208";a="230162269" Received: from mail-it0-f53.google.com ([209.85.214.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jun 2017 17:18:09 +0200 Received: by mail-it0-f53.google.com with SMTP id m84so26312342ita.0; Fri, 30 Jun 2017 08:18:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=KoLZyHYo+AhRxpIVhpkdoPxGx4B0C2PerwgZ7PKTgX4=; b=tNkqqX+pwL2G6kQB0Sembn74DBfFc2O7bI1nWgcJNw/qGpc6DvMbghobzx9lBI2KF4 7aX+qXA6T+ovaOaNB05XW4nd++qX2mo5vtSGSxDX/fBcgKOAhUPidP8D1oQ+DzT5wZ9U JWAARckxjvsnFTMNLuh6UWr4o+2F0sxW+q3nK/DH8/Jdb0nWAKSpDuTn0jVD3jKNOwzn +DbtfobVBookCTUA/OUWPE0sf2Fy23Ui/rDF6O8Fd3NIYzmuYKt46tv3r8xk/UUJp8Jx opLt1B3uboPcLwHTHon/0TpgGfUTqO+lLdMeOkccl4zpCu0Xg/48snhvlvSWAml5cdof wwFg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=KoLZyHYo+AhRxpIVhpkdoPxGx4B0C2PerwgZ7PKTgX4=; b=rdZpEDVB5oNRyMheTguKZYri+H9Lj+JMAgm+C5+3hPWJE0jQ59ZAavve/80EWzttP+ WhFUBA8sKXhDeeQRStboHgQoeUf7SzJU0RGcavNhCtdYI5uHxVnya+vI0UeEqxTga6Yo oBfDePhwLcCY9IrOe2OtzHxsrsAao3DdRq9whaytghSnd4D1qu7fytpeqRlu3QGqBWfi 75L3FZfElaY1FaAqClo4R4B2tTJtEG4YMc2hifWKypI4KpX5VgfTKDnXPlNniwB+k0Mk s3M+XxOx/PZtw9eMnpxceqbclqxZowsLF/CSLUYmQDTXhzMdXHehJ/CIJcdWrE2wRNDb LZeA== X-Gm-Message-State: AKS2vOyxcFpPQpn/4EY6jrwffzgHSOQDNoDxByZEzZAvq04FDVGhjUig aAba7ktY0fV9cCAVZMMLl9YXYOeVt+P1 X-Received: by 10.36.40.196 with SMTP id h187mr7421290ith.43.1498835887232; Fri, 30 Jun 2017 08:18:07 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.36.132 with HTTP; Fri, 30 Jun 2017 08:17:26 -0700 (PDT) In-Reply-To: References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> From: Gabriel Scherer Date: Fri, 30 Jun 2017 11:17:26 -0400 Message-ID: To: Xavier Leroy Cc: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs 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 At this point it seems reasonable to assume that any computation-intensive OCaml program that is run in parallel may be affected. On Fri, Jun 30, 2017 at 10:15 AM, Xavier Leroy wrote: > Clarification: > >> Possible fixes include: >> >> - Apply the microcode update recently released by Intel [...] > > Contradicting what I wrote before, microcode updates are available both for Skylake and for Kaby Lake processors. It's only how to apply those updates that differs slightly between Skylake and Kaby Lake. Again, see the excellent instructions at > https://lists.debian.org/debian-devel/2017/06/msg00308.html > > Sorry for the confusion. > > - Xavier Leroy > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs