lkml.org 
[lkml]   [2011]   [Jan]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRe: [PATCH 09/16] ptrace: make do_signal_stop() use ptrace_stop() if the task is being ptraced
Date
> I think we're getting a bit off course here.  

I was thinking out loud to share the rationale behind my reactions.

> The CONT problem in this context isn't generic at all. In principle,
> CONT doesn't (immediately) work on a ptraced task. We basically just had
> this window where STOPPED -> TRACED transition was delayed in which CONT
> worked. It's more of a behavioral inconsistency than anything else.

SIGCONT works just fine on a process that is being traced. It only resumes
on a process that is in job control stop rather than tracing stop, but then
it works normally. The other effects of SIGCONT (to clear all pending stop
signals at generation time, and to make a SIGCONT signal pending for later
delivery if it's not ignored or default-ignored) always work. It is a
further wrinkle that any ptrace operation on a thread that is in job
control stop morphs that into tracing stop. But it's just not true to say
that "in principle" SIGCONT doesn't work.

> If a task was RUNNING when PTRACE_ATTACH happens, when the tracer
> wait(2) completes, the task is TRACED and won't immediately respond to
> CONT. If a task was STOPPED, CONT can still wake up between the
> completion of wait(2) and the first ptrace command on the tracee.
> It's a subtle inconsistency which I don't believe anyone could have
> taken advantag of.

I think you underestimate the fiddliness of userland ptrace users.

> As for the generic discussion of group stop vs. ptrace, yeah, there's
> a lot to discuss and as I already wrote before I don't think there
> will be a single behavior which would satisfy all the requirements. I
> think it would be best to iron out the existing inconsistencies in a
> way which doesn't break the current users and then gradually introduce
> a few more ptrace operations which have well defined and more flexible
> interaction with group stop.

I agree with that overall sentiment, as I think I said before.

> As I wrote in another reply, the visibility is masked from the tracer
> and only visible if the user does a pretty convoluted thing. Unless
> there's such current user, I think we can clearly define what's
> guaranteed regarding ptrace/wait interaction and leave cases outside
> of it as undefined.

I don't really buy the "masked" claim.

> Sure, I definitely agree but at the same time that doesn't mean we
> shouldn't improve ptrace at all. It just means it's delicate and we
> should proceed carefully, which we shall.

And so we are. I'm just pushing on the degree of caution.

> Yeap, definitely. I want to make things just clean enough so that it
> doesn't hinder introduction of improvements while not breaking the
> existing users, but things like silent STOPPED -> TRACED transition
> are outright buggy and have to be fixed one way or the other. We
> can't ignore them.

I don't agree with "outright buggy". It's a well-defined situation that
has been well understood for quite some time, by possibility as many as
three people.

> There are two extremes. You can put ptrace under group stop or
> completely the other way around. I think there are valid use cases
> for both of them. I'll try to summarize it later.

I look forward to that elucidation. I can't really imagine a rationale I'd
accept for anything contrary to what I said about the supremacy of group stops.

> Heh, I was the late one this time. I'll soon repost the refreshed
> STOPPED <-> TRACED patchset. I think we're mostly in agreement
> regarding that part.

Mostly. Mostly. ;-)


Thanks,
Roland


\
 
 \ /
  Last update: 2011-01-28 21:33    [W:0.107 / U:10.348 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site