From: "Shi, Yang" <yang.shi@linaro.org>
To: ast@kernel.org, daniel@iogearbox.net, catalin.marinas@arm.com,
will.deacon@arm.com
Cc: zlim.lnx@gmail.com, xi.wang@gmail.com,
linux-kernel@vger.kernel.org, netdev@vger.kernel.org,
linaro-kernel@lists.linaro.org
Subject: Re: [PATCH] arm64: bpf: fix JIT stack setup
Date: Fri, 06 Nov 2015 21:55:30 -0800 [thread overview]
Message-ID: <563D9252.6040402@linaro.org> (raw)
In-Reply-To: <1446874494-14500-1-git-send-email-yang.shi@linaro.org>
Please ignore this one, forgot to cc to linux-arm-kernel list.
Sorry for the inconvenience.
Yang
On 11/6/2015 9:34 PM, Yang Shi wrote:
> ARM64 JIT used FP (x29) as eBPF fp register, but FP is subjected to
> change during function call so it may cause the BPF prog stack base address
> change too. Whenever, it pointed to the bottom of BPF prog stack instead of
> the top.
>
> So, when copying data via bpf_probe_read, it will be copied to (SP - offset),
> then it may overwrite the saved FP/LR.
>
> Use x25 to replace FP as BPF stack base register (fp). Since x25 is callee
> saved register, so it will keep intact during function call.
> It is initialized in BPF prog prologue when BPF prog is started to run
> everytime. When BPF prog exits, it could be just tossed.
>
> Other than this the BPf prog stack base need to be setup before function
> call stack.
>
> So, the BPF stack layout looks like:
>
> high
> original A64_SP => 0:+-----+ BPF prologue
> | | FP/LR and callee saved registers
> BPF fp register => +64:+-----+
> | |
> | ... | BPF prog stack
> | |
> | |
> current A64_SP => +-----+
> | |
> | ... | Function call stack
> | |
> +-----+
> low
>
> Signed-off-by: Yang Shi <yang.shi@linaro.org>
> CC: Zi Shen Lim <zlim.lnx@gmail.com>
> CC: Xi Wang <xi.wang@gmail.com>
> ---
> arch/arm64/net/bpf_jit_comp.c | 38 +++++++++++++++++++++++++++++++-------
> 1 file changed, 31 insertions(+), 7 deletions(-)
>
> diff --git a/arch/arm64/net/bpf_jit_comp.c b/arch/arm64/net/bpf_jit_comp.c
> index a44e529..6809647 100644
> --- a/arch/arm64/net/bpf_jit_comp.c
> +++ b/arch/arm64/net/bpf_jit_comp.c
> @@ -50,7 +50,7 @@ static const int bpf2a64[] = {
> [BPF_REG_8] = A64_R(21),
> [BPF_REG_9] = A64_R(22),
> /* read-only frame pointer to access stack */
> - [BPF_REG_FP] = A64_FP,
> + [BPF_REG_FP] = A64_R(25),
> /* temporary register for internal BPF JIT */
> [TMP_REG_1] = A64_R(23),
> [TMP_REG_2] = A64_R(24),
> @@ -155,18 +155,42 @@ static void build_prologue(struct jit_ctx *ctx)
> stack_size += 4; /* extra for skb_copy_bits buffer */
> stack_size = STACK_ALIGN(stack_size);
>
> + /*
> + * BPF prog stack layout
> + *
> + * high
> + * original A64_SP => 0:+-----+ BPF prologue
> + * | | FP/LR and callee saved registers
> + * BPF fp register => +64:+-----+
> + * | |
> + * | ... | BPF prog stack
> + * | |
> + * | |
> + * current A64_SP => +-----+
> + * | |
> + * | ... | Function call stack
> + * | |
> + * +-----+
> + * low
> + *
> + */
> +
> + /* Save FP and LR registers to stay align with ARM64 AAPCS */
> + emit(A64_PUSH(A64_FP, A64_LR, A64_SP), ctx);
> +
> /* Save callee-saved register */
> emit(A64_PUSH(r6, r7, A64_SP), ctx);
> emit(A64_PUSH(r8, r9, A64_SP), ctx);
> if (ctx->tmp_used)
> emit(A64_PUSH(tmp1, tmp2, A64_SP), ctx);
>
> - /* Set up BPF stack */
> - emit(A64_SUB_I(1, A64_SP, A64_SP, stack_size), ctx);
> -
> - /* Set up frame pointer */
> + /* Set up BPF prog stack base register (x25) */
> emit(A64_MOV(1, fp, A64_SP), ctx);
>
> + /* Set up function call stack */
> + emit(A64_SUB_I(1, A64_SP, A64_SP, stack_size), ctx);
> + emit(A64_MOV(1, A64_FP, A64_SP), ctx);
> +
> /* Clear registers A and X */
> emit_a64_mov_i64(ra, 0, ctx);
> emit_a64_mov_i64(rx, 0, ctx);
> @@ -196,8 +220,8 @@ static void build_epilogue(struct jit_ctx *ctx)
> emit(A64_POP(r8, r9, A64_SP), ctx);
> emit(A64_POP(r6, r7, A64_SP), ctx);
>
> - /* Restore frame pointer */
> - emit(A64_MOV(1, fp, A64_SP), ctx);
> + /* Restore FP/LR registers */
> + emit(A64_POP(A64_FP, A64_LR, A64_SP), ctx);
>
> /* Set return value */
> emit(A64_MOV(1, A64_R(0), r0), ctx);
>
next prev parent reply other threads:[~2015-11-07 5:55 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-07 5:34 [PATCH] arm64: bpf: fix JIT stack setup Yang Shi
2015-11-07 5:55 ` Shi, Yang [this message]
-- strict thread matches above, loose matches on Subject: below --
2015-11-07 5:36 Yang Shi
2015-11-07 5:36 ` Yang Shi
2015-11-08 2:27 ` Alexei Starovoitov
2015-11-08 2:27 ` Alexei Starovoitov
2015-11-08 22:29 ` Z Lim
2015-11-08 22:29 ` Z Lim
2015-11-09 18:08 ` Shi, Yang
2015-11-09 18:08 ` Shi, Yang
2015-11-09 20:00 ` Z Lim
2015-11-09 20:00 ` Z Lim
2015-11-10 19:46 ` Shi, Yang
2015-11-10 19:46 ` Shi, Yang
2015-11-11 3:11 ` Z Lim
2015-11-11 3:11 ` Z Lim
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=563D9252.6040402@linaro.org \
--to=yang.shi@linaro.org \
--cc=ast@kernel.org \
--cc=catalin.marinas@arm.com \
--cc=daniel@iogearbox.net \
--cc=linaro-kernel@lists.linaro.org \
--cc=linux-kernel@vger.kernel.org \
--cc=netdev@vger.kernel.org \
--cc=will.deacon@arm.com \
--cc=xi.wang@gmail.com \
--cc=zlim.lnx@gmail.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.