From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751605AbcFPFeP (ORCPT ); Thu, 16 Jun 2016 01:34:15 -0400 Received: from mail-oi0-f45.google.com ([209.85.218.45]:34491 "EHLO mail-oi0-f45.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750984AbcFPFeM convert rfc822-to-8bit (ORCPT ); Thu, 16 Jun 2016 01:34:12 -0400 MIME-Version: 1.0 In-Reply-To: <57622865.2070701@nextfour.com> References: <3f0299bde58d0161c1dad75e0b7f93f074a6cd12.1466036668.git.luto@kernel.org> <57622865.2070701@nextfour.com> From: Andy Lutomirski Date: Wed, 15 Jun 2016 22:33:52 -0700 Message-ID: Subject: Re: [PATCH 12/13] x86/mm/64: Enable vmapped stacks To: =?UTF-8?Q?Mika_Penttil=C3=A4?= Cc: Nadav Amit , Kees Cook , Josh Poimboeuf , Borislav Petkov , "kernel-hardening@lists.openwall.com" , Brian Gerst , "linux-kernel@vger.kernel.org" , X86 ML , Linus Torvalds Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8BIT Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Jun 15, 2016 9:32 PM, "Mika Penttilä" wrote: > > Hi, > > > diff --git a/arch/x86/mm/tlb.c b/arch/x86/mm/tlb.c > > index 5643fd0b1a7d..fbf036ae72ac 100644 > > --- a/arch/x86/mm/tlb.c > > +++ b/arch/x86/mm/tlb.c > > @@ -77,10 +77,25 @@ void switch_mm_irqs_off(struct mm_struct *prev, struct mm_struct *next, > > unsigned cpu = smp_processor_id(); > > > > if (likely(prev != next)) { > > + if (IS_ENABLED(CONFIG_VMAP_STACK)) { > > + /* > > + * If our current stack is in vmalloc space and isn't > > + * mapped in the new pgd, we'll double-fault. Forcibly > > + * map it. > > + */ > > + unsigned int stack_pgd_index = > > + pgd_index(current_stack_pointer()); > > > stack pointer is still the previous task's, current_stack_pointer() returns that, not > next task's which was intention I guess. Things may happen to work if on same pgd, but at least the > boot cpu init_task_struct is special. This is intentional. When switching processes, we first switch the mm and then switch the task. We need to make sure that the prev stack is mapped in the new mm or we'll double-fault and die after switching the mm which still trying to execute on the old stack. The change to switch_to makes sure that the new stack is mapped. --Andy