threads / rfc / 48484

RFC patchref-filter: start using oid_object_info

Subject: [PATCH RFC] ref-filter: start using oid_object_info

## tl;dr

3 messages between May 14, 2018 and May 15, 2018. Diffs are folded; open one to read it.

replies: 2people: 2as markdown or json

Olga Telezhnaya· May 14, 2018, 09:59 UTC · lore
Start using oid_object_info_extended(). So, if info from this function
is enough, we do not need to get and parse whole object (as it was before).
It's good for 3 reasons:
1. Some Git commands potentially will work faster.
2. It's much easier to add support for objectsize:disk and deltabase.
   (I have plans to add this support further)
3. It's easier to move formatting from cat-file command to this logic
   (It pretends to be unified formatting logic in the end)
Signed-off-by: Olga Telezhnaia <olyatelezhnaya@gmail.com>
---
 ref-filter.c | 34 +++++++++++++++++++++++++++++++---
 ref-filter.h | 21 +++++++++++++++++++++
 2 files changed, 52 insertions(+), 3 deletions(-)
Show changes to 2 files +52 −4

ref-filter.c, ref-filter.h

diff --git a/ref-filter.c b/ref-filter.c
index 39e2744c949bb..7c4693ed084bb 100644
--- a/ref-filter.c
+++ b/ref-filter.c
@@ -100,6 +100,7 @@ static struct used_atom {
 	} u;
 } *used_atom;
 static int used_atom_cnt, need_tagged, need_symref;
+static struct expand_data format_data;
 
 /*
  * Expand string, append it to strbuf *sb, then return error code ret.
@@ -267,6 +268,22 @@ static int contents_atom_parser(const struct ref_format *format, struct used_ato
 	return 0;
 }
 
+static int objecttype_atom_parser(const struct ref_format *format, struct used_atom *atom,
+				  const char *arg, struct strbuf *unused_err)
+{
+	format_data.use_data = 1;
+	format_data.info.typep = &format_data.type;
+	return 0;
+}
+
+static int objectsize_atom_parser(const struct ref_format *format, struct used_atom *atom,
+				  const char *arg, struct strbuf *unused_err)
+{
+	format_data.use_data = 1;
+	format_data.info.sizep = &format_data.size;
+	return 0;
+}
+
 static int objectname_atom_parser(const struct ref_format *format, struct used_atom *atom,
 				  const char *arg, struct strbuf *err)
 {
@@ -383,9 +400,9 @@ static struct {
 	int (*parser)(const struct ref_format *format, struct used_atom *atom,
 		      const char *arg, struct strbuf *err);
 } valid_atom[] = {
-	{ "refname" , FIELD_STR, refname_atom_parser },
-	{ "objecttype" },
-	{ "objectsize", FIELD_ULONG },
+	{ "refname", FIELD_STR, refname_atom_parser },
+	{ "objecttype", FIELD_STR, objecttype_atom_parser },
+	{ "objectsize", FIELD_ULONG, objectsize_atom_parser },
 	{ "objectname", FIELD_STR, objectname_atom_parser },
 	{ "tree" },
 	{ "parent" },
@@ -1536,6 +1553,13 @@ static int populate_value(struct ref_array_item *ref, struct strbuf *err)
 			continue;
 		} else if (!deref && grab_objectname(name, &ref->objectname, v, atom)) {
 			continue;
+		} else if (!deref && !strcmp(name, "objecttype")) {
+			v->s = type_name(format_data.type);
+			continue;
+		} else if (!deref && !strcmp(name, "objectsize")) {
+			v->value = format_data.size;
+			v->s = xstrfmt("%lu", format_data.size);
+			continue;
 		} else if (!strcmp(name, "HEAD")) {
 			if (atom->u.head && !strcmp(ref->refname, atom->u.head))
 				v->s = "*";
@@ -2226,6 +2250,10 @@ int format_ref_array_item(struct ref_array_item *info,
 {
 	const char *cp, *sp, *ep;
 	struct ref_formatting_state state = REF_FORMATTING_STATE_INIT;
+	format_data.oid = info->objectname;
+	if (format_data.use_data && oid_object_info_extended(&format_data.oid, &format_data.info,
+							     OBJECT_INFO_LOOKUP_REPLACE) < 0)
+		return strbuf_addf_ret(error_buf, -1, "format: could not get object info");
 
 	state.quote_style = format->quote_style;
 	push_stack_element(&state.stack);
diff --git a/ref-filter.h b/ref-filter.h
index 85c8ebc3b904e..857e8c5318a8f 100644
--- a/ref-filter.h
+++ b/ref-filter.h
@@ -85,6 +85,27 @@ struct ref_format {
 	int need_color_reset_at_eol;
 };
 
+struct expand_data {
+	struct object_id oid;
+	enum object_type type;
+	unsigned long size;
+	off_t disk_size;
+	struct object_id delta_base_oid;
+
+	/*
+	 * This object_info is set up to be passed to oid_object_info_extended.
+	 * It will point to the data elements above, so you can retrieve
+	 * the response from there.
+	 */
+	struct object_info info;
+
+	/*
+	 * This flag will be true if the requested format and options
+	 * require us to call oid_object_info_extended.
+	 */
+	unsigned use_data : 1;
+};
+
 #define REF_FORMAT_INIT { NULL, 0, -1 }
 
 /*  Macros for checking --merged and --no-merged options */

--
https://github.com/git/git/pull/493
Junio C Hamano· May 15, 2018, 03:24 UTC · re: Olga Telezhnaya · lore

Re: [PATCH RFC] ref-filter: start using oid_object_info

Olga Telezhnaya <olyatelezhnaya@gmail.com> writes:
Show 28 quoted lines
> Start using oid_object_info_extended(). So, if info from this function
> is enough, we do not need to get and parse whole object (as it was before).
> It's good for 3 reasons:
> 1. Some Git commands potentially will work faster.
> 2. It's much easier to add support for objectsize:disk and deltabase.
>    (I have plans to add this support further)
> 3. It's easier to move formatting from cat-file command to this logic
>    (It pretends to be unified formatting logic in the end)
>
> Signed-off-by: Olga Telezhnaia <olyatelezhnaya@gmail.com>
> ---
>  ref-filter.c | 34 +++++++++++++++++++++++++++++++---
>  ref-filter.h | 21 +++++++++++++++++++++
>  2 files changed, 52 insertions(+), 3 deletions(-)
>...
> @@ -383,9 +400,9 @@ static struct {
>  	int (*parser)(const struct ref_format *format, struct used_atom *atom,
>  		      const char *arg, struct strbuf *err);
>  } valid_atom[] = {
> -	{ "refname" , FIELD_STR, refname_atom_parser },
> -	{ "objecttype" },
> -	{ "objectsize", FIELD_ULONG },
> +	{ "refname", FIELD_STR, refname_atom_parser },
> +	{ "objecttype", FIELD_STR, objecttype_atom_parser },
> +	{ "objectsize", FIELD_ULONG, objectsize_atom_parser },
>  	{ "objectname", FIELD_STR, objectname_atom_parser },
>  	{ "tree" },
>  	{ "parent" },

Hmph, so this patch does not teach us to interpolate any new %(field-type) but changes the way %(objecttype) and %(objectsize) are computed.

Show 14 quoted lines
> @@ -1536,6 +1553,13 @@ static int populate_value(struct ref_array_item *ref, struct strbuf *err)
>  			continue;
>  		} else if (!deref && grab_objectname(name, &ref->objectname, v, atom)) {
>  			continue;
> +		} else if (!deref && !strcmp(name, "objecttype")) {
> +			v->s = type_name(format_data.type);
> +			continue;
> +		} else if (!deref && !strcmp(name, "objectsize")) {
> +			v->value = format_data.size;
> +			v->s = xstrfmt("%lu", format_data.size);
> +			continue;
>  		} else if (!strcmp(name, "HEAD")) {
>  			if (atom->u.head && !strcmp(ref->refname, atom->u.head))
>  				v->s = "*";

Because this addition is made to the early "Fill in specials first" loop of the populate_value() function, we may be able to satisfy some requests early without calling get_object() which then calls parse_object().

Show 6 quoted lines
> @@ -2226,6 +2250,10 @@ int format_ref_array_item(struct ref_array_item *info,
>  {
>  	const char *cp, *sp, *ep;
>  	struct ref_formatting_state state = REF_FORMATTING_STATE_INIT;
> +	format_data.oid = info->objectname;
> +	if (format_data.use_data && oid_object_info_extended(&format_data.oid, &format_data.info,
Style: fold the line after " &&".

And this checks the .use_data field to see if these fields whose value could be computed by a call to oid_object_info_extended() without calling parse_object(). If there is one, we call it; otherwise we don't.

So there are three possible cases:
 - The request does not ask for these fields that can be filled from
   "format_data" (by the way, that is a horrible name---all the data
   in this codepath is for formatting, and in that sense the
   variable is not named after its most significant trait, which is
   that it is to grab data needed for formatting via a call to
   a function in the object_info() family.  Perhaps object_info_data
   or oi_data for brevity).  We do not call object_info() and the
   performance characteristic of the code stays as before.
 - The request asks for these fields that are helped by
   "object-info" and no other fields.  We make a call to
   "object-info", instead of parse_object(), which hopefully is more
   efficient (we need to measure, if we are selling this as an
   optimization).
 - The request asks for both.  We end up calling object-info and
   also parse_object(), so presumably there is degradation of
   performance.

In the third case, after v->s and v->value are filled by the new code that copies from format_data, grab_values() will again fill objecttype/objectsize by overwriting v->s field. Doesn't this cause memory leaks? type_name() returns a constant string that does not leak, but your objectsize seems to use xstrfmt(), so...

I think it was OK before this patch as grab_common_values() was the only place that did v->s = xstrfmt() for the field, but now the code with this patch can do the same assignment from two places, we would need to be a bit more careful about memory ownership?

Junio C Hamano· May 15, 2018, 03:53 UTC · re: Junio C Hamano · lore

Re: [PATCH RFC] ref-filter: start using oid_object_info

Junio C Hamano <gitster@pobox.com> writes:
Show 99 quoted lines
> Olga Telezhnaya <olyatelezhnaya@gmail.com> writes:
>
>> Start using oid_object_info_extended(). So, if info from this function
>> is enough, we do not need to get and parse whole object (as it was before).
>> It's good for 3 reasons:
>> 1. Some Git commands potentially will work faster.
>> 2. It's much easier to add support for objectsize:disk and deltabase.
>>    (I have plans to add this support further)
>> 3. It's easier to move formatting from cat-file command to this logic
>>    (It pretends to be unified formatting logic in the end)
>>
>> Signed-off-by: Olga Telezhnaia <olyatelezhnaya@gmail.com>
>> ---
>>  ref-filter.c | 34 +++++++++++++++++++++++++++++++---
>>  ref-filter.h | 21 +++++++++++++++++++++
>>  2 files changed, 52 insertions(+), 3 deletions(-)
>>...
>> @@ -383,9 +400,9 @@ static struct {
>>  	int (*parser)(const struct ref_format *format, struct used_atom *atom,
>>  		      const char *arg, struct strbuf *err);
>>  } valid_atom[] = {
>> -	{ "refname" , FIELD_STR, refname_atom_parser },
>> -	{ "objecttype" },
>> -	{ "objectsize", FIELD_ULONG },
>> +	{ "refname", FIELD_STR, refname_atom_parser },
>> +	{ "objecttype", FIELD_STR, objecttype_atom_parser },
>> +	{ "objectsize", FIELD_ULONG, objectsize_atom_parser },
>>  	{ "objectname", FIELD_STR, objectname_atom_parser },
>>  	{ "tree" },
>>  	{ "parent" },
>
> Hmph, so this patch does not teach us to interpolate any new %(field-type)
> but changes the way %(objecttype) and %(objectsize) are computed.
>
>> @@ -1536,6 +1553,13 @@ static int populate_value(struct ref_array_item *ref, struct strbuf *err)
>>  			continue;
>>  		} else if (!deref && grab_objectname(name, &ref->objectname, v, atom)) {
>>  			continue;
>> +		} else if (!deref && !strcmp(name, "objecttype")) {
>> +			v->s = type_name(format_data.type);
>> +			continue;
>> +		} else if (!deref && !strcmp(name, "objectsize")) {
>> +			v->value = format_data.size;
>> +			v->s = xstrfmt("%lu", format_data.size);
>> +			continue;
>>  		} else if (!strcmp(name, "HEAD")) {
>>  			if (atom->u.head && !strcmp(ref->refname, atom->u.head))
>>  				v->s = "*";
>
> Because this addition is made to the early "Fill in specials first"
> loop of the populate_value() function, we may be able to satisfy
> some requests early without calling get_object() which then calls
> parse_object().
>
>> @@ -2226,6 +2250,10 @@ int format_ref_array_item(struct ref_array_item *info,
>>  {
>>  	const char *cp, *sp, *ep;
>>  	struct ref_formatting_state state = REF_FORMATTING_STATE_INIT;
>> +	format_data.oid = info->objectname;
>> +	if (format_data.use_data && oid_object_info_extended(&format_data.oid, &format_data.info,
>
> Style: fold the line after " &&".
>
> And this checks the .use_data field to see if these fields whose
> value could be computed by a call to oid_object_info_extended()
> without calling parse_object().  If there is one, we call it;
> otherwise we don't.
>
> So there are three possible cases:
>
>  - The request does not ask for these fields that can be filled from
>    "format_data" (by the way, that is a horrible name---all the data
>    in this codepath is for formatting, and in that sense the
>    variable is not named after its most significant trait, which is
>    that it is to grab data needed for formatting via a call to
>    a function in the object_info() family.  Perhaps object_info_data
>    or oi_data for brevity).  We do not call object_info() and the
>    performance characteristic of the code stays as before.
>
>  - The request asks for these fields that are helped by
>    "object-info" and no other fields.  We make a call to
>    "object-info", instead of parse_object(), which hopefully is more
>    efficient (we need to measure, if we are selling this as an
>    optimization).
>
>  - The request asks for both.  We end up calling object-info and
>    also parse_object(), so presumably there is degradation of
>    performance.
>
> In the third case, after v->s and v->value are filled by the new
> code that copies from format_data, grab_values() will again fill
> objecttype/objectsize by overwriting v->s field.  Doesn't this cause
> memory leaks?  type_name() returns a constant string that does not
> leak, but your objectsize seems to use xstrfmt(), so...
>
> I think it was OK before this patch as grab_common_values() was the
> only place that did v->s = xstrfmt() for the field, but now the code
> with this patch can do the same assignment from two places, we would
> need to be a bit more careful about memory ownership?

Another thing that came to my mind while reading the patch aloud in my previous message was if we can easily tell the latter two cases apart, before actually going into the populate_value() codepath.

We can easily tell that fields that can benefit from object-info were requested with your .use_data field technique. If we can also easily tell that fields that do need full get_object() and call to parse_object(), then we can avoid calling object_info() and grab values for objectsize etc. in the old way.

Of course, if you plan to extend the set of fields further so that some traits about an object that can only be learned by calling object_info(), then we may have to make calls to both object_info() and parse_object(). And when that happens we'd restructure the code again, but until then, the above sounds like an optimization worth considering.

Thanks.

← back to recent threads