SumiTomohikoのWiki

ページテーブルのエントリを変更する。

• page: ページの開始アドレス。
• toclear: 削除するフラグ。
• toset: 設定するフラグ。

成功したら0, 失敗したら-1.

• ocaml-3.11.0/byterun/memory.c

static int caml_page_table_modify(uintnat page, int toclear, int toset)

• ocaml-3.11.0/uintnat

{
  uintnat h;

  Assert ((page & ~Page_mask) == 0);

  /* Resize to keep load factor below 1/2 */

負荷率を1/2以下にするためにサイズを変更する。

  if (caml_page_table.occupancy * 2 >= caml_page_table.size) {

• ocaml-3.11.0/caml_page_table

    if (caml_page_table_resize() != 0) return -1;

• ocaml-3.11.0/caml_page_table_resize

  }
  h = Hash(Page(page));

• ocaml-3.11.0/Page
• ocaml-3.11.0/Hash

  while (1) {
    if (caml_page_table.entries[h] == 0) {

空のエントリが見つかった場合

      caml_page_table.entries[h] = page | toset;
      caml_page_table.occupancy++;
      break;
    }
    if (Page_entry_matches(caml_page_table.entries[h], page)) {

• ocaml-3.11.0/Page_entry_matches

既存のエントリが見つかった場合

      caml_page_table.entries[h] =
        (caml_page_table.entries[h] & ~toclear) | toset;
      break;
    }
    h = (h + 1) & caml_page_table.mask;

空のエントリが見つからなかった場合は、リハッシュする。

  }
  return 0;
}

static int caml_page_table_modify(uintnat page, int toclear, int toset)
{
  uintnat i = Pagetable_index1(page);

• ocaml-3.11.0/Pagetable_index1

  uintnat j = Pagetable_index2(page);

• ocaml-3.11.0/Pagetable_index2

  if (caml_page_table[i] == caml_page_table_empty) {

• ocaml-3.11.0/caml_page_table_empty

    unsigned char * new_tbl = calloc(Pagetable2_size, 1);

• ocaml-3.11.0/Pagetable2_size

    if (new_tbl == 0) return -1;
    caml_page_table[i] = new_tbl;
  }
  caml_page_table[i][j] = (caml_page_table[i][j] & ~toclear) | toset;
  return 0;
}

• ocaml-3.11.0/caml_page_table_add
• ocaml-3.11.0/caml_page_table_remove