Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Ingo Molnar
* Henrik Austad wrote: > On Thu, Apr 09, 2015 at 12:11:25PM +0200, Peter Zijlstra wrote: > > On Thu, Apr 09, 2015 at 12:08:36PM +0200, Luca Abeni wrote: > > > On 04/09/2015 11:44 AM, Peter Zijlstra wrote: > > > >On Thu, Apr 09, 2015 at 11:39:08AM +0200, Henrik Austad wrote: > > > >>>+ CPUs, with

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Henrik Austad
On Thu, Apr 09, 2015 at 12:05:54PM +0200, Luca Abeni wrote: > Hi Henrik, > [..] > >>+ where U_max = max_i {WCET_i / P_i}[10]. Notice that for U_max = 1, > >>+ M - (M - 1) ยท U_max becomes M - M + 1 = 1 and this schedulability > >>condition > >>+ just confirms the Dhall's effect. A more complete su

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Henrik Austad
On Thu, Apr 09, 2015 at 12:11:25PM +0200, Peter Zijlstra wrote: > On Thu, Apr 09, 2015 at 12:08:36PM +0200, Luca Abeni wrote: > > On 04/09/2015 11:44 AM, Peter Zijlstra wrote: > > >On Thu, Apr 09, 2015 at 11:39:08AM +0200, Henrik Austad wrote: > > >>>+ CPUs, with the first M - 1 tasks having a smal

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Peter Zijlstra
On Thu, Apr 09, 2015 at 12:08:36PM +0200, Luca Abeni wrote: > On 04/09/2015 11:44 AM, Peter Zijlstra wrote: > >On Thu, Apr 09, 2015 at 11:39:08AM +0200, Henrik Austad wrote: > >>>+ CPUs, with the first M - 1 tasks having a small worst case execution time > >>>+ WCET_i=e and period equal to relative

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Luca Abeni
On 04/09/2015 11:44 AM, Peter Zijlstra wrote: On Thu, Apr 09, 2015 at 11:39:08AM +0200, Henrik Austad wrote: + CPUs, with the first M - 1 tasks having a small worst case execution time + WCET_i=e and period equal to relative deadline P_i=D_i=P-1. The last task Normally, 'e' is used to denote a

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Luca Abeni
Hi Henrik, On 04/09/2015 11:39 AM, Henrik Austad wrote: [...] - SCHED_DEADLINE can be used to schedule real-time tasks guaranteeing that - the jobs' deadlines of a task are respected. In order to do this, a task - must be scheduled by setting: + utilisations or densities: it can be shown that ev

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Peter Zijlstra
On Thu, Apr 09, 2015 at 11:39:08AM +0200, Henrik Austad wrote: > > + CPUs, with the first M - 1 tasks having a small worst case execution time > > + WCET_i=e and period equal to relative deadline P_i=D_i=P-1. The last task > > Normally, 'e' is used to denote an _arbitrarily_ small value, and I sus

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Henrik Austad
On Wed, Apr 08, 2015 at 01:59:40PM +0200, Luca Abeni wrote: > Add a description of the Dhall's effect, some discussion about > schedulability tests for global EDF, and references to real-time literature, > --- > Documentation/scheduler/sched-deadline.txt | 81 > > 1

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Luca Abeni
Hi Juri, thanks for the review! I am fixing these issues locally. Thanks, Luca On 04/09/2015 10:24 AM, Juri Lelli wrote: On 08/04/15 12:59, Luca Abeni wrote: Add a description of the Dhall's effect, some discussion about schedulability

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-09 Thread Juri Lelli
On 08/04/15 12:59, Luca Abeni wrote: > Add a description of the Dhall's effect, some discussion about > schedulability tests for global EDF, and references to real-time literature, > --- > Documentation/scheduler/sched-deadline.txt | 81 > > 1 file changed, 71 inser

Re: [RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-08 Thread Peter Zijlstra
On Wed, Apr 08, 2015 at 01:59:40PM +0200, Luca Abeni wrote: > + As seen, enforcing that the total utilisation is smaller than M does not > + guarantee that global EDF schedules the tasks without missing any deadline > + (in other words, global EDF is not an optimal scheduling algorithm). > However

[RFC 4/4] Documentation/scheduler/sched-deadline.txt: add some references

2015-04-08 Thread Luca Abeni
Add a description of the Dhall's effect, some discussion about schedulability tests for global EDF, and references to real-time literature, --- Documentation/scheduler/sched-deadline.txt | 81 1 file changed, 71 insertions(+), 10 deletions(-) diff --git a/Documentat