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 938C88018B for ; Wed, 5 Jul 2017 03:01:35 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kanig@adacore.com; spf=Pass smtp.mailfrom=kanig@adacore.com; spf=None smtp.helo=postmaster@smtp.eu.adacore.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kanig@adacore.com) identity=pra; client-ip=194.98.77.210; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kanig@adacore.com"; x-sender="kanig@adacore.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kanig@adacore.com designates 194.98.77.210 as permitted sender) identity=mailfrom; client-ip=194.98.77.210; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kanig@adacore.com"; x-sender="kanig@adacore.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@smtp.eu.adacore.com) identity=helo; client-ip=194.98.77.210; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kanig@adacore.com"; x-sender="postmaster@smtp.eu.adacore.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AtByFIBAbq8AsleQ8VTEpUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPTypsbcNUDSrc9gkEXOFd2CrakV1KyO6+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/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRtpeWTJcDIOy?= =?us-ascii?q?YYUAAOUPM+Zfr4f+pVQBowCzBRWuCe711jNEmmX70K883u88EQ/GxgsgH9cWvX?= =?us-ascii?q?jaqNv1M6cSXvqzzKnO0zrDdO5d1zLn54jOcxAhrv+AVq93fMrS00YvEQLFjlqL?= =?us-ascii?q?pIP/IjyazPgCs2+B7+V+T+6gl2knqwRorzWp28wiiZHJi5oIxl3A+ih12oI4KN?= =?us-ascii?q?6iREN5Y9OoCoVcuzyGO4duXM8uXX9ktDwnxrEaupO3ZjUGxZslyhLFdvCLbomF?= =?us-ascii?q?7xT+X+iLOzh4nmhqeLenihay70egzur8W9Gv0FZPsipFisPAuW4Q1xDJ8MeIV+?= =?us-ascii?q?Fy8Vum2TaVyQ/f8P1LIUcxlabDKp4hxKA/loYLvEjeGiL7l1/6gauVe0k++OWl?= =?us-ascii?q?6f7rbqv7qpOAL4N0jxvxMqUqmsyxG+Q4NQ0OUnCY+eum0r3j/EL5Ta5QgfIriK?= =?us-ascii?q?bWrJfaJd4FqaKjHwBV1YMj5w6lDzi6yNQYgWUHLFVddR2blYfpPlXOLOn8Dfe+?= =?us-ascii?q?mFSsjCxmx+vGP73kGpXCNGLPkLbnfbZn6k5T0hA/zd5F55hMELEOPOrzWlPttN?= =?us-ascii?q?zfFhI4PAi0zPj9CNV61oITQmOOAq6cMKzJq1+H/PgjI+iKZI8PuTbyMeIp5/D0?= =?us-ascii?q?jSxxpVhIN5mgw5oacjicE+5hMg/RNWrlnNYMCyEOsxA5XcTrjkeDWHhdfSD2F+?= =?us-ascii?q?gT7zshCY+iRbzIRo23jabLlHO0F5dMZ21CTEuHEXryep+sVPIFaSbUKchkxG8q?= =?us-ascii?q?T7+kHsUD0hGnsgn30PJEJ+zV9WdQ4ZHq0tl6z+TfnBo17zEyBMOYhTLeB1pol3?= =?us-ascii?q?8FEmdllJt0plZwnxLaifB1?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D9AwCVOVxZidJNYsJcHAEBBAEBCgEBG?= =?us-ascii?q?AEFAQsBhA6BE458kH+ILIRciwmCYYMyCQKDTRQBAQEBAQEBAQEBARIBAQEKCws?= =?us-ascii?q?uL4IzJAGCQQECAgEjFUEFCwsaAgUhAgIPAREbGwYBEooXAw0HBbI6giaHKg2CS?= =?us-ascii?q?oE7AQEBAQYBAQEBJCBrghyIUYJXhSaCYQWRC0WMezsCjxmGXokfhwuLdIRPhG4?= =?us-ascii?q?CNoErdRVJCIFzgyglgVxniGkBAQE?= X-IPAS-Result: =?us-ascii?q?A0D9AwCVOVxZidJNYsJcHAEBBAEBCgEBGAEFAQsBhA6BE45?= =?us-ascii?q?8kH+ILIRciwmCYYMyCQKDTRQBAQEBAQEBAQEBARIBAQEKCwsuL4IzJAGCQQECA?= =?us-ascii?q?gEjFUEFCwsaAgUhAgIPAREbGwYBEooXAw0HBbI6giaHKg2CSoE7AQEBAQYBAQE?= =?us-ascii?q?BJCBrghyIUYJXhSaCYQWRC0WMezsCjxmGXokfhwuLdIRPhG4CNoErdRVJCIFzg?= =?us-ascii?q?yglgVxniGkBAQE?= X-IronPort-AV: E=Sophos;i="5.40,309,1496095200"; d="scan'208";a="282057967" Received: from mel.act-europe.fr (HELO smtp.eu.adacore.com) ([194.98.77.210]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Jul 2017 03:01:34 +0200 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 58C6681374; Wed, 5 Jul 2017 03:01:34 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at eu.adacore.com Received: from smtp.eu.adacore.com ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id RgpkYAwlHZZk; Wed, 5 Jul 2017 03:01:34 +0200 (CEST) Received: from dprec (unknown [222.108.147.116]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.eu.adacore.com (Postfix) with ESMTPSA id C2E018133D; Wed, 5 Jul 2017 03:01:32 +0200 (CEST) Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes To: "Xavier Leroy" , "Gabriel Scherer" Cc: "OCaml Mailing List" References: <0ea087b1-7267-eee6-3dd5-55a760d8f4cd@inria.fr> Date: Wed, 05 Jul 2017 10:01:20 +0900 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: "Johannes Kanig" Organization: AdaCore Message-ID: In-Reply-To: User-Agent: Opera Mail/1.0 (Win32) Subject: Re: [Caml-list] [IMPORTANT] Intel Skylake / Kaby Lake hardware bug affects OCaml programs On Sat, 2017-07-01, 0:17:26, Gabriel Scherer wrote: > Here is my list of affected OCaml projects known so far (it seems > surprisingly less rare than I thought at first): To add to the list, we at AdaCore have seen random crashes of long-running Why3 processes, that only happen on the Skylake machine of one of our developers. -- Johannes Kanig, PhD Senior Software Engineer