[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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 December 1, 2016 using texi2html 1.82.