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 D318F7EE1D for ; Fri, 30 Jun 2017 17:28:41 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mshinwell@janestreet.com; spf=Pass smtp.mailfrom=mshinwell@janestreet.com; spf=None smtp.helo=postmaster@mxout3.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A+SGYlR/18l4Ukf9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0e0cTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbY6SKfR+Y7jdfcsESmVdQsZfWStBAoam?= =?us-ascii?q?YIsOCeoKIOJUoob5qlcLqxa1GAuiC/71yjJQhHD206003eoiHw/bwgIvA8kDsG?= =?us-ascii?q?jIoNjvKKseTfy5wavOwD7eb/1WwzD96I3Qfx4mu/6MR7FwetfMx0kvFgPFiFuR?= =?us-ascii?q?ppLhPzORy+8AtG2b7/FgVeKujW4mpR9+ojyrxso3iInGnIQVxU7f9SVl2oY6O8?= =?us-ascii?q?O3SFJhbdG4F5tQsjiXOo1rSc0sRGFovTw1yrwAuZOjfSgKzo4nxx/FZPCdfYiI?= =?us-ascii?q?+ArvVeaLLjd4g3Jlf6iziAq18Uil0uHzS9e7301LriVflNnArHcN1wbc6sWBV/?= =?us-ascii?q?Bz/V+h1C6B2g3Q8O1IPFw4mKrBJ5I/3rI8ioAfvVrdEiLygEn7jqCbel859uS2?= =?us-ascii?q?6+nreLbrq5GGO4J2lg3zNLkllNalDuQiKAcOWnCW+eSi273n+k30WLBKj/Ixkq?= =?us-ascii?q?nErJDXK94XpqujDA9U1oYv8RS/AC2g0NsGhnkHMEhFdwyZgIj1IV3BPPf4DfKn?= =?us-ascii?q?j1Stljdk2ezGM6XvD5jONHTPjavtcLZn50JC1AY/0cpT64xKBrwFOP7zX1X+tN?= =?us-ascii?q?3cDh83KQy0xOPnBc141oMFWWKPA6mZMa3Mvl+M4uIiOOuMa5UTuDnjMPgl++Tu?= =?us-ascii?q?gmEnll8BZ6WmwZwXaHWgEvR8P0qZeWbsgssGEWoSogUxVunqiFmbXT5XZnayRL?= =?us-ascii?q?486yogCIOmCIfDXpqijKaA3Ce9BJ1WZ3pJBkqCEXfyJM24XKI8YTyTL9UptjEe?= =?us-ascii?q?UqnpH58oyxCjrkn+xqBgP8LV/DcZvNTtzo4myffUkEQX/CZ3R/+d0meSQmVw1j?= =?us-ascii?q?cNXD832r9ypUhVyF6F3LNkmfFVCZpY4PYfAVRyDoLV0+EvU4O6YQnGZNrcDQv/?= =?us-ascii?q?Tw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AvAQAzbVZZfeXIaSZcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhBGBDgefaYJBkzqCESELhXACgxAHQBcBAQEBAQEBAQEBARIBAQk?= =?us-ascii?q?WCFeCMySCQgEBAQMBIh0BASwLAQ8LCw0CAgkdAgIiBgwBBQEKEgYTEooFAxUDD?= =?us-ascii?q?aZFP4sfa4ImgwcBAQWEJAOECgEBAQEBAQEBAgEBAQEBAQEBGAgSeYIcg0yFBYd?= =?us-ascii?q?ADDGCYYd6DIkHjXKHRIZNhW2CDFaIQIZ4iTCHDYMoFB+BFSABgUBSI14IEgaBW?= =?us-ascii?q?4MJRIFOdQGJKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AvAQAzbVZZfeXIaSZcHAEBBAEBCgEBFwEBBAEBCgEBhBG?= =?us-ascii?q?BDgefaYJBkzqCESELhXACgxAHQBcBAQEBAQEBAQEBARIBAQkWCFeCMySCQgEBA?= =?us-ascii?q?QMBIh0BASwLAQ8LCw0CAgkdAgIiBgwBBQEKEgYTEooFAxUDDaZFP4sfa4Imgwc?= =?us-ascii?q?BAQWEJAOECgEBAQEBAQEBAgEBAQEBAQEBGAgSeYIcg0yFBYdADDGCYYd6DIkHj?= =?us-ascii?q?XKHRIZNhW2CDFaIQIZ4iTCHDYMoFB+BFSABgUBSI14IEgaBW4MJRIFOdQGJKQE?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.40,287,1496095200"; d="scan'208";a="281448032" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Jun 2017 17:28:40 +0200 Received: from [172.27.56.68] (helo=tot-qpr-mailcore1) by mxout3.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.89) (envelope-from ) id 1dQxqZ-00054u-Pd for caml-list@inria.fr; Fri, 30 Jun 2017 11:28:39 -0400 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore1 with ocaml/mailcore/mailcore 1.0+97 (cbf81801a3e2) (envelope-from ) id BZVm4n-AkzbLp-Yg; 2017-06-30 11:28:39.788480-04:00 Received: from mail-pg0-f70.google.com ([74.125.83.70]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) (envelope-from ) id 1dQxqZ-0000xb-ON for caml-list@inria.fr; Fri, 30 Jun 2017 11:28:39 -0400 Received: by mail-pg0-f70.google.com with SMTP id p15so124586558pgs.7 for ; Fri, 30 Jun 2017 08:28:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=tn5LfGLEaey2gf9dzrIMVpWwrYQZ0wLgoQDcI5dCOwY=; b=AuU1vDFg1uwHjWwBFzVwfdbCmb0HkmCXFm6nkwKM1Ozp1HWctvKlNI7yX9HxKcpCc9 OGjrcUyroJvjWZAtiZ0WZTabtuME4eyZ9LLeB2TP+xrWnjMP3OJm6AIpcqO/nHzr3G2U OJ4voQWgcenhO1b9EfNIYJ4w1GtyDHGs8eY6s= 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=tn5LfGLEaey2gf9dzrIMVpWwrYQZ0wLgoQDcI5dCOwY=; b=K4cE0Yuv093YD2u8ubO5bJDsMlmA3Q82IMfwQYs28oSwNgxHANPaK9x4f9lFY/YKEd ud+ULNenE+gZi1C8rxvHhPMD8MDaMoNcH/cn6r8dtGXxMtXKEiQD2DfM72MMNHa9XPLU iXXb7nMyLhCZtNcNq9BAWPzqbSKcwsbS9c0cG1HHGl6BMH0nKh+9tFCtTC0L7s0pr9CL bakUX7ORoamTHCd/sZviFGB3Z6R0LrxcVgpImNs1n6s7A3mm2Dj7km1z4/mHBE4L0AL5 6bAxzhFJRlss30MtQ4j5yewL6w+zxaBwp7GdslT3yX9y9GeB3g7+wUMvRzeJnMoqj0UI sSqw== X-Gm-Message-State: AKS2vOwi6hDgto5HbNNpvf6iQ00GMDhySCRjySWERA1bBob1N0m7xXDK WdTdmAub42aZlWtXottt32okKAufg2uvSX80oSiyWu5K/2laT5UI/Kglcenc+o7IsplbmSZEnh7 4eVz14ptyeDH0EK9W X-Received: by 10.84.177.67 with SMTP id w61mr24358866plb.57.1498836519026; Fri, 30 Jun 2017 08:28:39 -0700 (PDT) X-Received: by 10.84.177.67 with SMTP id w61mr24358855plb.57.1498836518857; Fri, 30 Jun 2017 08:28:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.100.153.4 with HTTP; Fri, 30 Jun 2017 08:28:38 -0700 (PDT) In-Reply-To: References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> From:Mark Shinwell Date: Fri, 30 Jun 2017 16:28:38 +0100 Message-ID: To:Xavier Leroy Cc:OCaml Mailing List Content-Type: text/plain; charset="UTF-8" X-JS-Exim-Data-Received: 2017-06-30 11:28:39-0400 X-JS-Processed-by: mailcore X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs The problem with Kaby Lake systems is that the microcode update is currently only available via a BIOS update rather than, for example, a package in a typical Linux distribution (e.g. intel-microcode on Debian). As such you may find at present that an update is not available; in these cases you should disable hyperthreading. Mark On 30 June 2017 at 15:15, 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