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 3434F80190 for ; Fri, 30 Jun 2017 17:38:45 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f67.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.214.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.214.67 as permitted sender) identity=mailfrom; client-ip=209.85.214.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.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@mail-it0-f67.google.com) identity=helo; client-ip=209.85.214.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-it0-f67.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFUcADRMFEfLTabQngggl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivz/rarrMEGX3/hxlliBBdydsKMbzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?gbODE37WHZhc5+gqxUoxyhqQJxzYnPbYGJLfp+e7/RfdMGSWZfWMtaSixPApm7?= =?us-ascii?q?b4sKF+cMIeBYr5X6p1sIsBCzGBOjC//vyj9JgH/9wKo33P4nEQHaxgwgGNQOv2?= =?us-ascii?q?/Oo9rpNKcSUOa1wbLHzTXGdfxW2DP95JLUfRAmpPGBRLR9etfSx0k3Dw7JkEmc?= =?us-ascii?q?pIj/Mz6W1ukBqXaX4/dvWO61imMqqRl9riauy8swl4XEg5wZx1/Y+Sh83Ik4JM?= =?us-ascii?q?G0RFJ+bNOnC5Rfqj2WOo51T88+QWxluCM3xqMIuZGmeCUHzYkrywLDZ/GEdoWE?= =?us-ascii?q?/B3uW/iMLjp+mXlrYqiwhwyo/kil0uD8Vte70FJNriddl9nDrHEN1xjK5siGVv?= =?us-ascii?q?tx4l6t2TiO2g3R8O1ELkc0la3UK54l3LE8jIYcsUPGHiPumUX2irGZdlk89+S2?= =?us-ascii?q?9+jqZq/qq5ycOoNulA3yL6sjlta+DOk6KgQOWnKU+eW41L3t5035R7BKg+Usna?= =?us-ascii?q?nfrJDaP8MbpqiiDABPzokj6xe/DzG93dQXmHkINlNFeBadg4f1PFHOJej0De2j?= =?us-ascii?q?jFS0jDdr2/fGM6X9DZrXK3jDlK7tfbJ8605H1Ao+1stf5pJRCrEZOv3/QE7xtN?= =?us-ascii?q?rCDh84KQO42ejnCM8unr8ZDEeGEq6cPev+MFkI/ap7JuCNYKcQsSb8LvUp6vjj?= =?us-ascii?q?ljk3gwlOU7Ou2M4+bmy/GLxMKk6ZYHyk1t4HDX0NuAA3R+zrjnWNVDdSYzC5WK?= =?us-ascii?q?dqtWJzM56vEYqWHtPlu7eGxiruRpA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BIAQCWb1ZZekPWVdFcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBgmWCOp9wiRqOcoYcAoMXQxQBAQEBAQEBAQEBARIBAQkLDAc?= =?us-ascii?q?oL4IzIoJEAQICAToGARsdAQMBCwYFCzsjEQEFARwGiikBAw0IAaZLP44OBQEcg?= =?us-ascii?q?wgFg1sKGScNVoMqAQEBAQEBAQEBAQEBAQEBAQEBAQEBFQIGCQEIgxWFWIJ5hGq?= =?us-ascii?q?DQ4IxBZEIRo0sk36LEYcJkD0hgwczgRU2gSsxISNeCAoBB4FhgQaCA0SBa1iJK?= =?us-ascii?q?gEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BIAQCWb1ZZekPWVdFcGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BgmWCOp9wiRqOcoYcAoMXQxQBAQEBAQEBAQEBARIBAQkLDAcoL4IzIoJEAQICA?= =?us-ascii?q?ToGARsdAQMBCwYFCzsjEQEFARwGiikBAw0IAaZLP44OBQEcgwgFg1sKGScNVoM?= =?us-ascii?q?qAQEBAQEBAQEBAQEBAQEBAQEBAQEBFQIGCQEIgxWFWIJ5hGqDQ4IxBZEIRo0sk?= =?us-ascii?q?36LEYcJkD0hgwczgRU2gSsxISNeCAoBB4FhgQaCA0SBa1iJKgEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,287,1496095200"; d="scan'208";a="281449996" Received: from mail-it0-f67.google.com ([209.85.214.67]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jun 2017 17:38:44 +0200 Received: by mail-it0-f67.google.com with SMTP id k3so3120679ita.3 for ; Fri, 30 Jun 2017 08:38:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=lgFwN5WgzAbN+5PKpWS7Cr8M9bvUfaFdh2soA+Uffv4=; b=rLzrm3tRA0j31ZlKy6slJr9xj1h0ebiYc0I6uSl0tx+aoSIeqbYEKQtwf5dojJZcfr +n6S24nOHBp2AGZQgjsv4GGAYI7ess9I4Mgy+AnSFgKEHX7N4uHr8JExzmZE68maR4+A HxujRiXhd6J/OBgg9kQc6L2mnZau/+acsOaTQwzioL+TR/E47lufycaLBff4NqZ1oh86 1YtfPkOmHssk+BhRiO6B9/VRkm8T2trRexpwk/ljnuUXikB5S/U/fww6r0VeuviQXDav 1uREuKHQIamNWHl4HrHffMAAeFIv5zdY0OH6pjwdJ5mIoGg2rHOj9GxPDA+d8bFO3ooK idNw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=lgFwN5WgzAbN+5PKpWS7Cr8M9bvUfaFdh2soA+Uffv4=; b=lxy0qrBlvtETafd3H4difKKUVSdfRLoEOZTXpws1Qjim2CY30YUHu29X74aY03Hk9K mcLndgXQmRtwqFZkycO6pVxoRdNjLuR3hp5Jyamd9wZB8cAebJUrMTdogu0Yfzz0FG2W w6OxtIuvYeyuwAVWeQ87H1DxnI+ZxXCuzSKE168fZauUUyU3VGqdfEQfuD7NaqqmV7nX lz0ZaqPQNJjLg7g4nQPHBePHB+ueovwn7pGVF3/Q++HUN81SeAUIxHahE/RoWXRbkvGq E+Ngu3EbYvF5eAZLkmPRlPiyovvxZNLyUGX5ZqfvKq7qCcQyplFFa843CT9OivO4D0y5 aQXQ== X-Gm-Message-State: AKS2vOzMUqQ8wMf1kTo7pGTz86DQ2SqR9iJhFqRee5gntjFjPmwML74c 1rplHCJxBU75up0B X-Received: by 10.36.147.2 with SMTP id y2mr18370535itd.43.1498837122798; Fri, 30 Jun 2017 08:38:42 -0700 (PDT) Received: from ?IPv6:2601:240:c600:8bd0:8075:2fd9:1008:24ed? ([2601:240:c600:8bd0:8075:2fd9:1008:24ed]) by smtp.gmail.com with ESMTPSA id w80sm2251182ita.4.2017.06.30.08.38.41 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 30 Jun 2017 08:38:41 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) From: Anton Bachin In-Reply-To: Date: Fri, 30 Jun 2017 10:38:42 -0500 Cc: caml-list@inria.fr X-Mao-Original-Outgoing-Id: 520529922.7444-b6c8c705a7461ab74521a4f69cedbd47 Content-Transfer-Encoding: quoted-printable Message-Id: References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> To: =?utf-8?B?TWF4aW1lIETDqW7DqHM=?= X-Mailer: Apple Mail (2.3273) Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs > On 06/30/2017 03:51 PM, Xavier Leroy wrote >> Random crashes caused by this bug were observed at Ahrefs and another in= dustrial user of OCaml, and also by users of Coccinelle and of Coq. >=20 > Just to emphasize the importance of this problem, we observed that the co= mpilation of Coq on impacted machines would typically fail (segfault) with = probably close to 1. To further emphasize the importance of this problem, putting an Lwt program= under full load in a stress test triggered segfaults with probability 1, u= sually within a few minutes, and within at most 30, for the users observing= it. And thanks from me also for tracking it down. Anton