[ < ] [ > ]   [ << ] [ 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 by root on November 22, 2009 using texi2html 1.82.