summaryrefslogtreecommitdiffstats
path: root/testsuites/smptests/smplock01/smplock01.scn
blob: b13bab0e45920a0d8fc8bdfd1001cbcfc56371e8 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
*** BEGIN OF TEST SMPLOCK 1 ***
global ticket lock with local counter
        processor 0, local counter 830091
        processor 1, local counter 830090
        processor 2, local counter 830091
        processor 3, local counter 830091
        processor 4, local counter 830091
        processor 5, local counter 830091
        processor 6, local counter 830091
        processor 7, local counter 830091
        processor 8, local counter 830089
        processor 9, local counter 830088
        processor 10, local counter 830090
        processor 11, local counter 830090
        processor 12, local counter 830090
        processor 13, local counter 830092
        processor 14, local counter 830093
        processor 15, local counter 830092
        processor 16, local counter 830092
        processor 17, local counter 830092
        processor 18, local counter 830089
        processor 19, local counter 830092
        processor 20, local counter 830090
        processor 21, local counter 830090
        processor 22, local counter 830090
        processor 23, local counter 830092
        global counter 0, sum of local counter 19922178
global MCS lock with local counter
        processor 0, local counter 1579723
        processor 1, local counter 1580054
        processor 2, local counter 1579890
        processor 3, local counter 1579777
        processor 4, local counter 1579884
        processor 5, local counter 1580005
        processor 6, local counter 1578632
        processor 7, local counter 1578637
        processor 8, local counter 1578774
        processor 9, local counter 1578759
        processor 10, local counter 1580282
        processor 11, local counter 1579885
        processor 12, local counter 1580378
        processor 13, local counter 1580043
        processor 14, local counter 1580115
        processor 15, local counter 1580113
        processor 16, local counter 1579911
        processor 17, local counter 1579993
        processor 18, local counter 1580032
        processor 19, local counter 1579588
        processor 20, local counter 1580049
        processor 21, local counter 1580048
        processor 22, local counter 1578484
        processor 23, local counter 1580013
        global counter 0, sum of local counter 37913069
global ticket lock with global counter
        processor 0, local counter 784729
        processor 1, local counter 784730
        processor 2, local counter 784730
        processor 3, local counter 784730
        processor 4, local counter 784731
        processor 5, local counter 784730
        processor 6, local counter 784731
        processor 7, local counter 784730
        processor 8, local counter 784731
        processor 9, local counter 784729
        processor 10, local counter 784729
        processor 11, local counter 784730
        processor 12, local counter 784731
        processor 13, local counter 784729
        processor 14, local counter 784728
        processor 15, local counter 784730
        processor 16, local counter 784729
        processor 17, local counter 784730
        processor 18, local counter 784730
        processor 19, local counter 784729
        processor 20, local counter 784729
        processor 21, local counter 784729
        processor 22, local counter 784729
        processor 23, local counter 784731
        global counter 18833514, sum of local counter 18833514
global MCS lock with global counter
        processor 0, local counter 947856
        processor 1, local counter 947857
        processor 2, local counter 947857
        processor 3, local counter 947855
        processor 4, local counter 947858
        processor 5, local counter 947857
        processor 6, local counter 947856
        processor 7, local counter 947856
        processor 8, local counter 947856
        processor 9, local counter 947856
        processor 10, local counter 947857
        processor 11, local counter 947856
        processor 12, local counter 947855
        processor 13, local counter 947857
        processor 14, local counter 947857
        processor 15, local counter 947855
        processor 16, local counter 947856
        processor 17, local counter 947855
        processor 18, local counter 947858
        processor 19, local counter 947857
        processor 20, local counter 947858
        processor 21, local counter 947857
        processor 22, local counter 947857
        processor 23, local counter 947857
        global counter 22748556, sum of local counter 22748556
local ticket lock with local counter
        processor 0, local counter 77155869
        processor 1, local counter 77158831
        processor 2, local counter 77081105
        processor 3, local counter 77082737
        processor 4, local counter 77075777
        processor 5, local counter 77076154
        processor 6, local counter 77065268
        processor 7, local counter 77066500
        processor 8, local counter 77106686
        processor 9, local counter 77107321
        processor 10, local counter 77060207
        processor 11, local counter 77062079
        processor 12, local counter 77059638
        processor 13, local counter 77059931
        processor 14, local counter 77056750
        processor 15, local counter 77057813
        processor 16, local counter 76659137
        processor 17, local counter 76659205
        processor 18, local counter 76669140
        processor 19, local counter 76670415
        processor 20, local counter 76674221
        processor 21, local counter 76674630
        processor 22, local counter 76434805
        processor 23, local counter 76434361
        global counter 0, sum of local counter 1846208580
local MCS lock with local counter
        processor 0, local counter 44963740
        processor 1, local counter 45045357
        processor 2, local counter 45023035
        processor 3, local counter 45021994
        processor 4, local counter 44912701
        processor 5, local counter 44951749
        processor 6, local counter 45090697
        processor 7, local counter 45089463
        processor 8, local counter 45015619
        processor 9, local counter 45088716
        processor 10, local counter 45064955
        processor 11, local counter 45063568
        processor 12, local counter 44966963
        processor 13, local counter 45002743
        processor 14, local counter 45127830
        processor 15, local counter 45126512
        processor 16, local counter 44947194
        processor 17, local counter 44992882
        processor 18, local counter 45006760
        processor 19, local counter 45005553
        processor 20, local counter 44880447
        processor 21, local counter 44889042
        processor 22, local counter 45036454
        processor 23, local counter 45036288
        global counter 0, sum of local counter 1080350262
local ticket lock with global counter
        processor 0, local counter 3962116
        processor 1, local counter 3963441
        processor 2, local counter 3963482
        processor 3, local counter 3963367
        processor 4, local counter 3962978
        processor 5, local counter 3963102
        processor 6, local counter 3962979
        processor 7, local counter 3962911
        processor 8, local counter 3962974
        processor 9, local counter 3963125
        processor 10, local counter 3963056
        processor 11, local counter 3963093
        processor 12, local counter 3962996
        processor 13, local counter 3963100
        processor 14, local counter 3963096
        processor 15, local counter 3963028
        processor 16, local counter 3967076
        processor 17, local counter 3967251
        processor 18, local counter 3967222
        processor 19, local counter 3967093
        processor 20, local counter 3972862
        processor 21, local counter 3972917
        processor 22, local counter 3967217
        processor 23, local counter 3967220
        global counter 7095791, sum of local counter 95157702
local MCS lock with global counter
        processor 0, local counter 3849478
        processor 1, local counter 3860113
        processor 2, local counter 3966891
        processor 3, local counter 3966750
        processor 4, local counter 3973618
        processor 5, local counter 4014013
        processor 6, local counter 3914674
        processor 7, local counter 3914601
        processor 8, local counter 3910536
        processor 9, local counter 3924908
        processor 10, local counter 3995362
        processor 11, local counter 3995130
        processor 12, local counter 3909912
        processor 13, local counter 3923977
        processor 14, local counter 3995941
        processor 15, local counter 3995667
        processor 16, local counter 3842753
        processor 17, local counter 3852728
        processor 18, local counter 3956029
        processor 19, local counter 3955977
        processor 20, local counter 3961870
        processor 21, local counter 4001067
        processor 22, local counter 3911767
        processor 23, local counter 3911724
        global counter 8503087, sum of local counter 94505486
global ticket lock with busy section
        processor 0, local counter 614377
        processor 1, local counter 614376
        processor 2, local counter 614377
        processor 3, local counter 614377
        processor 4, local counter 614377
        processor 5, local counter 614378
        processor 6, local counter 614377
        processor 7, local counter 614377
        processor 8, local counter 614377
        processor 9, local counter 614376
        processor 10, local counter 614378
        processor 11, local counter 614377
        processor 12, local counter 614377
        processor 13, local counter 614377
        processor 14, local counter 614377
        processor 15, local counter 614376
        processor 16, local counter 614377
        processor 17, local counter 614377
        processor 18, local counter 614377
        processor 19, local counter 614378
        processor 20, local counter 614378
        processor 21, local counter 614377
        processor 22, local counter 614377
        processor 23, local counter 614377
        global counter 0, sum of local counter 14745049
global MCS lock with busy section
        processor 0, local counter 552660
        processor 1, local counter 552661
        processor 2, local counter 552659
        processor 3, local counter 552659
        processor 4, local counter 552660
        processor 5, local counter 552659
        processor 6, local counter 552659
        processor 7, local counter 552660
        processor 8, local counter 552660
        processor 9, local counter 552660
        processor 10, local counter 552660
        processor 11, local counter 552659
        processor 12, local counter 552660
        processor 13, local counter 552659
        processor 14, local counter 552660
        processor 15, local counter 552661
        processor 16, local counter 552660
        processor 17, local counter 552659
        processor 18, local counter 552660
        processor 19, local counter 552661
        processor 20, local counter 552660
        processor 21, local counter 552661
        processor 22, local counter 552660
        processor 23, local counter 552661
        global counter 0, sum of local counter 13263838
sequence lock
        processor 0, local counter 12138641
        processor 1, local counter 8
        processor 2, local counter 64
        processor 3, local counter 89
        processor 4, local counter 208
        processor 5, local counter 227
        processor 6, local counter 69
        processor 7, local counter 82
        processor 8, local counter 2019
        processor 9, local counter 2017
        processor 10, local counter 1914
        processor 11, local counter 2008
        processor 12, local counter 1890
        processor 13, local counter 1902
        processor 14, local counter 1734
        processor 15, local counter 1701
        processor 16, local counter 2198
        processor 17, local counter 2176
        processor 18, local counter 2011
        processor 19, local counter 2047
        processor 20, local counter 2072
        processor 21, local counter 2084
        processor 22, local counter 1866
        processor 23, local counter 1849
        global counter 0, sum of local counter 12170876
*** END OF TEST SMPLOCK 1 ***