lkml.org 
[lkml]   [2012]   [Apr]   [11]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [PATCH 08/16] sched: add period support for -deadline tasks.
From
Date
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




\
 
 \ /
  Last update: 2012-04-12 02:21    [W:0.138 / U:4.444 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site