From: Rasmus Villemoes <linux@rasmusvillemoes.dk>
To: Alexey Dobriyan <adobriyan@gmail.com>
Cc: akpm@linux-foundation.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH 05/10] parse_integer: convert lib/
Date: Mon, 04 May 2015 16:10:30 +0200 [thread overview]
Message-ID: <87d22gigbt.fsf@rasmusvillemoes.dk> (raw)
In-Reply-To: <20150502005324.GE21655@p183.telecom.by> (Alexey Dobriyan's message of "Sat, 2 May 2015 03:53:24 +0300")
On Sat, May 02 2015, Alexey Dobriyan <adobriyan@gmail.com> wrote:
> match_number() needlessly allocates/duplicates memory,
> parsing can be done straight from original string.
I suppose that's true, but the patch doesn't seem to do anything about
it? It's probably better to do in a separate cleanup anyway, but then
maybe this belongs as a comment below ---.
> Signed-off-by: Alexey Dobriyan <adobriyan@gmail.com>
> ---
>
> lib/cmdline.c | 36 ++++++++++++++++++------------------
> lib/parser.c | 29 ++++++++++++-----------------
> lib/swiotlb.c | 2 +-
> 3 files changed, 31 insertions(+), 36 deletions(-)
>
> --- a/lib/cmdline.c
> +++ b/lib/cmdline.c
> @@ -27,7 +27,7 @@ static int get_range(char **str, int *pint)
> int x, inc_counter, upper_range;
>
> (*str)++;
> - upper_range = simple_strtol((*str), NULL, 0);
> + parse_integer(*str, 0, &upper_range);
> inc_counter = upper_range - *pint;
> for (x = *pint; x < upper_range; x++)
> *pint++ = x;
> @@ -51,13 +51,14 @@ static int get_range(char **str, int *pint)
>
> int get_option(char **str, int *pint)
> {
> - char *cur = *str;
> + int len;
>
> - if (!cur || !(*cur))
> + if (!str || !*str)
> return 0;
> - *pint = simple_strtol(cur, str, 0);
> - if (cur == *str)
> + len = parse_integer(*str, 0, pint);
> + if (len < 0)
> return 0;
> + *str += len;
> if (**str == ',') {
> (*str)++;
> return 2;
> @@ -126,38 +127,37 @@ EXPORT_SYMBOL(get_options);
>
> unsigned long long memparse(const char *ptr, char **retptr)
> {
> - char *endptr; /* local pointer to end of parsed string */
> + unsigned long long val;
>
> - unsigned long long ret = simple_strtoull(ptr, &endptr, 0);
> -
> - switch (*endptr) {
> + ptr += parse_integer(ptr, 0, &val);
This seems wrong. simple_strtoull used to "sanitize" the return value
from the (old) _parse_integer, so that endptr still points into the
given string. Unconditionally adding the result from parse_integer may
make ptr point far before the actual string, into who-knows-what.
> + switch (*ptr) {
> case 'E':
> case 'e':
> - ret <<= 10;
> + val <<= 10;
> case 'P':
> case 'p':
> - ret <<= 10;
> + val <<= 10;
> case 'T':
> case 't':
> - ret <<= 10;
> + val <<= 10;
> case 'G':
> case 'g':
> - ret <<= 10;
> + val <<= 10;
> case 'M':
> case 'm':
> - ret <<= 10;
> + val <<= 10;
> case 'K':
> case 'k':
> - ret <<= 10;
> - endptr++;
> + val <<= 10;
> + ptr++;
> default:
> break;
> }
>
> if (retptr)
> - *retptr = endptr;
> + *retptr = (char *)ptr;
And here we propagate that to the caller.
> - return ret;
> + return val;
> }
> EXPORT_SYMBOL(memparse);
>
> --- a/lib/parser.c
> +++ b/lib/parser.c
> @@ -44,7 +44,7 @@ static int match_one(char *s, const char *p, substring_t args[])
> p = meta + 1;
>
> if (isdigit(*p))
> - len = simple_strtoul(p, (char **) &p, 10);
> + p += parse_integer(p, 10, (unsigned int *)&len);
Hm, I think passing cast expressions to parse_integer should be actively
discouraged. While it might work in this case, some day somebody will
copy-paste this to a place where the len variable doesn't have
sizeof==4.
> else if (*p == '%') {
> if (*s++ != '%')
> return 0;
> @@ -68,19 +68,21 @@ static int match_one(char *s, const char *p, substring_t args[])
> break;
> }
> case 'd':
> - simple_strtol(s, &args[argc].to, 0);
> + /* anonymous variable */
> + len = parse_integer(s, 0, &(int []){0}[0]);
> goto num;
> case 'u':
> - simple_strtoul(s, &args[argc].to, 0);
> + len = parse_integer(s, 0, &(unsigned int []){0}[0]);
> goto num;
> case 'o':
> - simple_strtoul(s, &args[argc].to, 8);
> + len = parse_integer(s, 8, &(unsigned int []){0}[0]);
> goto num;
> case 'x':
> - simple_strtoul(s, &args[argc].to, 16);
> + len = parse_integer(s, 16, &(unsigned int []){0}[0]);
I see that the commit log says "don't be scared", and the first of these
even has a comment. But is there any reason to be that clever here? I
see a couple of downsides:
* gcc has to initialize some stack memory to 0, since it cannot know it
is only an output parameter.
* things like this usually consume an excessive amount of stack. I
haven't been able to try your patches, but a simplified version of the
above shows that gcc doesn't use the same stack slots for the various
anonymous variables.
* It's unreadable, despite the comment and the commit log.
I suggest using the more obvious approach of declaring a union on the
stack and pass the address of the appropriate member.
Rasmus
next prev parent reply other threads:[~2015-05-04 14:10 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-02 0:47 [PATCH 01/10] Add parse_integer() (replacement for simple_strto*()) Alexey Dobriyan
2015-05-02 0:48 ` [PATCH 02/10] parse_integer: rewrite kstrto*() Alexey Dobriyan
2015-05-02 0:50 ` [PATCH 03/10] parse_integer: convert sscanf() Alexey Dobriyan
2015-05-02 1:10 ` [PATCH CORRECT " Alexey Dobriyan
2015-05-02 0:51 ` [PATCH 04/10] sscanf: fix overflow Alexey Dobriyan
2015-05-05 9:51 ` Rasmus Villemoes
2015-05-05 11:10 ` Alexey Dobriyan
2015-05-06 7:49 ` Rasmus Villemoes
2015-05-02 0:53 ` [PATCH 05/10] parse_integer: convert lib/ Alexey Dobriyan
2015-05-04 14:10 ` Rasmus Villemoes [this message]
2015-05-04 14:57 ` Alexey Dobriyan
2015-05-02 0:55 ` [PATCH 06/10] parse_integer: convert mm/ Alexey Dobriyan
2015-05-04 14:33 ` Rasmus Villemoes
2015-05-04 15:09 ` Alexey Dobriyan
2015-05-02 0:56 ` [PATCH 07/10] parse_integer: convert misc fs/ code Alexey Dobriyan
2015-05-02 0:59 ` [PATCH 08/10] fs/cachefiles/: convert to parse_integer() Alexey Dobriyan
2015-05-02 1:01 ` [PATCH 09/10] ocfs2: convert to parse_integer()/kstrto*() Alexey Dobriyan
2015-05-02 1:03 ` [PATCH 10/10] ext2, ext3, ext4: " Alexey Dobriyan
2015-05-04 13:24 ` [PATCH 01/10] Add parse_integer() (replacement for simple_strto*()) Rasmus Villemoes
2015-05-04 14:32 ` Alexey Dobriyan
2015-05-04 16:44 ` Rasmus Villemoes
2015-05-04 19:54 ` Alexey Dobriyan
2015-05-04 21:48 ` Rasmus Villemoes
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=87d22gigbt.fsf@rasmusvillemoes.dk \
--to=linux@rasmusvillemoes.dk \
--cc=adobriyan@gmail.com \
--cc=akpm@linux-foundation.org \
--cc=linux-kernel@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).