From: Borislav Petkov <bp@alien8.de>
To: Rick Edgecombe <rick.p.edgecombe@intel.com>
Cc: x86@kernel.org, "H . Peter Anvin" <hpa@zytor.com>,
Thomas Gleixner <tglx@linutronix.de>,
Ingo Molnar <mingo@redhat.com>,
linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org,
linux-mm@kvack.org, linux-arch@vger.kernel.org,
linux-api@vger.kernel.org, Arnd Bergmann <arnd@arndb.de>,
Andy Lutomirski <luto@kernel.org>,
Balbir Singh <bsingharora@gmail.com>,
Cyrill Gorcunov <gorcunov@gmail.com>,
Dave Hansen <dave.hansen@linux.intel.com>,
Eugene Syromiatnikov <esyr@redhat.com>,
Florian Weimer <fweimer@redhat.com>,
"H . J . Lu" <hjl.tools@gmail.com>, Jann Horn <jannh@google.com>,
Jonathan Corbet <corbet@lwn.net>,
Kees Cook <keescook@chromium.org>,
Mike Kravetz <mike.kravetz@oracle.com>,
Nadav Amit <nadav.amit@gmail.com>,
Oleg Nesterov <oleg@redhat.com>, Pavel Machek <pavel@ucw.cz>,
Peter Zijlstra <peterz@infradead.org>,
Randy Dunlap <rdunlap@infradead.org>,
Weijiang Yang <weijiang.yang@intel.com>,
"Kirill A . Shutemov" <kirill.shutemov@linux.intel.com>,
John Allen <john.allen@amd.com>,
kcc@google.com, eranian@google.com, rppt@kernel.org,
jamorris@linux.microsoft.com, dethoma@microsoft.com,
akpm@linux-foundation.org, Andrew.Cooper3@citrix.com,
christina.schimpe@intel.com, david@redhat.com,
debug@rivosinc.com, Yu-cheng Yu <yu-cheng.yu@intel.com>
Subject: Re: [PATCH v7 30/41] x86/shstk: Handle thread shadow stack
Date: Wed, 8 Mar 2023 16:26:00 +0100 [thread overview]
Message-ID: <ZAipCNBCtPA2bcck@zn.tnic> (raw)
In-Reply-To: <20230227222957.24501-31-rick.p.edgecombe@intel.com>
On Mon, Feb 27, 2023 at 02:29:46PM -0800, Rick Edgecombe wrote:
> From: Yu-cheng Yu <yu-cheng.yu@intel.com>
>
> When a process is duplicated, but the child shares the address space with
> the parent, there is potential for the threads sharing a single stack to
> cause conflicts for each other. In the normal non-cet case this is handled
"non-CET"
> in two ways.
>
> With regular CLONE_VM a new stack is provided by userspace such that the
> parent and child have different stacks.
>
> For vfork, the parent is suspended until the child exits. So as long as
> the child doesn't return from the vfork()/CLONE_VFORK calling function and
> sticks to a limited set of operations, the parent and child can share the
> same stack.
>
> For shadow stack, these scenarios present similar sharing problems. For the
> CLONE_VM case, the child and the parent must have separate shadow stacks.
> Instead of changing clone to take a shadow stack, have the kernel just
> allocate one and switch to it.
>
> Use stack_size passed from clone3() syscall for thread shadow stack size. A
> compat-mode thread shadow stack size is further reduced to 1/4. This
> allows more threads to run in a 32-bit address space. The clone() does not
> pass stack_size, which was added to clone3(). In that case, use
> RLIMIT_STACK size and cap to 4 GB.
>
> For shadow stack enabled vfork(), the parent and child can share the same
> shadow stack, like they can share a normal stack. Since the parent is
> suspended until the child terminates, the child will not interfere with
> the parent while executing as long as it doesn't return from the vfork()
> and overwrite up the shadow stack. The child can safely overwrite down
> the shadow stack, as the parent can just overwrite this later. So CET does
> not add any additional limitations for vfork().
>
> Userspace implementing posix vfork() can actually prevent the child from
"POSIX"
...
> diff --git a/arch/x86/kernel/fpu/core.c b/arch/x86/kernel/fpu/core.c
> index f851558b673f..bc3de4aeb661 100644
> --- a/arch/x86/kernel/fpu/core.c
> +++ b/arch/x86/kernel/fpu/core.c
> @@ -552,8 +552,41 @@ static inline void fpu_inherit_perms(struct fpu *dst_fpu)
> }
> }
>
> +#ifdef CONFIG_X86_USER_SHADOW_STACK
> +static int update_fpu_shstk(struct task_struct *dst, unsigned long ssp)
> +{
> + struct cet_user_state *xstate;
> +
> + /* If ssp update is not needed. */
> + if (!ssp)
> + return 0;
> +
> + xstate = get_xsave_addr(&dst->thread.fpu.fpstate->regs.xsave,
> + XFEATURE_CET_USER);
> +
> + /*
> + * If there is a non-zero ssp, then 'dst' must be configured with a shadow
> + * stack and the fpu state should be up to date since it was just copied
> + * from the parent in fpu_clone(). So there must be a valid non-init CET
> + * state location in the buffer.
> + */
> + if (WARN_ON_ONCE(!xstate))
> + return 1;
> +
> + xstate->user_ssp = (u64)ssp;
> +
> + return 0;
> +}
> +#else
> +static int update_fpu_shstk(struct task_struct *dst, unsigned long shstk_addr)
^^^^^^^^^^^
ssp, like above.
Better yet:
static int update_fpu_shstk(struct task_struct *dst, unsigned long ssp)
{
#ifdef CONFIG_X86_USER_SHADOW_STACK
...
#endif
return 0;
}
and less ifdeffery.
> +{
> + return 0;
> +}
> +#endif
> +
> /* Clone current's FPU state on fork */
> -int fpu_clone(struct task_struct *dst, unsigned long clone_flags, bool minimal)
> +int fpu_clone(struct task_struct *dst, unsigned long clone_flags, bool minimal,
> + unsigned long ssp)
> {
> struct fpu *src_fpu = ¤t->thread.fpu;
> struct fpu *dst_fpu = &dst->thread.fpu;
> @@ -613,6 +646,12 @@ int fpu_clone(struct task_struct *dst, unsigned long clone_flags, bool minimal)
> if (use_xsave())
> dst_fpu->fpstate->regs.xsave.header.xfeatures &= ~XFEATURE_MASK_PASID;
>
> + /*
> + * Update shadow stack pointer, in case it changed during clone.
> + */
> + if (update_fpu_shstk(dst, ssp))
> + return 1;
> +
> trace_x86_fpu_copy_src(src_fpu);
> trace_x86_fpu_copy_dst(dst_fpu);
>
> diff --git a/arch/x86/kernel/process.c b/arch/x86/kernel/process.c
> index b650cde3f64d..bf703f53fa49 100644
> --- a/arch/x86/kernel/process.c
> +++ b/arch/x86/kernel/process.c
> @@ -48,6 +48,7 @@
> #include <asm/frame.h>
> #include <asm/unwind.h>
> #include <asm/tdx.h>
> +#include <asm/shstk.h>
>
> #include "process.h"
>
> @@ -119,6 +120,7 @@ void exit_thread(struct task_struct *tsk)
>
> free_vm86(t);
>
> + shstk_free(tsk);
> fpu__drop(fpu);
> }
>
> @@ -140,6 +142,7 @@ int copy_thread(struct task_struct *p, const struct kernel_clone_args *args)
> struct inactive_task_frame *frame;
> struct fork_frame *fork_frame;
> struct pt_regs *childregs;
> + unsigned long shstk_addr = 0;
> int ret = 0;
>
> childregs = task_pt_regs(p);
> @@ -174,7 +177,13 @@ int copy_thread(struct task_struct *p, const struct kernel_clone_args *args)
> frame->flags = X86_EFLAGS_FIXED;
> #endif
>
> - fpu_clone(p, clone_flags, args->fn);
> + /* Allocate a new shadow stack for pthread if needed */
> + ret = shstk_alloc_thread_stack(p, clone_flags, args->stack_size,
> + &shstk_addr);
That function will return 0 even if shstk_addr hasn't been written in it
and you will continue merrily and call
fpu_clone(..., shstk_addr=0);
why don't you return the shadow stack address or negative on error
instead of adding an I/O parameter which is pretty much always nasty to
deal with.
> + if (ret)
> + return ret;
> +
> + fpu_clone(p, clone_flags, args->fn, shstk_addr);
>
> /* Kernel thread ? */
> if (unlikely(p->flags & PF_KTHREAD)) {
...
--
Regards/Gruss,
Boris.
https://people.kernel.org/tglx/notes-about-netiquette
next prev parent reply other threads:[~2023-03-08 15:26 UTC|newest]
Thread overview: 159+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-02-27 22:29 [PATCH v7 00/41] Shadow stacks for userspace Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 01/41] Documentation/x86: Add CET shadow stack description Rick Edgecombe
2023-03-01 14:21 ` Szabolcs Nagy
2023-03-01 14:38 ` Szabolcs Nagy
2023-03-01 18:07 ` Edgecombe, Rick P
2023-03-01 18:32 ` Edgecombe, Rick P
2023-03-02 16:34 ` szabolcs.nagy
2023-03-03 22:35 ` Edgecombe, Rick P
2023-03-06 16:20 ` szabolcs.nagy
2023-03-06 16:31 ` Florian Weimer
2023-03-06 18:08 ` Edgecombe, Rick P
2023-03-07 13:03 ` szabolcs.nagy
2023-03-07 14:00 ` Florian Weimer
2023-03-07 16:14 ` Szabolcs Nagy
2023-03-06 18:05 ` Edgecombe, Rick P
2023-03-06 20:31 ` Liang, Kan
2023-03-02 16:14 ` szabolcs.nagy
2023-03-02 21:17 ` Edgecombe, Rick P
2023-03-03 16:30 ` szabolcs.nagy
2023-03-03 16:57 ` H.J. Lu
2023-03-03 17:39 ` szabolcs.nagy
2023-03-03 17:50 ` H.J. Lu
2023-03-03 17:41 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 02/41] x86/shstk: Add Kconfig option for shadow stack Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 03/41] x86/cpufeatures: Add CPU feature flags for shadow stacks Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 04/41] x86/cpufeatures: Enable CET CR4 bit for shadow stack Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 05/41] x86/fpu/xstate: Introduce CET MSR and XSAVES supervisor states Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 06/41] x86/fpu: Add helper for modifying xstate Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 07/41] x86: Move control protection handler to separate file Rick Edgecombe
2023-03-01 15:38 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 08/41] x86/shstk: Add user control-protection fault handler Rick Edgecombe
2023-03-01 18:06 ` Borislav Petkov
2023-03-01 18:14 ` Edgecombe, Rick P
2023-03-01 18:37 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 09/41] x86/mm: Remove _PAGE_DIRTY from kernel RO pages Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 10/41] x86/mm: Move pmd_write(), pud_write() up in the file Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 11/41] mm: Introduce pte_mkwrite_kernel() Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 12/41] s390/mm: Introduce pmd_mkwrite_kernel() Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 13/41] mm: Make pte_mkwrite() take a VMA Rick Edgecombe
2023-03-01 7:03 ` Christophe Leroy
2023-03-01 8:16 ` David Hildenbrand
2023-03-02 12:19 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 14/41] x86/mm: Introduce _PAGE_SAVED_DIRTY Rick Edgecombe
2023-03-02 12:48 ` Borislav Petkov
2023-03-02 17:01 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 15/41] x86/mm: Update ptep/pmdp_set_wrprotect() for _PAGE_SAVED_DIRTY Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 16/41] x86/mm: Start actually marking _PAGE_SAVED_DIRTY Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 17/41] mm: Move VM_UFFD_MINOR_BIT from 37 to 38 Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 18/41] mm: Introduce VM_SHADOW_STACK for shadow stack memory Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 19/41] x86/mm: Check shadow stack page fault errors Rick Edgecombe
2023-03-03 14:00 ` Borislav Petkov
2023-03-03 14:39 ` Dave Hansen
2023-02-27 22:29 ` [PATCH v7 20/41] x86/mm: Teach pte_mkwrite() about stack memory Rick Edgecombe
2023-03-03 15:37 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 21/41] mm: Add guard pages around a shadow stack Rick Edgecombe
2023-03-06 8:08 ` Borislav Petkov
2023-03-07 1:29 ` Edgecombe, Rick P
2023-03-07 10:32 ` Borislav Petkov
2023-03-07 10:44 ` David Hildenbrand
2023-03-08 22:48 ` Edgecombe, Rick P
2023-03-17 17:09 ` Deepak Gupta
2023-02-27 22:29 ` [PATCH v7 22/41] mm/mmap: Add shadow stack pages to memory accounting Rick Edgecombe
2023-03-06 13:01 ` Borislav Petkov
2023-03-06 18:11 ` Edgecombe, Rick P
2023-03-06 18:16 ` Borislav Petkov
2023-03-07 10:42 ` David Hildenbrand
2023-03-17 17:12 ` Deepak Gupta
2023-03-17 17:16 ` Dave Hansen
2023-03-17 17:28 ` Deepak Gupta
2023-03-17 17:42 ` Edgecombe, Rick P
2023-03-17 19:26 ` Deepak Gupta
2023-02-27 22:29 ` [PATCH v7 23/41] mm: Re-introduce vm_flags to do_mmap() Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 24/41] mm: Don't allow write GUPs to shadow stack memory Rick Edgecombe
2023-03-06 13:10 ` Borislav Petkov
2023-03-06 18:15 ` Andy Lutomirski
2023-03-06 18:33 ` Edgecombe, Rick P
2023-03-06 18:57 ` Andy Lutomirski
2023-03-07 1:47 ` Edgecombe, Rick P
2023-03-17 17:05 ` Deepak Gupta
2023-02-27 22:29 ` [PATCH v7 25/41] x86/mm: Introduce MAP_ABOVE4G Rick Edgecombe
2023-03-06 18:09 ` Borislav Petkov
2023-03-07 1:10 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 26/41] mm: Warn on shadow stack memory in wrong vma Rick Edgecombe
2023-03-08 8:53 ` Borislav Petkov
2023-03-08 23:36 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 27/41] x86/mm: Warn if create Write=0,Dirty=1 with raw prot Rick Edgecombe
2023-02-27 22:54 ` Kees Cook
2023-03-08 9:23 ` Borislav Petkov
2023-03-08 23:35 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 28/41] x86: Introduce userspace API for shadow stack Rick Edgecombe
2023-03-08 10:27 ` Borislav Petkov
2023-03-08 23:32 ` Edgecombe, Rick P
2023-03-09 12:57 ` Borislav Petkov
2023-03-09 16:56 ` Edgecombe, Rick P
2023-03-09 23:51 ` Borislav Petkov
2023-03-10 1:13 ` Edgecombe, Rick P
2023-03-10 2:03 ` H.J. Lu
2023-03-10 20:00 ` H.J. Lu
2023-03-10 20:27 ` Edgecombe, Rick P
2023-03-10 20:43 ` H.J. Lu
2023-03-10 21:01 ` Edgecombe, Rick P
2023-03-10 11:40 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 29/41] x86/shstk: Add user-mode shadow stack support Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 30/41] x86/shstk: Handle thread shadow stack Rick Edgecombe
2023-03-02 17:34 ` Szabolcs Nagy
2023-03-02 21:48 ` Edgecombe, Rick P
2023-03-08 15:26 ` Borislav Petkov [this message]
2023-03-08 20:03 ` Edgecombe, Rick P
2023-03-09 14:12 ` Borislav Petkov
2023-03-09 16:59 ` Edgecombe, Rick P
2023-03-09 17:04 ` Borislav Petkov
2023-03-09 20:29 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 31/41] x86/shstk: Introduce routines modifying shstk Rick Edgecombe
2023-03-09 16:48 ` Borislav Petkov
2023-03-09 17:03 ` Edgecombe, Rick P
2023-03-09 17:22 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 32/41] x86/shstk: Handle signals for shadow stack Rick Edgecombe
2023-03-09 17:02 ` Borislav Petkov
2023-03-09 17:16 ` Edgecombe, Rick P
2023-03-09 23:35 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 33/41] x86/shstk: Introduce map_shadow_stack syscall Rick Edgecombe
2023-03-02 17:22 ` Szabolcs Nagy
2023-03-02 21:21 ` Edgecombe, Rick P
2023-03-09 18:55 ` Deepak Gupta
2023-03-09 19:39 ` Edgecombe, Rick P
2023-03-09 21:08 ` Deepak Gupta
2023-03-10 0:14 ` Edgecombe, Rick P
2023-03-10 21:00 ` Deepak Gupta
2023-03-10 21:43 ` Edgecombe, Rick P
2023-03-16 20:07 ` Deepak Gupta
2023-03-14 7:19 ` Mike Rapoport
2023-03-16 19:30 ` Deepak Gupta
2023-03-20 11:35 ` Szabolcs Nagy
2023-03-10 16:11 ` Borislav Petkov
2023-03-10 17:12 ` Edgecombe, Rick P
2023-03-10 20:05 ` Borislav Petkov
2023-03-10 20:19 ` Edgecombe, Rick P
2023-03-10 20:26 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 34/41] x86/shstk: Support WRSS for userspace Rick Edgecombe
2023-03-10 16:44 ` Borislav Petkov
2023-03-10 17:16 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 35/41] x86: Expose thread features in /proc/$PID/status Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 36/41] x86/shstk: Wire in shadow stack interface Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 37/41] selftests/x86: Add shadow stack test Rick Edgecombe
2023-02-27 22:29 ` [PATCH v7 38/41] x86/fpu: Add helper for initing features Rick Edgecombe
2023-03-11 12:54 ` Borislav Petkov
2023-03-13 2:45 ` Edgecombe, Rick P
2023-03-13 11:03 ` Borislav Petkov
2023-03-13 16:10 ` Edgecombe, Rick P
2023-03-13 17:10 ` Borislav Petkov
2023-03-13 23:31 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 39/41] x86: Add PTRACE interface for shadow stack Rick Edgecombe
2023-03-11 15:06 ` Borislav Petkov
2023-03-13 2:53 ` Edgecombe, Rick P
2023-02-27 22:29 ` [PATCH v7 40/41] x86/shstk: Add ARCH_SHSTK_UNLOCK Rick Edgecombe
2023-03-11 15:11 ` Borislav Petkov
2023-03-13 3:04 ` Edgecombe, Rick P
2023-03-13 11:05 ` Borislav Petkov
2023-02-27 22:29 ` [PATCH v7 41/41] x86/shstk: Add ARCH_SHSTK_STATUS Rick Edgecombe
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=ZAipCNBCtPA2bcck@zn.tnic \
--to=bp@alien8.de \
--cc=Andrew.Cooper3@citrix.com \
--cc=akpm@linux-foundation.org \
--cc=arnd@arndb.de \
--cc=bsingharora@gmail.com \
--cc=christina.schimpe@intel.com \
--cc=corbet@lwn.net \
--cc=dave.hansen@linux.intel.com \
--cc=david@redhat.com \
--cc=debug@rivosinc.com \
--cc=dethoma@microsoft.com \
--cc=eranian@google.com \
--cc=esyr@redhat.com \
--cc=fweimer@redhat.com \
--cc=gorcunov@gmail.com \
--cc=hjl.tools@gmail.com \
--cc=hpa@zytor.com \
--cc=jamorris@linux.microsoft.com \
--cc=jannh@google.com \
--cc=john.allen@amd.com \
--cc=kcc@google.com \
--cc=keescook@chromium.org \
--cc=kirill.shutemov@linux.intel.com \
--cc=linux-api@vger.kernel.org \
--cc=linux-arch@vger.kernel.org \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=luto@kernel.org \
--cc=mike.kravetz@oracle.com \
--cc=mingo@redhat.com \
--cc=nadav.amit@gmail.com \
--cc=oleg@redhat.com \
--cc=pavel@ucw.cz \
--cc=peterz@infradead.org \
--cc=rdunlap@infradead.org \
--cc=rick.p.edgecombe@intel.com \
--cc=rppt@kernel.org \
--cc=tglx@linutronix.de \
--cc=weijiang.yang@intel.com \
--cc=x86@kernel.org \
--cc=yu-cheng.yu@intel.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
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).