|Suppose one would like to implement an application (not in Pliant)
that occasionally reads data from a Pliant database. Suppose also that Pliant
applications randomly insert entries in this database. All these applications
are running all the time.
Since Pliant caches the database in the memory, is there a way to force pliant
to flush the database entries on disk, so that a nonpliant application would read
the proper data?