smptests/smpmutex02: New test

Update #2765.

1 files changed, 578 insertions, 0 deletions

diff --git a/testsuites/smptests/smpmutex02/smpmutex02.scn b/testsuites/smptests/smpmutex02/smpmutex02.scn
new file mode 100644
index 0000000000..9acc74a5d4
--- /dev/null
+++ b/testsuites/smptests/smpmutex02/smpmutex02.scn
@@ -0,0 +1,578 @@
+*** BEGIN OF TEST SMPMUTEX 2 ***
+worker[0][0]
+        obtain counter   = 70927
+        deadlock counter = 2361
+        timeout counter  = 8899
+        release counter  = 70927
+        max nest level   = 18
+worker[0][1]
+        obtain counter   = 53520
+        deadlock counter = 1883
+        timeout counter  = 9008
+        release counter  = 53520
+        max nest level   = 15
+worker[0][2]
+        obtain counter   = 43356
+        deadlock counter = 1713
+        timeout counter  = 8980
+        release counter  = 43356
+        max nest level   = 17
+worker[0][3]
+        obtain counter   = 37021
+        deadlock counter = 1720
+        timeout counter  = 8872
+        release counter  = 37021
+        max nest level   = 15
+worker[1][0]
+        obtain counter   = 71848
+        deadlock counter = 2333
+        timeout counter  = 8955
+        release counter  = 71848
+        max nest level   = 26
+worker[1][1]
+        obtain counter   = 56056
+        deadlock counter = 2054
+        timeout counter  = 8947
+        release counter  = 56056
+        max nest level   = 21
+worker[1][2]
+        obtain counter   = 44337
+        deadlock counter = 1742
+        timeout counter  = 8989
+        release counter  = 44337
+        max nest level   = 17
+worker[1][3]
+        obtain counter   = 36720
+        deadlock counter = 1669
+        timeout counter  = 8977
+        release counter  = 36720
+        max nest level   = 15
+worker[2][0]
+        obtain counter   = 71989
+        deadlock counter = 2354
+        timeout counter  = 8907
+        release counter  = 71989
+        max nest level   = 20
+worker[2][1]
+        obtain counter   = 56226
+        deadlock counter = 1983
+        timeout counter  = 9041
+        release counter  = 56226
+        max nest level   = 17
+worker[2][2]
+        obtain counter   = 44707
+        deadlock counter = 1802
+        timeout counter  = 9002
+        release counter  = 44707
+        max nest level   = 19
+worker[2][3]
+        obtain counter   = 37093
+        deadlock counter = 1725
+        timeout counter  = 8929
+        release counter  = 37093
+        max nest level   = 18
+worker[3][0]
+        obtain counter   = 72282
+        deadlock counter = 2441
+        timeout counter  = 8904
+        release counter  = 72282
+        max nest level   = 15
+worker[3][1]
+        obtain counter   = 56242
+        deadlock counter = 2015
+        timeout counter  = 8932
+        release counter  = 56242
+        max nest level   = 20
+worker[3][2]
+        obtain counter   = 44578
+        deadlock counter = 1709
+        timeout counter  = 9000
+        release counter  = 44578
+        max nest level   = 15
+worker[3][3]
+        obtain counter   = 37890
+        deadlock counter = 1617
+        timeout counter  = 8941
+        release counter  = 37890
+        max nest level   = 17
+worker[4][0]
+        obtain counter   = 71584
+        deadlock counter = 2340
+        timeout counter  = 8953
+        release counter  = 71584
+        max nest level   = 17
+worker[4][1]
+        obtain counter   = 56388
+        deadlock counter = 1986
+        timeout counter  = 9005
+        release counter  = 56388
+        max nest level   = 20
+worker[4][2]
+        obtain counter   = 44549
+        deadlock counter = 1664
+        timeout counter  = 9005
+        release counter  = 44549
+        max nest level   = 14
+worker[4][3]
+        obtain counter   = 36954
+        deadlock counter = 1586
+        timeout counter  = 8906
+        release counter  = 36954
+        max nest level   = 15
+worker[5][0]
+        obtain counter   = 71175
+        deadlock counter = 2290
+        timeout counter  = 8872
+        release counter  = 71175
+        max nest level   = 18
+worker[5][1]
+        obtain counter   = 55984
+        deadlock counter = 1904
+        timeout counter  = 8948
+        release counter  = 55984
+        max nest level   = 17
+worker[5][2]
+        obtain counter   = 43837
+        deadlock counter = 1712
+        timeout counter  = 9011
+        release counter  = 43837
+        max nest level   = 18
+worker[5][3]
+        obtain counter   = 37015
+        deadlock counter = 1613
+        timeout counter  = 9001
+        release counter  = 37015
+        max nest level   = 16
+worker[6][0]
+        obtain counter   = 72469
+        deadlock counter = 2494
+        timeout counter  = 8888
+        release counter  = 72469
+        max nest level   = 17
+worker[6][1]
+        obtain counter   = 56906
+        deadlock counter = 2038
+        timeout counter  = 8995
+        release counter  = 56906
+        max nest level   = 18
+worker[6][2]
+        obtain counter   = 45295
+        deadlock counter = 1825
+        timeout counter  = 8997
+        release counter  = 45295
+        max nest level   = 17
+worker[6][3]
+        obtain counter   = 37125
+        deadlock counter = 1685
+        timeout counter  = 8924
+        release counter  = 37125
+        max nest level   = 20
+worker[7][0]
+        obtain counter   = 72568
+        deadlock counter = 2401
+        timeout counter  = 8908
+        release counter  = 72568
+        max nest level   = 18
+worker[7][1]
+        obtain counter   = 56386
+        deadlock counter = 2031
+        timeout counter  = 8941
+        release counter  = 56386
+        max nest level   = 16
+worker[7][2]
+        obtain counter   = 44724
+        deadlock counter = 1758
+        timeout counter  = 8964
+        release counter  = 44724
+        max nest level   = 15
+worker[7][3]
+        obtain counter   = 36921
+        deadlock counter = 1593
+        timeout counter  = 9012
+        release counter  = 36921
+        max nest level   = 17
+worker[8][0]
+        obtain counter   = 72557
+        deadlock counter = 2417
+        timeout counter  = 8913
+        release counter  = 72557
+        max nest level   = 18
+worker[8][1]
+        obtain counter   = 55802
+        deadlock counter = 1923
+        timeout counter  = 8996
+        release counter  = 55802
+        max nest level   = 15
+worker[8][2]
+        obtain counter   = 45056
+        deadlock counter = 1739
+        timeout counter  = 8987
+        release counter  = 45056
+        max nest level   = 19
+worker[8][3]
+        obtain counter   = 36447
+        deadlock counter = 1504
+        timeout counter  = 8953
+        release counter  = 36447
+        max nest level   = 14
+worker[9][0]
+        obtain counter   = 71687
+        deadlock counter = 2440
+        timeout counter  = 8928
+        release counter  = 71687
+        max nest level   = 21
+worker[9][1]
+        obtain counter   = 55724
+        deadlock counter = 1993
+        timeout counter  = 8990
+        release counter  = 55724
+        max nest level   = 15
+worker[9][2]
+        obtain counter   = 45466
+        deadlock counter = 1759
+        timeout counter  = 8978
+        release counter  = 45466
+        max nest level   = 18
+worker[9][3]
+        obtain counter   = 36047
+        deadlock counter = 1653
+        timeout counter  = 9020
+        release counter  = 36047
+        max nest level   = 16
+worker[10][0]
+        obtain counter   = 71471
+        deadlock counter = 2469
+        timeout counter  = 8967
+        release counter  = 71471
+        max nest level   = 17
+worker[10][1]
+        obtain counter   = 55790
+        deadlock counter = 1935
+        timeout counter  = 8983
+        release counter  = 55790
+        max nest level   = 18
+worker[10][2]
+        obtain counter   = 44360
+        deadlock counter = 1730
+        timeout counter  = 8997
+        release counter  = 44360
+        max nest level   = 17
+worker[10][3]
+        obtain counter   = 37076
+        deadlock counter = 1685
+        timeout counter  = 8940
+        release counter  = 37076
+        max nest level   = 14
+worker[11][0]
+        obtain counter   = 72227
+        deadlock counter = 2461
+        timeout counter  = 8892
+        release counter  = 72227
+        max nest level   = 19
+worker[11][1]
+        obtain counter   = 55759
+        deadlock counter = 2005
+        timeout counter  = 8984
+        release counter  = 55759
+        max nest level   = 19
+worker[11][2]
+        obtain counter   = 44028
+        deadlock counter = 1715
+        timeout counter  = 9034
+        release counter  = 44028
+        max nest level   = 16
+worker[11][3]
+        obtain counter   = 37660
+        deadlock counter = 1668
+        timeout counter  = 8902
+        release counter  = 37660
+        max nest level   = 16
+worker[12][0]
+        obtain counter   = 71641
+        deadlock counter = 2401
+        timeout counter  = 8916
+        release counter  = 71641
+        max nest level   = 21
+worker[12][1]
+        obtain counter   = 55895
+        deadlock counter = 2018
+        timeout counter  = 9036
+        release counter  = 55895
+        max nest level   = 18
+worker[12][2]
+        obtain counter   = 43912
+        deadlock counter = 1704
+        timeout counter  = 9063
+        release counter  = 43912
+        max nest level   = 16
+worker[12][3]
+        obtain counter   = 36770
+        deadlock counter = 1584
+        timeout counter  = 8978
+        release counter  = 36770
+        max nest level   = 15
+worker[13][0]
+        obtain counter   = 72814
+        deadlock counter = 2438
+        timeout counter  = 8870
+        release counter  = 72814
+        max nest level   = 23
+worker[13][1]
+        obtain counter   = 55358
+        deadlock counter = 1935
+        timeout counter  = 8993
+        release counter  = 55358
+        max nest level   = 16
+worker[13][2]
+        obtain counter   = 44325
+        deadlock counter = 1745
+        timeout counter  = 9051
+        release counter  = 44325
+        max nest level   = 16
+worker[13][3]
+        obtain counter   = 36667
+        deadlock counter = 1673
+        timeout counter  = 8967
+        release counter  = 36667
+        max nest level   = 19
+worker[14][0]
+        obtain counter   = 72571
+        deadlock counter = 2355
+        timeout counter  = 8915
+        release counter  = 72571
+        max nest level   = 19
+worker[14][1]
+        obtain counter   = 56524
+        deadlock counter = 2072
+        timeout counter  = 8974
+        release counter  = 56524
+        max nest level   = 18
+worker[14][2]
+        obtain counter   = 44640
+        deadlock counter = 1714
+        timeout counter  = 9031
+        release counter  = 44640
+        max nest level   = 17
+worker[14][3]
+        obtain counter   = 36801
+        deadlock counter = 1678
+        timeout counter  = 8939
+        release counter  = 36801
+        max nest level   = 15
+worker[15][0]
+        obtain counter   = 72194
+        deadlock counter = 2457
+        timeout counter  = 8894
+        release counter  = 72194
+        max nest level   = 17
+worker[15][1]
+        obtain counter   = 56464
+        deadlock counter = 2082
+        timeout counter  = 8926
+        release counter  = 56464
+        max nest level   = 17
+worker[15][2]
+        obtain counter   = 44914
+        deadlock counter = 1751
+        timeout counter  = 8995
+        release counter  = 44914
+        max nest level   = 16
+worker[15][3]
+        obtain counter   = 36738
+        deadlock counter = 1642
+        timeout counter  = 8927
+        release counter  = 36738
+        max nest level   = 14
+worker[16][0]
+        obtain counter   = 72411
+        deadlock counter = 2441
+        timeout counter  = 8942
+        release counter  = 72411
+        max nest level   = 17
+worker[16][1]
+        obtain counter   = 56534
+        deadlock counter = 1984
+        timeout counter  = 9003
+        release counter  = 56534
+        max nest level   = 21
+worker[16][2]
+        obtain counter   = 44506
+        deadlock counter = 1796
+        timeout counter  = 9024
+        release counter  = 44506
+        max nest level   = 20
+worker[16][3]
+        obtain counter   = 36265
+        deadlock counter = 1612
+        timeout counter  = 8951
+        release counter  = 36265
+        max nest level   = 14
+worker[17][0]
+        obtain counter   = 72031
+        deadlock counter = 2436
+        timeout counter  = 8883
+        release counter  = 72031
+        max nest level   = 18
+worker[17][1]
+        obtain counter   = 55833
+        deadlock counter = 2020
+        timeout counter  = 8932
+        release counter  = 55833
+        max nest level   = 19
+worker[17][2]
+        obtain counter   = 44293
+        deadlock counter = 1749
+        timeout counter  = 8991
+        release counter  = 44293
+        max nest level   = 15
+worker[17][3]
+        obtain counter   = 36570
+        deadlock counter = 1629
+        timeout counter  = 8961
+        release counter  = 36570
+        max nest level   = 17
+worker[18][0]
+        obtain counter   = 72279
+        deadlock counter = 2382
+        timeout counter  = 8943
+        release counter  = 72279
+        max nest level   = 21
+worker[18][1]
+        obtain counter   = 56824
+        deadlock counter = 1896
+        timeout counter  = 8969
+        release counter  = 56824
+        max nest level   = 17
+worker[18][2]
+        obtain counter   = 44426
+        deadlock counter = 1799
+        timeout counter  = 8995
+        release counter  = 44426
+        max nest level   = 15
+worker[18][3]
+        obtain counter   = 36913
+        deadlock counter = 1652
+        timeout counter  = 8965
+        release counter  = 36913
+        max nest level   = 15
+worker[19][0]
+        obtain counter   = 72256
+        deadlock counter = 2384
+        timeout counter  = 8871
+        release counter  = 72256
+        max nest level   = 20
+worker[19][1]
+        obtain counter   = 55654
+        deadlock counter = 1955
+        timeout counter  = 9031
+        release counter  = 55654
+        max nest level   = 18
+worker[19][2]
+        obtain counter   = 44389
+        deadlock counter = 1771
+        timeout counter  = 8924
+        release counter  = 44389
+        max nest level   = 15
+worker[19][3]
+        obtain counter   = 36989
+        deadlock counter = 1598
+        timeout counter  = 8986
+        release counter  = 36989
+        max nest level   = 25
+worker[20][0]
+        obtain counter   = 72483
+        deadlock counter = 2442
+        timeout counter  = 8919
+        release counter  = 72483
+        max nest level   = 24
+worker[20][1]
+        obtain counter   = 56443
+        deadlock counter = 2022
+        timeout counter  = 8961
+        release counter  = 56443
+        max nest level   = 16
+worker[20][2]
+        obtain counter   = 44808
+        deadlock counter = 1657
+        timeout counter  = 9014
+        release counter  = 44808
+        max nest level   = 21
+worker[20][3]
+        obtain counter   = 37291
+        deadlock counter = 1677
+        timeout counter  = 8951
+        release counter  = 37291
+        max nest level   = 16
+worker[21][0]
+        obtain counter   = 71273
+        deadlock counter = 2411
+        timeout counter  = 8993
+        release counter  = 71273
+        max nest level   = 19
+worker[21][1]
+        obtain counter   = 54909
+        deadlock counter = 1890
+        timeout counter  = 8962
+        release counter  = 54909
+        max nest level   = 19
+worker[21][2]
+        obtain counter   = 44204
+        deadlock counter = 1679
+        timeout counter  = 9020
+        release counter  = 44204
+        max nest level   = 14
+worker[21][3]
+        obtain counter   = 36518
+        deadlock counter = 1552
+        timeout counter  = 8979
+        release counter  = 36518
+        max nest level   = 16
+worker[22][0]
+        obtain counter   = 72498
+        deadlock counter = 2344
+        timeout counter  = 8896
+        release counter  = 72498
+        max nest level   = 19
+worker[22][1]
+        obtain counter   = 55781
+        deadlock counter = 1906
+        timeout counter  = 8982
+        release counter  = 55781
+        max nest level   = 18
+worker[22][2]
+        obtain counter   = 44470
+        deadlock counter = 1690
+        timeout counter  = 9105
+        release counter  = 44470
+        max nest level   = 16
+worker[22][3]
+        obtain counter   = 36557
+        deadlock counter = 1576
+        timeout counter  = 9007
+        release counter  = 36557
+        max nest level   = 14
+worker[23][0]
+        obtain counter   = 71527
+        deadlock counter = 2297
+        timeout counter  = 8942
+        release counter  = 71527
+        max nest level   = 17
+worker[23][1]
+        obtain counter   = 55507
+        deadlock counter = 1993
+        timeout counter  = 8984
+        release counter  = 55507
+        max nest level   = 18
+worker[23][2]
+        obtain counter   = 44780
+        deadlock counter = 1795
+        timeout counter  = 8999
+        release counter  = 44780
+        max nest level   = 15
+worker[23][3]
+        obtain counter   = 36690
+        deadlock counter = 1639
+        timeout counter  = 8977
+        release counter  = 36690
+        max nest level   = 15
+*** END OF TEST SMPMUTEX 2 ***