From patchwork Thu Oct 15 11:56:55 2015 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Wang Nan X-Patchwork-Id: 54996 Return-Path: X-Original-To: linaro@patches.linaro.org Delivered-To: linaro@patches.linaro.org Received: from mail-wi0-f200.google.com (mail-wi0-f200.google.com [209.85.212.200]) by patches.linaro.org (Postfix) with ESMTPS id 9E71C22FFA for ; Thu, 15 Oct 2015 12:01:22 +0000 (UTC) Received: by wibzt1 with SMTP id zt1sf9210809wib.0 for ; Thu, 15 Oct 2015 05:01:22 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:delivered-to:message-id:date:from:user-agent :mime-version:to:cc:subject:references:in-reply-to:content-type :content-transfer-encoding:sender:precedence:list-id :x-original-sender:x-original-authentication-results:mailing-list :list-post:list-help:list-archive:list-unsubscribe; bh=yP7f5vmcrMGZmQjHVyWhws64QPEGsHwc4kGUKZyy4vc=; b=ASKb3ZnWizQSuYctpsM/EqvqRv7PgqT76y8GAQQzJf8zjd4XG4Gc2c0T2wNfxoQALZ TsOy1r+O6bN3V7jhn8vzRBSet2LDByXTLqpEUOV5GaJQr1LXM7Xu7IhXGcscohyOs9e+ uDKTutYmeEH4PEZ3ZMgC4SkoNf3TmQMzVrDdhB1EH4SQNFIPzpTMCQal9i8G8mBS/G7X 7/xspXs5CobwFDfaKtPmZ2bqHoG7NhPiqO+jWOHxFwBem3asRCVxn5inZH6posKNkTWz fea2pfjxdMhmIEOOWmi2bI1BHfK+REDLoEty+yxKG1awP+9iwGTSe3RhItSlVe5B/Fbf GVdQ== X-Gm-Message-State: ALoCoQlfumpsJQlL0upcOWjZ5HKfq3nliiuGl7TPXqiln1k3QNlDi0XepDumhvl0MoUO75FDd4J3 X-Received: by 10.194.156.193 with SMTP id wg1mr2051823wjb.3.1444910481820; Thu, 15 Oct 2015 05:01:21 -0700 (PDT) X-BeenThere: patchwork-forward@linaro.org Received: by 10.25.44.12 with SMTP id s12ls166174lfs.90.gmail; Thu, 15 Oct 2015 05:01:21 -0700 (PDT) X-Received: by 10.112.151.106 with SMTP id up10mr4359025lbb.106.1444910481623; Thu, 15 Oct 2015 05:01:21 -0700 (PDT) Received: from mail-lb0-f181.google.com (mail-lb0-f181.google.com. [209.85.217.181]) by mx.google.com with ESMTPS id dw9si8896845lbc.71.2015.10.15.05.01.21 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 15 Oct 2015 05:01:21 -0700 (PDT) Received-SPF: pass (google.com: domain of patch+caf_=patchwork-forward=linaro.org@linaro.org designates 209.85.217.181 as permitted sender) client-ip=209.85.217.181; Received: by lbbwb3 with SMTP id wb3so4980767lbb.1 for ; Thu, 15 Oct 2015 05:01:21 -0700 (PDT) X-Received: by 10.112.146.104 with SMTP id tb8mr4351792lbb.35.1444910481437; Thu, 15 Oct 2015 05:01:21 -0700 (PDT) X-Forwarded-To: patchwork-forward@linaro.org X-Forwarded-For: patch@linaro.org patchwork-forward@linaro.org Delivered-To: patch@linaro.org Received: by 10.112.59.35 with SMTP id w3csp585650lbq; Thu, 15 Oct 2015 05:01:18 -0700 (PDT) X-Received: by 10.107.164.224 with SMTP id d93mr6738634ioj.25.1444910478200; Thu, 15 Oct 2015 05:01:18 -0700 (PDT) Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id m5si11229055igr.59.2015.10.15.05.01.17; Thu, 15 Oct 2015 05:01:18 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753005AbbJOMBP (ORCPT + 30 others); Thu, 15 Oct 2015 08:01:15 -0400 Received: from szxga01-in.huawei.com ([58.251.152.64]:36885 "EHLO szxga01-in.huawei.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752483AbbJOMBO (ORCPT ); Thu, 15 Oct 2015 08:01:14 -0400 Received: from 172.24.1.51 (EHLO szxeml425-hub.china.huawei.com) ([172.24.1.51]) by szxrg01-dlp.huawei.com (MOS 4.3.7-GA FastPath queued) with ESMTP id CWV17397; Thu, 15 Oct 2015 19:57:23 +0800 (CST) Received: from [127.0.0.1] (10.111.66.109) by szxeml425-hub.china.huawei.com (10.82.67.180) with Microsoft SMTP Server id 14.3.235.1; Thu, 15 Oct 2015 19:57:07 +0800 Message-ID: <561F9487.6030803@huawei.com> Date: Thu, 15 Oct 2015 19:56:55 +0800 From: "Wangnan (F)" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 MIME-Version: 1.0 To: Namhyung Kim CC: , , , , , , , , , , , , , , Arnaldo Carvalho de Melo Subject: Re: [PATCH 16/31] perf tools: Add prologue for BPF programs for fetching arguments References: <1444826502-49291-1-git-send-email-wangnan0@huawei.com> <1444826502-49291-17-git-send-email-wangnan0@huawei.com> <20151015052623.GA26747@sejong> In-Reply-To: <20151015052623.GA26747@sejong> X-Originating-IP: [10.111.66.109] X-CFilter-Loop: Reflected Sender: linux-kernel-owner@vger.kernel.org Precedence: list List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Removed-Original-Auth: Dkim didn't pass. X-Original-Sender: wangnan0@huawei.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of patch+caf_=patchwork-forward=linaro.org@linaro.org designates 209.85.217.181 as permitted sender) smtp.mailfrom=patch+caf_=patchwork-forward=linaro.org@linaro.org Mailing-list: list patchwork-forward@linaro.org; contact patchwork-forward+owners@linaro.org X-Google-Group-Id: 836684582541 List-Post: , List-Help: , List-Archive: List-Unsubscribe: , On 2015/10/15 13:26, Namhyung Kim wrote: > On Wed, Oct 14, 2015 at 12:41:27PM +0000, Wang Nan wrote: >> From: He Kuang >> >> This patch generates prologue for a BPF program which fetch arguments >> for it. With this patch, the program can have arguments as follow: >> >> SEC("lock_page=__lock_page page->flags") >> int lock_page(struct pt_regs *ctx, int err, unsigned long flags) >> { >> return 1; >> } >> >> This patch passes at most 3 arguments from r3, r4 and r5. r1 is still >> the ctx pointer. r2 is used to indicate the successfulness of >> dereferencing. >> >> This patch uses r6 to hold ctx (struct pt_regs) and r7 to hold stack >> pointer for result. Result of each arguments first store on stack: >> >> low address >> BPF_REG_FP - 24 ARG3 >> BPF_REG_FP - 16 ARG2 >> BPF_REG_FP - 8 ARG1 >> BPF_REG_FP >> high address >> >> Then loaded into r3, r4 and r5. >> >> The output prologue for offn(...off2(off1(reg)))) should be: >> >> r6 <- r1 // save ctx into a callee saved register >> r7 <- fp >> r7 <- r7 - stack_offset // pointer to result slot >> /* load r3 with the offset in pt_regs of 'reg' */ >> (r7) <- r3 // make slot valid >> r3 <- r3 + off1 // prepare to read unsafe pointer >> r2 <- 8 >> r1 <- r7 // result put onto stack >> call probe_read // read unsafe pointer >> jnei r0, 0, err // error checking >> r3 <- (r7) // read result >> r3 <- r3 + off2 // prepare to read unsafe pointer >> r2 <- 8 >> r1 <- r7 >> call probe_read >> jnei r0, 0, err >> ... >> /* load r2, r3, r4 from stack */ >> goto success >> err: >> r2 <- 1 >> /* load r3, r4, r5 with 0 */ >> goto usercode >> success: >> r2 <- 0 >> usercode: >> r1 <- r6 // restore ctx >> // original user code >> >> If all of arguments reside in register (dereferencing is not >> required), gen_prologue_fastpath() will be used to create >> fast prologue: >> >> r3 <- (r1 + offset of reg1) >> r4 <- (r1 + offset of reg2) >> r5 <- (r1 + offset of reg3) >> r2 <- 0 >> >> P.S. >> >> eBPF calling convention is defined as: >> >> * r0 - return value from in-kernel function, and exit value >> for eBPF program >> * r1 - r5 - arguments from eBPF program to in-kernel function >> * r6 - r9 - callee saved registers that in-kernel function will >> preserve >> * r10 - read-only frame pointer to access stack >> >> Signed-off-by: He Kuang >> Signed-off-by: Wang Nan >> Cc: Alexei Starovoitov >> Cc: Brendan Gregg >> Cc: Daniel Borkmann >> Cc: David Ahern >> Cc: He Kuang >> Cc: Jiri Olsa >> Cc: Kaixu Xia >> Cc: Masami Hiramatsu >> Cc: Namhyung Kim >> Cc: Paul Mackerras >> Cc: Peter Zijlstra >> Cc: Zefan Li >> Cc: pi3orama@163.com >> Cc: Arnaldo Carvalho de Melo >> Link: http://lkml.kernel.org/n/ebpf-6yw9eg0ej3l4jnqhinngkw86@git.kernel.org >> --- > [SNIP] >> +int bpf__gen_prologue(struct probe_trace_arg *args, int nargs, >> + struct bpf_insn *new_prog, size_t *new_cnt, >> + size_t cnt_space) >> +{ >> + struct bpf_insn *success_code = NULL; >> + struct bpf_insn *error_code = NULL; >> + struct bpf_insn *user_code = NULL; >> + struct bpf_insn_pos pos; >> + bool fastpath = true; >> + int i; >> + >> + if (!new_prog || !new_cnt) >> + return -EINVAL; >> + >> + pos.begin = new_prog; >> + pos.end = new_prog + cnt_space; >> + pos.pos = new_prog; >> + >> + if (!nargs) { >> + ins(BPF_ALU64_IMM(BPF_MOV, BPF_PROLOGUE_FETCH_RESULT_REG, 0), >> + &pos); >> + >> + if (check_pos(&pos)) >> + goto errout; >> + >> + *new_cnt = pos_get_cnt(&pos); >> + return 0; >> + } >> + >> + if (nargs > BPF_PROLOGUE_MAX_ARGS) >> + nargs = BPF_PROLOGUE_MAX_ARGS; > Wouldn't it be better to inform user if it ignored some arguments? Correct. I'd like to add a notification in next version: Thank you. > Thanks, > Namhyung --- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/ diff --git a/tools/perf/util/bpf-prologue.c b/tools/perf/util/bpf-prologue.c index e4adb18..36093d9 100644 --- a/tools/perf/util/bpf-prologue.c +++ b/tools/perf/util/bpf-prologue.c @@ -337,8 +337,10 @@ int bpf__gen_prologue(struct probe_trace_arg *args, int nargs, return 0; } - if (nargs > BPF_PROLOGUE_MAX_ARGS) + if (nargs > BPF_PROLOGUE_MAX_ARGS) { + pr_warning("bpf: prologue: too many arguments\n"); nargs = BPF_PROLOGUE_MAX_ARGS; + } if (cnt_space > BPF_MAXINSNS) cnt_space = BPF_MAXINSNS;