From: Jarkko Sakkinen <jarkko.sakkinen@linux.intel.com>
To: linux-sgx@vger.kernel.org
Cc: Jarkko Sakkinen <jarkko.sakkinen@linux.intel.com>,
Haitao Huang <haitao.huang@linux.intel.com>,
Matthew Wilcox <willy@infradead.org>,
Sean Christopherson <sean.j.christopherson@intel.com>,
Jethro Beekman <jethro@fortanix.com>,
Dave Hansen <dave.hansen@linux.intel.com>
Subject: [PATCH v2] Fix the issue further discussed in:
Date: Mon, 5 Oct 2020 06:17:59 +0300 [thread overview]
Message-ID: <20201005031759.143544-1-jarkko.sakkinen@linux.intel.com> (raw)
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 <haitao.huang@linux.intel.com>
Suggested-by: Matthew Wilcox <willy@infradead.org>
Cc: Sean Christopherson <sean.j.christopherson@intel.com>
Cc: Jethro Beekman <jethro@fortanix.com>
Cc: Dave Hansen <dave.hansen@linux.intel.com>
Signed-off-by: Jarkko Sakkinen <jarkko.sakkinen@linux.intel.com>
---
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;
}
--
2.25.1
next reply other threads:[~2020-10-05 3:18 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-10-05 3:17 Jarkko Sakkinen [this message]
2020-10-05 11:11 ` [PATCH v2] Fix the issue further discussed in: Matthew Wilcox
2020-10-05 11:48 ` Jarkko Sakkinen
2020-10-05 11:48 ` Jarkko Sakkinen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20201005031759.143544-1-jarkko.sakkinen@linux.intel.com \
--to=jarkko.sakkinen@linux.intel.com \
--cc=dave.hansen@linux.intel.com \
--cc=haitao.huang@linux.intel.com \
--cc=jethro@fortanix.com \
--cc=linux-sgx@vger.kernel.org \
--cc=sean.j.christopherson@intel.com \
--cc=willy@infradead.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).