Schedulazione real-time di task PERIODICI
|
|
- Carlotta Tortora
- 6 anni fa
- Visualizzazioni
Transcript
1 Schedulazione real-time di task PERIODICI Sono la maggioranza delle attività di elaborazione. Es. regolazione, acquisizione, filtraggio, monitoraggio, comando di attuatori etc. Ipotesi: Tutte le richieste di esecuzione sono inoltrate ad intervalli regolari ( periodo ) Il tempo di eseuzione di un task è costante La deadline coincide con la fine del periodo corrente Tutti i task sono indipendenti Quindi, un processo periodico è caratterizzato da due parametri: Periodo T i Tempo di esecuzione C i
2 Schedulazione di task periodici Ulteriori definizioni: Istante di richiesta: istante in cui una istanza periodica diventa pronta per l esecuzione Frequenza di richiesta: inverso del periodo di un task Tempo di risposta: tempo che intercorre tra istante di richiesta e istante di completamento Istante critico: istante di richiesta che genera il più lungo tempo di risposta Zona critica: intervallo tra istante critico e istante di completamento dell istanza. Equivale al tempo di risposta più lungo.
3 Schedulazione di task periodici Fattore di utilizzazione del processore U è la frazione di tempo utilizzata dalla CPU per eseguire l insieme di task (è una misura della occupazione del tempo di CPU per ( periodici eseguire un insieme di task In un insieme di n task: Il processore è completamente utilizzato dall insieme di task se un piccolo aumento di un C i rende la schedulazione non fattibile Limite superiore minimo U lsm del fattore di utilizzazione: minimo tra i fattori di utilizzazione calcolati su tutti gli insiemi di task che utilizzano completamente il processore. Parametro caratteristico di scheduling. è il carico massimo gestibile da un algoritmo di schedulazione.
4 Schedulazione di task periodici Se un insieme di task periodici ha un fattore di utilizzazione del processore U minore di U lsm l insieme di task è sicuramente schedulabile Se un insieme di task periodici ha un fattore di utilizzazione del processore U maggiore o uguale a U lsm l insieme di task potrebbe essere schedulabile Zona di schedulabilità per qualsiasi insieme U lsm1 U lsm2 U lsm3 U lsm4 U lsm U lsm1
5 Schedulazione di task periodici Teorema di schedulabilità generale Condizione sufficiente per la schedulabilità di un insieme di task ( A ) periodici con un algoritmo A è U U lsm Dim. Direttamente dalla definizione di U lsm Teorema della non schedulabilità Condizione sufficiente per la non schedulabilità è U > 1. Dim. Sia T=T 1 T 2 T n = T i. Se U>1 UT>T. Quindi: Σ (T/T i )C i > T La quantità (T/T i ) rappresenta il nr. di volte che il task τ i viene eseguito in T, mentre (T/T i )C i rappresenta il tempo di calcolo richiesto dal task τ i nel tempo T. Quindi la domanda totale in [0,T] è superiore al tempo disponibile T, quindi la schedulazione non è fattibile con nessun algoritmo.
6 Schedulazione di task periodici Analisi del tempo di risposta per valutare la schedulabilità: Valutazione del tempo di risposta nel caso peggiore, R, e controllo della deadline: R D Valutazione del tempo di risposta nel caso peggiore: è dato dal tempo di calcolo più interferenze dei task a più alta priorità: Durante R i, ogni task a più alta priorità esegue volte L interferenza totale è data da Quindi il tempo di risposta nel caso peggiore R i può essere descritto con dove la sommatoria è estesa a tutti i task di priorità maggiore del task i
7 Schedulazione di task periodici La soluzione della equazione dove hp(i) è l insieme dei task a priorità maggiore di i, è ottenuta per ricorrenza: Solve by forming a recurrence relationship: Quando la ricorrenza converge, cioè i valori restano costanti, si ottiene il termine R i
8 Schedulazione di task periodici a priorità fissa Priorità stabilite a priori Come stabilire le priorità dei task? Sulla base dei tempi di esecuzione Priorità maggiore ai task con maggiore/minore tempo di esecuzione Sulla base dei periodi Priorità maggiore ai task con maggiore/minore periodo di esecuzione Sulla base della utilizzazione Priorità maggiore ai task con maggiore/minore coefficiente di utilizzazione Sulla base delle deadline Priorità maggiore ai task con maggiore/minore tempo di deadline
9 Schedulazione di task periodici a priorità fissa: Rate Monotonic Supponiamo di ordinare i task secondo periodi crescenti Algoritmo Rate Monotonic: assegna ad ogni processo una priorità direttamente proporzionale alla propria frequenza di richiesta (task ( elevata con periodo breve priorità ( SPF ) Chiamato anche Shortest Period First Pre-emptive, statico Proprietà: RM è ottimo, nel senso che se un insieme di task NON è schedulabile con RM, allora non è schedulabile con nessun altra regola di assegnazione a priorità fisse
10 Schedulazione di task periodici a priorità fissa: Rate Monotonic Altro esempio:
11 Schedulazione di task periodici: Rate Monotonic Teorema della ottimalità di RM Se un insieme di task periodici NON è schedulabile con RM, allora non esiste un algoritmo di schedulazione a priorità fissa per quell insieme di task. Dim. Si afferma che: se un insieme di task non è schedulabile con RM non esiste altra schedulazione. Cioè: se esiste una schedulazione è schedulabile con RM. Supponiamo di avere due task periodici τ1 e τ2, con T1<T2. Secondo RM, dovrebbe essere schedulato prima τ1 e poi τ2. Prendiamo una schedulazione non RM, cioè facciamo prima τ2 poi τ1. Affinché sia fattibile: (1) C1+C2 <= T1
12 Schedulazione di task periodici: Rate Monotonic Supponiamo ora di usare RM. Ci sono due possibili casi: ( a Caso τ1 Δ=T2-F. T1 Cioè tutte le richieste di t1 vengono completate entro T2. Cioè C1<=Δ Affinchè RM sia fattibile, deve essere Mostriamo che, se vale (1), allora RM è fattibile. Moltiplicando (1) per F: τ2 CVD
13 Schedulazione di task periodici: Rate Monotonic Caso b) L ultima esecuzione di τ1 si sovrappone con τ2. Cioè: In questo caso, RM è fattibile se: CVD
14 Calcolo di U lsm per RM Consideriamo due processi periodici τ 1 e τ 2 con tempi di esecuzione C 1 e C 2 e periodi tali che T1 < T2. L algoritmo RM assegna a τ 2 la priorità maggiore. Def: F è il numero di periodi completi di t1 all interno di T2. Aumentiamo il tempo di esecuzione C 2 fino a che sia possibile schedulare. Consideriamo i casi di prima, a) e b): ( a Caso T2-T1F In questo caso, e il max valore ammissibile di C2 è Allora, il fattore di utilizzazione è: Dato che [.] è negativa, il minimo valore di U di ha per
15 Calcolo di U lsm per RM Caso b) T2-T1F In questo caso Quindi il max valore ammissibile per C2 è Il fattore di utilzzazione è in questo caso: In questo caso la quantità tra parentesi [.] è positiva e U descresce al diminuire di C1. Il minimo di U si ha per il minimo di C1, cioè
16 Calcolo di U lsm per RM Qual è il valore minimo di U? Prendiamo il caso a). Sostituendo nella espressione di U: Chiamando per semplicità a=t2/t1 si scrive: Questa funzione tende a per a 0, e per a. In mezzo raggiunge un minimo. Il minimo si può valutare con du/da=0 cioè 1- F(1+F)/a 2 =0 cioè Il valore di U nel punto di minimo è:
17 Calcolo di U lsm per RM Ricordiamo che cioè F è un numero intero: 1, 2, 3 perché T2>T1 U è crescente con F. Il minimo di F corrisponde al minimo di U, U lsm, e vale ( 1 1/2 2(2 = lsm U Si dimostra che la stessa relazione vale per numero di task maggiore di 2. Cioè il limite superiore minimo del fattore di utilizzazione del processore per la schedulazione Rate Monotonic vale, in generale per n task: ( 1 1/n U lsm = n(2 Il valore decresce con n: per n=2 U lsm = 0.83 per n=3 U lsm = 0.78 per n=4 U lsm = 0.76 Per n tendente a l espressione converge verso 0.69
18 Calcolo di U lsm per RM
19 ( EDF ) Earliest Deadline First ( ordinata Uno dei più usati, Complessità O(n) (lista Si seleziona dalla lista dei processi pronti quello la cui deadline è più imminente Pre-emptive: se arriva un task con deadline minore sospensione ( vicina Utilizzabile nei SO a base prioritaria (priorità alta=deadline ( velocizzare ) La coda dei processi pronti ordinata Teorema di schedulabilità: Condizione necessaria e sufficiente per la schedulabilità è ΣC i /T i 1 U lsm =1 Esempio: C i T i τ τ τ U=1/5+2/7+4/9=0.93
20 ( EDF ) Earliest Deadline First Semplice dimostrazione della schedulabilità: Condizione necessaria e sufficiente per la schedulabilità è ΣC i /T i 1 Necessarietà: schedulabilità ΣC i /T i 1 Per assurdo: supponiamo che sched U > 1. Per il teorema della non schedulabilità si ha che se U>1 allora è non schedulabile. Questo contraddice l ipotesi. Sufficienza: ΣC i /T i 1 schedulabilità Per assurdo: suffoniamo che ΣC i /T i 1 NON schedulabile. Se è Non schedulabile si può dimostrare che U > 1 cosa che contraddice l ipotesi.
21 Esempio Si considerino i seguenti 3 task periodici: C T τ1 2 4 τ2 2 5 τ3 2 6 Calcolo di U: U=2/4+2/5+2/6=1,23 EDF I task non sono schedulabili τ1 τ2 τ ? τ1 RM τ2 τ3?
22 (. cont ) Esempio Facendo riferimento all esempio della slide precedente: C T t1 2 4 t2 2 5 t3 2 6 Vogliamo qui calcolare i tempi massimi di risposta usando la ricorrenza Per RM le priorità decrescono da t1 a t3. Risulta quindi che t1 non può essere interrotto da nessun task, t2 può essere interrotto da t1 e t3 può essere interrotto da t1 e t2. Quindi (senza fare tutti i conti): w 1 =C 1 =2<d 1 =T1=4 w 0 2 =C 2 =2; w1 2 = C 2 + ceil(w0 2 /T 1 ) C 1 = 4; w 1 3 =4 < d2=t 2 =5 w 0 3 =C 3 =2; w1 3 = C 3 + ceil(w0 3 /T 1 ) C 1 +ceil(w0 3 /T 2 ) C 2 =6; w 2 3 =10; w3 3 =12; w4 3 =14; w 5 3 =16; w6 3 =18; w7 3 =20; w7 3 =20 che non è minore di d3!!
23 Esempio 1 Verificare la schedulabilità dei seguenti due task periodici con Rate Monotonic: 1 o : calcolo del coefficiente di utilizzazione: 2 o : calcolo del limite superiore: Risposta: i due task periodici sono schedulabili con Rate Monotonic:
24 Esempio 2 Verificare la schedulabilità con RM dei seguenti tre task periodici: Calcolo del coeff. di utilizzazione CPU e limite superiore: I task periodici potrebbero essere schedulabili. Analisi del tempo di risposta nel caso peggiore:
25 Esempio 2 - cont Analisi del tempo di risposta nel caso peggiore: L insieme di task è schedulabile con RM!
26 Esempio 3 Verificare la schedulabilità con RM dei seguenti task periodici: Calcolo della utilizzazione del processore e del limite superiore L insieme di task non è schedulabile con RM
27 Esempio 4 Verificare la schedulabilità con EDF dei seguenti task periodici: ( Di=Ti ) Test di schedulabilità: L insieme dei task è schedulabile con EDF
28 Schedulazione: Esempio 4 - cont
29 Deadline Monotonic Estensione del RM: schedulazione di processi periodici con deadline indipendenti dal periodo Parametri: C i = tempo massimo di esecuzione T i = periodo D i = deadline relativa all istante della richiesta T i C i d i D i = d i r i C i <= D i <= T i D i Algoritmo: Viene schedulato il processo con la deadline relativa più corta Nei sistemi a base prioritaria, P i = 1/D i Test di schedulabilità ( condizione sufficiente):
30 RM vs EDF: Ottimalità Rate Monotonic è ottimo per gli algoritmi a priorità fissa: priorità inversamente proporzionale al periodo EDF è ottimo per gli algoritmi a priorità dinamica: priorità inversamente proporzionale alla deadline Tutti i task schedulabili con RM sono anche schedulabili con EDF Ma: per n-> inf. RM può schedulare sicuramente con una occupazione massima di 0.69 Mentre EDF può schedulare anche con una occupazione al 100%
31 RM vs EDF: Overhead Overhead di Calcolo EDF deve ricalcolare le priorità ad ogni arrivo RM calcola le priorità una sola volta Overhead di Context-switch Dovuto alla pre-emption EDF deve fare molte interruzioni per rispettare le priorità Esempio di due task periodici τ(c, p): τ 1 (2,5), τ 2 (4,7) U=0.97 RM t2 t Deadline mancata! 15 EDF t2 t
32 RM vs EDF: Overhead Numero di interruzioni: risultati di simulazione Valori medi, 1000 simulazioni, periodi random da 10 a 100, U=0.9 Per pochi task, il num di interruzioni cresce Per molti task, la durata scende (U=0.9!) e quindi scende il numero di interr. Numero di interruzioni Numero di task
Cenni di schedulazione in tempo reale. E.Mumolo
Cenni di schedulazione in tempo reale E.Mumolo mumolo@units.it Task in tempo reale Un task t i è una sequenza di processi in tempo reale τ ik ciascuno caratterizzato da un tempo d arrivo r ik un tempo
DettagliSistemi real-time correttezza di funzionamento consistenza logica tempestività di produzione deadline
Sistemi real-time Sistemi real-time: la loro correttezza di funzionamento dipende dalla consistenza logica delle operazioni eseguite dalla tempestività di produzione dei risultati. I risultati delle elaborazioni
DettagliScheduling della CPU
Scheduling della CPU 1 Scheduling della CPU Obiettivo della multiprogrammazione: massimizzazione dell utilizzo della CPU. Scheduling della CPU: commuta l uso della CPU tra i vari processi. Scheduler della
DettagliUniversità di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A Pietro Frasca.
Università di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A. 2016-17 Pietro Frasca Lezione 8 Martedì 8-11-2016 1 Algoritmi di scheduling basati sulle priorità Assegnano
DettagliPolitecnico di Milano Facoltà di Ingegneria dell Informazione Informatica Industriale Appello COGNOME E NOME. 2 luglio 2009 RIGA COLONNA MATRICOLA
Politecnico di Milano Facoltà di Ingegneria dell Informazione Informatica Industriale Appello COGNOME E NOME 2 luglio 2009 RIGA COLONNA MATRICOLA Il presente plico pinzato, composto di quattro fogli (fronte/retro),
DettagliAlgoritmi di scheduling - Parte 3
Algoritmi di scheduling - Parte 3 Vincenzo Suraci Automazione STRUTTURA DEL NUCLEO TEMATICO SERVIZIO IN BACKGROUND SERVER ESERCITAZIONE Via Ariosto 25-00185 Roma http://www.diag.uniroma1.it 2 ALGORITMO
DettagliPrincipi di Schedulazione in tempo reale
Principi di Schedulazione in tempo reale 1 Task in tempo reale Un task t i è una sequenza di processi in tempo reale τ ik ciascuno caratterizzato da q un tempo d arrivo r ik (r=release time, oppure a=arrival
DettagliAlgoritmi di scheduling - Parte 2
Algoritmi di scheduling - Parte 2 Automazione I 12/11/2013 Vincenzo Suraci STRUTTURA DEL NUCLEO TEMATICO ALGORITMO DEADLINE MONOTONIC PRIORITY ORDERING (DMPO) ALGORITMO TIMELINE SCHEDULING (TS) SCHEDULING
DettagliTECN.PROG.SIST.INF. - Politiche di schedulazione del processore. Roberta Gerboni
Roberta Gerboni 1 Gli stati di un processo Gli stati possibili nei quali si può trovare un processo sono: Hold (parcheggio): il programma (chiamato job) è stato proposto al sistema e attende di essere
DettagliScheduling della CPU
Scheduling della CPU 1 Scheduling della CPU Obiettivo della multiprogrammazione: massimizzazione dell utilizzo CPU Scheduling della CPU: commuta l uso della CPU tra i vari processi Scheduler della CPU
DettagliMacchine parallele M 1 M 2 M 3 J 1 J 2 LAVORI J 3 J 4
Macchine parallele M 1 J 1 J 2 LAVORI M 2 J 3 J 4 M 3 Macchine parallele Scheduling su macchine parallele scorrelate R C max Descrizione del problema n lavori devono essere processati da m macchine diverse
DettagliSistemi in tempo reale: applicazioni alla robotica. Sistemi in tempo reale: applicazioni alla robotica p.1/15
Sistemi in tempo reale: applicazioni alla robotica Sistemi in tempo reale: applicazioni alla robotica p.1/15 Sistemi operativi Hardware Firmware Kernel Driver Applicazioni Interfacce Sistemi in tempo reale:
DettagliAlgoritmi greedy. Progettazione di Algoritmi a.a Matricole congrue a 1 Docente: Annalisa De Bonis
Algoritmi greedy Progettazione di Algoritmi a.a. 2016-17 Matricole congrue a 1 Docente: Annalisa De Bonis 1 Scelta greedy Un algoritmo greedy è un algoritmo che effettua ad ogni passo la scelta che in
DettagliScheduling della CPU. Capitolo 6 - Silberschatz
Scheduling della CPU Capitolo 6 - Silberschatz Concetti di base La multiprogrammazione cerca di ottenere la massima utilizzazione della CPU. L esecuzione di un processo consiste in cicli d esecuzione della
DettagliSistemi Operativi. La gestione delle risorse
Sistemi Operativi La gestione delle risorse Introduzione Il sistema operativo ha il compito di fornire la gestione dell hardware ai programmi dell utente. Utente utilizza i programmi applicativi Programmi
Dettaglicarattere a b c d e f cod. var
Codici prefissi Un codice prefisso è un codice in cui nessuna parola codice è prefisso (parte iniziale) di un altra Ogni codice a lunghezza fissa è ovviamente prefisso. Ma anche il codice a lunghezza variabile
DettagliLo scheduling. Tipici schedulatori
Lo scheduling Un processo durante la sua evoluzione è o running o in attesa di un evento. Nel secondo caso trattasi della disponibilità di una risorsa (CPU, I/O, struttura dati, ecc.) di cui il processo
DettagliSCIENTIFICO COMUNICAZIONE OPZIONE SPORTIVA PROBLEMA 2. Figura 1
www.matefilia.it SCIENTIFICO COMUNICAZIONE OPZIONE SPORTIVA 216 - PROBLEMA 2 Nella figura 1 è rappresentato il grafico Γ della funzione continua f: [, + ) R, derivabile in ], + ), e sono indicate le coordinate
DettagliRiassunto di Sistemi in Tempo Reale LS
Riassunto di Sistemi in Tempo Reale LS Silvia Cereda July 10, 2007 1 Schedulazione di processi periodici Condizione necessaria (ma non sufficiente) affinché un insieme di N processi sia schedulabile è
DettagliScheduling. Scheduling 14/12/2003 1/7
Scheduling In un computer multiprogrammato più processi competono per l'uso della CPU. La parte di sistema operativo che decide quale processo mandare in esecuzione è lo scheduler. Batch OS: scheduling
DettagliPolitecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME. 28 febbraio 2008 RIGA COLONNA MATRICOLA
Politecnico di Milano Facoltà di Ingegneria dell Automazione INFORMATICA INDUSTRIALE Appello COGNOME E NOME 28 febbraio 2008 RIGA COLONNA MATRICOLA Il presente plico pinzato, composto di quattro fogli
DettagliInformatica Generale 07 - Sistemi Operativi:Gestione dei processi
Informatica Generale 07 - Sistemi Operativi:Gestione dei processi Cosa vedremo: Esecuzione di un programma Concetto di processo Interruzioni Sistemi monotasking e multitasking Time-sharing Tabella dei
DettagliProgrammazione dinamica
Programmazione dinamica Violetta Lonati Università degli studi di Milano Dipartimento di Informatica Laboratorio di algoritmi e strutture dati Corso di laurea in Informatica Violetta Lonati Programmazione
DettagliTEORIA DEI SISTEMI OPERATIVI. Sistemi monoprogrammatie multiprogrammati
TEORIA DEI SISTEMI OPERATIVI Sistemi monoprogrammatie multiprogrammati 1 STRUTTURA DEL SISTEMA OPERATIVO UTENTE La struttura di un sistema operativo è di tipo gerarchico: i programmi che lo compongono
DettagliRTAI e scheduling. Andrea Sambi
RTAI e scheduling Andrea Sambi Scheduling Linux Due politiche di scheduling priority-driven possibili. FIFO priorità uguali Processo 1 iniziato Processo 1: iterazione 1 Processo 1: iterazione 2 Processo
DettagliSistemi Operativi (modulo di Informatica II) Schedulazione della CPU
Sistemi Operativi (modulo di Informatica II) Schedulazione della CPU Patrizia Scandurra Università degli Studi di Bergamo a.a. 2009-10 Sommario Concetti base Come si realizza il multi-tasking Come si realizza
DettagliANALISI 1 - Teoremi e dimostrazioni vari
ANALISI 1 - Teoremi e dimostrazioni vari Sommario Proprietà dell estremo superiore per R... 2 Definitivamente... 2 Successioni convergenti... 2 Successioni monotone... 2 Teorema di esistenza del limite
DettagliSistemi Real-Time Ing. Rigutini Leonardo
Sistemi Real-Time Ing. Rigutini Leonardo Dipartimento di Ingegneria dell informazione Università di Siena Sistema Real-Time Sistema in cui la correttezza non dipende solamente dai valori di output ma anche
DettagliBootstrap. Bootstrap. Shutdown. Struttura di un SO. Elementi principali di un SO:
Bootstrap Bootstrap All accensione di un calcolatore vengono attivati programmi di diagnostica scritti nella ROM (Read Only Memory) che verificano l assenza di guasti Poi viene attivato il programma di
DettagliAlgoritmi di scheduling
Capitolo 2 Algoritmi di scheduling 2.1 Sistemi Real Time In un sistema in tempo reale (real time) il tempo gioca un ruolo essenziale. Le applicazioni di tali sistemi sono molteplici e di larga diffusione.
DettagliScheduling della CPU:
Coda dei processi pronti (ready( queue): Scheduling della CPU primo ultimo PCB i PCB j PCB k contiene i descrittori ( process control block, PCB) dei processi pronti. la strategia di gestione della ready
DettagliRicerca Operativa A.A. 2007/ Analisi di sensitività
Ricerca Operativa A.A. 7/8. Analisi di sensitività Luigi De Giovanni - Ricerca Operativa -. Analisi di sensitività. Analisi di Sensitività: motivazioni I parametri (A, b e c) di un problema di programmazione
DettagliMarco Cesati Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata
Lezione R9 I NPCS Sistemi embedded e real-time 4 dicembre 2012 Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata SERT 13 R9.1 Di cosa parliamo in questa
DettagliCalcolare x n = x x x (n volte)
Calcolare x n = x x x (n volte) Abbiamo bisogno di: una variabile ris in cui ad ogni iterazione del ciclo si ha un risultato parziale, e che dopo l ultima iterazione contiene il risultato finale; una variabile
DettagliSCHEDULING SCHEDULING
Corso di Laurea Triennale in INGEGNERIA GESTIONALE Anno Accademico 2012/13 Prof. Davide GIGLIO 1 INDICE Esempio Introduttivo Generalità sui problemi di scheduling SINGLE MACHINE SPT (shortest processing
DettagliIl Metodo di Newton, o delle Tangenti Federico Lastaria, Analisi e Geometria 1. Politecnico di Milano Corso di Analisi e Geometria 1
Politecnico di Milano Corso di Analisi e Geometria 1 Federico Lastaria federico.lastaria@polimi.it Il Metodo di Newton, o delle Tangenti 6 Novembre 2016 Indice 1 Metodo di Newton, o delle tangenti 2 1.1
DettagliAppunti lezione Capitolo 14 Greedy
Appunti lezione Capitolo 14 Greedy Alberto Montresor 21 Novembre, 2016 1 Domanda: dimostrare che S[i, j] = con i j Nel problema della selezione delle attività, il sottoinsieme S[i, j] è definito nel modo
DettagliDef. La lunghezza media L(C) di un codice C per una v.c. Obiettivo: Codice ottimo rispetto alla lunghezza media. Lunghezza media di un codice
Lunghezza media di un codice Def. La lunghezza media L(C) di un codice C per una v.c. X con d.d.p. P(x) è data da L(C) = x X p (x) l (x) = E[l(X)] Obiettivo: Codice ottimo rispetto alla lunghezza media
Dettagli1 Il polinomio minimo.
Abstract Il polinomio minimo, così come il polinomio caratterisico, è un importante invariante per le matrici quadrate. La forma canonica di Jordan è un approssimazione della diagonalizzazione, e viene
DettagliSchedulazione in RTAI
Schedulazione in RTAI RTAI: modulo kernel rt_hello_km.c #include #include Thread real-time... Ciclo infinito RT_TASK task; Periodico... void task_routine() { while(1) { /* Codice
DettagliCorso di Geometria BIAR, BSIR Esercizi 2: soluzioni
Corso di Geometria 2- BIAR, BSIR Esercizi 2: soluzioni Esercizio Calcolare il determinante della matrice 2 3 : 3 2 a) con lo sviluppo lungo la prima riga, b) con lo sviluppo lungo la terza colonna, c)
DettagliScheduling di processi HRT
Scheduling di processi HRT Primo modello per la schedulazione di processi periodici N processi P1, P2,, PN indipendenti senza vincoli di precedenza, senza risorse condivise; ogni processo Pj (j = 1, 2,,N)
Dettaglivuol dire che preso M > 0 sufficientemente grande, esiste δ = δ(m) > 0 tale per cui x 1 > M lim
AMA Ing.Edile - Prof. Colombo Esercitazioni: Francesco Di Plinio - francesco.diplinio@libero.it Limiti - Soluzioni. Esercizio 5.2. ii) Dire che x 5 x + x = +, vuol dire che preso M > 0 sufficientemente
DettagliSistemi Operativi (modulo di Informatica II) Schedulazione della CPU
Sistemi Operativi (modulo di Informatica II) Schedulazione della CPU Patrizia Scandurra Università degli Studi di Bergamo a.a. 2011-12 Sommario Concetti base Come si realizza il multi-tasking Come si realizza
DettagliAppunti di Sistemi Operativi. Enzo Mumolo address web address :www.units.it/mumolo
Appunti di Sistemi Operativi Enzo Mumolo e-mail address :mumolo@units.it web address :www.units.it/mumolo Indice 1 La Schedulazione dei processi 1 1.1 Criteri di schedulazione..................................
DettagliTesina per l esame di Sistemi Operativi a cura di Giuseppe Montano. Prof. Aldo Franco Dragoni
Sistemi operativi real time basati su Linux: gestione delle risorse e dei processi. Tesina per l esame di Sistemi Operativi a cura di. Prof. Aldo Franco Dragoni Corso di laurea in Ingegneria Informatica
DettagliCORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 15/04/2013
CORSO DI ANALISI MATEMATICA SOLUZIONI ESERCIZI PROPOSTI 5/04/03 D.BARTOLUCCI, D.GUIDO. Integrali Impropri Esercizio. (CRITERIO DEL CONFRONTO). Dimostrare che se f : (a, b] R e g(x) : (a, b] R sono integrabili
DettagliUn esempio di calcolo di complessità: insertion sort
Un esempio di calcolo di complessità: insertion sort Vediamo su un esempio come si può calcolare la complessità di un algoritmo... L esempio è un metodo semplice per ordinare arrays: insertion sort, o
DettagliIstituzioni di Matematiche, Integrali fratti. corso di laurea in Scienze geologiche. Mauro Costantini
Istituzioni di Matematiche, Integrali fratti corso di laurea in Scienze geologiche. Mauro Costantini tipo: Il nostro obiettivo è studiare gli integrali (indefiniti e definiti delle funzioni razionali,
DettagliConcentriamo la nostra attenzione sull insieme dei numeri razionali Q. In Q sono definite
Lezioni del 22 e 24 settembre. Numeri razionali. 1. Operazioni, ordinamento. Indichiamo con N, Z, Q gli insiemi dei numeri naturali, interi relativi, e razionali: N = {0, 1, 2,...} Z = {0, ±1, ±2,...}
DettagliIntroduzione soft alla matematica per l economia e la finanza. Marta Cardin, Paola Ferretti, Stefania Funari
Introduzione soft alla matematica per l economia e la finanza Marta Cardin, Paola Ferretti, Stefania Funari Capitolo Sistemi di equazioni lineari.8 Il Teorema di Cramer Si consideri un generico sistema
DettagliMultiprogrammazione. Sistemi Operativi Giuseppe Prencipe. Scheduling dei processi Scheduling. Sequenza di CPU e I/O burst.
Sistemi Operativi Giuseppe Prencipe Scheduling della CPU Multiprogrammazione Obiettivi (????) Avere sempre processi in esecuzione per massimizzare l utilizzo della CPU IDEA alla base della MultiP (????)
DettagliScheduling della CPU. Lo scheduling Stefano Quer Dipartimento di Automatica e Informatica Politecnico di Torino
Scheduling della CPU Lo scheduling Stefano Quer Dipartimento di Automatica e Informatica Politecnico di Torino 2 Concetti fondamentali Uno degli obbiettivi della multiprogrammazione è quello di massimizzare
DettagliUniversità di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A Pietro Frasca.
Università di Roma Tor Vergata Corso di Laurea triennale in Informatica Sistemi operativi e reti A.A. 2016-17 Pietro Frasca Lezione 5 Martedì 25-10-2016 Definizione di processo Esiste una distinzione concettuale
DettagliDimostrazione. Indichiamo con α e β (finiti o infiniti) gli estremi dell intervallo I. Poniamo
C.6 Funzioni continue Pag. 114 Dimostrazione del Corollario 4.25 Corollario 4.25 Sia f continua in un intervallo I. Supponiamo che f ammetta, per x tendente a ciascuno degli estremi dell intervallo, iti
DettagliValutazione delle prestazioni
Valutazione delle prestazioni Architetture dei Calcolatori (lettere A-I) Valutazione delle prestazioni Misura/valutazione di un insieme di parametri quantitativi per Quantificare le caratteristiche di
DettagliValutazione delle prestazioni. Valutazione delle prestazioni. Tempo di risposta e throughput. Prestazioni e tempo di esecuzione
Valutazione delle prestazioni Valutazione delle prestazioni Architetture dei Calcolatori (lettere A-I) Misura/valutazione di un insieme di parametri quantitativi per Quantificare le caratteristiche di
DettagliFormulazione dell equazione del moto. Prof. Adolfo Santini - Dinamica delle Strutture 1
Formulazione dell equazione del moto Prof. Adolfo Santini - Dinamica delle Strutture 1 Sistema a un grado di libertà In alcuni sistemi strutturali la massa, lo smorzamento e la rigidezza sono concentrati
Dettagli1) D0MINIO. x x 4x + 3 Determinare il dominio della funzione f (x) = x Deve essere
) DMINIO + 3 Determinare il dominio della funzione f ) + 3 Deve essere Ovviamente, inoltre: se > + 3 ) 3) quindi < o 3 se < + 3, + 3 quindi 7 Determinare il dominio della funzione f ) + 5 Deve essere +
DettagliDEDUZIONE DEL TEOREMA DELL'ENERGIA CINETICA DELL EQUAZIONE SIMBOLICA DELLA DINAMICA
DEDUZIONE DEL TEOREMA DELL'ENERGIA CINETICA DELL EQUAZIONE SIMBOLICA DELLA DINAMICA Sia dato un sistema con vincoli lisci, bilaterali e FISSI. Ricaviamo, dall equazione simbolica della dinamica, il teorema
DettagliViceversa stabilito il flusso dei pagamenti/incassi se esiste un unico tasso t per cui
1 TIR/IRR Esistenza del TIR (unico ecc ) Operazioni ai tempi 0,.n rappresentate da un vettore di dimensione n+1 Ogni componente a i rappresenta i pagamenti (se 0) relativi all operazione.
DettagliCriteri di Scelta Finanziaria
3 Criteri di Scelta Finanziaria 3.1 Introduzione Spesso occorre confrontare operazioni definite su scadenzari diversi. Nel seguito presentiamo due criteri, quello del valore attuale netto (VAN) e quello
Dettagli623 = , 413 = , 210 = , 203 =
Elementi di Algebra e Logica 2008. 3. Aritmetica dei numeri interi. 1. Determinare tutti i numeri primi 100 p 120. Sol. :) :) :) 2. (i) Dimostrare che se n 2 non è primo, allora esiste un primo p che divide
DettagliOperations Management
La schedulazione dei progetti Estratto da Operations Management Modelli e metodi per la logistica II Edizione Autore: Giuseppe Bruno Edizioni Scientifiche Italiane I problemi di scheduling 21 6.8 - LA
DettagliLOGARITMI. log = = con >0, 1; >0 = >0, 1, >0. log =1 >0, 1. notebookitalia.altervista.org
LOGARITMI Sia un numero reale positivo ed un numero reale, positivo, diverso da 1; si dice logaritmo di in base il valore da attribuire come esponente alla base per ottenere una potenza uguale all argomento.
DettagliOttimizzazione su grafi: massimo flusso (parte 1) Ottimizzazione su grafi:massimo flusso (parte 1) p. 1/33
Ottimizzazione su grafi: massimo flusso (parte 1) Ottimizzazione su grafi:massimo flusso (parte 1) p. 1/33 Ottimizzazione su grafi:massimo flusso (parte 1) p. 2/33 Reti di flusso Una rete di flusso è una
DettagliOsservazione 1.1 Si verifica facilmente che esiste un unica relazione d ordine totale su Q che lo renda un campo ordinato.
1 Numeri reali Definizione 1.1 Un campo ordinato è un campo K munito di una relazione d ordine totale, compatibile con le operazioni di somma e prodotto nel senso seguente: 1. a, b, c K, a b = a + c b
DettagliProve scritte di Analisi I - Informatica
Prove scritte di Analisi I - Informatica Prova scritta del 3 gennaio Esercizio Stabilire il comportamento delle seguenti serie: n= n + 3 sin n, n= ( ) n n + 3 sin n, n= (n)! (n!), n= n + n 9 n + n. Esercizio
DettagliSistemi Informatici Appello 23 febbraio 2015
Politecnico di Milano Facoltà di Ingegneria dell Informazione Sistemi Informatici Appello 23 febbraio 2015 COGNOME E NOME RIGA COLONNA MATRICOLA Il presente plico pinzato, composto di quattro fogli (fronte/retro),
DettagliFigura 1: 1) Si scriva la formulazione del problema come problema di PLI (con un numero minimo di vincoli) e la matrice dei vincoli.
ESERCIZIO 1 Sia dato il grafo orientato in Figura 1. Si consideri il problema di flusso a 1 2 4 Figura 1: costo minimo su tale grafo con b 1 = 4 b 2 = 2 b = b 4 = e c 12 = 2 c 1 = 4 c 14 = 1 c 2 = 1 c
DettagliMassimo limite e minimo limite di una funzione
Massimo limite e minimo limite di una funzione Sia f : A R una funzione, e sia p DA). Per ogni r > 0, l insieme ) E f p r) = { fx) x A I r p) \ {p} } è non vuoto; inoltre E f p r ) E f p r ) se 0 < r r.
DettagliDifferenze divise. Polinomio di interpolazione nella forma di Newton. Proprietà. Se n=0. Simmetria. Ricorsività. Abbiamo un solo punto
Differenze divise Polinomio di interpolazione nella forma di Newton Se n=0 Abbiamo un solo punto Se n = 1 Abbiamo 2 punti Il polinomio cercato è la retta passante per i due punti Proprietà Simmetria Differenza
DettagliInformatica II Sistemi Operativi DIGIP - a.a. 2015/16
DIPARTIMENTO DI INFORMATICA Alberto Ceselli (alberto.ceselli@unimi.it) Informatica II Sistemi Operativi DIGIP - a.a. 2015/16 Sistemi Operativi (modulo di Informatica II) Schedulazione della CPU Patrizia
Dettagli2.2 Alberi di supporto di costo ottimo
. Alberi di supporto di costo ottimo Problemi relativi ad alberi hanno numerose applicazioni: progettazione di reti (comunicazione, teleriscaldamento,...) memorizzazione compatta di sequenze (DNA) diffusione
DettagliESPONENZIALI E LOGARITMI. chiameremo logaritmica (e si legge il logaritmo in base a di c è uguale a b ).
ESPONENZIALI E LOGARITMI Data una espressione del tipo a b = c, che chiameremo notazione esponenziale (e dove a>0), stabiliamo di scriverla anche in un modo diverso: log a c = b che chiameremo logaritmica
DettagliLa dualità nella Programmazione Lineare
Capitolo 3 La dualità nella Programmazione Lineare 3.1 Teoria della dualità Esercizio 3.1.1 Scrivere il problema duale del seguente problema di Programmazione Lineare: min x 1 x 2 + x 3 2x 1 +3x 2 3 x
DettagliLunghezza media. Teorema Codice D-ario prefisso per v.c. X soddisfa. L H D (X). Uguaglianza vale sse D l i. = p i. . p.1/27
Lunghezza media Teorema Codice D-ario prefisso per v.c. X soddisfa L H D (X). Uguaglianza vale sse D l i = p i.. p.1/27 Lunghezza media Teorema Codice D-ario prefisso per v.c. X soddisfa L H D (X). Uguaglianza
DettagliFUNZIONI. y Y. Def. L insieme Y è detto codominio di f. Es. Siano X = R, Y = R e f : x y = 1 x associo il suo inverso). (ad un numero reale
FUNZIONI Siano X e Y due insiemi. Def. Una funzione f definita in X a valori in Y è una corrispondenza (una legge) che associa ad ogni elemento X al più un elemento in Y. X Y Def. L insieme Y è detto codominio
DettagliFUNZIONI. y Y. Def. L insieme Y è detto codominio di f. Es. Siano X = R, Y = R e f : x y = 1 x associo il suo inverso). (ad un numero reale
FUNZIONI Siano X e Y due insiemi. Def. Una funzione f definita in X a valori in Y è una corrispondenza (una legge) che associa ad ogni elemento X al piú un elemento in Y. X Y Def. L insieme Y è detto codominio
DettagliProporzioni tra grandezze
Definizione Due grandezze omogenee A e B (con B 0) e altre due grandezze omogenee C e D (con D 0) si dicono in proporzione quando il rapporto tra le prime due è uguale al rapporto tra la terza e la quarta
Dettagli1. Che cos è un sistema multiprogrammato? Si può realizzare la multiprogrammazione
1. Che cos è un sistema multiprogrammato? Si può realizzare la multiprogrammazione su un sistema con una sola CPU? 2. Qual è la differenza tra un interruzione e una trap? Si faccia qualche esempio. 1.
DettagliRisoluzione di sistemi lineari sparsi e di grandi dimensioni
Risoluzione di sistemi lineari sparsi e di grandi dimensioni Un sistema lineare Ax = b con A R n n, b R n, è sparso quando il numero di elementi della matrice A diversi da zero è αn, con n α. Una caratteristica
DettagliCorso di Matematica per la Chimica
Dott.ssa Maria Carmela De Bonis a.a. 2013-14 Risoluzione di Equazioni Algebriche Le equazioni algebriche sono equazioni del tipo P(x) = 0 dove P è un polinomio di grado n cioé P(x) = a 1 x n + a 2 x n
DettagliCorso di Geometria BIAR, BSIR Esercizi 10: soluzioni
Corso di Geometria 2010-11 BIAR, BSIR Esercizi 10: soluzioni 1 Geometria dello spazio Esercizio 1. Dato il punto P 0 = ( 1, 0, 1) e il piano π : x + y + z 2 = 0, determinare: a) Le equazioni parametriche
DettagliCollegio di Merito Bernardo Clesio Università di Trento
Collegio di Merito Bernardo Clesio Università di Trento 23 luglio 2012 Prova per i candidati per le facoltà scientifiche Esercizio 1. Descrivere tutti i polinomi p(x) con coefficienti reali tali che per
Dettagli1 Polinomio di Taylor 1. 2 Formula di Taylor 2. 3 Alcuni sviluppi notevoli 2. 4 Uso della formula di Taylor nel calcolo dei limiti 4
1 POLINOMIO DI TAYLOR 1 Formula di Taylor Indice 1 Polinomio di Taylor 1 Formula di Taylor 3 Alcuni sviluppi notevoli 4 Uso della formula di Taylor nel calcolo dei iti 4 5 Soluzioni degli esercizi 6 La
DettagliAnalisi Matematica 1+2
Università degli Studi di Genova Facoltà di Ingegneria - Polo di Savona via Cadorna 7-700 Savona Tel. +39 09 264555 - Fax +39 09 264558 Ingegneria Gestionale Analisi Matematica +2 A.A 998/99 - Prove parziali
DettagliRiassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.
Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo
DettagliScheduling della CPU
Scheduling della CPU Concetti base L utilizzazione massima della CPU è ottenuta con la multiprogrammazione CPU I/O Burst Cycle L esecuzione dei processi consiste di un ciclo di esecuzione in CPU e attesa
DettagliIL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero
IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero Il teorema degli zeri è fondamentale per determinare se una funzione continua in un intervallo chiuso [ a ; b ] si annulla in almeno un punto interno
DettagliProprietà strutturali: Controllabilità e Osservabilità
CONTROLLI AUTOMATICI LS Ingegneria Informatica Proprietà strutturali: Controllabilità e Osservabilità Prof. Claudio Melchiorri DEIS-Università di Bologna Tel. 051 2093034 e-mail: claudio.melchiorri@deis.unibo.it
DettagliIntegrazione delle equazioni del moto
Giorgio Pastore - note per il corso di Laboratorio di Calcolo Integrazione delle equazioni del moto In generale, le equazioni del moto della meccanica newtoniana si presentano nella forma di sistemi di
DettagliLow Power Scheduling per Sistemi Real Time
Low Power Scheduling per Sistemi Real Time Corso di Sistemi Real Time A.A. 2007-08 Ing. Giordano Kaczynski Sistemi Real Time 1 Introduzione Il consumo di energia nei sistemi portatili negli ultimi anni
DettagliElezione di un leader in una rete ad anello
Elezione di un leader in una rete ad anello Corso di Algoritmi Distribuiti Prof. Roberto De Prisco Lezione n a cura di Rosanna Cassino e Sergio Di Martino Introduzione In questa lezione viene presentato
DettagliLaboratorio di Calcolo B 68
Generazione di numeri casuali Abbiamo già accennato all idea che le tecniche statistiche possano essere utili per risolvere problemi di simulazione di processi fisici e di calcoli numerici. Dobbiamo però
DettagliComplementi ed Esercizi di Informatica Teorica II
Complementi ed Esercizi di Informatica Teorica II Vincenzo Bonifaci 21 maggio 2008 4 Problemi di ottimizzazione: il Bin Packing Il problema bin packing è il seguente: dato un insieme di n oggetti di dimensioni
DettagliDerivata di una funzione
Derivata di una funzione Prof. E. Modica http://www.galois.it erasmo@galois.it Il problema delle tangenti Quando si effettua lo studio delle coniche viene risolta una serie di esercizi che richiedono la
DettagliLezione 16. Esercizio 2 (paginazione( di windows) di Linux) 1: soluzione. Esercitazione finale. 10 page faults 5 soft faults
Lezione Esercizio (paginazione( di windows) Esercitazione finale Sistema operativo con paginazione windows-like con: frame per le pagine attive unita di tempo per la permanenza nelle pagine in attesa Sequenza
DettagliProprietà strutturali e leggi di controllo
Proprietà strutturali e leggi di controllo Retroazione statica dallo stato La legge di controllo Esempi di calcolo di leggi di controllo Il problema della regolazione 2 Retroazione statica dallo stato
DettagliScheduling della CPU
Scheduling della CPU Scheduling della CPU Obiettivo della multiprogrammazione: massimizzazione dell utilizzo della CPU. Scheduling della CPU: attivita` di allocazione della risorsa CPU ai processi. Scheduler
Dettagli