<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:#954F72;
        text-decoration:underline;}
span.EmailStyle17
        {mso-style-type:personal-compose;
        font-family:"Arial",sans-serif;
        color:windowtext;
        font-weight:normal;
        font-style:normal;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri",sans-serif;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">Dear all,
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">I am running the following experiment on top of my RPi3:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">                        Core     WCET  Period<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">                                    (ms)     (ms)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task1       0          0.2      1<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task2        0          0.15     2<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task3       0          0.25     5<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task4        0          2.7      10<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task5       0          2.35     20<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task6       0          0.6       50<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task7       0          2.15      100<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">        Task8        0          0.1       200<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif">They are scheduled according to the Rate Monotonic scheduling policy. However, when I check the results by means of  “st-job-stats *.bin”, I see that there are many jobs of the
 1 ms task that are skipped even though it has the highest priority in the system. The same thing happens with the other tasks. What could be the reason?
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"># Task,   Job,     Period,   Response, DL Miss?,   Lateness,  Tardiness, Forced?, Exec. Time,  Preemptions,   Migrations,     Release time,  Completion time<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"># task NAME=rtspin PID=855 COST=200000 PERIOD=1000000 CPU=101<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     1,    1000000,      67448,        0,    -932552,          0,       0,      49219,            1,            0,    7589413224339,    7589413291787<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     2,    1000000, 1762439849,        1, 1761439849, 1761439849,       0,     238176,            1,            0,    7590238816958,    7592001256807<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     1,    1000000,     460300,        0,    -539700,          0,       0,     386303,            0,            0,    7592000000000,    7592000460300<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     2,    1000000,     256807,        0,    -743193,          0,       0,     238176,            0,            0,    7592001000000,    7592001256807<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     3,    1000000,     255709,        0,    -744291,          0,       0,     218645,            0,            0,    7592002000000,    7592002255709<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     4,    1000000,     249924,        0,    -750076,          0,       0,     223490,            0,            0,    7592003000000,    7592003249924<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     5,    1000000,     273879,        0,    -726121,          0,       0,     229115,            0,            0,    7592004000000,    7592004273879<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     6,    1000000,     257885,        0,    -742115,          0,       0,     213853,            0,            0,    7592005000000,    7592005257885<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     7,    1000000,     249079,        0,    -750921,          0,       0,     199531,            0,            0,    7592006000000,    7592006249079<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     8,    1000000,     229909,        0,    -770091,          0,       0,     219271,            0,            0,    7592007000000,    7592007229909<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,     9,    1000000,     244852,        0,    -755148,          0,       0,     209636,            0,            0,    7592008000000,    7592008244852<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    10,    1000000,     243598,        0,    -756402,          0,       0,     220468,            0,            0,    7592009000000,    7592009243598<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    11,    1000000,     267709,        0,    -732291,          0,       0,     218907,            0,            0,    7592010000000,    7592010267709<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    12,    1000000,     241507,        0,    -758493,          0,       0,     206615,            0,            0,    7592011000000,    7592011241507<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    13,    1000000,     198170,        0,    -801830,          0,       0,     155104,            0,            0,    7592012000000,    7592012198170<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    14,    1000000,     229104,        0,    -770896,          0,       0,     205678,            0,            0,    7592013000000,    7592013229104<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    15,    1000000,     254985,        0,    -745015,          0,       0,     228490,            0,            0,    7592014000000,    7592014254985<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    16,    1000000,     249408,        0,    -750592,          0,       0,     211979,            0,            0,    7592015000000,    7592015249408<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    17,    1000000,     260967,        0,    -739033,          0,       0,     222969,            0,            0,    7592016000000,    7592016260967<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    18,    1000000,     243411,        0,    -756589,          0,       0,     210208,            0,            0,    7592017000000,    7592017243411<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    19,    1000000,     285959,        0,    -714041,          0,       0,     240365,            0,            0,    7592018000000,    7592018285959<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    20,    1000000,     272205,        0,    -727795,          0,       0,     234739,            0,            0,    7592019000000,    7592019272205<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    21,    1000000,     379804,        0,    -620196,          0,       0,     273647,            0,            0,    7592020000000,    7592020379804<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    43,    1000000,     262634,        0,    -737366,          0,       0,     220314,            0,            0,    7592042000000,    7592042262634<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    44,    1000000,     220964,        0,    -779036,          0,       0,     203072,            0,            0,    7592043000000,    7592043220964<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    45,    1000000,     190856,        0,    -809144,          0,       0,     148437,            0,            0,    7592044000000,    7592044190856<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    46,    1000000,     250904,        0,    -749096,          0,       0,     212136,            0,            0,    7592045000000,    7592045250904<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    47,    1000000,     249233,        0,    -750767,          0,       0,     218021,            0,            0,    7592046000000,    7592046249233<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    48,    1000000,     245375,        0,    -754625,          0,       0,     210156,            0,            0,    7592047000000,    7592047245375<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    49,    1000000,     272507,        0,    -727493,          0,       0,     235626,            0,            0,    7592048000000,    7592048272507<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    50,    1000000,     272294,        0,    -727706,          0,       0,     234948,            0,            0,    7592049000000,    7592049272294<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    51,    1000000,     313592,        0,    -686408,          0,       0,     235625,            0,            0,    7592050000000,    7592050313592<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    52,    1000000,     242234,        0,    -757766,          0,       0,     208802,            0,            0,    7592051000000,    7592051242234<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    53,    1000000,     190251,        0,    -809749,          0,       0,     160209,            0,            0,    7592052000000,    7592052190251<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    54,    1000000,     244935,        0,    -755065,          0,       0,     209114,            0,            0,    7592053000000,    7592053244935<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    55,    1000000,     255347,        0,    -744653,          0,       0,     232969,            0,            0,    7592054000000,    7592054255347<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    56,    1000000,     256125,        0,    -743875,          0,       0,     219895,            0,            0,    7592055000000,    7592055256125<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    57,    1000000,     276902,        0,    -723098,          0,       0,     228334,            0,            0,    7592056000000,    7592056276902<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    58,    1000000,     267367,        0,    -732633,          0,       0,     232551,            0,            0,    7592057000000,    7592057267367<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    59,    1000000,     279707,        0,    -720293,          0,       0,     232604,            0,            0,    7592058000000,    7592058279707<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    60,    1000000,     271369,        0,    -728631,          0,       0,     231302,            0,            0,    7592059000000,    7592059271369<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    61,    1000000,     399854,        0,    -600146,          0,       0,     279062,            0,            0,    7592060000000,    7592060399854<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    62,    1000000,     226882,        0,    -773118,          0,       0,     208073,            0,            0,    7592061000000,    7592061226882<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    63,    1000000,     252399,        0,    -747601,          0,       0,     234010,            0,            0,    7592062000000,    7592062252399<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    64,    1000000,     244010,        0,    -755990,          0,       0,     210000,            0,            0,    7592063000000,    7592063244010<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    65,    1000000,     247652,        0,    -752348,          0,       0,     213645,            0,            0,    7592064000000,    7592064247652<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    95,    1000000,     264460,        0,    -735540,          0,       0,     233334,            0,            0,    7592094000000,    7592094264460<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    96,    1000000,     272894,        0,    -727106,          0,       0,     225260,            0,            0,    7592095000000,    7592095272894<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    97,    1000000,     271275,        0,    -728725,          0,       0,     223645,            0,            0,    7592096000000,    7592096271275<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    98,    1000000,     267573,        0,    -732427,          0,       0,     228177,            0,            0,    7592097000000,    7592097267573<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,    99,    1000000,     285694,        0,    -714306,          0,       0,     236614,            0,            0,    7592098000000,    7592098285694<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">   855,   100,    1000000,     263711,        0,    -736289,          0,       0,     227762,            0,            0,    7592099000000,    7592099263711
</span><o:p></o:p></p>
</div>
</body>
</html>