<div dir="ltr">If you use budget enforcement, then yes, that is a reasonable number for preventing WCET overruns. .98 would probably work as well. Without budget enforcement, I wouldn't worry about specifying a scale. Leave it at 1.0 as your jobs will be off by <2%.
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Apr 17, 2013 at 5:07 PM, Sisu Xi <span dir="ltr"><<a href="mailto:xisisu@gmail.com" target="_blank">xisisu@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div dir="ltr">HI, Glenn:<div><br></div><div>Thanks for your reply.</div><div><br></div><div>If the scale is set to 1.0, which means all the overhead is *not* counted.</div><div><br></div><div>Usually what's the value for the scale parameter as a reasonable setting on a standard intel 64bit platform? 0.95?</div>


<div><br></div><div>Thanks.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Sisu</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">

On Wed, Apr 17, 2013 at 4:04 PM, Glenn Elliott <span dir="ltr"><<a href="mailto:gelliott@cs.unc.edu" target="_blank">gelliott@cs.unc.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>Yes.  The 90% thing is out of date.  Use the scale parameter.</div><div><br></div><div>-Glenn</div>


<div><div><div><br>On Apr 17, 2013, at 4:58 PM, Sisu Xi <<a href="mailto:xisisu@gmail.com" target="_blank">xisisu@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">Hi, all:<div>
<br></div><div>I was reading the mailing list and found this discussion:</div><div><br></div><div><a href="https://lists.litmus-rt.org/pipermail/litmus-dev/2012/000095.html" target="_blank">https://lists.litmus-rt.org/pipermail/litmus-dev/2012/000095.html</a><br>



</div><div><br></div><div>It says rtspin cuts the wcet to 90% of its actual specified wcet.</div><div><br></div><div>Is it the same for the current release?</div><div><br></div><div>I check the code and cannot find where does this 90% coming from.</div>



<div><br></div><div>It has the "scale" variable, but is set to 1.0</div><div><br></div><div>Thanks very much!</div><div><br></div><div>Sisu</div><div><br clear="all"><div><br></div>
-- <br>Sisu Xi, PhD Candidate<br><br><a href="http://www.cse.wustl.edu/~xis/" target="_blank">http://www.cse.wustl.edu/~xis/</a><br>Department of Computer Science and Engineering<br>Campus Box 1045<br>Washington University in St. Louis<br>



One Brookings Drive<br>St. Louis, MO 63130
</div></div>
</div></blockquote></div></div><blockquote type="cite"><div><span>_______________________________________________</span><br><span>litmus-dev mailing list</span><br><span><a href="mailto:litmus-dev@lists.litmus-rt.org" target="_blank">litmus-dev@lists.litmus-rt.org</a></span><br>


<span><a href="https://lists.litmus-rt.org/listinfo/litmus-dev" target="_blank">https://lists.litmus-rt.org/listinfo/litmus-dev</a></span><br></div></blockquote></div><br>_______________________________________________<br>



litmus-dev mailing list<br>
<a href="mailto:litmus-dev@lists.litmus-rt.org" target="_blank">litmus-dev@lists.litmus-rt.org</a><br>
<a href="https://lists.litmus-rt.org/listinfo/litmus-dev" target="_blank">https://lists.litmus-rt.org/listinfo/litmus-dev</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Sisu Xi, PhD Candidate<br><br><a href="http://www.cse.wustl.edu/~xis/" target="_blank">http://www.cse.wustl.edu/~xis/</a><br>Department of Computer Science and Engineering<br>


Campus Box 1045<br>Washington University in St. Louis<br>One Brookings Drive<br>St. Louis, MO 63130
</div>
</div></div><br>_______________________________________________<br>
litmus-dev mailing list<br>
<a href="mailto:litmus-dev@lists.litmus-rt.org">litmus-dev@lists.litmus-rt.org</a><br>
<a href="https://lists.litmus-rt.org/listinfo/litmus-dev" target="_blank">https://lists.litmus-rt.org/listinfo/litmus-dev</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Jonathan Herman<br>Department of Computer Science at UNC Chapel Hill
</div>