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