Kees Cook <[email protected]> writes: > On Tue, Nov 27, 2018 at 8:44 PM Eric W. Biederman <[email protected]> > wrote: >> >> Kees Cook <[email protected]> writes: >> >> > On Tue, Nov 27, 2018 at 4:38 PM, Kees Cook <[email protected]> wrote: >> >> On Tue, Nov 27, 2018 at 3:21 PM, Tycho Andersen <[email protected]> wrote: >> >>> On Mon, Nov 12, 2018 at 12:24:43PM -0700, Tycho Andersen wrote: >> >>>> On Mon, Nov 12, 2018 at 11:55:38AM -0700, Tycho Andersen wrote: >> >>>> > I haven't manage to reproduce it on stock v4.20-rc2, unfortunately. >> >>>> >> >>>> Ok, now I have, >> >>>> >> >>>> seccomp_bpf.c:2736:global.syscall_restart:Expected getpid() (1493) == >> >>>> info._sifields._kill.si_pid (0) >> >>>> global.syscall_restart: Test failed at step #22 >> >>> >> >>> Seems like this is still happening on v4.20-rc4, >> >>> >> >>> [ RUN ] global.syscall_restart >> >>> seccomp_bpf.c:2736:global.syscall_restart:Expected getpid() (1901) == >> >>> info._sifields._kill.si_pid (0) >> >>> global.syscall_restart: Test failed at step #22 >> >> >> >> This fails every time for me -- is it still racey for you? >> >> >> >> I'm attempting a bisect, hoping it doesn't _become_ racey for me. ;) >> > >> > This bisect to here for me: >> > >> > commit f149b31557446aff9ca96d4be7e39cc266f6e7cc >> > Author: Eric W. Biederman <[email protected]> >> > Date: Mon Sep 3 09:50:36 2018 +0200 >> > >> > signal: Never allocate siginfo for SIGKILL or SIGSTOP >> > >> > The SIGKILL and SIGSTOP signals are never delivered to userspace so >> > queued siginfo for these signals can never be observed. Therefore >> > remove the chance of failure by never even attempting to allocate >> > siginfo in those cases. >> > >> > Reviewed-by: Thomas Gleixner <[email protected]> >> > Signed-off-by: "Eric W. Biederman" <[email protected]> >> > >> > They are certainly visible via seccomp ;) >> >> Well SIGSTOP is visible via PTRACE_GETSIGINFO. >> >> I see what is happening now. Since we don't have queued siginfo >> we generate some as: >> /* >> * Ok, it wasn't in the queue. This must be >> * a fast-pathed signal or we must have been >> * out of queue space. So zero out the info. >> */ >> clear_siginfo(info); >> info->si_signo = sig; >> info->si_errno = 0; >> info->si_code = SI_USER; >> info->si_pid = 0; >> info->si_uid = 0; >> >> Which allows last_signfo to be set, >> so despite not really having any siginfo PTRACE_GET_SIGINFO >> has something to return so does not return -EINVAL. >> >> Reconstructing my context that was part of removing SEND_SIG_FORCED >> so this looks like it will take a little more than a revert to fix >> this. >> >> This is definitely a change that is visible to user space. The logic in >> my patch was definitely wrong with respect to SIGSTOP and >> PTRACE_GETSIGINFO. Is there something in userspace that actually cares? >> AKA is the idiom that the test seccomp_bpf.c is using something that >> non-test code does? > > I think this would be needed by any ptracer that handled multiple > threads. It needs to figure out which pid stopped. I think it's worth > fixing, yes. > >> The change below should restore the old behavior. I am just wondering >> if this is something we want to do. siginfo is allocated with >> GFP_ATOMIC so if your machine is under memory pressure there is a real >> chance the allocation can fail. Which would cause whatever is breaking >> now to break less deterministically then. > > I think memory pressure that would block a 128 byte GFP_ATOMIC > allocation would mean the system was about to seriously fall over. > Given the user-facing behavior change and that an existing test was > already checking for this means we need to fix it.
That sounds good but it is all rubbish. A) It doesn't matter for tracing multiple processes because ptrace only works on a single signal at a time. AKA if by the time you are calling PTRACE_GETSIGINFO you already know which process you are working against. B) Not every signal includes si_pid so even if you didn't know who you were talking to this would be an issue. C) For a non-rt signal we only every try and queue up a signal signal. We don't even attempt to queue siginfo otherwise. So what is the real world use case? The most useful I can think of is the whole check if this tracer was the one who sent SIGSTOP. But that is fundamentally unreliable because we only queue a single signal anyway. We must to that to preserve compatibility for non-rt signals as otherwise there are cases we could queue the same signal twice. So with two simultaneous SIGSTOPs it is a race condition which siginfo is made available. Right now we are on the edge of letting test cases for debug infrastructure prevent obvious optimizations/improvements to the code. So if we can find something other than our seccomp_bpf.c test case that fails I am happy to go with the change I posted. Otherwise I think we just need to fix seccomp_bpf.c. Eric
