mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: Karim Eshapa <karim.eshapa@gmail.com>
To: ast@kernel.org
Cc: daniel@iogearbox.net, ecree@solarflare.com, davem@davemloft.net,
	linux-kernel@vger.kernel.org, netdev@vger.kernel.org,
	Karim Eshapa <karim.eshapa@gmail.com>
Subject: [PATCH] kernel:bpf Remove structure passing and assignment to save stack and no coping structures
Date: Sun, 14 Jan 2018 13:18:35 +0200	[thread overview]
Message-ID: <1515928715-3936-1-git-send-email-karim.eshapa@gmail.com> (raw)

>> Use pointers to structure as arguments to function instead of coping
>> structures and less stack size. Also transfer TNUM(_v, _m) to
>> tnum.h file to be used in differnet files for creating anonymous structures
>> statically.
>>
>> Signed-off-by: Karim Eshapa <karim.eshapa@gmail.com>
...
>> +/* Statically tnum constant */
>> +#define TNUM(_v, _m) (struct tnum){.value = _v, .mask = _m}
>>  /* Represent a known constant as a tnum. */
>>  struct tnum tnum_const(u64 value);
>>  /* A completely unknown value */
>> @@ -26,7 +28,7 @@ struct tnum tnum_lshift(struct tnum a, u8 shift);
>>  /* Shift a tnum right (by a fixed shift) */
>>  struct tnum tnum_rshift(struct tnum a, u8 shift);
>>  /* Add two tnums, return @a + @b */
>> -struct tnum tnum_add(struct tnum a, struct tnum b);
>> +void tnum_add(struct tnum *res, struct tnum *a, struct tnum *b);
...
>> -     reg_off = tnum_add(reg->var_off, tnum_const(ip_align + reg->off + off));
>> +     tnum_add(&reg_off, &reg->var_off, &TNUM(ip_align + reg->off + off, 0));
>>       if (!tnum_is_aligned(reg_off, size)) {
>>               char tn_buf[48];
>>
>> @@ -1023,8 +1023,7 @@ static int check_generic_ptr_alignment(struct bpf_verifier_env *env,
>>       /* Byte size accesses are always allowed. */
>>       if (!strict || size == 1)
>>               return 0;
>> -
>> -     reg_off = tnum_add(reg->var_off, tnum_const(reg->off + off));
>> +     tnum_add(&reg_off, &reg->var_off, &TNUM(reg->off + off, 0));
...
>> -             dst_reg->var_off = tnum_add(ptr_reg->var_off, off_reg->var_off);
>> +             tnum_add(&dst_reg->var_off, &ptr_reg->var_off,
>> +                     &off_reg->var_off);

>Is it gnu or intel style of argumnets ? where is src or dest ?
>Can the same pointer be used as src and as dst ? etc, etc
>I don't think it saves stack either.
>I'd rather leave things as-is.

It's not specific style but it's recommended when passing structure specially if
the structures have large sizes.
and (dest, src0, src1) respectively.Although tnum structure isn't large but it saves
stack,we have 2 structure passed before calling and 1 returned to receive the return value.

>I think that looks much worse and error prone.

I don't actually see errors unless inentionally passing wrong parameters.

Thanks,
Karim 

             reply	other threads:[~2018-01-14 11:19 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-01-14 11:18 Karim Eshapa [this message]
2018-01-14 17:31 ` Alexei Starovoitov
     [not found] <20180114173102.smi6jiwqz66wf7av@ast-mbpfile>
2018-01-17 21:32 ` Karim Eshapa
  -- strict thread matches above, loose matches on Subject: below --
2018-01-13 22:03 Karim Eshapa
2018-01-14  0:43 ` Alexei Starovoitov
2018-01-16 13:55 ` Edward Cree

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=1515928715-3936-1-git-send-email-karim.eshapa@gmail.com \
    --to=karim.eshapa@gmail.com \
    --cc=ast@kernel.org \
    --cc=daniel@iogearbox.net \
    --cc=davem@davemloft.net \
    --cc=ecree@solarflare.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=netdev@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

all inboxes | Powered by JetHome®