[LITMUS^RT] rtspin running 100% or 90% of wcet? -- Sisu

[Glenn Elliott]

Yes.  The 90% thing is out of date.  Use the scale parameter.

-Glenn

On Apr 17, 2013, at 4:58 PM, Sisu Xi <xisisu at gmail.com> wrote:

> Hi, all:
> 
> I was reading the mailing list and found this discussion:
> 
> https://lists.litmus-rt.org/pipermail/litmus-dev/2012/000095.html
> 
> It says rtspin cuts the wcet to 90% of its actual specified wcet.
> 
> Is it the same for the current release?
> 
> I check the code and cannot find where does this 90% coming from.
> 
> It has the "scale" variable, but is set to 1.0
> 
> Thanks very much!
> 
> Sisu
> 
> 
> -- 
> Sisu Xi, PhD Candidate
> 
> http://www.cse.wustl.edu/~xis/
> Department of Computer Science and Engineering
> Campus Box 1045
> Washington University in St. Louis
> One Brookings Drive
> St. Louis, MO 63130
> _______________________________________________
> 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/20130417/05345f8e/attachment.html>