Olimpo Informatico

[caro84]

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...

[madvero]

(siamo messi male... io non ho capito neanche la traccia)

[caro84]

Non hai capito la traduzione o il senso?

[madvero]

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.

[caro84]

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."

[madvero]

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.

[caro84]

Ci mancherebbe...