linux-kselftest.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: torvalds at linux-foundation.org (Linus Torvalds)
Subject: [PATCH 3/4] x86/ftrace: make ftrace_int3_handler() not to skip fops invocation
Date: Mon, 29 Apr 2019 11:06:58 -0700	[thread overview]
Message-ID: <CAHk-=wh5OpheSU8Em_Q3Hg8qw_JtoijxOdPtHru6d+5K8TWM=A@mail.gmail.com> (raw)
In-Reply-To: <20190428133826.3e142cfd@oasis.local.home>

On Sun, Apr 28, 2019 at 10:38 AM Steven Rostedt <rostedt at goodmis.org> wrote:
>
> For optimization reasons, if there's only a single user of a function
> it gets its own trampoline that sets up the call to its callback and
> calls that callback directly:

So this is the same issue as the static calls, and it has exactly the
same solution.

Which I already outlined once, and nobody wrote the code for.

So here's a COMPLETELY UNTESTED patch that only works (_if_ it works) for

 (a) 64-bit

 (b) SMP

but that's just because I've hardcoded the percpu segment handling.

It does *not* emulate the "call" in the BP handler itself, instead if
replace the %ip (the same way all the other BP handlers replace the
%ip) with a code sequence that just does

        push %gs:bp_call_return
        jmp *%gs:bp_call_target

after having filled in those per-cpu things.

The reason they are percpu is that after the %ip has been changed, the
target CPU goes its merry way, and doesn't wait for the text--poke
semaphore serialization. But since we have interrupts disabled on that
CPU, we know that *another* text poke won't be coming around and
changing the values.

THIS IS ENTIRELY UNTESTED! I've built it, and it at least seems to
build, although with warnings

  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqoff()+0x9: indirect jump found in RETPOLINE build
  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqon()+0x8: indirect jump found in RETPOLINE build
  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqoff()+0x9: sibling call from callable instruction with
modified stack frame
  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqon()+0x8: sibling call from callable instruction with
modified stack frame

that will need the appropriate "ignore this case" annotations that I didn't do.

Do I expect it to work? No. I'm sure there's some silly mistake here,
but the point of the patch is to show it as an example, so that it can
actually be tested.

With this, it should be possible (under the text rewriting lock) to do

        replace_call(callsite, newcallopcode, callsize, calltargettarget);

to do the static rewriting of the call at "callsite" to have the new
call target.

And again. Untested. But doesn't need any special code in the entry
path, and the concept is simple even if there are probably stupid bugs
just because it's entirely untested.

Oh, and did I mention that I didn't test this?

                Linus
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-patch
Size: 2788 bytes
Desc: not available
URL: <http://lists.linaro.org/pipermail/linux-kselftest-mirror/attachments/20190429/91bbc8fc/attachment.bin>

WARNING: multiple messages have this Message-ID (diff)
From: torvalds@linux-foundation.org (Linus Torvalds)
Subject: [PATCH 3/4] x86/ftrace: make ftrace_int3_handler() not to skip fops invocation
Date: Mon, 29 Apr 2019 11:06:58 -0700	[thread overview]
Message-ID: <CAHk-=wh5OpheSU8Em_Q3Hg8qw_JtoijxOdPtHru6d+5K8TWM=A@mail.gmail.com> (raw)
Message-ID: <20190429180658.dw3nLP9gUf7oMDUmC5YsyXGeivFcLp_nH94IhtO10RE@z> (raw)
In-Reply-To: <20190428133826.3e142cfd@oasis.local.home>

On Sun, Apr 28, 2019@10:38 AM Steven Rostedt <rostedt@goodmis.org> wrote:
>
> For optimization reasons, if there's only a single user of a function
> it gets its own trampoline that sets up the call to its callback and
> calls that callback directly:

So this is the same issue as the static calls, and it has exactly the
same solution.

Which I already outlined once, and nobody wrote the code for.

So here's a COMPLETELY UNTESTED patch that only works (_if_ it works) for

 (a) 64-bit

 (b) SMP

but that's just because I've hardcoded the percpu segment handling.

It does *not* emulate the "call" in the BP handler itself, instead if
replace the %ip (the same way all the other BP handlers replace the
%ip) with a code sequence that just does

        push %gs:bp_call_return
        jmp *%gs:bp_call_target

after having filled in those per-cpu things.

The reason they are percpu is that after the %ip has been changed, the
target CPU goes its merry way, and doesn't wait for the text--poke
semaphore serialization. But since we have interrupts disabled on that
CPU, we know that *another* text poke won't be coming around and
changing the values.

THIS IS ENTIRELY UNTESTED! I've built it, and it at least seems to
build, although with warnings

  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqoff()+0x9: indirect jump found in RETPOLINE build
  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqon()+0x8: indirect jump found in RETPOLINE build
  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqoff()+0x9: sibling call from callable instruction with
modified stack frame
  arch/x86/kernel/alternative.o: warning: objtool:
emulate_call_irqon()+0x8: sibling call from callable instruction with
modified stack frame

that will need the appropriate "ignore this case" annotations that I didn't do.

Do I expect it to work? No. I'm sure there's some silly mistake here,
but the point of the patch is to show it as an example, so that it can
actually be tested.

With this, it should be possible (under the text rewriting lock) to do

        replace_call(callsite, newcallopcode, callsize, calltargettarget);

to do the static rewriting of the call at "callsite" to have the new
call target.

And again. Untested. But doesn't need any special code in the entry
path, and the concept is simple even if there are probably stupid bugs
just because it's entirely untested.

Oh, and did I mention that I didn't test this?

                Linus
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-patch
Size: 2788 bytes
Desc: not available
URL: <http://lists.linaro.org/pipermail/linux-kselftest-mirror/attachments/20190429/91bbc8fc/attachment.bin>

  parent reply	other threads:[~2019-04-29 18:06 UTC|newest]

Thread overview: 128+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-04-27 10:06 [PATCH 0/4] x86/ftrace: make ftrace_int3_handler() not to skip fops invocation nstange
2019-04-27 10:06 ` Nicolai Stange
2019-04-27 10:06 ` [PATCH 1/4] x86/thread_info: introduce ->ftrace_int3_stack member nstange
2019-04-27 10:06   ` Nicolai Stange
2019-04-28 17:41   ` luto
2019-04-28 17:41     ` Andy Lutomirski
2019-04-28 17:51     ` rostedt
2019-04-28 17:51       ` Steven Rostedt
2019-04-28 18:08       ` luto
2019-04-28 18:08         ` Andy Lutomirski
2019-04-28 19:43         ` rostedt
2019-04-28 19:43           ` Steven Rostedt
2019-04-28 20:56           ` luto
2019-04-28 20:56             ` Andy Lutomirski
2019-04-28 21:22       ` nstange
2019-04-28 21:22         ` Nicolai Stange
2019-04-28 23:27         ` luto
2019-04-28 23:27           ` Andy Lutomirski
2019-04-27 10:06 ` [PATCH 2/4] ftrace: drop 'static' qualifier from ftrace_ops_list_func() nstange
2019-04-27 10:06   ` Nicolai Stange
2019-04-27 10:06 ` [PATCH 3/4] x86/ftrace: make ftrace_int3_handler() not to skip fops invocation nstange
2019-04-27 10:06   ` Nicolai Stange
2019-04-27 10:26   ` peterz
2019-04-27 10:26     ` Peter Zijlstra
2019-04-28 17:38     ` rostedt
2019-04-28 17:38       ` Steven Rostedt
2019-04-29 18:06       ` torvalds [this message]
2019-04-29 18:06         ` Linus Torvalds
2019-04-29 18:22         ` torvalds
2019-04-29 18:22           ` Linus Torvalds
2019-04-29 18:42           ` luto
2019-04-29 18:42             ` Andy Lutomirski
     [not found]             ` <CAHk-=whtt4K2f0KPtG-4Pykh3FK8UBOjD8jhXCUKB5nWDj_YRA@mail.gmail.com>
2019-04-29 18:56               ` luto
2019-04-29 18:56                 ` Andy Lutomirski
     [not found]                 ` <CAHk-=wgewK4eFhF3=0RNtk1KQjMANFH6oDE=8m=84RExn2gxhw@mail.gmail.com>
     [not found]                   ` <CAHk-=whay7eN6+2gZjY-ybRbkbcqAmgrLwwszzHx8ws3c=S-MA@mail.gmail.com>
2019-04-29 19:24                     ` luto
2019-04-29 19:24                       ` Andy Lutomirski
2019-04-29 20:07                       ` torvalds
2019-04-29 20:07                         ` Linus Torvalds
2019-04-30 13:56                         ` peterz
2019-04-30 13:56                           ` Peter Zijlstra
2019-04-30 16:06                           ` torvalds
2019-04-30 16:06                             ` Linus Torvalds
2019-04-30 16:33                             ` luto
2019-04-30 16:33                               ` Andy Lutomirski
2019-04-30 17:03                               ` rostedt
2019-04-30 17:03                                 ` Steven Rostedt
2019-04-30 17:20                                 ` rostedt
2019-04-30 17:20                                   ` Steven Rostedt
2019-04-30 17:49                                   ` [RFC][PATCH] ftrace/x86: Emulate call function while updating in breakpoint handler rostedt
2019-04-30 17:49                                     ` Steven Rostedt
2019-04-30 18:33                                     ` torvalds
2019-04-30 18:33                                       ` Linus Torvalds
2019-04-30 19:00                                       ` rostedt
2019-04-30 19:00                                         ` Steven Rostedt
2019-04-30 21:08                                       ` rostedt
2019-04-30 21:08                                         ` Steven Rostedt
2019-05-01 13:11                                       ` peterz
2019-05-01 13:11                                         ` Peter Zijlstra
2019-05-01 18:58                                         ` rostedt
2019-05-01 18:58                                           ` Steven Rostedt
2019-05-01 19:03                                           ` peterz
2019-05-01 19:03                                             ` Peter Zijlstra
2019-05-01 19:03                                         ` torvalds
2019-05-01 19:03                                           ` Linus Torvalds
2019-05-01 19:13                                           ` peterz
2019-05-01 19:13                                             ` Peter Zijlstra
2019-05-01 19:13                                           ` rostedt
2019-05-01 19:13                                             ` Steven Rostedt
2019-05-01 19:33                                             ` jikos
2019-05-01 19:33                                               ` Jiri Kosina
2019-05-01 19:41                                               ` peterz
2019-05-01 19:41                                                 ` Peter Zijlstra
2019-04-30 21:53                                     ` [RFC][PATCH v2] " rostedt
2019-04-30 21:53                                       ` Steven Rostedt
2019-05-01  1:35                                       ` rostedt
2019-05-01  1:35                                         ` Steven Rostedt
2019-05-01  1:58                                         ` torvalds
2019-05-01  1:58                                           ` Linus Torvalds
2019-05-01  8:26                                       ` nstange
2019-05-01  8:26                                         ` Nicolai Stange
2019-05-01 13:22                                         ` rostedt
2019-05-01 13:22                                           ` Steven Rostedt
2019-04-29 20:16                   ` [PATCH 3/4] x86/ftrace: make ftrace_int3_handler() not to skip fops invocation torvalds
2019-04-29 20:16                     ` Linus Torvalds
2019-04-29 22:08                     ` sean.j.christopherson
2019-04-29 22:08                       ` Sean Christopherson
2019-04-29 22:22                       ` torvalds
2019-04-29 22:22                         ` Linus Torvalds
2019-04-30  0:08                         ` sean.j.christopherson
2019-04-30  0:08                           ` Sean Christopherson
2019-04-30  0:45                           ` sean.j.christopherson
2019-04-30  0:45                             ` Sean Christopherson
2019-04-30  2:26                             ` torvalds
2019-04-30  2:26                               ` Linus Torvalds
2019-04-30 10:40                               ` peterz
2019-04-30 10:40                                 ` Peter Zijlstra
2019-04-30 11:17                               ` jikos
2019-04-30 11:17                                 ` Jiri Kosina
2019-04-29 22:06                 ` torvalds
2019-04-29 22:06                   ` Linus Torvalds
2019-04-30 11:18                   ` peterz
2019-04-30 11:18                     ` Peter Zijlstra
2019-04-29 18:52         ` rostedt
2019-04-29 18:52           ` Steven Rostedt
     [not found]           ` <CAHk-=wjm93jLtVxTX4HZs6K4k1Wqh3ujjmapqaYtcibVk_YnzQ@mail.gmail.com>
2019-04-29 19:07             ` rostedt
2019-04-29 19:07               ` Steven Rostedt
2019-04-29 20:06               ` torvalds
2019-04-29 20:06                 ` Linus Torvalds
2019-04-29 20:20                 ` torvalds
2019-04-29 20:20                   ` Linus Torvalds
2019-04-29 20:30                 ` rostedt
2019-04-29 20:30                   ` Steven Rostedt
2019-04-29 21:38                   ` torvalds
2019-04-29 21:38                     ` Linus Torvalds
2019-04-29 22:07                     ` rostedt
2019-04-29 22:07                       ` Steven Rostedt
2019-04-30  9:24                       ` nstange
2019-04-30  9:24                         ` Nicolai Stange
2019-04-30 10:46           ` peterz
2019-04-30 10:46             ` Peter Zijlstra
2019-04-30 13:44             ` rostedt
2019-04-30 13:44               ` Steven Rostedt
2019-04-30 14:20               ` peterz
2019-04-30 14:20                 ` Peter Zijlstra
2019-04-30 14:36                 ` rostedt
2019-04-30 14:36                   ` Steven Rostedt
2019-04-27 10:06 ` [PATCH 4/4] selftests/livepatch: add "ftrace a live patched function" test nstange
2019-04-27 10:06   ` Nicolai Stange

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='CAHk-=wh5OpheSU8Em_Q3Hg8qw_JtoijxOdPtHru6d+5K8TWM=A@mail.gmail.com' \
    --to=linux-kselftest@vger.kernel.org \
    /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;
as well as URLs for NNTP newsgroup(s).