SumiTomohikoのWiki

メジャーヒープ用にメモリをアロケートする。

• request: 領域の大きさ（バイト単位）。

チャンクのアドレス。

• ocaml-3.11.0/byterun/memory.c

/* Allocate a block of the requested size, to be passed to
   [caml_add_to_heap] later.
   [request] must be a multiple of [Page_size].
   [caml_alloc_for_heap] returns NULL if the request cannot be satisfied.
   The returned pointer is a hp, but the header must be initialized by
   the caller.
*/

後でocaml-3.11.0/caml_add_to_heapに渡すため、要求された大きさのブロックをアロケートする。requestはPage_sizeの倍数でなければならない。要求が満たされなかった場合、caml_alloc_for_heapはNULLを返す。返すポインタはhpであるが、ヘッダは呼び出し側が初期化しなければならない。

char *caml_alloc_for_heap (asize_t request)
{
  char *mem;
  void *block;
                                              Assert (request % Page_size == 0);

• ocaml-3.11.0/Page_size

  mem = caml_aligned_malloc (request + sizeof (heap_chunk_head),
                             sizeof (heap_chunk_head), &block);

• ocaml-3.11.0/heap_chunk_head
• ocaml-3.11.0/caml_aligned_malloc

チャンクとヘッダをアロケートする。

  if (mem == NULL) return NULL;
  mem += sizeof (heap_chunk_head);

変数memの値が、チャンクへのポインタとなる。

  Chunk_size (mem) = request;

• ocaml-3.11.0/Chunk_size

  Chunk_block (mem) = block;

• ocaml-3.11.0/Chunk_block

  return mem;
}