diff options
author | Oleg Nesterov <oleg@redhat.com> | 2012-08-11 12:06:42 -0400 |
---|---|---|
committer | Oleg Nesterov <oleg@redhat.com> | 2012-09-15 11:37:29 -0400 |
commit | 95cf00fa5d5e2a200a2c044c84bde8389a237e02 (patch) | |
tree | 8caa1e1283605496079fd4187fabac7321e9cd51 /arch/x86/kernel/step.c | |
parent | 848e8f5f0ad3169560c516fff6471be65f76e69f (diff) |
ptrace/x86: Partly fix set_task_blockstep()->update_debugctlmsr() logic
Afaics the usage of update_debugctlmsr() and TIF_BLOCKSTEP in
step.c was always very wrong.
1. update_debugctlmsr() was simply unneeded. The child sleeps
TASK_TRACED, __switch_to_xtra(next_p => child) should notice
TIF_BLOCKSTEP and set/clear DEBUGCTLMSR_BTF after resume if
needed.
2. It is wrong. The state of DEBUGCTLMSR_BTF bit in CPU register
should always match the state of current's TIF_BLOCKSTEP bit.
3. Even get_debugctlmsr() + update_debugctlmsr() itself does not
look right. Irq can change other bits in MSR_IA32_DEBUGCTLMSR
register or the caller can be preempted in between.
4. It is not safe to play with TIF_BLOCKSTEP if task != current.
DEBUGCTLMSR_BTF and TIF_BLOCKSTEP should always match each
other if the task is running. The tracee is stopped but it
can be SIGKILL'ed right before set/clear_tsk_thread_flag().
However, now that uprobes uses user_enable_single_step(current)
we can't simply remove update_debugctlmsr(). So this patch adds
the additional "task == current" check and disables irqs to avoid
the race with interrupts/preemption.
Unfortunately this patch doesn't solve the last problem, we need
another fix. Probably we should teach ptrace_stop() to set/clear
single/block stepping after resume.
And afaics there is yet another problem: perf can play with
MSR_IA32_DEBUGCTLMSR from nmi, this obviously means that even
__switch_to_xtra() has problems.
Signed-off-by: Oleg Nesterov <oleg@redhat.com>
Diffstat (limited to 'arch/x86/kernel/step.c')
-rw-r--r-- | arch/x86/kernel/step.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/arch/x86/kernel/step.c b/arch/x86/kernel/step.c index 7a514986ca09..f89cdc6ccd5b 100644 --- a/arch/x86/kernel/step.c +++ b/arch/x86/kernel/step.c | |||
@@ -161,6 +161,16 @@ static void set_task_blockstep(struct task_struct *task, bool on) | |||
161 | { | 161 | { |
162 | unsigned long debugctl; | 162 | unsigned long debugctl; |
163 | 163 | ||
164 | /* | ||
165 | * Ensure irq/preemption can't change debugctl in between. | ||
166 | * Note also that both TIF_BLOCKSTEP and debugctl should | ||
167 | * be changed atomically wrt preemption. | ||
168 | * FIXME: this means that set/clear TIF_BLOCKSTEP is simply | ||
169 | * wrong if task != current, SIGKILL can wakeup the stopped | ||
170 | * tracee and set/clear can play with the running task, this | ||
171 | * can confuse the next __switch_to_xtra(). | ||
172 | */ | ||
173 | local_irq_disable(); | ||
164 | debugctl = get_debugctlmsr(); | 174 | debugctl = get_debugctlmsr(); |
165 | if (on) { | 175 | if (on) { |
166 | debugctl |= DEBUGCTLMSR_BTF; | 176 | debugctl |= DEBUGCTLMSR_BTF; |
@@ -169,7 +179,9 @@ static void set_task_blockstep(struct task_struct *task, bool on) | |||
169 | debugctl &= ~DEBUGCTLMSR_BTF; | 179 | debugctl &= ~DEBUGCTLMSR_BTF; |
170 | clear_tsk_thread_flag(task, TIF_BLOCKSTEP); | 180 | clear_tsk_thread_flag(task, TIF_BLOCKSTEP); |
171 | } | 181 | } |
172 | update_debugctlmsr(debugctl); | 182 | if (task == current) |
183 | update_debugctlmsr(debugctl); | ||
184 | local_irq_enable(); | ||
173 | } | 185 | } |
174 | 186 | ||
175 | /* | 187 | /* |