プログラミング言語C – UNIXシステムインタフェース 記憶割り当て

津路です。

プログラミング言語C 第2版 ANSI規格準拠 K&R著(共立出版)を読んで、気になるところを書いています。
8.7節に、記憶割り当てがあります。
ここでは、malloc プログラムが説明されています。
ページ227に以下の記述があります。
「mallocでは、文字数で表わされる要求サイズはヘッダ・サイズ単位で適当な数に繰り上げられる。割り当てられる実際のブロックはヘッダ自身のために1単位多くなる。これがヘッダのsizeフィールドに記憶される値である。」
mallocへの要求サイズは、文字数で表わされるのでしょうか。バイト数では?

ページ229には、以下の記述があります。
「関数morecoreは、OSからメモリを得るのに使われる。システムにメモリを要求することはかなり高価な処理であるから、mallocの呼び出しごとにそれをするのは損である。」
原語では、「asking the system for memory is comparatively expensive」ですので、「比較的高価な処理」です。
続けて、「したがって、morecoreでは要求は少なくともNALLOC単位にしている。より大きくなったこのブロックは必要ならば切り取られる。」
ここでNALLOCは、1kbyteです。後半の文がわかりずらいです。切り取られるの部分は、原文ではchopped upです。ここでは、「大きめに得られたこのブロックは、必要に応じて細分化される」といった意味だと思います。

「次にUNIXのシステム・コールsbrk(n)はメモリへ追加するnバイトへのポインタ(スペースがなければ-1)を返す。これは本来はNULLと設計すべきだったところである。」
原文では、「sbrk returns -1 if there was no space, even though NULL would have been a better design」ですので、後半の説明は、-1ではなくNULLとすべきだった、という意味です。

次に、morecore関数が記述されています。

#define NALLOC 1024 /* 要求する最少の単位数 */
/* morecore: システムにもっとメモリを要求する */
static Header *morecore(unsigned nu)
{
  char *cp, *sbrk(int);
  Header *up;

  if(nu < NALLOC)
    nu = NALLOc;
  cp = sbrk(nu * sizeof(Header));
  if (cp == (char *) -1)  /* スペースが全然ない */
    return NULL;
  up = (Header *) cp;
  up->s.size = nu;
  free((void *)(up+1));
  return freep;
}

NALLOCのコメントは変です。「要求する最小単位のバイト数」
morecoreのコメントも少し変です。「システムにより多くのメモリを要求する」
ではないでしょうか。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください