__libc_free함수 분석

  mstate ar_ptr;
  mchunkptr p;                          /* chunk corresponding to mem */

필요한 변수 선언 

  void (*hook) (void *, const void *)
    = atomic_forced_read (__free_hook);
  if (__builtin_expect (hook != NULL, 0))
    {
      (*hook)(mem, RETURN_ADDRESS (0));
      return;
    }

이전 글과 마찬가지로 더 공부한 뒤 나중에 설명하겠습니다.

  if (mem == 0)                              /* free(0) has no effect */
    return;

NULL 메모리를 free하는 것은 효과가 없다,

  p = mem2chunk (mem);

  if (chunk_is_mmapped (p))                       /* release mmapped memory. */
    {
      /* See if the dynamic brk/mmap threshold needs adjusting.
	 Dumped fake mmapped chunks do not affect the threshold.  */
      if (!mp_.no_dyn_threshold
          && chunksize_nomask (p) > mp_.mmap_threshold
          && chunksize_nomask (p) <= DEFAULT_MMAP_THRESHOLD_MAX
	  && !DUMPED_MAIN_ARENA_CHUNK (p))
        {
          mp_.mmap_threshold = chunksize (p);
          mp_.trim_threshold = 2 * mp_.mmap_threshold;
          LIBC_PROBE (memory_mallopt_free_dyn_thresholds, 2,
                      mp_.mmap_threshold, mp_.trim_threshold);
        }
      munmap_chunk (p);
      return;
    }

mmap으로 할당받은 청크들은 조정이 필요할 때가 있을 수 있는데 그 조정을 해주는 것 같다,

  MAYBE_INIT_TCACHE ();

  ar_ptr = arena_for_chunk (p);
  _int_free (ar_ptr, p, 0);
}

MAYBE_INIT_TCACHE()는 

# define MAYBE_INIT_TCACHE() \
  if (__glibc_unlikely (tcache == NULL)) \
    tcache_init();

이렇게 정의되는데 즉 tcache가 시작?되지 않았으면 tcache를 시작하라는 것이다.

 

tcache에 관련된 자세한 것은

2019/08/08 - [힙(heap)] - tcache 분석

tcache 분석

unlikely에 대한것은 

2019/08/09 - [힙(heap)] - __builtin_expect, likely, unlikely

__builtin_expect, likely, unlikely

  ar_ptr = arena_for_chunk (p);
  _int_free (ar_ptr, p, 0);

다음은 청크의 아레나를 얻어와서 free시키는 것 뿐이다.