Re: [PATCH 08/16] sched: add period support for -deadline tasks.

[Steven Rostedt]

On Wed, 2012-04-11 at 23:13 +0100, Tommaso Cucinotta wrote:

> For a formal proof, I think you can refer to the Abeni's paper(s):
> 
> -) Integrating Multimedia Applications in Hard Real-Time Systems, RTSS '98
>      www.cis.upenn.edu/~lee/01cis642/papers/AB98.pdf
> 
> which redirects on the Technical Report:
> -) Server Mechanisms for Multimedia Applications
> 
> Hope this helps,

Thanks, I'll read up on it. Honestly, it's been 5 years since I worked
with rate monotonic algorithms. I'm happy to get back into it ;-)

-- Steve


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/