git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH v3 2/2] read-cache: plug a few leaks

From
Felipe Contreras <felipe.contreras@gmail.com>
Date
Jun 8, 2013, 12:15 UTC
Message-ID
<CAMP44s2Bp5p1211e6Utdch4B+v3J83GCY0_ucG7duakswkb+pg@mail.gmail.com>
In-Reply-To
<51B31651.6020307@lsrfire.ath.cx>

On Sat, Jun 8, 2013 at 6:32 AM, René Scharfe <rene.scharfe@lsrfire.ath.cx> wrote:

Show 12 quoted lines
> Am 08.06.2013 00:29, schrieb Felipe Contreras:
>
>> We are not freeing 'istate->cache' properly.
>>
>> We can't rely on 'initialized' to keep track of the 'istate->cache',
>> because it doesn't really mean it's initialized. So assume it always has
>> data, and free it before overwriting it.
>
>
> That sounds a bit backwards to me.  If ->initialized doesn't mean that the
> index state is initialized then something is fishy.  Would it make sense and
> be sufficient to set ->initialized in add_index_entry?
I don't know.
> Or to get rid of it and check for ->cache_alloc instead?

That might make sense. I was thinking on renaming 'initialized' to 'loaded', but I really don't care.

Show 28 quoted lines
>> Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
>> ---
>>   read-cache.c | 4 ++++
>>   1 file changed, 4 insertions(+)
>>
>> diff --git a/read-cache.c b/read-cache.c
>> index 5e30746..a1dd04d 100644
>> --- a/read-cache.c
>> +++ b/read-cache.c
>> @@ -1451,6 +1451,7 @@ int read_index_from(struct index_state *istate,
>> const char *path)
>>         istate->version = ntohl(hdr->hdr_version);
>>         istate->cache_nr = ntohl(hdr->hdr_entries);
>>         istate->cache_alloc = alloc_nr(istate->cache_nr);
>> +       free(istate->cache);
>>         istate->cache = xcalloc(istate->cache_alloc,
>> sizeof(*istate->cache));
>>         istate->initialized = 1;
>
>
> You wrote earlier that this change is safe with current callers and that it
> prevents leaks with the following sequence:
>
> discard_cache();
> # add entries
> read_cache();
>
> Do we currently have such a call sequence somewhere?
I don't know.
> Wouldn't that be a
> bug, namely forgetting to call discard_cache before read_cache?

Why would it be a bug? There's nothing in the API that hints there's a problem with that.

Show 5 quoted lines
> I've added a "assert(istate->cache_nr == 0);" a few lines above and the test
> suite still passed.  With the hunk below, ->cache is also always NULL and
> cache_alloc is always 0 at that point.  So we don't need that free call
> there in the cases covered by the test suite at least -- better leave it
> out.

Why leave it out? If somebody makes the mistake of doing the above sequence, would you prefer that we leak?

-- 
Felipe Contreras
Previous: René ScharfeNext: René Scharfe
Message 5 of 16 in “cherry-pick: fix memory leaks”
  1. 0/2 cherry-pick: fix memory leaksFelipe Contreras, Jun 7, 2013
  2. 1/2 unpack-trees: plug a memory leakFelipe Contreras, Jun 7, 2013
  3. 2/2 read-cache: plug a few leaksFelipe Contreras, Jun 7, 2013
  4. René ScharfeJun 8, 2013
  5. Felipe ContrerasJun 8, 2013
  6. René ScharfeJun 8, 2013
  7. Felipe ContrerasJun 8, 2013
  8. René ScharfeJun 8, 2013
  9. Felipe ContrerasJun 8, 2013
  10. René ScharfeJun 8, 2013
  11. Felipe ContrerasJun 8, 2013
  12. René ScharfeJun 9, 2013
  13. Felipe ContrerasJun 9, 2013
  14. René ScharfeJun 9, 2013
  15. Felipe ContrerasJun 9, 2013
  16. Junio C HamanoJun 9, 2013

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.