« Previous | Next » 

Revision 702195f3

ID702195f31e8e94fc0e18172046b644723b0e9ea8
Parent 70ca62be
Child 694f0acd, 965fa411

Added by Jussi Koskela 4 months 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences