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 D3A417EE1D for ; Fri, 30 Jun 2017 17:19:59 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@maximedenes.fr; spf=Pass smtp.mailfrom=mail@maximedenes.fr; spf=None smtp.helo=postmaster@18.mo5.mail-out.ovh.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mail@maximedenes.fr) identity=pra; client-ip=178.33.45.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mail@maximedenes.fr designates 178.33.45.10 as permitted sender) identity=mailfrom; client-ip=178.33.45.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; 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@18.mo5.mail-out.ovh.net) identity=helo; client-ip=178.33.45.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="postmaster@18.mo5.mail-out.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aeie0WBHdynqZnqyeXwXCH51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78psWwAkXT6L1XgUPTWs2DsrQf2rWQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4k/m/JhMx+j6xVrxyuqBN934Hab5qYNOZ8c67HYd8WWWRMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhftYb8qFoOrR6gCgKxCu3o0DlIgWbt3aYn1OkhFBvJ3A0kH98VtX?= =?us-ascii?q?Tbttr0NKYXUe+r0abH0zPDYO1N2Tvn5ojIaAksrPeRVrxzacrc0VQjGgHGg1mK?= =?us-ascii?q?p4HoMSmZ2+sNvmSB8uZsSfqjhm0ppg1rvzSixskhhpPGi44J0FzI6Dt1zYczKN?= =?us-ascii?q?alUkB0e8SkH4FVtyyCN4t5XMciQ2ZwtSonybAKo5u7fC8KxZg9wh7Qcf2Hc4yR?= =?us-ascii?q?7hLkSeaRPS10hHV7eLK/nRqy91avyvHkWsm11lZFsDZFn8HRun0P1BHf8MaKR/?= =?us-ascii?q?Vn8kqu2TuDzR3f5v1cLUAxj6XbKpohwrAqlpoUtETOBir2l1/3jK+SbUgk//Kn?= =?us-ascii?q?6uvmYrXjuJCTKpF7igfgPaQ1gMC/D/44PhAUX2eH4eS8yKHj/UrhTbpWlPI2l6?= =?us-ascii?q?3ZvIneJcQava65HxRY0p0j6ha6Fzepys4UnXgBLFJfeRKIlZLlO1/UIKOwMfDq?= =?us-ascii?q?iF2plHJvxuvaFrznGJTEaHbZw5n7erMozkdMyQ8+hfze4RJPQuUEKfP3ckr4pN?= =?us-ascii?q?3dAxM0NQGvhej9XoYunrgCUH6CV/fKeJjZtkWFs7oi?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgBADaalZZhwotIbJcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhBSQA5BVIpgMhhwCDIMLQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+?= =?us-ascii?q?CMyKCRAECAyMVUQsYAgImAgJXEwgBAYovsxGCJos+ATGBC4IcglKDBguCboU2g?= =?us-ascii?q?keCYQWJW4cthh2HVXeUewGBfIcxhniQPYRwNoEreRFJCIFzgyglgU+KHgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DgBADaalZZhwotIbJcHAEBBAEBCgEBFwEBBAEBCgEBhBS?= =?us-ascii?q?QA5BVIpgMhhwCDIMLQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCRAECAyMVU?= =?us-ascii?q?QsYAgImAgJXEwgBAYovsxGCJos+ATGBC4IcglKDBguCboU2gkeCYQWJW4cthh2?= =?us-ascii?q?HVXeUewGBfIcxhniQPYRwNoEreRFJCIFzgyglgU+KHgEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,287,1496095200"; d="scan'208";a="230162454" Received: from 18.mo5.mail-out.ovh.net ([178.33.45.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Jun 2017 17:19:59 +0200 Received: from player695.ha.ovh.net (b9.ovh.net [213.186.33.59]) by mo5.mail-out.ovh.net (Postfix) with ESMTP id 840F210F5B9 for ; Fri, 30 Jun 2017 17:19:57 +0200 (CEST) Received: from [192.168.0.47] (bar06-10-83-153-40-126.fbx.proxad.net [83.153.40.126]) (Authenticated sender: mail@maximedenes.fr) by player695.ha.ovh.net (Postfix) with ESMTPSA id 5CF64460074 for ; Fri, 30 Jun 2017 17:19:57 +0200 (CEST) From: =?UTF-8?B?TWF4aW1lIETDqW7DqHM=?= To: caml-list@inria.fr References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> Message-ID: Date: Fri, 30 Jun 2017 17:19:57 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Ovh-Tracer-Id: 7790382932393179423 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeelkedrtdeigdekvdcutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemuceftddtnecu Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs Hello, On 06/30/2017 03:51 PM, Xavier Leroy wrote: > Random crashes caused by this bug were observed at Ahrefs and another industrial user of OCaml, and also by users of Coccinelle and of Coq. Just to emphasize the importance of this problem, we observed that the compilation of Coq on impacted machines would typically fail (segfault) with probably close to 1. Kudos for tracking it down. Maxime.