From: Dave Hansen <firstname.lastname@example.org> To: Andy Lutomirski <email@example.com>, firstname.lastname@example.org, Matthew Wilcox <email@example.com>, Dan Williams <firstname.lastname@example.org> Cc: David Howells <email@example.com>, Thomas Gleixner <firstname.lastname@example.org>, James Morris <email@example.com>, Ingo Molnar <firstname.lastname@example.org>, "H. Peter Anvin" <email@example.com>, Borislav Petkov <firstname.lastname@example.org>, Peter Zijlstra <email@example.com>, "Kirill A. Shutemov" <firstname.lastname@example.org>, email@example.com, Jun Nakajima <firstname.lastname@example.org>, "Sakkinen, Jarkko" <email@example.com>, firstname.lastname@example.org, LSM List <email@example.com>, Linux-MM <firstname.lastname@example.org>, X86 ML <email@example.com> Subject: Re: [RFC v2 00/13] Multi-Key Total Memory Encryption API (MKTME) Date: Wed, 5 Dec 2018 15:49:43 -0800 Message-ID: <firstname.lastname@example.org> (raw) In-Reply-To: <CALCETrUqqQiHR_LJoKB2JE6hCZ-e7LiFprEhmo-qoegDZJ9uYQ@mail.gmail.com> On 12/4/18 11:19 AM, Andy Lutomirski wrote: > I'm not Thomas, but I think it's the wrong direction. As it stands, > encrypt_mprotect() is an incomplete version of mprotect() (since it's > missing the protection key support), I thought about this when I added mprotect_pkey(). We start with: mprotect(addr, len, prot); then mprotect_pkey(addr, len, prot); then mprotect_pkey_encrypt(addr, len, prot, key); That doesn't scale because we eventually have mprotect_and_a_history_of_mm_features(). :) What I was hoping to see was them do this (apologies for the horrible indentation: ptr = mmap(..., PROT_NONE); mprotect_pkey( addr, len, PROT_NONE, pkey); mprotect_encrypt(addr, len, PROT_NONE, keyid); mprotect( addr, len, real_prot); The point is that you *can* stack these things and don't have to have an mprotect_kitchen_sink() if you use PROT_NONE for intermediate permissions during setup. > and it's also functionally just MADV_DONTNEED. In other words, the > sole user-visible effect appears to be that the existing pages are > blown away. The fact that it changes the key in use doesn't seem > terribly useful, since it's anonymous memory, It's functionally MADV_DONTNEED, plus a future promise that your writes will never show up as plaintext on the DIMM. We also haven't settled on the file-backed properties. For file-backed, my hope was that you could do: ptr = mmap(fd, size, prot); printf("ciphertext: %x\n", *ptr); mprotect_encrypt(ptr, len, prot, keyid); printf("plaintext: %x\n", *ptr); > and the most secure choice is to use CPU-managed keying, which > appears to be the default anyway on TME systems. It also has totally > unclear semantics WRT swap, and, off the top of my head, it looks > like it may have serious cache-coherency issues and like swapping the > pages might corrupt them, both because there are no flushes and > because the direct-map alias looks like it will use the default key > and therefore appear to contain the wrong data. I think we fleshed this out on IRC a bit, but the other part of the implementation is described here: https://lwn.net/Articles/758313/, and contains a direct map per keyid. When you do phys_to_virt() and friends, you get the correct, decrypted view direct map which is appropriate for the physical page. And, yes, this has very consequential security implications. > I would propose a very different direction: don't try to support MKTME > at all for anonymous memory, and instead figure out the important use > cases and support them directly. The use cases that I can think of > off the top of my head are: > > 1. pmem. This should probably use a very different API. > > 2. Some kind of VM hardening, where a VM's memory can be protected a > little tiny bit from the main kernel. But I don't see why this is any > better than XPO (eXclusive Page-frame Ownership), which brings to > mind: The XPO approach is "fun", and would certainly be a way to keep the direct map from being exploited to get access to plain-text mappings of ciphertext. But, it also has massive performance implications and we didn't quite want to go there quite yet. > The main implementation concern I have with this patch set is cache > coherency and handling of the direct map. Unless I missed something, > you're not doing anything about the direct map, which means that you > have RW aliases of the same memory with different keys. For use case > #2, this probably means that you need to either get rid of the direct > map and make get_user_pages() fail, or you need to change the key on > the direct map as well, probably using the pageattr.c code. The current, public hardware spec has a description of what's required to maintain cache coherency. Basically, you can keep as many mappings of a physical page as you want, but only write to one mapping at a time, and clflush the old one when you want to write to a new one. > As for caching, As far as I can tell from reading the preliminary > docs, Intel's MKTME, much like AMD's SME, is basically invisible to > the hardware cache coherency mechanism. So, if you modify a physical > address with one key (or SME-enable bit), and you read it with > another, you get garbage unless you flush. And, if you modify memory > with one key then remap it with a different key without flushing in > the mean time, you risk corruption. Yes, all true (at least with respect to Intel's implementation). > And, what's worse, if I'm reading > between the lines in the docs correctly, if you use PCONFIG to change > a key, you may need to do a bunch of cache flushing to ensure you get > reasonable effects. (If you have dirty cache lines for some (PA, key) > and you PCONFIG to change the underlying key, you get different > results depending on whether the writeback happens before or after the > package doing the writeback notices the PCONFIG.) We're not going to allow a key to be PCONFIG'd while there are any physical pages still associated with it. There are per-VMA refcounts tied back to the keyid slots, IIRC. So, before PCONFIG can happen, we just need to make sure that all the VMAs are gone, all the pages are freed, and all dirty cachelines have been clflushed. This is where get_user_pages() is our mortal enemy, though. I hope we got that right. Kirill/Alison, we should chat about this one. :) > Finally, If you're going to teach the kernel how to have some user > pages that aren't in the direct map, you've essentially done XPO, > which is nifty but expensive. And I think that doing this gets you > essentially all the benefit of MKTME for the non-pmem use case. Why > exactly would any software want to use anything other than a > CPU-managed key for anything other than pmem? It is handy, for one, to let you "cluster" key usage. If you have 5 Pepsi VMs and 5 Coke VMs, each Pepsi one using the same key and each Coke one using the same key, you can boil it down to only 2 hardware keyid slots that get used, and do this transparently. But, I think what you're implying is that the security properties of user-supplied keys can only be *worse* than using CPU-generated keys (assuming the CPU does a good job generating it). So, why bother allowing user-specified keys in the first place? It's a good question and I don't have a solid answer for why folks want this. I'll find out.
next prev parent reply index Thread overview: 91+ messages / expand[flat|nested] mbox.gz Atom feed top 2018-12-04 7:39 Alison Schofield 2018-12-04 7:39 ` [RFC v2 01/13] x86/mktme: Document the MKTME APIs Alison Schofield 2018-12-05 18:11 ` Andy Lutomirski 2018-12-05 19:22 ` Alison Schofield 2018-12-05 23:35 ` Andy Lutomirski 2018-12-06 8:04 ` Sakkinen, Jarkko 2018-12-04 7:39 ` [RFC v2 02/13] mm: Generalize the mprotect implementation to support extensions Alison Schofield 2018-12-06 8:08 ` Sakkinen, Jarkko 2018-12-04 7:39 ` [RFC v2 03/13] syscall/x86: Wire up a new system call for memory encryption keys Alison Schofield 2018-12-04 7:39 ` [RFC v2 04/13] x86/mm: Add helper functions for MKTME " Alison Schofield 2018-12-04 9:14 ` Peter Zijlstra 2018-12-05 5:49 ` Alison Schofield 2018-12-04 15:35 ` Andy Lutomirski 2018-12-05 5:52 ` Alison Schofield 2018-12-06 8:31 ` Sakkinen, Jarkko 2018-12-04 7:39 ` [RFC v2 05/13] x86/mm: Set KeyIDs in encrypted VMAs Alison Schofield 2018-12-06 8:37 ` Sakkinen, Jarkko 2018-12-04 7:39 ` [RFC v2 06/13] mm: Add the encrypt_mprotect() system call Alison Schofield 2018-12-06 8:38 ` Sakkinen, Jarkko 2018-12-04 7:39 ` [RFC v2 07/13] x86/mm: Add helpers for reference counting encrypted VMAs Alison Schofield 2018-12-04 8:58 ` Peter Zijlstra 2018-12-05 5:28 ` Alison Schofield 2018-12-04 7:39 ` [RFC v2 08/13] mm: Use reference counting for " Alison Schofield 2018-12-04 7:39 ` [RFC v2 09/13] mm: Restrict memory encryption to anonymous VMA's Alison Schofield 2018-12-04 9:10 ` Peter Zijlstra 2018-12-05 5:30 ` Alison Schofield 2018-12-05 9:07 ` Peter Zijlstra 2018-12-04 7:39 ` [RFC v2 10/13] keys/mktme: Add the MKTME Key Service type for memory encryption Alison Schofield 2018-12-06 8:51 ` Sakkinen, Jarkko 2018-12-06 8:54 ` Sakkinen, Jarkko 2018-12-06 15:11 ` Dave Hansen 2018-12-06 22:56 ` Sakkinen, Jarkko 2018-12-04 7:39 ` [RFC v2 11/13] keys/mktme: Program memory encryption keys on a system wide basis Alison Schofield 2018-12-04 9:21 ` Peter Zijlstra 2018-12-04 9:50 ` Kirill A. Shutemov 2018-12-05 5:44 ` Alison Schofield 2018-12-05 5:43 ` Alison Schofield 2018-12-05 9:10 ` Peter Zijlstra 2018-12-05 17:26 ` Alison Schofield 2018-12-04 7:39 ` [RFC v2 12/13] keys/mktme: Save MKTME data if kernel cmdline parameter allows Alison Schofield 2018-12-04 9:22 ` Peter Zijlstra 2018-12-07 2:14 ` Huang, Kai 2018-12-07 3:42 ` Alison Schofield 2018-12-07 6:39 ` Jarkko Sakkinen 2018-12-07 6:45 ` Jarkko Sakkinen 2018-12-07 11:47 ` Kirill A. Shutemov 2018-12-04 7:40 ` [RFC v2 13/13] keys/mktme: Support CPU Hotplug for MKTME keys Alison Schofield 2018-12-04 9:28 ` Peter Zijlstra 2018-12-05 5:32 ` Alison Schofield 2018-12-04 9:31 ` Peter Zijlstra 2018-12-05 5:36 ` Alison Schofield 2018-12-04 9:25 ` [RFC v2 00/13] Multi-Key Total Memory Encryption API (MKTME) Peter Zijlstra 2018-12-04 9:46 ` Kirill A. Shutemov 2018-12-05 20:32 ` Sakkinen, Jarkko 2018-12-06 11:22 ` Kirill A. Shutemov 2018-12-06 14:59 ` Dave Hansen 2018-12-07 10:12 ` Huang, Kai 2018-12-06 21:23 ` Sakkinen, Jarkko 2018-12-07 11:54 ` Kirill A. Shutemov 2018-12-04 19:19 ` Andy Lutomirski 2018-12-04 20:00 ` Andy Lutomirski 2018-12-04 20:32 ` Dave Hansen 2018-12-05 22:19 ` Sakkinen, Jarkko 2018-12-07 2:05 ` Huang, Kai 2018-12-07 6:48 ` Jarkko Sakkinen 2018-12-07 11:57 ` Kirill A. Shutemov 2018-12-07 21:59 ` Sakkinen, Jarkko 2018-12-07 23:45 ` Sakkinen, Jarkko 2018-12-07 23:48 ` Andy Lutomirski 2018-12-08 1:33 ` Huang, Kai 2018-12-08 3:53 ` Sakkinen, Jarkko 2018-12-12 15:31 ` Sakkinen, Jarkko 2018-12-12 16:29 ` Andy Lutomirski 2018-12-12 16:43 ` Sakkinen, Jarkko 2018-12-12 23:27 ` Huang, Kai 2018-12-13 5:49 ` Sakkinen, Jarkko 2018-12-13 5:52 ` Sakkinen, Jarkko 2018-12-12 23:24 ` Huang, Kai 2018-12-07 23:35 ` Eric Rannaud 2018-12-05 23:49 ` Dave Hansen [this message] 2018-12-06 1:09 ` Andy Lutomirski 2018-12-06 1:25 ` Dan Williams 2018-12-06 15:39 ` Dave Hansen 2018-12-06 19:10 ` Andy Lutomirski 2018-12-06 19:31 ` Dave Hansen 2018-12-07 1:55 ` Huang, Kai 2018-12-07 4:23 ` Dave Hansen 2018-12-07 23:53 ` Andy Lutomirski 2018-12-08 1:11 ` Dave Hansen 2018-12-08 2:07 ` Huang, Kai 2018-12-05 20:30 ` Sakkinen, Jarkko
Reply instructions: You may reply publically 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 \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ /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
Linux-Security-Module Archive on lore.kernel.org Archives are clonable: git clone --mirror https://lore.kernel.org/linux-security-module/0 linux-security-module/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 linux-security-module linux-security-module/ https://lore.kernel.org/linux-security-module \ firstname.lastname@example.org email@example.com public-inbox-index linux-security-module Newsgroup available over NNTP: nntp://nntp.lore.kernel.org/org.kernel.vger.linux-security-module AGPL code for this site: git clone https://public-inbox.org/ public-inbox