Skip to content

Commit 0ac5bcd

Browse files
seL4-ciseL4-ci
committed
CI: update performance results
Signed-off-by: seL4 CI <ci@sel4.systems>
1 parent bf13498 commit 0ac5bcd

File tree

1 file changed

+146
-66
lines changed

1 file changed

+146
-66
lines changed

‎_data/benchmarks.json‎

Lines changed: 146 additions & 66 deletions
Original file line numberDiff line numberDiff line change
@@ -66,21 +66,29 @@
6666
"clock": "1.0 GHz",
6767
"compiler": "arm-linux-gnueabi-gcc GNU 10.2.1",
6868
"irq": [
69-
617,
70-
15
69+
739,
70+
19
7171
],
7272
"call": [
7373
333,
7474
2
7575
],
7676
"reply": [
77-
358,
77+
359,
7878
1
7979
],
8080
"notify": [
8181
995,
8282
10
8383
],
84+
"call_fpu": [
85+
453,
86+
3
87+
],
88+
"reply_fpu": [
89+
468,
90+
1
91+
],
8492
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DAARCH32=TRUE -DPLATFORM=sabre"
8593
},
8694
{
@@ -92,20 +100,28 @@
92100
"clock": "3.4 GHz",
93101
"compiler": "gcc GNU 10.2.1",
94102
"irq": [
95-
1753,
96-
50
103+
1703,
104+
49
97105
],
98106
"call": [
99-
780,
100-
10
107+
777,
108+
11
101109
],
102110
"reply": [
103-
652,
111+
654,
104112
4
105113
],
106114
"notify": [
107115
1610,
108-
16
116+
14
117+
],
118+
"call_fpu": [
119+
820,
120+
9
121+
],
122+
"reply_fpu": [
123+
832,
124+
14
109125
],
110126
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DPLATFORM=x86_64"
111127
},
@@ -119,20 +135,28 @@
119135
"clock": "3.4 GHz",
120136
"compiler": "gcc GNU 10.2.1",
121137
"irq": [
122-
1509,
123-
58
138+
1647,
139+
60
124140
],
125141
"call": [
126-
723,
142+
720,
127143
29
128144
],
129145
"reply": [
130-
581,
131-
3
146+
578,
147+
2
132148
],
133149
"notify": [
134-
1012,
135-
5
150+
1029,
151+
10
152+
],
153+
"call_fpu": [
154+
786,
155+
3
156+
],
157+
"reply_fpu": [
158+
813,
159+
3
136160
],
137161
"build_command": "init-build.sh -DKernelSkimWindow=FALSE -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DPLATFORM=x86_64"
138162
},
@@ -145,21 +169,29 @@
145169
"clock": "1.9 GHz",
146170
"compiler": "aarch64-linux-gnu-gcc GNU 10.2.1",
147171
"irq": [
148-
706,
149-
2
172+
852,
173+
3
150174
],
151175
"call": [
152-
443,
176+
416,
153177
0
154178
],
155179
"reply": [
156-
453,
180+
424,
157181
0
158182
],
159183
"notify": [
160-
1104,
184+
1038,
161185
9
162186
],
187+
"call_fpu": [
188+
589,
189+
0
190+
],
191+
"reply_fpu": [
192+
597,
193+
0
194+
],
163195
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DAARCH64=TRUE -DPLATFORM=tx1"
164196
},
165197
{
@@ -171,20 +203,28 @@
171203
"clock": "1.5 GHz",
172204
"compiler": "riscv64-unknown-elf-gcc GNU 8.3.0",
173205
"irq": [
174-
1026,
175-
52
206+
1126,
207+
108
176208
],
177209
"call": [
178-
673,
179-
23
210+
692,
211+
97
180212
],
181213
"reply": [
182-
792,
183-
147
214+
720,
215+
77
184216
],
185217
"notify": [
186-
1653,
187-
85
218+
1656,
219+
87
220+
],
221+
"call_fpu": [
222+
768,
223+
21
224+
],
225+
"reply_fpu": [
226+
815,
227+
84
188228
],
189229
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=FALSE -DFAULT=FALSE -DRISCV64=TRUE -DPLATFORM=hifive"
190230
}
@@ -199,20 +239,28 @@
199239
"clock": "1.0 GHz",
200240
"compiler": "arm-linux-gnueabi-gcc GNU 10.2.1",
201241
"irq": [
202-
875,
203-
17
242+
995,
243+
18
204244
],
205245
"call": [
206-
349,
246+
350,
207247
7
208248
],
209249
"reply": [
210-
380,
211-
4
250+
382,
251+
7
212252
],
213253
"notify": [
214-
1340,
215-
17
254+
1330,
255+
19
256+
],
257+
"call_fpu": [
258+
464,
259+
9
260+
],
261+
"reply_fpu": [
262+
490,
263+
5
216264
],
217265
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DAARCH32=TRUE -DPLATFORM=sabre -DMCS=TRUE"
218266
},
@@ -225,21 +273,29 @@
225273
"clock": "3.4 GHz",
226274
"compiler": "gcc GNU 10.2.1",
227275
"irq": [
228-
2055,
229-
47
276+
2036,
277+
52
230278
],
231279
"call": [
232-
807,
233-
22
280+
806,
281+
19
234282
],
235283
"reply": [
236-
668,
237-
14
284+
672,
285+
18
238286
],
239287
"notify": [
240-
1761,
288+
1818,
241289
15
242290
],
291+
"call_fpu": [
292+
836,
293+
16
294+
],
295+
"reply_fpu": [
296+
851,
297+
13
298+
],
243299
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DPLATFORM=x86_64 -DMCS=TRUE"
244300
},
245301
{
@@ -252,20 +308,28 @@
252308
"clock": "3.4 GHz",
253309
"compiler": "gcc GNU 10.2.1",
254310
"irq": [
255-
1735,
256-
64
311+
1981,
312+
66
257313
],
258314
"call": [
259-
751,
260-
35
315+
747,
316+
33
261317
],
262318
"reply": [
263-
646,
264-
4
319+
645,
320+
2
265321
],
266322
"notify": [
267-
1334,
268-
10
323+
1327,
324+
11
325+
],
326+
"call_fpu": [
327+
812,
328+
3
329+
],
330+
"reply_fpu": [
331+
880,
332+
3
269333
],
270334
"build_command": "init-build.sh -DKernelSkimWindow=FALSE -DMCS=TRUE -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DPLATFORM=x86_64"
271335
},
@@ -278,20 +342,28 @@
278342
"clock": "1.9 GHz",
279343
"compiler": "aarch64-linux-gnu-gcc GNU 10.2.1",
280344
"irq": [
281-
925,
282-
67
345+
993,
346+
3
283347
],
284348
"call": [
285-
456,
349+
429,
286350
0
287351
],
288352
"reply": [
289-
468,
353+
443,
290354
0
291355
],
292356
"notify": [
293-
1280,
294-
6
357+
1230,
358+
3
359+
],
360+
"call_fpu": [
361+
604,
362+
0
363+
],
364+
"reply_fpu": [
365+
625,
366+
0
295367
],
296368
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=TRUE -DFAULT=TRUE -DAARCH64=TRUE -DPLATFORM=tx1 -DMCS=TRUE"
297369
},
@@ -304,24 +376,32 @@
304376
"clock": "1.5 GHz",
305377
"compiler": "riscv64-unknown-elf-gcc GNU 8.3.0",
306378
"irq": [
307-
3406,
308-
143
379+
3591,
380+
180
309381
],
310382
"call": [
311-
602,
312-
67
383+
584,
384+
70
313385
],
314386
"reply": [
315-
598,
316-
16
387+
618,
388+
72
317389
],
318390
"notify": [
319-
4641,
320-
164
391+
4629,
392+
161
393+
],
394+
"call_fpu": [
395+
744,
396+
33
397+
],
398+
"reply_fpu": [
399+
798,
400+
155
321401
],
322402
"build_command": "init-build.sh -DFASTPATH=TRUE -DHARDWARE=FALSE -DFAULT=FALSE -DRISCV64=TRUE -DPLATFORM=hifive -DMCS=TRUE"
323403
}
324404
]
325405
},
326-
"sha": "2c52d38c"
406+
"sha": "5ce9ec7c"
327407
}

0 commit comments

Comments
 (0)