On 12/09/20 8:01 pm, Eliot Miranda wrote:
> 
> That makes sense.  So we do want the QUIT/NO SAVE indication written to 
> the changes file if anything is written to the changes file because we 
> know that when doing crash recovery we want to ignore everything 
> before QUIT/NO SAVE.  So, Chris Muller’s objections aside, I would argue 
> that if the changes file is undisturbed (nothing written to it in the 
> current session) when the system is about to quit without saving, it 
> should do so without writing the QUIT/NO SAVE stamp.

What if a START log is lazily written just before the first write to the 
change log?

If no changes are made then the changes file remains untouched. The 
first write to the change log is prefixed with a START log entry. A 
QUIT/NO SAVE entry is not needed or may be added if and only if a START 
log was written.

Regards .. Subbu