transaction must start and end within write lock. Since reverse order
shows concurrent transactions inconsistent transient vs. peristent
structures.