lkml.org 
[lkml]   [2017]   [Sep]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [PATCH v6 03/11] mm, x86: Add support for eXclusive Page Frame Ownership (XPFO)
From
Date
On 09/20/2017 03:34 PM, Tycho Andersen wrote:
>> I really have to wonder whether there are better ret2dir defenses than
>> this. The allocator just seems like the *wrong* place to be doing this
>> because it's such a hot path.
>
> This might be crazy, but what if we defer flushing of the kernel
> ranges until just before we return to userspace? We'd still manipulate
> the prot/xpfo bits for the pages, but then just keep a list of which
> ranges need to be flushed, and do the right thing before we return.
> This leaves a little window between the actual allocation and the
> flush, but userspace would need another thread in its threadgroup to
> predict the next allocation, write the bad stuff there, and do the
> exploit all in that window.

I think the common case is still that you enter the kernel, allocate a
single page (or very few) and then exit. So, you don't really reduce
the total number of flushes.

Just think of this in terms of IPIs to do the remote TLB flushes. A CPU
can do roughly 1 million page faults and allocations a second. Say you
have a 2-socket x 28-core x 2 hyperthead system = 112 CPU threads.
That's 111M IPI interrupts/second, just for the TLB flushes, *ON* *EACH*
*CPU*.

I think the only thing that will really help here is if you batch the
allocations. For instance, you could make sure that the per-cpu-pageset
lists always contain either all kernel or all user data. Then remap the
entire list at once and do a single flush after the entire list is consumed.

>> Why do you even bother keeping large pages around? Won't the entire
>> kernel just degrade to using 4k everywhere, eventually?
>
> Isn't that true of large pages in general? Is there something about
> xpfo that makes this worse? I thought this would only split things if
> they had already been split somewhere else, and the protection can't
> apply to the whole huge page.

Even though the kernel gives out 4k pages, it still *maps* them in the
kernel linear direct map with the largest size available. My 16GB
laptop, for instance, has 3GB of 2MB transparent huge pages, but the
rest is used as 4k pages. Yet, from /proc/meminfo:

DirectMap4k: 665280 kB
DirectMap2M: 11315200 kB
DirectMap1G: 4194304 kB

Your code pretty much forces 4k pages coming out of the allocator to be
mapped with 4k mappings.
>>> +inline void xpfo_flush_kernel_tlb(struct page *page, int order)
>>> +{
>>> + int level;
>>> + unsigned long size, kaddr;
>>> +
>>> + kaddr = (unsigned long)page_address(page);
>>> +
>>> + if (unlikely(!lookup_address(kaddr, &level))) {
>>> + WARN(1, "xpfo: invalid address to flush %lx %d\n", kaddr, level);
>>> + return;
>>> + }
>>> +
>>> + switch (level) {
>>> + case PG_LEVEL_4K:
>>> + size = PAGE_SIZE;
>>> + break;
>>> + case PG_LEVEL_2M:
>>> + size = PMD_SIZE;
>>> + break;
>>> + case PG_LEVEL_1G:
>>> + size = PUD_SIZE;
>>> + break;
>>> + default:
>>> + WARN(1, "xpfo: unsupported page level %x\n", level);
>>> + return;
>>> + }
>>> +
>>> + flush_tlb_kernel_range(kaddr, kaddr + (1 << order) * size);
>>> +}
>>
>> I'm not sure flush_tlb_kernel_range() is the best primitive to be
>> calling here.
>>
>> Let's say you walk the page tables and find level=PG_LEVEL_1G. You call
>> flush_tlb_kernel_range(), you will be above
>> tlb_single_page_flush_ceiling, and you will do a full TLB flush. But,
>> with a 1GB page, you could have just used a single INVLPG and skipped
>> the global flush.
>>
>> I guess the cost of the IPI is way more than the flush itself, but it's
>> still a shame to toss the entire TLB when you don't have to.
>
> Ok, do you think it's worth making a new helper for others to use? Or
> should I just keep the logic in this function?

I'd just leave it in place. Most folks already have a PTE when they do
the invalidation, so this is a bit of a weirdo.

\
 
 \ /
  Last update: 2017-09-21 19:24    [W:0.119 / U:0.084 seconds]
©2003-2017 Jasper Spaans. hosted at Digital OceanAdvertise on this site