例

読み取り専用データセグメントは、アプリケーションメモリーがデータベースをマップしたときに通常発生します。次に例を示します。

caddr_t vaddr = NULL;
off_t offset = 0;
size_t = 10 * 1024;
int fd;
fd = open("../DATABASE", ...)
vaddr = mmap(vaddr, size, PROT_READ, MAP_SHARED, fd, offset);
index = (DBIndex *) vaddr;

デバッガによってメモリーとしてデータベースにアクセスできるようにするには、次を入力します。

mmapfile ../DATABASE $[vaddr] $[offset] $[size]

ここで、次を入力すれば、データベースの内容を構造的に表示させることができます。

print *index