Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753575AbeAFBSL (ORCPT + 1 other); Fri, 5 Jan 2018 20:18:11 -0500 Received: from mga06.intel.com ([134.134.136.31]:15544 "EHLO mga06.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753389AbeAFBSI (ORCPT ); Fri, 5 Jan 2018 20:18:08 -0500 X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.46,320,1511856000"; d="scan'208";a="8949270" Subject: [PATCH 00/18] prevent bounds-check bypass via speculative execution From: Dan Williams To: linux-kernel@vger.kernel.org Cc: Mark Rutland , peterz@infradead.org, Alan Cox , Srinivas Pandruvada , Will Deacon , Solomon Peachy , "H. Peter Anvin" , Christian Lamparter , Elena Reshetova , linux-arch@vger.kernel.org, Andi Kleen , "James E.J. Bottomley" , linux-scsi@vger.kernel.org, Jonathan Corbet , x86@kernel.org, Ingo Molnar , Alexey Kuznetsov , Zhang Rui , linux-media@vger.kernel.org, Arnd Bergmann , Jan Kara , Eduardo Valentin , Al Viro , qla2xxx-upstream@qlogic.com, tglx@linutronix.de, Mauro Carvalho Chehab , Arjan van de Ven , Kalle Valo , alan@linux.intel.com, "Martin K. Petersen" , Hideaki YOSHIFUJI , gregkh@linuxfoundation.org, linux-wireless@vger.kernel.org, "Eric W. Biederman" , netdev@vger.kernel.org, torvalds@linux-foundation.org, "David S. Miller" , Laurent Pinchart Date: Fri, 05 Jan 2018 17:09:53 -0800 Message-ID: <151520099201.32271.4677179499894422956.stgit@dwillia2-desk3.amr.corp.intel.com> User-Agent: StGit/0.17.1-9-g687f MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Return-Path: Quoting Mark's original RFC: "Recently, Google Project Zero discovered several classes of attack against speculative execution. One of these, known as variant-1, allows explicit bounds checks to be bypassed under speculation, providing an arbitrary read gadget. Further details can be found on the GPZ blog [1] and the Documentation patch in this series." This series incorporates Mark Rutland's latest api and adds the x86 specific implementation of nospec_barrier. The nospec_{array_ptr,ptr,barrier} helpers are then combined with a kernel wide analysis performed by Elena Reshetova to address static analysis reports where speculative execution on a userspace controlled value could bypass a bounds check. The patches address a precondition for the attack discussed in the Spectre paper [2]. A consideration worth noting for reviewing these patches is to weigh the dramatic cost of being wrong about whether a given report is exploitable vs the overhead nospec_{array_ptr,ptr} may introduce. In other words, lets make the bar for applying these patches be "can you prove that the bounds check bypass is *not* exploitable". Consider that the Spectre paper reports one example of a speculation window being ~180 cycles. Note that there is also a proposal from Linus, array_access [3], that attempts to quash speculative execution past a bounds check without introducing an lfence instruction. That may be a future optimization possibility that is compatible with this api, but it would appear to need guarantees from the compiler that it is not clear the kernel can rely on at this point. It is also not clear that it would be a significant performance win vs lfence. These patches also will also be available via the 'nospec' git branch here: git://git.kernel.org/pub/scm/linux/kernel/git/djbw/linux nospec [1]: https://googleprojectzero.blogspot.co.uk/2018/01/reading-privileged-memory-with-side.html [2]: https://spectreattack.com/spectre.pdf [3]: https://marc.info/?l=linux-kernel&m=151510446027625&w=2 --- Andi Kleen (1): x86, barrier: stop speculation for failed access_ok Dan Williams (13): x86: implement nospec_barrier() [media] uvcvideo: prevent bounds-check bypass via speculative execution carl9170: prevent bounds-check bypass via speculative execution p54: prevent bounds-check bypass via speculative execution qla2xxx: prevent bounds-check bypass via speculative execution cw1200: prevent bounds-check bypass via speculative execution Thermal/int340x: prevent bounds-check bypass via speculative execution ipv6: prevent bounds-check bypass via speculative execution ipv4: prevent bounds-check bypass via speculative execution vfs, fdtable: prevent bounds-check bypass via speculative execution net: mpls: prevent bounds-check bypass via speculative execution udf: prevent bounds-check bypass via speculative execution userns: prevent bounds-check bypass via speculative execution Mark Rutland (4): asm-generic/barrier: add generic nospec helpers Documentation: document nospec helpers arm64: implement nospec_ptr() arm: implement nospec_ptr() Documentation/speculation.txt | 166 ++++++++++++++++++++ arch/arm/include/asm/barrier.h | 75 +++++++++ arch/arm64/include/asm/barrier.h | 55 +++++++ arch/x86/include/asm/barrier.h | 6 + arch/x86/include/asm/uaccess.h | 17 ++ drivers/media/usb/uvc/uvc_v4l2.c | 7 + drivers/net/wireless/ath/carl9170/main.c | 6 - drivers/net/wireless/intersil/p54/main.c | 8 + drivers/net/wireless/st/cw1200/sta.c | 10 + drivers/net/wireless/st/cw1200/wsm.h | 4 drivers/scsi/qla2xxx/qla_mr.c | 15 +- .../thermal/int340x_thermal/int340x_thermal_zone.c | 14 +- fs/udf/misc.c | 39 +++-- include/asm-generic/barrier.h | 68 ++++++++ include/linux/fdtable.h | 5 - kernel/user_namespace.c | 10 - net/ipv4/raw.c | 9 + net/ipv6/raw.c | 9 + net/mpls/af_mpls.c | 12 + 19 files changed, 466 insertions(+), 69 deletions(-) create mode 100644 Documentation/speculation.txt