1. 08 Nov, 2023 1 commit
    • Rick Edgecombe's avatar
      x86/shstk: Delay signal entry SSP write until after user accesses · 31255e07
      Rick Edgecombe authored
      When a signal is being delivered, the kernel needs to make accesses to
      userspace. These accesses could encounter an access error, in which case
      the signal delivery itself will trigger a segfault. Usually this would
      result in the kernel killing the process. But in the case of a SEGV signal
      handler being configured, the failure of the first signal delivery will
      result in *another* signal getting delivered. The second signal may
      succeed if another thread has resolved the issue that triggered the
      segfault (i.e. a well timed mprotect()/mmap()), or the second signal is
      being delivered to another stack (i.e. an alt stack).
      
      On x86, in the non-shadow stack case, all the accesses to userspace are
      done before changes to the registers (in pt_regs). The operation is
      aborted when an access error occurs, so although there may be writes done
      for the first signal, control flow changes for the signal (regs->ip,
      regs->sp, etc) are not committed until all the accesses have already
      completed successfully. This means that the second signal will be
      delivered as if it happened at the time of the first signal. It will
      effectively replace the first aborted signal, overwriting the half-written
      frame of the aborted signal. So on sigreturn from the second signal,
      control flow will resume happily from the point of control flow where the
      original signal was delivered.
      
      The problem is, when shadow stack is active, the shadow stack SSP
      register/MSR is updated *before* some of the userspace accesses. This
      means if the earlier accesses succeed and the later ones fail, the second
      signal will not be delivered at the same spot on the shadow stack as the
      first one. So on sigreturn from the second signal, the SSP will be
      pointing to the wrong location on the shadow stack (off by a frame).
      
      Pengfei privately reported that while using a shadow stack enabled glibc,
      the “signal06” test in the LTP test-suite hung. It turns out it is
      testing the above described double signal scenario. When this test was
      compiled with shadow stack, the first signal pushed a shadow stack
      sigframe, then the second pushed another. When the second signal was
      handled, the SSP was at the first shadow stack signal frame instead of
      the original location. The test then got stuck as the #CP from the twice
      incremented SSP was incorrect and generated segfaults in a loop.
      
      Fix this by adjusting the SSP register only after any userspace accesses,
      such that there can be no failures after the SSP is adjusted. Do this by
      moving the shadow stack sigframe push logic to happen after all other
      userspace accesses.
      
      Note, sigreturn (as opposed to the signal delivery dealt with in this
      patch) has ordering behavior that could lead to similar failures. The
      ordering issues there extend beyond shadow stack to include the alt stack
      restoration. Fixing that would require cross-arch changes, and the
      ordering today does not cause any known test or apps breakages. So leave
      it as is, for now.
      
      [ dhansen: minor changelog/subject tweak ]
      
      Fixes: 05e36022 ("x86/shstk: Handle signals for shadow stack")
      Reported-by: default avatarPengfei Xu <pengfei.xu@intel.com>
      Signed-off-by: default avatarRick Edgecombe <rick.p.edgecombe@intel.com>
      Signed-off-by: default avatarDave Hansen <dave.hansen@linux.intel.com>
      Tested-by: default avatarPengfei Xu <pengfei.xu@intel.com>
      Cc:stable@vger.kernel.org
      Link: https://lore.kernel.org/all/20231107182251.91276-1-rick.p.edgecombe%40intel.com
      Link: https://github.com/linux-test-project/ltp/blob/master/testcases/kernel/syscalls/signal/signal06.c
      31255e07
  2. 06 Nov, 2023 1 commit
  3. 03 Nov, 2023 1 commit
  4. 30 Oct, 2023 1 commit
  5. 28 Oct, 2023 15 commits
  6. 27 Oct, 2023 15 commits
  7. 26 Oct, 2023 6 commits