Skip to content

Commit ef77159

Browse files
committed
Make a phrase about serial execution clearer
1 parent cef44f1 commit ef77159

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/final-report/final-report.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1043,7 +1043,7 @@ constraints:
10431043
These constraints leave room for concurrent and parallel execution, because they
10441044
allow overlapped execution of multiple batches in a pipelined way. The reason
10451045
why such an execution is possible is somewhat subtle though. The updates have to
1046-
be serialised, but the lookups can be executed out of order, provided the
1046+
be executed serially, but the lookups can be executed out of order, provided the
10471047
results we ultimately report for the lookups are correct. The trick is to
10481048
perform the lookups using an older value of the database and then adjust their
10491049
results using the updates from the later batches. This allows starting the

0 commit comments

Comments
 (0)