* [PATCH 1/3] untracked-cache: be defensive about missing NULs in index
2019-04-18 21:14 ` [PATCH 0/3] untracked cache parsing fixups Jeff King
@ 2019-04-18 21:17 ` Jeff King
2019-04-19 5:29 ` Junio C Hamano
2019-04-18 21:17 ` [PATCH 2/3] untracked-cache: simplify parsing by dropping "next" Jeff King
` (2 subsequent siblings)
3 siblings, 1 reply; 13+ messages in thread
From: Jeff King @ 2019-04-18 21:17 UTC (permalink / raw)
To: Junio C Hamano
Cc: Johannes Schindelin via GitGitGadget, git, Johannes Schindelin,
Nguyễn Thái Ngọc Duy
The on-disk format for the untracked-cache extension contains
NUL-terminated filenames. We parse these from the mmap'd file using
string functions like strlen(). This works fine in the normal case, but
if we see a malformed or corrupted index, we might read off the end of
our mmap.
Instead, let's use memchr() to find the trailing NUL within the bytes we
know are available, and return an error if it's missing.
Note that we can further simplify by folding another range check into
our conditional. After we find the end of the string, we set "next" to
the byte after the string and treat it as an error if there are no such
bytes left. That saves us from having to do a range check at the
beginning of each subsequent string (and works because there is always
data after each string). We can do both range checks together by
checking "!eos" (we didn't find a NUL) and "eos == end" (it was on the
last available byte, meaning there's nothing after). This replaces the
existing "next > end" checks.
Note also that the decode_varint() calls have a similar problem (we
don't even pass them "end"; they just keep parsing). These are probably
OK in practice since varints have a finite length (we stop parsing when
we'd overflow a uintmax_t), so the worst case is that we'd overflow into
reading the trailing bytes of the index.
Signed-off-by: Jeff King <peff@peff.net>
---
dir.c | 18 +++++++++++-------
1 file changed, 11 insertions(+), 7 deletions(-)
diff --git a/dir.c b/dir.c
index f5293a6536..7b0513c476 100644
--- a/dir.c
+++ b/dir.c
@@ -2733,6 +2733,7 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
{
struct untracked_cache_dir ud, *untracked;
const unsigned char *next, *data = rd->data, *end = rd->end;
+ const unsigned char *eos;
unsigned int value;
int i, len;
@@ -2756,21 +2757,24 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
ALLOC_ARRAY(ud.dirs, ud.dirs_nr);
data = next;
- len = strlen((const char *)data);
- next = data + len + 1;
- if (next > rd->end)
+ eos = memchr(data, '\0', end - data);
+ if (!eos || eos == end)
return -1;
+ len = eos - data;
+ next = eos + 1;
+
*untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), len, 1));
memcpy(untracked, &ud, sizeof(ud));
memcpy(untracked->name, data, len + 1);
data = next;
for (i = 0; i < untracked->untracked_nr; i++) {
- len = strlen((const char *)data);
- next = data + len + 1;
- if (next > rd->end)
+ eos = memchr(data, '\0', end - data);
+ if (!eos || eos == end)
return -1;
- untracked->untracked[i] = xstrdup((const char*)data);
+ len = eos - data;
+ next = eos + 1;
+ untracked->untracked[i] = xmemdupz(data, len);
data = next;
}
--
2.21.0.1092.g8b0302e9c4
^ permalink raw reply related [flat|nested] 13+ messages in thread
* Re: [PATCH 1/3] untracked-cache: be defensive about missing NULs in index
2019-04-18 21:17 ` [PATCH 1/3] untracked-cache: be defensive about missing NULs in index Jeff King
@ 2019-04-19 5:29 ` Junio C Hamano
0 siblings, 0 replies; 13+ messages in thread
From: Junio C Hamano @ 2019-04-19 5:29 UTC (permalink / raw)
To: Jeff King
Cc: Johannes Schindelin via GitGitGadget, git, Johannes Schindelin,
Nguyễn Thái Ngọc Duy
Jeff King <peff@peff.net> writes:
> - len = strlen((const char *)data);
> - next = data + len + 1;
> - if (next > rd->end)
> + eos = memchr(data, '\0', end - data);
> + if (!eos || eos == end)
> return -1;
> + len = eos - data;
> + next = eos + 1;
Yup, much nicer.
> - len = strlen((const char *)data);
> - next = data + len + 1;
> - if (next > rd->end)
> + eos = memchr(data, '\0', end - data);
> + if (!eos || eos == end)
> return -1;
> - untracked->untracked[i] = xstrdup((const char*)data);
> + len = eos - data;
> + next = eos + 1;
> + untracked->untracked[i] = xmemdupz(data, len);
Same here, too.
Thanks.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [PATCH 2/3] untracked-cache: simplify parsing by dropping "next"
2019-04-18 21:14 ` [PATCH 0/3] untracked cache parsing fixups Jeff King
2019-04-18 21:17 ` [PATCH 1/3] untracked-cache: be defensive about missing NULs in index Jeff King
@ 2019-04-18 21:17 ` Jeff King
2019-04-19 5:33 ` Junio C Hamano
2019-04-18 21:18 ` [PATCH 3/3] untracked-cache: simplify parsing by dropping "len" Jeff King
2019-04-18 21:24 ` [PATCH 4/3] untracked-cache: use FLEX_ALLOC to create internal structs Jeff King
3 siblings, 1 reply; 13+ messages in thread
From: Jeff King @ 2019-04-18 21:17 UTC (permalink / raw)
To: Junio C Hamano
Cc: Johannes Schindelin via GitGitGadget, git, Johannes Schindelin,
Nguyễn Thái Ngọc Duy
When we parse an on-disk untracked cache, we have two pointers, "data"
and "next". As we parse, we point "next" to the end of an element, and
then later update "data" to match.
But we actually don't need two pointers. Each parsing step can just
update "data" directly from other variables we hold (and we don't have
to worry about bailing in an intermediate state, since any parsing
failure causes us to immediately discard "data" and return).
Signed-off-by: Jeff King <peff@peff.net>
---
dir.c | 20 +++++++-------------
1 file changed, 7 insertions(+), 13 deletions(-)
diff --git a/dir.c b/dir.c
index 7b0513c476..17865f44df 100644
--- a/dir.c
+++ b/dir.c
@@ -2732,50 +2732,44 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
struct read_data *rd)
{
struct untracked_cache_dir ud, *untracked;
- const unsigned char *next, *data = rd->data, *end = rd->end;
+ const unsigned char *data = rd->data, *end = rd->end;
const unsigned char *eos;
unsigned int value;
int i, len;
memset(&ud, 0, sizeof(ud));
- next = data;
- value = decode_varint(&next);
- if (next > end)
+ value = decode_varint(&data);
+ if (data > end)
return -1;
ud.recurse = 1;
ud.untracked_alloc = value;
ud.untracked_nr = value;
if (ud.untracked_nr)
ALLOC_ARRAY(ud.untracked, ud.untracked_nr);
- data = next;
- next = data;
- ud.dirs_alloc = ud.dirs_nr = decode_varint(&next);
- if (next > end)
+ ud.dirs_alloc = ud.dirs_nr = decode_varint(&data);
+ if (data > end)
return -1;
ALLOC_ARRAY(ud.dirs, ud.dirs_nr);
- data = next;
eos = memchr(data, '\0', end - data);
if (!eos || eos == end)
return -1;
len = eos - data;
- next = eos + 1;
*untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), len, 1));
memcpy(untracked, &ud, sizeof(ud));
memcpy(untracked->name, data, len + 1);
- data = next;
+ data = eos + 1;
for (i = 0; i < untracked->untracked_nr; i++) {
eos = memchr(data, '\0', end - data);
if (!eos || eos == end)
return -1;
len = eos - data;
- next = eos + 1;
untracked->untracked[i] = xmemdupz(data, len);
- data = next;
+ data = eos + 1;
}
rd->ucd[rd->index++] = untracked;
--
2.21.0.1092.g8b0302e9c4
^ permalink raw reply related [flat|nested] 13+ messages in thread
* Re: [PATCH 2/3] untracked-cache: simplify parsing by dropping "next"
2019-04-18 21:17 ` [PATCH 2/3] untracked-cache: simplify parsing by dropping "next" Jeff King
@ 2019-04-19 5:33 ` Junio C Hamano
0 siblings, 0 replies; 13+ messages in thread
From: Junio C Hamano @ 2019-04-19 5:33 UTC (permalink / raw)
To: Jeff King
Cc: Johannes Schindelin via GitGitGadget, git, Johannes Schindelin,
Nguyễn Thái Ngọc Duy
Jeff King <peff@peff.net> writes:
> When we parse an on-disk untracked cache, we have two pointers, "data"
> and "next". As we parse, we point "next" to the end of an element, and
> then later update "data" to match.
>
> But we actually don't need two pointers. Each parsing step can just
> update "data" directly from other variables we hold (and we don't have
> to worry about bailing in an intermediate state, since any parsing
> failure causes us to immediately discard "data" and return).
;-)
My first reaction was "you can do so now you have introduced
eos--why didn't you do that in the previous step?", but losing
'next' from the varint parsing step would certainly have been
possible even before that change. So I agree that it makes much
more sense to do this step separately from the previous one.
The code after the patch certainly reads easier and simpler.
Thanks.
> Signed-off-by: Jeff King <peff@peff.net>
> ---
> dir.c | 20 +++++++-------------
> 1 file changed, 7 insertions(+), 13 deletions(-)
>
> diff --git a/dir.c b/dir.c
> index 7b0513c476..17865f44df 100644
> --- a/dir.c
> +++ b/dir.c
> @@ -2732,50 +2732,44 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
> struct read_data *rd)
> {
> struct untracked_cache_dir ud, *untracked;
> - const unsigned char *next, *data = rd->data, *end = rd->end;
> + const unsigned char *data = rd->data, *end = rd->end;
> const unsigned char *eos;
> unsigned int value;
> int i, len;
>
> memset(&ud, 0, sizeof(ud));
>
> - next = data;
> - value = decode_varint(&next);
> - if (next > end)
> + value = decode_varint(&data);
> + if (data > end)
> return -1;
> ud.recurse = 1;
> ud.untracked_alloc = value;
> ud.untracked_nr = value;
> if (ud.untracked_nr)
> ALLOC_ARRAY(ud.untracked, ud.untracked_nr);
> - data = next;
>
> - next = data;
> - ud.dirs_alloc = ud.dirs_nr = decode_varint(&next);
> - if (next > end)
> + ud.dirs_alloc = ud.dirs_nr = decode_varint(&data);
> + if (data > end)
> return -1;
> ALLOC_ARRAY(ud.dirs, ud.dirs_nr);
> - data = next;
>
> eos = memchr(data, '\0', end - data);
> if (!eos || eos == end)
> return -1;
> len = eos - data;
> - next = eos + 1;
>
> *untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), len, 1));
> memcpy(untracked, &ud, sizeof(ud));
> memcpy(untracked->name, data, len + 1);
> - data = next;
> + data = eos + 1;
>
> for (i = 0; i < untracked->untracked_nr; i++) {
> eos = memchr(data, '\0', end - data);
> if (!eos || eos == end)
> return -1;
> len = eos - data;
> - next = eos + 1;
> untracked->untracked[i] = xmemdupz(data, len);
> - data = next;
> + data = eos + 1;
> }
>
> rd->ucd[rd->index++] = untracked;
^ permalink raw reply [flat|nested] 13+ messages in thread
* [PATCH 3/3] untracked-cache: simplify parsing by dropping "len"
2019-04-18 21:14 ` [PATCH 0/3] untracked cache parsing fixups Jeff King
2019-04-18 21:17 ` [PATCH 1/3] untracked-cache: be defensive about missing NULs in index Jeff King
2019-04-18 21:17 ` [PATCH 2/3] untracked-cache: simplify parsing by dropping "next" Jeff King
@ 2019-04-18 21:18 ` Jeff King
2019-04-18 21:24 ` [PATCH 4/3] untracked-cache: use FLEX_ALLOC to create internal structs Jeff King
3 siblings, 0 replies; 13+ messages in thread
From: Jeff King @ 2019-04-18 21:18 UTC (permalink / raw)
To: Junio C Hamano
Cc: Johannes Schindelin via GitGitGadget, git, Johannes Schindelin,
Nguyễn Thái Ngọc Duy
The code which parses untracked-cache extensions from disk keeps a "len"
variable, which is the size of the string we are parsing. But since we
now have an "end of string" variable, we can just use that to get the
length when we need it. This eliminates the need to keep "len" up to
date (and removes the possibility of any errors where "len" and "eos"
get out of sync).
As a bonus, it means we are not storing a string length in an "int",
which is a potential source of overflows (though in this case it seems
fairly unlikely for that to cause any memory problems).
Signed-off-by: Jeff King <peff@peff.net>
---
dir.c | 13 +++++--------
1 file changed, 5 insertions(+), 8 deletions(-)
diff --git a/dir.c b/dir.c
index 17865f44df..60438b2cdc 100644
--- a/dir.c
+++ b/dir.c
@@ -2735,7 +2735,7 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
const unsigned char *data = rd->data, *end = rd->end;
const unsigned char *eos;
unsigned int value;
- int i, len;
+ int i;
memset(&ud, 0, sizeof(ud));
@@ -2756,28 +2756,25 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
eos = memchr(data, '\0', end - data);
if (!eos || eos == end)
return -1;
- len = eos - data;
- *untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), len, 1));
+ *untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), eos - data, 1));
memcpy(untracked, &ud, sizeof(ud));
- memcpy(untracked->name, data, len + 1);
+ memcpy(untracked->name, data, eos - data + 1);
data = eos + 1;
for (i = 0; i < untracked->untracked_nr; i++) {
eos = memchr(data, '\0', end - data);
if (!eos || eos == end)
return -1;
- len = eos - data;
- untracked->untracked[i] = xmemdupz(data, len);
+ untracked->untracked[i] = xmemdupz(data, eos - data);
data = eos + 1;
}
rd->ucd[rd->index++] = untracked;
rd->data = data;
for (i = 0; i < untracked->dirs_nr; i++) {
- len = read_one_dir(untracked->dirs + i, rd);
- if (len < 0)
+ if (read_one_dir(untracked->dirs + i, rd) < 0)
return -1;
}
return 0;
--
2.21.0.1092.g8b0302e9c4
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [PATCH 4/3] untracked-cache: use FLEX_ALLOC to create internal structs
2019-04-18 21:14 ` [PATCH 0/3] untracked cache parsing fixups Jeff King
` (2 preceding siblings ...)
2019-04-18 21:18 ` [PATCH 3/3] untracked-cache: simplify parsing by dropping "len" Jeff King
@ 2019-04-18 21:24 ` Jeff King
2019-04-19 9:18 ` Duy Nguyen
3 siblings, 1 reply; 13+ messages in thread
From: Jeff King @ 2019-04-18 21:24 UTC (permalink / raw)
To: Junio C Hamano
Cc: Johannes Schindelin via GitGitGadget, git, Johannes Schindelin,
Nguyễn Thái Ngọc Duy
On Thu, Apr 18, 2019 at 05:14:08PM -0400, Jeff King wrote:
> Just so we don't forget about it, I wrote this fix up as a patch. And in
> fact it led to a few other cleanups. I think the first one is definitely
> worth doing now, even if there are other similar cases lurking in the
> rest of the index code.
>
> The other two are optional, though I think they are worth it (and not
> too hard to verify that they are doing the right thing).
>
> These are on top of js/untracked-cache-allocfix (though they could
> easily be ported to a separate topic if we want).
>
> [1/3]: untracked-cache: be defensive about missing NULs in index
> [2/3]: untracked-cache: simplify parsing by dropping "next"
> [3/3]: untracked-cache: simplify parsing by dropping "len"
I also wondered if we could just accept the cost of calloc() here and
use FLEX_ALLOC to simplify things. That resulted in the patch below, but
I didn't include it with the initial 3, because I think it's too
subtle/gross for my tastes.
-- >8 --
Subject: untracked-cache: use FLEX_ALLOC to create internal structs
The untracked_cache_dir struct has a FLEX_ARRAY in it. Let's use
FLEX_ALLOC_MEM to allocate it, which saves us having to compute the
length ourselves.
In theory this could be slightly slower, since the FLEX_ALLOC macros use
calloc (and we just memcpy over most of the contents anyway). But in
practice this distinction is not generally measurable.
Note that because we then fill in the pre-flex elements of the struct
using a memcpy, we need to take care to use the exact size of that
space and _not_ "sizeof(ud)", since the latter may include padding (or
even an extra byte on systems where FLEX_ARRAY is 1).
Signed-off-by: Jeff King <peff@peff.net>
---
If we wanted to go this route, I think it would make sense to provide a
FLEX_ALLOC macro that takes a "template" set of bytes as a ptr/len pair,
and writes it before we fill in the flex portion.
Then we could do something like:
FLEX_ALLOC_COPY(untracked, &ud, sizeof(ud), name, data, eos - data);
If this is the only such case, it's probably not worth it (I didn't
really look around for more, though).
dir.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dir.c b/dir.c
index 60438b2cdc..7cd4eec198 100644
--- a/dir.c
+++ b/dir.c
@@ -2757,9 +2757,9 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
if (!eos || eos == end)
return -1;
- *untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), eos - data, 1));
- memcpy(untracked, &ud, sizeof(ud));
- memcpy(untracked->name, data, eos - data + 1);
+ FLEX_ALLOC_MEM(untracked, name, data, eos - data);
+ memcpy(untracked, &ud, offsetof(struct untracked_cache_dir, name));
+ *untracked_ = untracked;
data = eos + 1;
for (i = 0; i < untracked->untracked_nr; i++) {
--
2.21.0.1092.g8b0302e9c4
^ permalink raw reply related [flat|nested] 13+ messages in thread
* Re: [PATCH 4/3] untracked-cache: use FLEX_ALLOC to create internal structs
2019-04-18 21:24 ` [PATCH 4/3] untracked-cache: use FLEX_ALLOC to create internal structs Jeff King
@ 2019-04-19 9:18 ` Duy Nguyen
2019-04-19 19:43 ` Jeff King
0 siblings, 1 reply; 13+ messages in thread
From: Duy Nguyen @ 2019-04-19 9:18 UTC (permalink / raw)
To: Jeff King
Cc: Junio C Hamano, Johannes Schindelin via GitGitGadget,
Git Mailing List, Johannes Schindelin
On Fri, Apr 19, 2019 at 4:24 AM Jeff King <peff@peff.net> wrote:
>
> On Thu, Apr 18, 2019 at 05:14:08PM -0400, Jeff King wrote:
>
> > Just so we don't forget about it, I wrote this fix up as a patch. And in
> > fact it led to a few other cleanups. I think the first one is definitely
> > worth doing now, even if there are other similar cases lurking in the
> > rest of the index code.
> >
> > The other two are optional, though I think they are worth it (and not
> > too hard to verify that they are doing the right thing).
> >
> > These are on top of js/untracked-cache-allocfix (though they could
> > easily be ported to a separate topic if we want).
> >
> > [1/3]: untracked-cache: be defensive about missing NULs in index
> > [2/3]: untracked-cache: simplify parsing by dropping "next"
> > [3/3]: untracked-cache: simplify parsing by dropping "len"
>
> I also wondered if we could just accept the cost of calloc() here and
> use FLEX_ALLOC to simplify things. That resulted in the patch below, but
> I didn't include it with the initial 3, because I think it's too
> subtle/gross for my tastes.
It's probably ok. If I remember correctly, reading UNTR extension (on
a huge repo) took the longest time after Ben added support for reading
the index with multiple threads. So performance is a concern, but I
don't think calloc() would be the problem. malloc() itself without the
memory pool could probably slow down more when we have lots and lots
of directories.
> -- >8 --
> Subject: untracked-cache: use FLEX_ALLOC to create internal structs
>
> The untracked_cache_dir struct has a FLEX_ARRAY in it. Let's use
> FLEX_ALLOC_MEM to allocate it, which saves us having to compute the
> length ourselves.
>
> In theory this could be slightly slower, since the FLEX_ALLOC macros use
> calloc (and we just memcpy over most of the contents anyway). But in
> practice this distinction is not generally measurable.
>
> Note that because we then fill in the pre-flex elements of the struct
> using a memcpy, we need to take care to use the exact size of that
> space and _not_ "sizeof(ud)", since the latter may include padding (or
> even an extra byte on systems where FLEX_ARRAY is 1).
>
> Signed-off-by: Jeff King <peff@peff.net>
> ---
> If we wanted to go this route, I think it would make sense to provide a
> FLEX_ALLOC macro that takes a "template" set of bytes as a ptr/len pair,
> and writes it before we fill in the flex portion.
>
> Then we could do something like:
>
> FLEX_ALLOC_COPY(untracked, &ud, sizeof(ud), name, data, eos - data);
>
> If this is the only such case, it's probably not worth it (I didn't
> really look around for more, though).
>
> dir.c | 6 +++---
> 1 file changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/dir.c b/dir.c
> index 60438b2cdc..7cd4eec198 100644
> --- a/dir.c
> +++ b/dir.c
> @@ -2757,9 +2757,9 @@ static int read_one_dir(struct untracked_cache_dir **untracked_,
> if (!eos || eos == end)
> return -1;
>
> - *untracked_ = untracked = xmalloc(st_add3(sizeof(*untracked), eos - data, 1));
> - memcpy(untracked, &ud, sizeof(ud));
> - memcpy(untracked->name, data, eos - data + 1);
> + FLEX_ALLOC_MEM(untracked, name, data, eos - data);
> + memcpy(untracked, &ud, offsetof(struct untracked_cache_dir, name));
> + *untracked_ = untracked;
> data = eos + 1;
>
> for (i = 0; i < untracked->untracked_nr; i++) {
> --
> 2.21.0.1092.g8b0302e9c4
>
--
Duy
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH 4/3] untracked-cache: use FLEX_ALLOC to create internal structs
2019-04-19 9:18 ` Duy Nguyen
@ 2019-04-19 19:43 ` Jeff King
0 siblings, 0 replies; 13+ messages in thread
From: Jeff King @ 2019-04-19 19:43 UTC (permalink / raw)
To: Duy Nguyen
Cc: Junio C Hamano, Johannes Schindelin via GitGitGadget,
Git Mailing List, Johannes Schindelin
On Fri, Apr 19, 2019 at 04:18:25PM +0700, Duy Nguyen wrote:
> > I also wondered if we could just accept the cost of calloc() here and
> > use FLEX_ALLOC to simplify things. That resulted in the patch below, but
> > I didn't include it with the initial 3, because I think it's too
> > subtle/gross for my tastes.
>
> It's probably ok. If I remember correctly, reading UNTR extension (on
> a huge repo) took the longest time after Ben added support for reading
> the index with multiple threads. So performance is a concern, but I
> don't think calloc() would be the problem. malloc() itself without the
> memory pool could probably slow down more when we have lots and lots
> of directories.
I think if we do the FLEX_ALLOC_COPY() thing I mentioned that it would
probably _not_ use calloc() there, since we'd know we were copying in
the content from elsewhere. So that concern would go away either way. :)
(But I'm still skeptical that FLEX_ALLOC_COPY() is worth it unless we
can find at least one other caller).
-Peff
^ permalink raw reply [flat|nested] 13+ messages in thread