Rev.17を表示中。最新版はこちら。

linux-2.6.16.1でのメモ。

1. 概要

Buddy Systemでは物理ページ単位のメモリの確保になるため、あるメモリオブジェクト(例えばプロセスのtask_structとか)を動的に確保するのには向いていない。スラブアロケータではBuddy Systemとの間に入り、メモリオブジェクトの確保／解放機能を提供する。

スラブアロケータでは、あらかじめメモリオブジェクトに対してキャッシュ(kmem_cache)を作っておき、そのキャッシュからメモリオブジェクトを取得する形をとる。キャッシュは足りなくなれば自動的に確保されるようになっている。


Slabから取得するバッファはBuddy Systemから取得しており、以下の特徴がある。

• 仮想アドレスに対して物理ページが割り当て済み(アクセスしてPageFaultになることはない)
• 物理的に連続ページ

2. スラブアロケータの特長

スラブアロケータはメモリ確保に関して以下の効率化を行っている。

(1) メモリ使用量の効率化

(2) CPUキャッシュメモリの効率化

3. スラブアロケータのデータ構造

スラブアロケータのデータ構造を図1に示す。







スラブにはスラブ内にメモリオブジェクトを持つ形式(図2左側)とスラブの外にメモリオブジェクトを持つ形式(図2右側:OffSlab形式)がある。kmem_cacheを作成する時にスラブのサイズが既定値を越えるようだとOffSlab形式になる。以下の説明では図左側のケースで説明する。

スラブの管理データとしてstruct slabがある。struct slabの直後にスラブに収容するメモリオブジェクト数分のkmem_bufctl_t(unsigned intのtypedef)の配列がある。図2はn+1個のメモリオブジェクトを持っている。kmem_bufctl_t[]の後に実際に割り当てられるメモリオブジェクトが配列状に並んでいる。struct slabのs_memはこのメモリオブジェクト配列の先頭を指している。

kmem_bufctl_t[]はメモリオブジェクトのフリーリストとなっている。#xのkmem_bufctl_t[]エントリは#xのメモリオブジェクトに対応している。
struct slabのfreeがフリーリスト先頭のkmem_bufctl_t[]の要素番号を持ち、そこからkmem_bufctl_t[]に格納されている次のオブジェクトの要素番号をたどってFreeなメモリオブジェクト取得できる。リスト最後のkmem_bufctl_t[]にはBUFCTL_ENDが格納されている。図2では#1のオブジェクトが割り当て済みの状態を示しており、フリーリストにはkmem_bufctl_t[1]はつながれていない。

表1にも示したが、スラブ内のメモリオブジェクトが全てFreeならばスラブはslabs_freeにつながれ、一部だけFreeならば、slabs_partialにつながれる。Freeがなければslabs_fullにつながれる。

なお、フリーリストにないということは、そのオブジェクトが割り当てられているということではない。メモリオブジェクトはarray_cacheにキャッシュする段階でフリーリストから外されるので、割り当て状態/キャッシュ状態どちらかの状態ということになる。


[その他]
objpの領域はBuddy Systemから確保されるのでページ境界にアライメントされている。
これに対し、メモリオブジェクトを配置する際にcolour_off分のオフセットを加えることで、メモリオブジェクト種別毎にアライメントがずれるようにしている。これによりCPUキャッシュの効率が高まることが期待できる。

4. 関数

4.1 キャッシュの作成

kmem_cache_create()でキャッシュを作成できる。

kmem_cache_create()

        kmem_cache_alloc()でキャッシュを自分自身から取得する。

        Slabが必要とするページ数(cachep->gfporder)
        Slabあたりのobject数(cachep->num)を計算する。
                :
        objectサイズが大きい場合はCFLGS_OFF_SLABを立てる。
                :
        この時点ではまだ、Slab/Objectは作成しない。
        alloc時にobject取得に失敗してkmem_cache_grow()で作成される。

4.2メモリオブジェクトの確保

メモリを確保する時はkmem_cache_alloc()で確保する。kmem_cache_create()で返されたキャッシュへのポインタを指定する。


kmem_cache_alloc()
        __kmem_cache_alloc()
                指定キャッシュのslabs_partial/freeからobjectを割り当てる。
                objectが無ければ
                kmem_cache_grow()
                                :
                        object用にkmem_getpages()でBuddy Systemからページを取得する。
                        (仮想<->物理アドレスのマッピングは既に済んでいる。「物理メモリ管理.txt」参照)
                                :
                        kmem_cache_slabmgmt()
                                off-slabの場合はkmem_cache_alloc()でslabも取得
                                :
                        Slabとobjectを初期化

5. その他

スラブアロケータのキャッシュの状況は/proc/slabinfoで確認できる。

slabinfo - version: 2.1
# name            <active_objs> <num_objs> ...
rpc_buffers            8      8   2048 ...
rpc_tasks              8     15    256 ...
rpc_inode_cache        6      7    512 ...
   :
   :

kmalloc()で確保するメモリもスラブアロケータから取得している。/proc/slabinfoで表示されるsize-xx,size-xx(DMA)のキャッシュがこれに該当する。


[内部関数のメモ]

cache_alloc_refill()

cache_grow()

alloc_slabmgmt()

slab_get_obj()