From patchwork Mon Oct 5 03:17:59 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jarkko Sakkinen X-Patchwork-Id: 11816045 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 197EB92C for ; Mon, 5 Oct 2020 03:18:07 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id EEF1C2078E for ; Mon, 5 Oct 2020 03:18:06 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1725846AbgJEDSG (ORCPT ); Sun, 4 Oct 2020 23:18:06 -0400 Received: from mga02.intel.com ([134.134.136.20]:8421 "EHLO mga02.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725845AbgJEDSG (ORCPT ); Sun, 4 Oct 2020 23:18:06 -0400 IronPort-SDR: rnhvI03zDP9dvVSp3ktqM2+LcU6GtvyfHZx3mt9m8Nb9i4QvsLd6wKZOE+p3eOfIQhj4YKnXVF urdmu86aBWjA== X-IronPort-AV: E=McAfee;i="6000,8403,9764"; a="150949678" X-IronPort-AV: E=Sophos;i="5.77,337,1596524400"; d="scan'208";a="150949678" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from orsmga005.jf.intel.com ([10.7.209.41]) by orsmga101.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Oct 2020 20:18:05 -0700 IronPort-SDR: Mhc0Z3sCOmXODtNC/n86qwcWoMK9gqAvX3u+6XHzvrkqBhUYfrt1GH9xhgZurIJqKLNuCb9XPs PBHLb8+6gXjQ== X-IronPort-AV: E=Sophos;i="5.77,337,1596524400"; d="scan'208";a="523257765" Received: from sidorovd-mobl1.ccr.corp.intel.com (HELO localhost) ([10.252.48.68]) by orsmga005-auth.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 Oct 2020 20:18:03 -0700 From: Jarkko Sakkinen To: linux-sgx@vger.kernel.org Cc: Jarkko Sakkinen , Haitao Huang , Matthew Wilcox , Sean Christopherson , Jethro Beekman , Dave Hansen Subject: [PATCH v2] Fix the issue further discussed in: Date: Mon, 5 Oct 2020 06:17:59 +0300 Message-Id: <20201005031759.143544-1-jarkko.sakkinen@linux.intel.com> X-Mailer: git-send-email 2.25.1 MIME-Version: 1.0 Precedence: bulk List-ID: X-Mailing-List: linux-sgx@vger.kernel.org 1. https://lore.kernel.org/linux-sgx/op.0rwbv916wjvjmi@mqcpg7oapc828.gar.corp.intel.com/ 2. https://lore.kernel.org/linux-sgx/20201003195440.GD20115@casper.infradead.org/ Use the approach suggested by Matthew, and supported by the analysis that I wrote: https://lore.kernel.org/linux-sgx/20201005030619.GA126283@linux.intel.com/ Reported-by: Haitao Huang Suggested-by: Matthew Wilcox Cc: Sean Christopherson Cc: Jethro Beekman Cc: Dave Hansen Signed-off-by: Jarkko Sakkinen --- arch/x86/kernel/cpu/sgx/encl.c | 24 +++++++++++++++++++++++- 1 file changed, 23 insertions(+), 1 deletion(-) diff --git a/arch/x86/kernel/cpu/sgx/encl.c b/arch/x86/kernel/cpu/sgx/encl.c index 4c6407cd857a..2bb3ec6996e9 100644 --- a/arch/x86/kernel/cpu/sgx/encl.c +++ b/arch/x86/kernel/cpu/sgx/encl.c @@ -307,6 +307,7 @@ int sgx_encl_may_map(struct sgx_encl *encl, unsigned long start, unsigned long idx_start = PFN_DOWN(start); unsigned long idx_end = PFN_DOWN(end - 1); struct sgx_encl_page *page; + unsigned long count = 0; XA_STATE(xas, &encl->page_array, idx_start); @@ -317,10 +318,31 @@ int sgx_encl_may_map(struct sgx_encl *encl, unsigned long start, if (current->personality & READ_IMPLIES_EXEC) return -EACCES; - xas_for_each(&xas, page, idx_end) + /* + * No need to hold encl->lock: + * 1. None of the page->* get written. + * 2. page->vm_max_prot_bits is set in sgx_encl_page_alloc(). This + * is before calling xa_insert(). After that it is never modified. + */ + xas_lock(&xas); + xas_for_each(&xas, page, idx_end) { + if (++count % XA_CHECK_SCHED) + continue; + + xas_pause(&xas); + xas_unlock(&xas); + + /* + * Attributes are not protected by the xa_lock, so I'm assuming + * that this is the legit place for the check. + */ if (!page || (~page->vm_max_prot_bits & vm_prot_bits)) return -EACCES; + cond_resched(); + xas_lock(&xas); + } + return 0; }