Re: [Axiom-developer] Loading of databases

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

[...]

| +The system uses another optimization: database contains a stamp
| +(consisting of offset to the main list and build time).  Before
| +saving the image selected data is fetched to memory.  When the
| +saved image starts it checks if the stamp of saved data matches
| +in-core data -- in case of agreement in-core data is used.
| +Parts of the datatabase which was not pre-loaded is still
| +(lazily) fetched from the filesystem.

OK; thanks!

-- Gaby