Product Design, Manufacturing & Innovation Resources

Casa » Pianificazione monotonica della velocità (RMS)

Pianificazione monotonica della velocità (RMS)

1973

C. L. Liu
James Layland

(Immagine generata a solo scopo illustrativo)

L'algoritmo Rate-Monotonic Scheduling (RMS) è un algoritmo di pianificazione a priorità statica per attività periodiche in un sistema in tempo reale. Assegna le priorità in base alla frequenza delle attività: più breve è il periodo di un'attività (maggiore è la sua frequenza), maggiore è la sua priorità. RMS è un algoritmo a priorità statica ottimale, il che significa che se un qualsiasi algoritmo a priorità statica è in grado di pianificare un insieme di attività, anche RMS può farlo. La pianificabilità può essere verificata utilizzando un test basato sull'utilizzo.

Il Rate-Monotonic Scheduling (RMS) è un pilastro della teoria dei sistemi in tempo reale, introdotto in un fondamentale articolo del 1973 da Liu e Layland. Fornisce un metodo semplice ma potente per la schedulazione di un insieme di task indipendenti, preemptible e periodici su un singolo processore. Il principio fondamentale è assegnare a ciascun task una priorità fissa inversamente proporzionale al suo periodo. Un task che deve essere eseguito ogni 10 ms avrà una priorità maggiore rispetto a un task che viene eseguito ogni 100 ms.

The significance of RMS lies in its optimality and the existence of a simple schedulability test. It is proven to be an optimal static-priority scheduling policy. This means that if a set of tasks can be scheduled by any static-priority algorithm, it can also be scheduled by RMS. The schedulability of a task set under RMS can be determined using a utilization bound test. For a set of ‘n’ tasks, the total processor utilization ‘U’ is the sum of the execution time [latex]C_i[/latex] divided by the period [latex]T_i[/latex] for each task ‘i’: [latex]U = \sum_{i=1}^{n} \frac{C_i}{T_i}[/latex]. Liu and Layland proved that if this total utilization is less than or equal to a specific bound, [latex]U \le n(2^{1/n}-1)[/latex], then the task set is guaranteed to be schedulable (i.e., no deadlines will be missed). As ‘n’ approaches infinity, this bound converges to [latex]\ln(2) \approx 0.693[/latex]. This provides a sufficient, but not necessary, condition for schedulability. A more precise but complex test, called exact analysis or response time analysis, can also be used.

Algorithms, Monitoraggio delle prestazioni, Ottimizzazione dei processi, Gestione della qualità, Sistema operativo in tempo reale (RTOS)

UNESCO Nomenclature: 1203

- Informatica

Tipo

Software/Algoritmo

Interruzione

Incrementale

Utilizzo

Uso diffuso

Precursori

teoria delle code
ricerca operativa
primi lavori sugli algoritmi di pianificazione dei computer
sviluppo di sistemi operativi time-sharing

Applicazioni

sistemi di controllo satellitare
applicazioni di controllo automobilistico
sistemi avionici e di controllo del volo
automazione industriale e robotica
elaborazione del segnale in tempo reale

Brevetti:

Idee e potenziali innovazioni

A causa dell'eliminazione del traffico generato dai bot, che attualmente supera i 40.000 al giorno, questo contenuto è riservato ai membri della community.
> Accedi O > Registrati L'accesso a questo contenuto, così come a tutti gli altri contenuti e strumenti riservati, è (100% gratuito).

Argomenti correlati: pianificazione rate-monotonic, RMS, sistemi in tempo reale, algoritmo di pianificazione, priorità statica, attività periodiche, analisi di pianificabilità, limite di utilizzo, Liu e Layland, pianificazione ottimale.

Contesto storico

Riunione di valutazione del rischio con ingegneri che analizzano i numeri di priorità del rischio in un ufficio professionale.

Numero di priorità del rischio (RPN)

Il numero di priorità del rischio (RPN) è una misura quantitativa utilizzata nell'FMEA per dare priorità ai rischi. È calcolato come il prodotto di tre fattori classificati: Gravità (S), Occorrenza (O) e Rilevamento (D). La formula è [latex]RPN = S per O per D[/latex]. Ogni fattore è tipicamente classificato su una scala da 1 a 10, consentendo ai team di concentrarsi prima sui rischi con i punteggi più alti.

Postazione di lavoro con interfaccia MATLAB che mostra la sintassi orientata agli array nell'analisi numerica.

Sintassi orientata agli array di MATLAB

MATLAB è un linguaggio basato su matrici in cui il tipo di dato fondamentale è l'array, che non richiede dimensionamento. Questo consente di esprimere in modo conciso le operazioni su matrici e vettori. Ad esempio, la moltiplicazione di due matrici `A` e `B` è semplicemente `C = A * B`, e la moltiplicazione elemento per elemento è `C = A .* B`, astraendo le complesse strutture di loop presenti in altri linguaggi.

Ingegneri che collaborano a sistemi in tempo reale hard e soft in un ufficio moderno.

Sistemi hard e soft in tempo reale

I sistemi real-time sono classificati come "hard" o "soft" in base alle conseguenze del mancato rispetto di una scadenza. In un sistema real-time hard, il mancato rispetto di una scadenza comporta un guasto totale del sistema, come nel caso di un sistema di frenata antibloccaggio. In un sistema real-time soft, il mancato rispetto di una scadenza comporta un degrado delle prestazioni ma non un guasto catastrofico, come nel caso dello streaming audio-video in diretta.

Pianificazione monotonica della velocità (RMS)

Spazio di lavoro sulla fluidodinamica computazionale che presenta la simulazione con il metodo dei volumi finiti per l'ingegneria aerospaziale.

Metodo dei volumi finiti (FVM)

Il Metodo dei Volumi Finiti (FVM) è una tecnica numerica dominante nella CFD per la risoluzione di equazioni differenziali parziali. Discretizza il dominio in una mesh di volumi di controllo e applica le equazioni di governo nella loro forma integrale a ciascun volume. Convertendo gli integrali di volume in integrali di superficie utilizzando il teorema della divergenza, si concentra sul calcolo del flusso di proprietà conservate attraverso le facce delle celle.

Verifica formale

La verifica formale è l'uso di metodi matematici per dimostrare o confutare la correttezza del progetto di un sistema rispetto a una specifica formale. A differenza dei test, che possono mostrare la presenza di bug solo per input specifici, la verifica formale può dimostrare la loro assenza per tutti gli input possibili. Si tratta di creare un modello formale del sistema e di utilizzare tecniche come il model checking o il theorem proving.

Programmatore informatico che dimostra lo scoping lessicale nel linguaggio di programmazione R.

Ambito lessicale in R

R utilizza lo scoping lessicale, un concetto ereditato dal linguaggio Scheme. Ciò significa che i valori delle variabili libere in una funzione vengono risolti trovandoli nell'ambiente in cui la funzione è stata definita, non in quello in cui viene chiamata. Questo rende il comportamento della funzione più prevedibile e indipendente dal contesto di chiamata, una caratteristica fondamentale per la programmazione funzionale.

1970

1973

1980

1970

1970-01-01

1975-06-01

1980

Algoritmo Metropolis-Hastings

L'algoritmo Metropolis-Hastings è un metodo MCMC di primo piano per ottenere una sequenza di campioni casuali da una distribuzione di probabilità per la quale il campionamento diretto risulta difficile. A ogni iterazione, genera un candidato per il campione successivo basato sul campione corrente. Questo candidato viene quindi accettato o rifiutato con una certa probabilità, garantendo che la catena risultante converga alla distribuzione desiderata.

Ingegnere informatico che codifica classi astratte in un ambiente IDE moderno.

Astrazione (programmazione OOP)

L'astrazione nella programmazione orientata agli oggetti (OOP) consiste nel nascondere dettagli implementativi complessi e mostrare solo le caratteristiche essenziali dell'oggetto. Si concentra su ciò che un oggetto fa anziché su come lo fa. Questo obiettivo si ottiene attraverso classi e interfacce astratte, che definiscono un modello per altre classi senza fornire un'implementazione completa, semplificando così i sistemi complessi.

Ingegneri che utilizzano i sette strumenti di base della qualità in un workshop per il miglioramento dei processi.

Seven Basic Tools of Quality

The Seven Basic Tools of Quality are a set of graphical techniques identified by Kaoru Ishikawa for troubleshooting quality-related issues. These tools are: Cause-and-effect diagram (fishbone), Check sheet, Control chart, Histogram, Pareto chart, Scatter diagram, and Stratification (often presented as a flowchart). They are considered 'basic' because they are simple to use and require little formal statistical training.

Ufficio di ingegneria del software che illustra le fasi del processo del modello Waterfall.

The Waterfall Model (software)

The Waterfall Model is a sequential, non-iterative software development process, where progress flows steadily downwards (like a waterfall) through distinct phases: conception, initiation, analysis, design, construction, testing, deployment and maintenance. Each phase must be fully completed before moving to the next. It is often contrasted with iterative models to highlight their flexibility.

Ingegnere software che analizza il Recovery Block Scheme in un moderno ambiente d'ufficio.

Schema di blocco di recupero

Lo schema a blocchi di ripristino è una tecnica di tolleranza agli errori software basata sulla diversità di progettazione e sul ripristino degli errori a ritroso. Struttura un programma come una serie di blocchi, ciascuno con un modulo primario, un test di accettazione e uno o più moduli alternativi. Se l'output del modulo primario non supera il test di accettazione, lo stato del sistema viene ripristinato e viene eseguito un modulo alternativo.

Un gruppo di ingegneri discute di verifica e validazione nello sviluppo del software.

Verifica e convalida

La verifica e la convalida (V&V) sono processi distinti. La verifica assicura che un prodotto soddisfi i requisiti specificati ("Lo state costruendo bene?"). La convalida assicura che il prodotto soddisfi le esigenze reali dell'utente e l'uso previsto ("State costruendo la cosa giusta?"). Si tratta di attività complementari nell'ambito della gestione della qualità, spesso eseguite in sequenza o in parallelo per garantire sia la correttezza che l'utilità.

Strumento analitico di precisione in un laboratorio per la misurazione del limite di ripetibilità.

Limite di ripetibilità (statistiche)

Il limite di ripetibilità, [latex]r[/latex], è un valore critico derivato dalla deviazione standard della ripetibilità ([latex]s_r[/latex]). Rappresenta la massima differenza assoluta attesa tra due singoli risultati del test, ottenuti in condizioni di ripetibilità, con una probabilità di 95%. Viene comunemente calcolato come [latex]r = 2,8 ´times s_r[/latex]. Se la differenza supera [latex]r[/latex], i risultati sono considerati sospetti.