flush2t

#include <IO.h>

void flush2t(
        GapIO *io);

This functions checks out all written data by updating the database time stamp. If Gap4 crashes, upon restarting any data written since the last time stamp is ignored. The purpose of this is to ensure that the data in the database is internally consistent. Hence you should only call this function when the database writes are consistent.

An example of this is in deleting a reading N which has left and right neighbours of L and R. The operation of writes may be:

• set right neighbour of L to be R
• set left neighbour of R to be L
• deallocate N.

The database is consistent before these operations, and after these operations, but not at any stage in between.