mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: Roland McGrath <roland@redhat.com>
To: Martin Schwidefsky <schwidefsky@de.ibm.com>
Cc: Oleg Nesterov <oleg@redhat.com>,
	caiqian@redhat.com, Heiko Carstens <heiko.carstens@de.ibm.com>,
	Jan Kratochvil <jkratoch@redhat.com>,
	linux-kernel@vger.kernel.org, linux-s390@vger.kernel.org,
	utrace-devel@redhat.com
Subject: Re: s390 && user_enable_single_step() (Was: odd utrace testing results on s390x)
Date: Wed,  6 Jan 2010 12:56:33 -0800 (PST)	[thread overview]
Message-ID: <20100106205633.700CC134D@magilla.sf.frob.com> (raw)
In-Reply-To: Martin Schwidefsky's message of  Tuesday, 5 January 2010 10:50:30 +0100 <20100105105030.66bb8a0a@mschwide.boeblingen.de.ibm.com>

> do_signal is called before do_single_step. The order of checks of the
> TIF_ bits is 1) machine checks, 2) need resched, 3) signal pending, 4)
> notify resume, 5) restarting system call, 6) single step.

I see.  Then the potential issue I raised would exist.

> But why is that important ? If the TIF_SINGLE_STEP bit is set the order
> of do_signal vs. do_single_step does not seem to be important to me.
> There will be a SIGTRAP if TIF_SINGLE_STEP is set, no ?

Right.  It only becomes relevant if something else clears TIF_SINGLE_STEP,
which does not happen now.  I was discussing the scenario of having
user_disable_single_step clear it.  That might happen inside a stop,
i.e. inside do_signal (get_signal_to_deliver).  So given that order of
checks, it becomes possible for user_disable_single_step to affect the
pending-step-should-SIGTRAP situation.

> But I agree, it is probably better to make all arches look the same in
> regard to that pending step report. 

Right.  That means we should leave the status quo of not clearing
TIF_SINGLE_STEP in user_disable_single_step.

> > Martin, I suggest having copy_thread clear TIF_SINGLE_STEP.
> > That bit is always task-private state that should not be copied.
> 
> Then let us do this.

Yes, good.

> The LCTLG of multiple control registers is rather expensive. Does it
> happen often that user_*_single_step is called without need? For gdb is
> doesn't matter, the cost to switch between tracer and tracee is already
> large, the cycles added to FixPerRegisters won't matter much. For
> utrace things might be different.

In old (current) ptrace, user_*_single_step is never called on current.
In utrace, it's always called on current, so utrace-based ptrace alone
adds this second reload overhead beyond the same context-switch overhead
old ptrace has.  Indeed that addition may be neglible.

In other circumstances with utrace, it is very possible to wind up with
user_disable_single_step being called superfluously when there was no
stop (and so not necessarily any context switch or other high overhead).
On other machines, user_disable_single_step is pretty cheap even where
user_enable_single_step is quite costly.  Given how simple and cheap it
is to short-circuit the excess work on s390, I think it is worthwhile.

It looks like the context-switch code already checks some magic bits in
per_info to decide whether to do the costly reload.  So it seems vaguely
consistent with that to conditionalize FixPerRegisters similarly.  The
single_step cases are a special case with an easy one-bit check to
short-circuit, so skipping all of FixPerRegisters seems worthwhile IMHO.

To be really optimization-happy about it, you'd also hack FixPerRegisters
itself to do the reload on current only if PSW_MASK_PER is or was set (if
I'm following the code correctly).  Or perhaps it should check PER_EM_MASK
instead to match what __switch_to does.  (I don't understand the
distinction between those two tests, if there is one.)  Extra frobbity
would be to leave the old state too when clearing PSW_MASK_PER, and then
just have the trap handler lazily ignore a hit when current doesn't have
it set.  Then in a case where there is no hit before context switch,
you haven't done anything.  But that is probably both excessive and
not even a win if the PER use is single-step and so there will really
very likely be a hit before context switch.


Thanks,
Roland

  parent reply	other threads:[~2010-01-06 20:56 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <1503844142.2061111261478093776.JavaMail.root@zmail06.collab.prod.int.phx2.redhat.com>
     [not found] ` <1257887498.2061171261478252049.JavaMail.root@zmail06.collab.prod.int.phx2.redhat.com>
2010-01-04 15:52   ` Oleg Nesterov
2010-01-04 16:16     ` Martin Schwidefsky
2010-01-04 18:14       ` Oleg Nesterov
2010-01-04 19:30         ` Oleg Nesterov
2010-01-04 21:11         ` Roland McGrath
2010-01-05  9:50           ` Martin Schwidefsky
2010-01-05 15:36             ` Oleg Nesterov
2010-01-05 15:46               ` Martin Schwidefsky
2010-01-05 15:59                 ` Oleg Nesterov
2010-01-05 17:03                   ` Oleg Nesterov
2010-01-05 19:58                     ` Oleg Nesterov
2010-01-06 14:59                       ` Heiko Carstens
2010-01-06 20:17                       ` Oleg Nesterov
2010-01-06 21:13                         ` Roland McGrath
2010-01-07  9:18                           ` Martin Schwidefsky
2010-01-07 17:54                             ` Oleg Nesterov
2010-01-07 21:48                               ` Roland McGrath
2010-01-21 20:51                                 ` Oleg Nesterov
2010-01-26 13:13                                   ` Martin Schwidefsky
2010-01-07 21:46                             ` Roland McGrath
2010-01-08  8:30                               ` Martin Schwidefsky
2010-01-08 10:25                                 ` Roland McGrath
2010-01-05 15:47               ` Oleg Nesterov
2010-01-05 15:50                 ` Martin Schwidefsky
2010-01-06 21:08               ` Roland McGrath
2010-01-07  9:16                 ` Martin Schwidefsky
2010-01-07 18:16                   ` Oleg Nesterov
2010-01-07 21:44                     ` Roland McGrath
2010-01-08  8:34                     ` Martin Schwidefsky
2010-01-07 21:41                   ` Roland McGrath
2010-01-07 18:11                 ` Oleg Nesterov
2010-01-06 20:23             ` Oleg Nesterov
2010-01-06 20:56             ` Roland McGrath [this message]
2010-01-07  9:00               ` Martin Schwidefsky
2010-01-07 21:32                 ` Roland McGrath
2010-01-21 20:32                 ` Oleg Nesterov
2010-01-05  9:26         ` Martin Schwidefsky
2010-01-06 21:15           ` Roland McGrath
2010-01-04 20:46       ` Roland McGrath
     [not found] <1158952983.251101262791902387.JavaMail.root@zmail06.collab.prod.int.phx2.redhat.com>
2010-01-06 15:33 ` caiqian
2010-01-06 20:09   ` Oleg Nesterov

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=20100106205633.700CC134D@magilla.sf.frob.com \
    --to=roland@redhat.com \
    --cc=caiqian@redhat.com \
    --cc=heiko.carstens@de.ibm.com \
    --cc=jkratoch@redhat.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-s390@vger.kernel.org \
    --cc=oleg@redhat.com \
    --cc=schwidefsky@de.ibm.com \
    --cc=utrace-devel@redhat.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

Powered by JetHome