At Fri, 20 May 2022 11:02:21 +0900 (JST), Kyotaro Horiguchi <horikyota....@gmail.com> wrote in > Doesn't the step s1_table_stats needs a blocking condition (s2_ff)?
s/needs/need/; If I removed the step s2_ff, I see the same difference. So I think it is that. Some other permutations seem to need the same. regards. -- Kyotaro Horiguchi NTT Open Source Software Center
diff --git a/src/test/isolation/specs/stats.spec b/src/test/isolation/specs/stats.spec index be4ae1f4ff..441dd7d3b8 100644 --- a/src/test/isolation/specs/stats.spec +++ b/src/test/isolation/specs/stats.spec @@ -417,7 +417,7 @@ permutation s2_table_update_k1 s1_table_drop s2_ff - s1_table_stats + s1_table_stats(s2_ff) permutation s1_table_select @@ -461,7 +461,7 @@ permutation s2_table_select s1_track_counts_on s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) # but can count again after s1_table_select s1_table_update_k1 @@ -478,7 +478,7 @@ permutation s2_table_select s1_track_counts_on s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) s1_table_select s1_table_update_k1 s1_ff @@ -509,7 +509,7 @@ permutation s2_commit_prepared_a s1_table_select s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) # S1 prepares, S2 commits prepared permutation @@ -533,7 +533,7 @@ permutation s2_rollback_prepared_a s1_table_select s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) ### 2PC: truncate handling @@ -564,7 +564,7 @@ permutation s1_prepare_a s2_commit_prepared_a s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) # S1 prepares, S1 aborts prepared permutation @@ -592,7 +592,7 @@ permutation s1_prepare_a s2_rollback_prepared_a s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) ### 2PC: rolled back drop maintains live / dead counters @@ -627,7 +627,7 @@ permutation s1_prepare_a s2_rollback_prepared_a s1_ff s2_ff - s1_table_stats + s1_table_stats(s2_ff) ######################
