Parallel work, ordered effects

Parallel work, ordered effects A data-flow diagram generated by Archify. 01 / Prepare 02 / Classify 03 / Execute 04 / Merge 05 / Commit Verify + prepare · finalized block input · 01 / Prepare Verify + prepare finalized block input Access analysis · reads + writes · 02 / Classify Access analysis reads + writes Eligible lanes · transfer / independent / MVCC · 03 / Execute Eligible lanes transfer / independent / MVCC Ordered serial · dynamic-state barrier · 03 / Execute Ordered serial dynamic-state barrier Merge + backstop · transaction order · 04 / Merge Merge + backstop transaction order State commit · common changeset · 05 / Commit State commit common changeset verified eligible barrier results results publish

The serial barrier changes the plan

  • • Dynamic-state ordering can clear speculative lanes and execute the remaining transactions in submission order.

Completion order is not publication order

  • • The merge applies accepted results in transaction order. The separate durability writer runs after state application.