[ < ] | [ > ] |  | [ << ] | [ Up ] | [ >> ] |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

# B. The Graph Files

For maximum flexibility and performance, the reachability graph is laid out in disk files in machine dependent format. Please refer to the files ‘`Graph/fileformats.html`’ and ‘`Graph/Graph.C`’ in the Maria source code for exact information.

Note that when Maria has been compiled for using a memory mapped file interface (see section Editing the ‘`Makefile`’ files), the sizes of the graph files will be rounded up to a power of two while Maria is running. This arrangement reduces the number of costly system calls.

[ << ] | [ >> ] |  |  |  |  |  | [Top] | [Contents] | [Index] | [ ? ]

This document was generated on January 22, 2026 using texi2html 1.82.