Precedente :: Successivo |
Autore |
Messaggio |
caro84 Mortale adepto
Registrato: 22/06/07 00:15 Messaggi: 39
|
Inviato: 23 Feb 2008 12:47 Oggetto: Teorema sull'ottimalità dell'algoritmo LST |
|
|
Ciao a tutti, per gli appassionati di algoritmi di scheduling per sistemi real time....
ho bisogno di dimostrare il seguente teorema
"
LST (Least Slack Time First) - (o Minimum Laxity First)
Theorem:
When preemption is allowed and jobs do not contend
the (strict) LST (MLF) algorithm can produce a feasible
a set J of jobs with arbitrary release times and deadlines
processor if and only if J has feasible schedules
"
Ho già dimostrato la cosa, ma volevo vedere anche una dimostrazione rigorosa, qualcuno sa darmi un link dove questo viene fatto? Grazie.. ciao... |
|
Top |
|
|
madvero Amministratore
Registrato: 05/07/05 20:42 Messaggi: 19480 Residenza: Ero il maestro Zen. Scrivevo piccole poesie Haiku. Le mandavo a tutti via e-mail.
|
Inviato: 29 Feb 2008 02:31 Oggetto: |
|
|
(siamo messi male... io non ho capito neanche la traccia) |
|
Top |
|
|
caro84 Mortale adepto
Registrato: 22/06/07 00:15 Messaggi: 39
|
Inviato: 07 Mar 2008 12:52 Oggetto: traccia |
|
|
Non hai capito la traduzione o il senso? |
|
Top |
|
|
madvero Amministratore
Registrato: 05/07/05 20:42 Messaggi: 19480 Residenza: Ero il maestro Zen. Scrivevo piccole poesie Haiku. Le mandavo a tutti via e-mail.
|
Inviato: 07 Mar 2008 13:06 Oggetto: |
|
|
la traduzione sotto in italiano non è che stonerebbe più di tanto, ma sai com'è, diciamo che gli algoritmi di scheduling non sono esattamente il mio pane quotidiano. |
|
Top |
|
|
caro84 Mortale adepto
Registrato: 22/06/07 00:15 Messaggi: 39
|
Inviato: 07 Mar 2008 18:57 Oggetto: eh eh |
|
|
E' un pò dura allora Comunque allego comunque il testo in italiano del teorema.... Per capirci qualsosa bisogna sapere almeno un pò di che si parla comunque e i termini tecnici...
Traduzione del teorema sopra:
"Sia dato un insieme J di jobs preemptables, con istanti di
rilascio e deadlines arbitrari, che non competono in alcun modo sulle risorse
del sistema, e si debba inoltre schedulare tale insieme nell? unico processore P.
L?algoritmo LST(strict) è in grado di produrre una schedulazione fattibile del
set J se e solo se esiste una schedulazione fattibile per J." |
|
Top |
|
|
madvero Amministratore
Registrato: 05/07/05 20:42 Messaggi: 19480 Residenza: Ero il maestro Zen. Scrivevo piccole poesie Haiku. Le mandavo a tutti via e-mail.
|
Inviato: 08 Mar 2008 01:27 Oggetto: |
|
|
okkei, adesso m'è crollata anche la scusa della lingua ostile.
vale se scopiazzo a man bassa da qualche altra parte?
in soldoni, niente da fare.
sorry. |
|
Top |
|
|
caro84 Mortale adepto
Registrato: 22/06/07 00:15 Messaggi: 39
|
Inviato: 12 Mar 2008 15:43 Oggetto: |
|
|
Ci mancherebbe... |
|
Top |
|
|
|