[LITMUS^RT] running a task as its execution time

Mon Apr 30 16:11:53 CEST 2012

Dear Bjorn,

I am getting successive kernel panics at the same litmus/budget.c line 65
using GSN-EDF scheduler. The application code (test.c) and the task sets
are attached. You can run ./test 125 125_tasks_litmus.txt for 125 tasks or
150 150_tasks_litmus.txt for 150 tasks.

The processor is an intel i7-2600 with 4 cores and 2 threads per core.

Giovani

On Thu, Apr 26, 2012 at 2:22 AM, Björn Brandenburg <bbb at mpi-sws.org> wrote:

>
> On Apr 25, 2012, at 10:05 PM, Giovani Gracioli wrote:
>
> >
> > Thank you for your answer. If I change the scheduler to PFAIR, for
> example, the task is able to run correctly. If I change to
> PRECISE_ENFORCEMENT there is a kernel panic at litmus/bugdet.c line 65
> (using GSN-EDF scheduler), because the elapsed time was greater the WCET.
>
> Giovani, thanks for reporting this. The kernel should certainly not panic;
> this is bug that we need to investigate.
>
> >
> > I will try just to use PRECISE_ENFORCEMENT without setting the wcet in
> the application.
> >
>
> PRECISE_ENFORCEMENT arms a timer to fire when the WCET (budget) would be
> exceeded. You need to specify a WCET for this to work.
>
> - Björn
>
>
> _______________________________________________
> litmus-dev mailing list
> litmus-dev at lists.litmus-rt.org
> https://lists.litmus-rt.org/listinfo/litmus-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.litmus-rt.org/pipermail/litmus-dev/attachments/20120430/38856f4d/attachment.html>
-------------- next part --------------
31000 31000 1124
21000 21000 1590
8000 8000 308
16000 16000 27
18000 18000 838
29000 29000 2662
29000 29000 2422
29000 29000 327
11000 11000 1072
5000 5000 74
23000 23000 892
17000 17000 18
20000 20000 780
13000 13000 497
12000 12000 413
4000 4000 313
6000 6000 134
19000 19000 57
32000 32000 2456
12000 12000 88
18000 18000 1634
6000 6000 529
3000 3000 202
13000 13000 305
4000 4000 119
8000 8000 120
28000 28000 1424
17000 17000 663
26000 26000 2211
32000 32000 2315
9000 9000 722
18000 18000 28
17000 17000 1136
9000 9000 223
3000 3000 18
4000 4000 96
3000 3000 142
20000 20000 432
19000 19000 1665
14000 14000 156
13000 13000 909
7000 7000 30
22000 22000 1484
9000 9000 589
19000 19000 485
22000 22000 856
25000 25000 791
15000 15000 190
24000 24000 2294
12000 12000 485
15000 15000 345
32000 32000 34
22000 22000 1995
6000 6000 501
8000 8000 36
29000 29000 1182
5000 5000 26
16000 16000 1488
29000 29000 2528
7000 7000 260
25000 25000 1267
30000 30000 566
13000 13000 162
13000 13000 671
5000 5000 392
8000 8000 468
20000 20000 1247
12000 12000 178
15000 15000 997
27000 27000 1838
31000 31000 1853
24000 24000 2069
9000 9000 327
29000 29000 352
30000 30000 1936
31000 31000 1377
27000 27000 159
26000 26000 1433
13000 13000 1196
30000 30000 2102
32000 32000 1189
15000 15000 776
12000 12000 523
14000 14000 589
9000 9000 70
12000 12000 314
16000 16000 659
29000 29000 1080
15000 15000 957
5000 5000 156
12000 12000 220
8000 8000 780
4000 4000 138
14000 14000 110
21000 21000 917
14000 14000 502
8000 8000 167
6000 6000 12
18000 18000 195
19000 19000 529
19000 19000 219
24000 24000 1980
31000 31000 1671
18000 18000 919
18000 18000 403
29000 29000 471
3000 3000 299
21000 21000 2005
12000 12000 1072
31000 31000 1831
22000 22000 1362
29000 29000 1045
4000 4000 353
22000 22000 1655
27000 27000 1337
28000 28000 2751
31000 31000 69
23000 23000 2180
7000 7000 570
14000 14000 630
11000 11000 341
18000 18000 594
29000 29000 2599
7000 7000 616
17000 17000 1112
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.c
Type: text/x-csrc
Size: 5742 bytes
Desc: not available
URL: <http://lists.litmus-rt.org/pipermail/litmus-dev/attachments/20120430/38856f4d/attachment.c>
-------------- next part --------------
19000 19000 199
10000 10000 992
24000 24000 1210
11000 11000 716
25000 25000 271
19000 19000 380
28000 28000 668
9000 9000 248
19000 19000 655
11000 11000 250
20000 20000 1438
3000 3000 294
32000 32000 448
32000 32000 446
26000 26000 1181
3000 3000 7
29000 29000 2125
20000 20000 373
32000 32000 1886
24000 24000 233
13000 13000 850
19000 19000 166
18000 18000 1454
16000 16000 1451
16000 16000 620
32000 32000 881
22000 22000 332
16000 16000 90
7000 7000 393
5000 5000 387
13000 13000 928
12000 12000 1057
3000 3000 165
24000 24000 620
22000 22000 950
21000 21000 377
14000 14000 707
17000 17000 579
16000 16000 727
16000 16000 1117
24000 24000 1325
16000 16000 1125
5000 5000 257
11000 11000 168
16000 16000 1010
13000 13000 35
27000 27000 341
5000 5000 304
25000 25000 269
4000 4000 143
25000 25000 757
3000 3000 77
15000 15000 416
15000 15000 688
31000 31000 1137
6000 6000 527
22000 22000 1532
16000 16000 269
23000 23000 550
15000 15000 771
20000 20000 963
29000 29000 209
7000 7000 287
19000 19000 349
20000 20000 520
27000 27000 2227
23000 23000 1311
24000 24000 923
28000 28000 1482
15000 15000 1291
29000 29000 369
24000 24000 938
5000 5000 324
22000 22000 308
5000 5000 331
6000 6000 251
18000 18000 374
8000 8000 527
25000 25000 1696
6000 6000 306
14000 14000 673
18000 18000 429
28000 28000 270
11000 11000 835
14000 14000 553
12000 12000 816
27000 27000 116
31000 31000 1630
16000 16000 75
3000 3000 201
25000 25000 1733
5000 5000 220
3000 3000 148
29000 29000 805
22000 22000 1242
30000 30000 1361
26000 26000 2002
9000 9000 705
27000 27000 1703
31000 31000 2354
26000 26000 1455
29000 29000 553
20000 20000 67
28000 28000 1873
31000 31000 287
32000 32000 57
22000 22000 2126
18000 18000 703
26000 26000 2405
5000 5000 441
14000 14000 196
24000 24000 2129
31000 31000 3016
32000 32000 1787
18000 18000 755
7000 7000 394
23000 23000 885
20000 20000 1658
27000 27000 1207
26000 26000 173
26000 26000 794
16000 16000 1021
20000 20000 1354
25000 25000 1536
26000 26000 602
25000 25000 1464
27000 27000 847
23000 23000 1750
5000 5000 396
23000 23000 245
26000 26000 891
19000 19000 1278
20000 20000 516
6000 6000 477
9000 9000 709
25000 25000 1663
23000 23000 1632
27000 27000 2654
8000 8000 297
30000 30000 358
27000 27000 1608
16000 16000 85
9000 9000 80
20000 20000 360
28000 28000 2146
4000 4000 15
12000 12000 54
6000 6000 461
14000 14000 1349
12000 12000 995