« Previous | Next » 

Revision 702195f3

Parent 70ca62be
Child 694f0acd, 965fa411

Added by Jussi Koskela about 1 year ago

Hardening of DB index integrity

Mark index dirty as early as possible on write operations (and sync to
disk). Clean index dirtiness indicator as last step when deleting the
index. Cache dirty statuses to write dirty files only once.

refs #7075

Change-Id: I1c8a6882270b5fbd53bc88249ba5f50c05a83b51


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences