Table of Contents

I sistemi operativi in tempo reale (RTOS) servono come la spina dorsale dei sistemi incorporati dove la predisposizione dei tempi e il comportamento deterministico sono fondamentali. Dalle unità di controllo automobilistico ai dispositivi medici, dall'automazione industriale alle applicazioni aerospaziale, la selezione di un algoritmo di pianificazione appropriato può significare la differenza tra successo del sistema e guasto catastrofico. Capire come bilanciare i principi teorici con vincoli pratici di implementazione è essenziale per gli ingegneri che progettano sistemi affidabili in tempo reale.

Comprendere sistemi operativi in tempo reale e fondamenti di Scheduling

I sistemi operativi in tempo reale sono organizzati in modo da garantire eventi e preenni, il che significa che il sistema operativo può monitorare la priorità pertinente delle attività concorrenti e apportare modifiche alla priorità dell'attività. Una caratteristica chiave di un RTOS è il livello della sua consistenza circa la quantità di tempo necessario per accettare e completare il compito di un'applicazione; la variabilità è "jitter".

Scheduling è il processo di decidere quale compito dovrebbe essere eseguito in qualsiasi momento in base ad un algoritmo predefinito. In un RTOS, la pianificazione non è solo circa la gestione delle attività, ma comporta anche garantire che i compiti critici siano eseguiti entro un termine definito, noto come scadenza.

Hard Real-Time vs. Soft Real-Time Systems

Un RTOS che può generalmente o generalmente rispettare una scadenza è un sistema operativo in tempo reale morbido, ma se può soddisfare una scadenza deterministicamente è un sistema operativo in tempo reale duro. Questa distinzione influenza fondamentalmente la selezione dell'algoritmo di programmazione.

Soft RTOSs offre un approccio molto più flessibile rispetto ai RTOS duri, e quando un RTOS morbido manca una scadenza, è indesiderabile ma non catastrofico. Applicazioni come lo streaming multimediale, le comunicazioni di rete e la reattività dell'interfaccia utente cadono solitamente nella categoria in tempo reale morbida in cui manca la scadenza occasionale sono tollerabili.

Classificazione degli Algoritmi di Scheduling

Gli algoritmi di Scheduling possono essere classificati in due tipi principali: algoritmi di pianificazione preventiva e algoritmi di pianificazione non preventiva. Questa classificazione fondamentale influisce su come le attività interagiscono e su come il sistema risponde alle priorità e agli eventi urgenti.

Preemptive vs. Scheduling non preventiva

La programmazione preventiva permette l'interruzione di un'attività attualmente in esecuzione, quindi un'altra con più stato "urgente" può essere eseguita. Questo passaggio dinamico tra le attività che questo algoritmo impiega è, infatti, una forma di multitasking.

La pianificazione non preventiva permette invece di completare l'esecuzione prima che il programmatore selezioni il compito successivo. Nel caso di un programmatore non preventiva, anche se la priorità più alta è assegnata al compito, deve aspettare fino al completamento del compito corrente, che può essere lento o della priorità inferiore e può portare ad un'attesa più lunga.

Assegnazione statica vs. Dinamica Priorità

La pianificazione statica comporta tutte le decisioni di programmazione in fase di compilazione con struttura temporale fissata. Le priorità vengono assegnate prima che l'esecuzione inizi e rimanga costante durante l'operazione del sistema. Questo approccio offre semplicità e prevedibilità, rendendo l'analisi di pianificazione più semplice.

In algoritmi di priorità dinamica, la priorità di un compito può cambiare durante la sua esecuzione in base ai tempi di iniziazione. Gli approcci dinamici forniscono una maggiore flessibilità e possono raggiungere un utilizzo più elevato del processore, ma al costo di una maggiore complessità e di un overhead di runtime.

Tasso di studio monotonico (RMS): La priorità statica Standard

La pianificazione nominale-monoonica (RMS) è un algoritmo di assegnazione prioritario utilizzato nei sistemi operativi in tempo reale (RTOS) con una classe di pianificazione statica-priorità, dove le priorità statiche sono assegnate secondo la durata del ciclo del lavoro, quindi una durata del ciclo più breve si traduce in una maggiore priorità di lavoro.

Principi fondamentali di RMS

L'algoritmo di programmazione monotonica Tasso è una regola semplice che assegna priorità a diversi compiti secondo il loro periodo di tempo, con un compito con il periodo di tempo più piccolo che ha la priorità più alta, e un compito con il periodo di tempo più lungo che ha la priorità più bassa per l'esecuzione.

L'algoritmo di programmazione monotonica di tasso funziona sul principio della predetta, dove la predetta si verifica su un dato processore quando un compito prioritario superiore blocca un compito prioritario inferiore dall'esecuzione. Se un processo di priorità inferiore è in esecuzione e un processo di priorità superiore diventa disponibile per l'esecuzione, preempt il processo di priorità inferiore.

Analisi e utilizzo della Schedulability Bounds

Liu & Layland (1973) ha dimostrato che per un insieme di n compiti periodici con periodi unici, un programma fattibile che sempre soddisferà le scadenze esiste se l'utilizzo della CPU è al di sotto di un limite specifico (a seconda del numero di attività).

Nel caso particolare in cui tutti i periodi di attività sono armonici, il limite di utilizzo è 1.0, permettendo il 100% del processore di throughput, pur rispettando tutte le scadenze, anche se questo limite è una approssimazione peggiore; per i set di compiti scelti casualmente, il limite superiore probabile è di circa 88%.

Ottimità e considerazioni pratiche

L'assegnazione prioritaria della frequenza-monotonica è ottimale sotto le presupposti indicate, il che significa che se un algoritmo di pianificazione statica-priorità può soddisfare tutte le scadenze, allora l'algoritmo di tasso-monoonico può anche. RMS è un algoritmo di priorità statica ottimale per la pianificazione di compiti indipendenti, preemptible, periodici su un singolo processore, ottimale nel senso che se un insieme di compiti può essere programmato da una priorità statica, allora RMS sarà impostato.

I partner industriali hanno una forte preferenza per un approccio statico di programmazione prioritaria per applicazioni in tempo reale difficili basato su importanti considerazioni pratiche, tra cui che la differenza di prestazione è piccola nella pratica, con esperienza che indica che un approccio basato sulla teoria monotonica dei tassi può spesso raggiungere fino al 90% di utilizzo.

Vantaggi della tariffa Scheduling monotonico

  • Facile da implementare
  • Se un algoritmo di assegnazione delle priorità statiche può soddisfare le scadenze, la programmazione monotonica della frequenza può anche fare lo stesso, rendendolo ottimale
  • Caratterizzato dalla sua semplicità e richiede solo una struttura di liste per l'implementazione
  • Semplice implementazione, anche in sistemi senza esplicito supporto per vincoli di tempistica (periodo, scadenze)
  • Fornisce comportamenti deterministici e tempi di risposta prevedibili
  • Ben supportato da analisi teoriche e test di pianificazione
  • Ampiamente adottato nell'industria con un ampio supporto per utensili

Limitazioni di tasso di studio monotonico

  • Molto difficile da sostenere compiti aperiodici e sporadici in RMA
  • RMA non è ottimale quando il periodo di attività e la scadenza differiscono
  • Minore utilizzo del processore rispetto agli algoritmi dinamici
  • Suscettibile di problemi di inversione prioritaria
  • Assumere compiti indipendenti senza condivisione delle risorse
  • Può non essere adatto per sistemi con tempi di esecuzione di attività altamente variabili

Prima linea di scadenza (EDF): Priorità dinamica Scheduling

L'algoritmo di priorità dinamica più importante (e analizzato) è il primo obiettivo finale (EDF). La priorità di un lavoro (instance) è inversamente proporzionale alla sua scadenza assoluta, il che significa che il lavoro prioritario più alto è quello con la prima scadenza.

Come funziona il FES

L'algoritmo valuta continuamente quale compito pronto ha il termine più vicino e lo programma per l'esecuzione. Il processo di massima priorità è quello il cui termine è più vicino nel tempo, e il processo di priorità più basso è quello il cui termine è più lontano. Questa priorità dinamica permette a EDF di adattarsi alle condizioni di sistema e agli arrivi delle attività.

RMS (e la programmazione a priorità fissa in generale) non è ottimale rispetto agli algoritmi di priorità dinamica come prima scadenza (EDF), che può raggiungere fino al 100% l'utilizzo del processore, garantendo le scadenze, mentre i metodi di priorità fissa sono intrinsecamente limitati.

Vantaggi di EDF

  • Può teoricamente raggiungere l'utilizzo del processore 100%
  • Ottimizzazione ottimale per la programmazione di priorità dinamica su singoli processori
  • Migliori maniglie tempi di esecuzione delle attività variabili
  • Più flessibile nell'accogliere compiti aperiodici e sporadici
  • Naturalmente si adatta alle scadenze di cambiamento
  • Non è necessario assegnare priorità statiche durante la fase di progettazione

Svantaggi del FES

  • Più complesso da implementare rispetto agli algoritmi di priorità statica
  • Sovraccarico di runtime più elevato grazie ai calcoli di priorità dinamica
  • Richiede informazioni di scadenza esplicite per tutte le attività
  • Comportamento imprevedibile durante le condizioni di sovraccarico
  • Più difficile da analizzare e verificare la schedulability
  • Può causare più interruttori di contesto rispetto agli approcci di priorità fissa
  • Meno intuitivo per gli sviluppatori abituati a pensare prioritario

Confronta RMS e EDF

La scelta tra questi due approcci fondamentali dipende spesso da requisiti applicativi specifici, vincoli di sistema e preferenze ingegneristiche. RMS offre semplicità e predisposizione con comprovata traccia industriale, mentre EDF fornisce un'ottimalità teorica e un utilizzo più elevato a costo della complessità di implementazione.

Per i sistemi con compiti periodici ben definiti e requisiti di utilizzo moderati, RMS fornisce tipicamente un eccellente equilibrio di prestazioni e semplicità.Per i sistemi che spingono limiti di utilizzo o che si occupano di strutture di scadenze complesse, EDF può essere necessario nonostante la sua complessità aggiuntiva. Molte implementazioni RTOS moderne offrono entrambe le opzioni, permettendo agli ingegneri di selezionare in base a specifiche esigenze.

Altri Algoritmi di Scheduling comuni in RTOS

Attualmente, gli algoritmi più utilizzati in RTOS pratico sono pianificazione non preventiva, pianificazione rotonde e pianificazione prioritaria preventiva.

Primo Come Servito (FCFS)

FCFS è un algoritmo di programmazione non preventiva che non ha livelli prioritari assegnati alle attività, dove l'attività che arriva prima nella coda di programmazione (cioè entra in stato pronto), viene messa in primo luogo nello stato in esecuzione e inizia ad utilizzare la CPU. FIFO è il programmatore più semplice in quanto tutto ciò che richiede è un algoritmo di queuing molto di base, che richiede nessun input dall'utente (come assegnare priorità, un tempo di estimazione).

A causa della mancanza di priorità di FIFO, può fallire con un programma che ha un'utilizzo totale abbastanza basso della CPU, e anche se FIFO è un facile algoritmo da capire, le sue limitate capacità lo rendono ill-adattato per molte applicazioni del mondo reale. FCFS funziona meglio per sistemi semplici con vincoli di tempismo minimi dove l'ordine di esecuzione del compito naturalmente si allinea con l'ordine di arrivo.

Robin Scheduling tondo

La Round-robin è un tipo preentivo di algoritmo di programmazione in cui non ci sono priorità assegnate ai compiti, e ogni compito viene messo in uno stato di esecuzione per un tempo predefinito fisso. Questa volta è comunemente indicato come time-slice (aka quantum), e un compito non può funzionare più a lungo della time-slice.

Round Robin ha il vantaggio di essere semplice da capire e di essere quasi semplice da implementare, con il vantaggio di essere "giusto" in quanto tutte le attività otterranno una pari parte della CPU e nessun compito può eseguire il processore.Questa correttezza è estremamente utile su un tipico sistema multi-utente (come un server Linux) ma molto meno rilevante per un sistema operativo in tempo reale.

Scheduling preento basato sulla priorità

La pianificazione prioritaria preventiva richiede l'assegnazione di un livello prioritario per ogni compito, dove un compito in esecuzione può essere interrotto se un compito con una priorità maggiore entra nella coda. Questo approccio offre flessibilità nella gestione dell'importanza dell'attività, mantenendo la reattività agli eventi critici.

Scheduling di Fessura di Tempo (ARINC 653)

La pianificazione di Time Slots è simile a ARINC 653, dove vengono impostate più slot temporali e ogni attività viene assegnata ad una fascia temporale in un loop concentrico. Le attività devono completare all'interno delle loro slot temporali assegnate o aspettare fino alla prossima slot che viene assegnata a tale compito.

Lassità di minimo prima (LLF)

Least Slack Time (LST) è un algoritmo di pianificazione basato sulla priorità dinamica utilizzato in sistemi in tempo reale dove tutte le attività del sistema vengono assegnate una priorità secondo il loro tempo di slittamento, con il compito che ha il tempo meno lento con la massima priorità e viceversa. Laxity (o tempo di slitta) rappresenta quanto tempo rimane prima di una scadenza dopo la contabilizzazione per il tempo di esecuzione rimanente.

Fattori critici che influenzano la selezione di Algoritmi Scheduling

È importante che scegliamo l'algoritmo prima che lo sviluppo dell'applicazione utente inizi, e come molte cose nel campo dell'ingegneria, non c'è un algoritmo universale che è adatto per ogni caso di utilizzo.

Caratteristiche delle attività e vincoli di temporizzazione

In tempo reale sistemi operativi (RTOS) la maggior parte delle attività sono periodiche in natura, con dati periodici provenienti principalmente da sensori, servocontrollo e sistemi di monitoraggio in tempo reale, e questi compiti periodici utilizzano la maggior parte del potere di calcolo del processore.

Un sistema di controllo in tempo reale consiste in molte attività periodiche concorrenti che hanno vincoli di tempismo individuale, compreso il tempo di rilascio (ri), il tempo peggiore di esecuzione dei casi (Ci), il periodo (ti) e la scadenza (Di) per ogni singolo compito Ti. La caratterizzazione accurata di questi parametri è essenziale per l'analisi di pianificazione e la selezione dell'algoritmo.

Prevedibilità e Determinazione del sistema

La pianificazione in tempo reale fornisce la predisposizione e il determinismo nell'esecuzione delle attività, consentendo agli sviluppatori di analizzare e garantire il tempo di esecuzione peggiore e il tempo di risposta delle attività, assicurando che vengano rispettate le scadenze critiche.

Gli algoritmi di priorità statiche come RMS generalmente forniscono una migliore predibilità e un'analisi più semplice rispetto agli algoritmi dinamici.Per i sistemi critici di sicurezza che richiedono la certificazione, la capacità di dimostrare il comportamento peggiore spesso supera i vantaggi di utilizzo teorico.

Requisiti di utilizzo del processore

Per un set di attività di n uso periodico del processore è maggiore di uno allora che il set di attività non sarà programmabile da qualsiasi algoritmo. I sistemi operativi vicino al massimo utilizzo possono richiedere EDF o altri algoritmi dinamici, mentre i sistemi con utilizzo moderato possono beneficiare della semplicità di RMS.

Gli algoritmi di Scheduling allocano le risorse di sistema in modo efficace, garantendo un utilizzo efficiente del tempo del processore, della memoria e di altre risorse, aiutando a massimizzare il throughput e le prestazioni del sistema.

Complessità di attuazione e Overhead

L'algoritmo di pianificazione in un RTOS deve essere deterministico e veloce per soddisfare i vincoli in tempo reale. La runtime overhead dalle decisioni di pianificazione, dagli interruttori di contesto e dai calcoli prioritari influisce direttamente sul tempo di processo disponibile per le attività di applicazione.

La maggior parte dei sistemi incorporati ad alte prestazioni non hanno bisogno di un costoso e completo sistema operativo in tempo reale (RTOS), come programmatore dedicato come quelli utilizzati nei processi di arbitrato e la gestione del traffico è sufficiente, estremamente efficiente, e ha un basso impronta di memoria, particolarmente preferito dove la dimensione della memoria è limitata e tempistiche scadenze devono essere rigorosamente applicate.

Condivisione delle risorse e sincronizzazione

I sistemi multitasking devono gestire la condivisione di dati e risorse hardware tra più compiti, e di solito non è sicuro che due attività possano accedere simultaneamente allo stesso dato specifico o risorse hardware.

Una delle sfide principali è affrontare l'inversione prioritaria, dove un compito ad alta priorità è bloccato da un compito di priorità inferiore, e la gestione di blocchi morti, una situazione in cui due o più compiti si aspettano per rilasciare una risorsa, con conseguente stallo.

Inversione di priorità: una sfida critica

Nella pianificazione tassomonometrica (RMS), l'inversione prioritaria si verifica quando un compito ad alta priorità è bloccato da un compito a bassa priorità che detiene una risorsa condivisa, come un semaforo o un mutex, impedendo al compito ad alta priorità di procedere nonostante la sua urgenza, derivante da sistemi preentonitivi di priorità fissa in cui le attività competono per risorse reciprocamente esclusive, portando a ritardi incontrollati che possono violare scadenze in tempo reale.

Comprendere l'inversione di priorità

Gli intervalori della nonpresenbilità e degli interruttori sono fonti di inversione prioritaria e quando un compito prioritario più elevato è impedito di premettere un compito prioritario più basso, l'esecuzione del compito prioritario più elevato è ritardata a causa dell'esecuzione di un compito prioritario più basso.

L'esempio classico di inversione di priorità si è verificato nella missione Mars Pathfinder, dove un compito meteorologico a bassa priorità che tiene una risorsa condivisa ha bloccato un compito di comunicazione ad alta priorità, causando reimpostazioni di sistema. Un esempio di utilizzo di eredità prioritaria di base è legato al "Mars Pathfinder reset bug" che è stato fissato su Marte modificando le bandiere di creazione per il semaforo in modo da consentire l'eredità prioritaria.

Protocollo di eritizzazione prioritaria

Il protocollo di ereditarietà prioritario (PIP) affronta l'inversione prioritaria, aumentando temporaneamente la priorità del compito a bassa priorità che tiene la risorsa per corrispondere alla massima priorità di qualsiasi compito bloccato di alta priorità, e sotto PIP, questa eredità è transitiva: se il compito a bassa priorità potenziato blocca un altro compito di media priorità, eredita quella priorità pure, continuando fino a quando tutte le risorse vengono rilasciate e le priorità vengono ritorte.

Molti RTOS commerciali come VxWorks, VRTX e DSP RTOS implementano RMS con l'eredità prioritaria o i protocolli di massima priorità per limitare il blocco delle risorse e l'inversione prioritaria. Questi protocolli forniscono tempi di blocco delimitati, consentendo un'analisi più accurata della pianificazione.

Protocollo di Ceiling prioritario

Il protocollo prioritario del soffitto estende l'eredità prioritaria assegnando ad ogni risorsa un massimale prioritario pari alla massima priorità di qualsiasi compito che possa bloccarlo.Quando un compito blocca una risorsa, eredita immediatamente la priorità massima della risorsa, impedendo compiti di media priorità da interferire.

Considerazioni pratiche di attuazione

Come si seleziona il corretto programmatore all'inizio del progetto quando il software non è pronto e abbiamo solo le specifiche di linea guida dell'hardware? Ci sono molti approcci, come l'analisi monotonica di tasso (RMA), l'analisi peggiore del tempo di esecuzione del caso e l'analisi di modellazione delle prestazioni di livello di sistema.

Constrati della piattaforma hardware

La piattaforma hardware di destinazione influenza significativamente la selezione degli algoritmi di pianificazione. I microcontroller con memoria limitata possono lottare con complessi algoritmi di pianificazione dinamica che richiedono strutture dati sostanziali. La velocità di elaborazione influisce sull'interruttore di contesto e sulla fattibilità di frequenti ricalcature prioritarie.

La velocità di allocazione è importante, in quanto un sistema di allocazione della memoria standard esegue una lista di lunghezza indeterminata collegata per trovare un blocco di memoria libero adatto, che è inaccettabile in un RTOS poiché l'allocazione della memoria deve avvenire entro una certa quantità di tempo.

Integrazione Interrutta di Gestione e ISR

Tutti i processi di servizio interrompi (ISR), che abbiano una scadenza dura in tempo reale o non dovrebbero essere inclusi nell'analisi RMS per determinare la pianificazione nei casi in cui gli ISR abbiano priorità sopra tutte le attività controllate dal programmatore, e un ISR potrebbe già essere opportunamente prioritizzato secondo le regole RMS se il suo processo di elaborazione è più breve di quello del più breve R.

Un programmatore spesso fornisce la possibilità di sbloccare un compito dal contesto del manubrio interrotto. L'interazione tra la gestione dell'interruzione e la pianificazione delle attività deve essere attentamente progettata per mantenere la reattività del sistema, mantenendo le garanzie di pianificazione.

Contesto che cambia sopra

Un tempo di commutazione del contesto è assegnato per l'hardware per ripristinare e gestire le risorse tra le esecuzioni delle attività e per passare tra le attività, viene utilizzato un interruzione quando le fettine di tempo scadono.

Gli algoritmi di priorità dinamica come EDF possono attivare più interruttori di contesto rispetto agli approcci statici come RMS. La testata reale dipende dall'architettura del processore, dall'implementazione di RTOS e dalle caratteristiche delle attività. La misurazione e la contabilità per il tempo di interruttore di contesto è essenziale per un'analisi accurata della pianificazione.

Test e convalida della Schedulability

Il Rate Monotonic Scheduling Algorithm (RMS) è importante per i progettisti di sistemi in tempo reale perché permette di garantire che una serie di compiti sia programmabile, dove si dice che una serie di compiti sia programmabile se tutte le attività possono soddisfare le loro scadenze, e RMS fornisce una serie di regole che possono essere utilizzate per eseguire un'analisi di pianificazione garantita per un set di attività, determinando se un set di attività è possibile.

L'analisi della Schedulability dovrebbe essere eseguita presto nel processo di progettazione e ripetuta come il sistema si evolve. I metodi analitici forniscono garanzie matematiche ma richiedono parametri di attività precisi. L'analisi di simulazione e test di complemento rivelando comportamenti non catturati nei modelli semplificati.

Modellazione e simulazione del sistema

La modellazione e la simulazione del sistema erano fondamentali nell'analisi dei tempi ed era un driver chiave nella scelta dell'algoritmo di pianificazione giusta, e utilizzando questa analisi a livello di sistema, si è scoperto che un RTOS a pieno sangue non era un requisito e migliore performance poteva essere raggiunto a un costo inferiore con un programmatore focalizzato.

La simulazione può rivelare anomalie di tempismo, conflitti di risorse e strozzature di prestazioni che potrebbero non essere evidenti dall'analisi statica. I modelli dovrebbero incorporare i tempi di esecuzione realistici, i modelli di interruzione e la contention delle risorse.

Considerazioni di studio specifiche per l'applicazione

Applicazioni tipiche sono in difesa, aerospaziale, industriale e automobilistico. Diversi domini applicativi hanno requisiti distinti che influenzano la selezione degli algoritmi di pianificazione e le strategie di implementazione.

Sistemi automobilistici

RMS partecipati è particolarmente adatto per sistemi integrati con risorse, come le unità di controllo elettronico per automobili (ECU), dove la predisposizione e la minima sovraccarica sono fondamentali per applicazioni certificate in sicurezza come la gestione del motore e sistemi di assistenza avanzata del conducente. I sistemi automobilistici sono in genere numerosi ECU che comunicano su reti come CAN o FlexRay, con compiti che vanno dal controllo del motore (hard realtime) all'infotainment (soft realtime).

Molti sistemi automobilistici utilizzano architetture time-triggered con pianificazione statica per garantire comportamenti deterministici necessari per la certificazione di sicurezza. La crescente complessità delle caratteristiche di guida autonoma sta guidando l'adozione di approcci di pianificazione più sofisticati, mantenendo al contempo le garanzie di sicurezza.

Aerospaziale e Avionics

Le applicazioni aerospaziale richiedono i più alti livelli di affidabilità e certificazione. L'approccio monotonico a tasso fornisce la base teorica nella progettazione del supporto di programmazione in tempo reale per IEEE Futurebus+, che è stato ampiamente approvato dall'industria, comprese le comunità VME e MultiBUS, ed è anche lo standard adottato dalla US Navy, con l'approccio monotonico a tasso è l'approccio raccomandato nel Manuale di configurazione del sistema Futurebus+ (IEEE 896).

ARINC 653 definisce la pianificazione divisoria per avionica modulare integrata, fornendo isolamento spaziale e temporale tra le applicazioni. Questo approccio consente a molteplici applicazioni con livelli di criticità diversi di coesistere su hardware condiviso mantenendo la certificazione di sicurezza. Il tempo e la partizionamento dello spazio impediscono ai guasti di una partizione di influenzare gli altri, essenziali per gli avionica critici della sicurezza.

Controllo e automazione industriale

I sistemi di controllo industriale spesso dispongono di cicli di controllo periodici con requisiti di temporizzazione ben definiti, rendendoli candidati naturali per RMS. Il campionamento dei sensori, l'esecuzione degli algoritmi di controllo e gli aggiornamenti degli attuatori devono avvenire a intervalli precisi per mantenere la stabilità del sistema. Molti protocolli industriali come PROFINET ed EtherCAT forniscono capacità di comunicazione in tempo reale che devono essere integrati con la programmazione delle attività.

Molti settori hanno compiti sia rigidi che morbide, con compiti con scadenze dure, tipicamente indicati come set di compiti critici, con le attività di scadenze morbide che sono il set di compiti non critici, e il set di compiti critici può essere programmato utilizzando RMS, con compiti non critici che eseguono sotto il sovraccarico transiente, semplicemente assegnando priorità a lungo termine.

Dispositivi medici

Nei settori come l'aeronautica o i dispositivi medici, dove la precisione e la velocità sono essenziali, un RTOS duro garantisce una rapida gestione dei dati e del trattamento. I dispositivi medici vanno dai pacemaker impiantabili con requisiti di affidabilità estrema alle apparecchiature diagnostiche con complesse esigenze di elaborazione del segnale.

I dispositivi medici critici della sicurezza tipicamente impiegano la pianificazione statica di priorità con analisi e test approfonditi. La capacità di dimostrare il comportamento peggiore e ottenere la certificazione spesso supera i vantaggi teorici delle prestazioni di algoritmi più complessi.

Elettronica di consumo e IoT

FreeRTOS è uno dei più popolari RTOS disponibili, distribuiti in miliardi di prodotti in tutto il mondo, e incluso in tutto, dai dispositivi di consumo ai sistemi medici e ai controlli industriali. I dispositivi di consumo spesso privilegiano i costi, il consumo di energia e il time-to-market sulle massime prestazioni.

Zephyr è open source e scalabile, ottimizzato per dispositivi con supporto alle risorse, dai sensori incorporati ai sistemi IoT a tutto campo. I dispositivi IoT affrontano sfide uniche, tra cui connettività intermittente, vincoli di batteria e carichi di lavoro diversi.

Argomenti di Scheduling Avanzati

Multiprocessore e Scheduling Multicore

Nella pianificazione globale dei tassi-monoonici (RMS) per sistemi multiprocessore, i compiti di tutti i processori sono gestiti in una sola coda di priorità condivisa ordinata dai loro tassi fissi, con il compito pronto ad alta priorità inviato a qualsiasi processore idle, consentendo la migrazione dinamica attraverso core per migliorare l'utilizzo delle risorse.

I vantaggi principali di RMS divisoria includono la sua semplicità di implementazione, in quanto sfrutta le tecniche uniprocessor collaudate senza bisogno di gestione globale dello stato, e la sua bassa overhead runtime, che deriva dall'assenza di costi di migrazione e dalle esigenze di sincronizzazione ridotte.

Gestione di attività aperiodiche e sporadici

I sistemi reali includono spesso attività aperiodiche (orari di arrivo imprevedibili) e attività sporadici (tempo minimo inter-arreval garantito) a fianco di attività periodiche. I server di Polling, server deferrable e server sporadici forniscono meccanismi per gestire attività aperiodiche all'interno di strutture di programmazione periodiche.

Sebbene gli algoritmi di rifornimento più sofisticati forniscano prestazioni migliori, la lezione importante è che con una complessità di implementazione relativamente ridotta, l'effetto di esecuzione differita è stato eliminato, rendendo il server sporadico equivalente ad un compito periodico regolare da un punto di vista teorico e quindi completamente compatibile con l'algoritmo RMS.

Sistemi di criticità mista

I sistemi di criticalità mista integrano le attività con diversi livelli di sicurezza o importanza sull'hardware condiviso. Le attività di alta criticità richiedono garanzie sotto ipotesi peggiori, mentre le attività a bassa criticità possono utilizzare ipotesi ottimistiche. La Scheduling deve garantire compiti ad alta criticità soddisfano le scadenze anche quando le attività a bassa criticità superano i tempi di esecuzione previsti, spesso attraverso i cambiamenti di modalità che hanno perso compiti a bassa criticità durante il sovraccarico.

Le autorità di certificazione accettano sempre più approcci a criticalità mista per applicazioni aerospaziale e automotive, consentendo la riduzione dei costi attraverso il consolidamento hardware. Tuttavia, la complessità dell'analisi aumenta in modo significativo, richiedendo strumenti e metodologie sofisticate per dimostrare le proprietà di sicurezza.

Energia-Aware Scheduling

I sistemi integrati alimentati a batteria devono bilanciare i requisiti in tempo reale con il consumo di energia. La tensione dinamica e la scalatura di frequenza (DVFS) regola la velocità del processore per ridurre il consumo di energia durante le scadenze di soddisfare.

Le modalità di sonno offrono un notevole risparmio energetico ma introducono la latenza di sveglia che influisce sulla reattività. Scheduling deve coordinare l'esecuzione delle attività per massimizzare la durata del sonno, garantendo risposte tempestive. I sistemi di raccolta dell'energia affrontano ulteriori sfide della disponibilità di energia imprevedibile, che richiedono strategie di pianificazione adattative.

Selezione del giusto RTOS e programmatore

La maggior parte dei RTOS sono open source, permettendo agli sviluppatori di personalizzare i casi di utilizzo specifici e di utilizzarli attraverso varie operazioni e dispositivi. Il processo di selezione RTOS dovrebbe considerare le capacità di pianificazione insieme ad altri fattori come supporto degli strumenti, risorse della comunità e termini di licenza.

Commerciale vs. Open Source RTOS

Le offerte di RTOS commerciali tipicamente forniscono supporto professionale, documentazione estesa e artefatti di certificazione per applicazioni critiche alla sicurezza. I prodotti come VxWorks, QNX e ThreadX hanno dimostrato i record di traccia nelle applicazioni più complesse. ThreadX fornisce funzionalità avanzate come la pianificazione preemptive soglia, la catena degli eventi e l'analisi dell'esecuzione, nonché un'architettura del kernel pico e metriche di prestazioni complete, rendendolo un piccolo, veloce ed efficiente RTOS elettronico che garantisce un ambiente affidabile per un ambiente di tempo

RTEMS è un sistema operativo in tempo reale open source contenente un programma monotonico di lavoro. L'open source RTEMS può essere personalizzato per esigenze specifiche e beneficiare dei contributi comunitari, anche se il supporto professionale può richiedere accordi commerciali.

Valutare le funzionalità di Scheduling

Keil RTX offre una piattaforma strutturata ed efficiente per gli sviluppatori, supportando il multitasking con caratteristiche come la programmazione flessibile - con algoritmi come la rotonda-robin, preemptive, e la latenza collaborativa - e bassa interrompiatura.

Quali sono i livelli prioritari disponibili? Quali meccanismi di sincronizzazione sono forniti? Come viene gestito l'inversione prioritaria? Quali sono le soluzioni di tempismo disponibili? Come è configurabile il programmatore? Capire queste funzionalità aiuta a soddisfare le caratteristiche RTOS ai requisiti applicativi.

Supporto per gli strumenti e ambiente di sviluppo

I debugger Kernel-aware forniscono visibilità negli stati delle attività, nelle priorità e nell'utilizzo delle risorse. Gli strumenti di traccia di esecuzione catturano il comportamento dei tempi per l'analisi e l'ottimizzazione.

L'integrazione con ambienti di sviluppo, compilatori e hardware target influisce sulla produttività. Considerare la disponibilità di pacchetti di supporto per schede, librerie di driver e componenti middleware. Risorse comunitarie, qualità della documentazione e la disponibilità della formazione influenzano la curva di apprendimento e la manutenbilità a lungo termine.

Migliori Pratiche per l'implementazione di Scheduling Algorithm

Considerazioni di fase di progettazione

Identificare i compiti in tempo reale difficili che richiedono scadenze garantite rispetto alle attività in tempo reale soffici che tollerano occasionali mancanze.

Eseguire l'analisi preliminare di pianificazione precoce per identificare i potenziali problemi. Utilizzare le stime conservatrici per i tempi di esecuzione e includere la testata per gli interruttori di contesto, gli interruttori e il blocco delle risorse.

Linee guida per l'attuazione

Tenere le implementazioni delle attività semplici e focalizzate su responsabilità singole. Minimizza la variabilità del tempo di esecuzione attraverso pratiche di codifica accurate. Evitare loop non legati, algoritmi ricorrenti e allocazione dinamica della memoria in percorsi critici nel tempo.

Implementare la corretta sincronizzazione utilizzando i primitivi appropriati come semafori, mutexe e code di messaggi. Un RTOS utilizza meccanismi come semafori, code di messaggi e bandiere di eventi per comunicare tra e sincronizzare diversi compiti.

Test e convalida

I test unitari convalidano la logica delle singole attività, mentre i test di integrazione esaminano le interazioni delle attività e la condivisione delle risorse. I test di stringa con le condizioni di carico massime rivelano margine e identificano le potenziali violazioni dei termini.

Misurare i tempi di esecuzione, i tempi di risposta e l'interruttore di contesto sull'hardware di destinazione. Confrontare le misure contro le previsioni analitiche per convalidare i modelli. Utilizzare l'esecuzione tracciando per identificare anomalie di temporizzazione, inversioni prioritarie e blocco inaspettato.

Monitoraggio e manutenzione

Implementare i timer di orologi da lavoro per recuperare dai guasti delle attività. statistiche di tempistica di log per l'analisi e l'ottimizzazione post-deployment. Sistemi di progettazione per fallire in modo sicuro quando non possono essere rispettate le scadenze.

Mantenere l'analisi della pianificazione come il sistema si evolve. Re-verificare le proprietà di temporizzazione quando si aggiungono le funzionalità, modificano le attività o modificano l'hardware.

Pitfalls comune e come evitare di loro

Sottostimando i tempi di esecuzione

Misurare i tempi di esecuzione peggiori su hardware reale con condizioni realistiche, inclusi gli effetti della cache, le bancarelle di tubazioni e la contention della memoria. Includere la copertura per i servizi del sistema operativo, la gestione di interrompi e gli interruttori di contesto.

Ignorando l'inversione della priorità

Non riuscire a risolvere l'inversione prioritaria può causare compiti ad alta priorità per perdere le scadenze nonostante una capacità di processore adeguata. Utilizzare sempre protocolli di ereditarietà o soffitti prioritari per le risorse condivise.

Test inadeguato

I test di verifica dei casi tipici mancano di casi di angolo che causano violazioni dei termini. Sviluppare casi di test che coprono la fase di attività peggiore, i tassi di interruzione massimi e la soddisfazione delle risorse di picco.

Trascurare l'impatto interrotto

Interruzioni prevuoto esecuzione delle attività e influenzano la pianificazione ma sono spesso trascurati in analisi. Interruzioni in generale preempt task processing indipendente dal tasso di arrivo degli eventi e quindi chiaramente avere un impatto sulla capacità di altri compiti per soddisfare le loro scadenze. Includere tutte le fonti di interrompi nell'analisi dei tempi con frequenze realistiche e tempi di esecuzione.

Over-Engineering

La scelta di algoritmi di programmazione eccessivamente complessi aumenta il tempo di sviluppo e il peso di manutenzione senza benefici commensurati. Scegli i requisiti più semplici di algoritmo di soddisfare. L'efficienza di un RTOS dipende in gran parte dal suo algoritmo di pianificazione, rendendolo un aspetto essenziale del design del sistema.

Tendenze future in RTOS Scheduling

Imparare la macchina e l'integrazione dell'intelligenza artificiale

Le applicazioni AI integrate presentano nuove sfide di pianificazione con tempi di esecuzione variabili e dipendenze complesse. L'inferenza della rete neuronale può richiedere un calcolo significativo con variabilità temporale a seconda dei dati di input.

Piattaforme di calcolo eterogenee

I moderni sistemi embedded incorporano sempre più processori eterogenei, tra cui core generici, DSP, GPU e acceleratori specializzati. Scheduling deve coordinare l'esecuzione delle attività attraverso diverse risorse di calcolo con diverse capacità e caratteristiche di prestazione.

Reti di tempo-sensitive

I sistemi in tempo reale distribuiti richiedono una programmazione coordinata su nodi collegati alla rete. Gli standard di rete (TSN) che prevedono una comunicazione deterministica per applicazioni industriali e automobilistiche. Gli algoritmi di Scheduling devono considerare sia l'esecuzione delle attività locali che la tempistica di trasmissione della rete per garantire scadenze finali.

Sistemi di adattamento e auto-opttimizzazione

L'apprendimento automatico potrebbe ottimizzare i parametri di programmazione basati su comportamenti osservati. I sistemi di monitoraggio automatico potrebbero rilevare anomalie di tempo e regolare automaticamente le priorità o l'allocazione delle risorse. Tuttavia, mantenere il determinismo e la certificazione nei sistemi di adattamento presenta sfide significative.

Conclusione: raggiungere il giusto equilibrio

La selezione e l'implementazione di algoritmi di pianificazione per sistemi operativi in tempo reale richiedono un equilibrio ottimale teorico con vincoli pratici. La Scheduling consente l'esecuzione prioritaria, dove vengono date priorità alle attività di maggiore priorità rispetto alle attività di minore priorità, garantendo che i compiti critici temporali vengano eseguiti tempestivamente, portando a una maggiore reattività del sistema e affidabilità.

La tecnologia Monotonic Scheduling fornisce un'eccellente base per sistemi con compiti periodici e requisiti di utilizzo moderati, offrendo semplicità, prevedibilità e comprovata esperienza industriale.

L'effettiva implementazione della programmazione richiede analisi rigorose, test completi e validazione continua. L'inversione prioritaria deve essere affrontata attraverso protocolli appropriati. La gestione interrotta, il commutazione del contesto e la condivisione delle risorse di tutti gli impatti in tempo reale e deve essere gestita con attenzione.

Il panorama dei sistemi incorporati continua a evolversi con processori multicore, calcolo eterogeneo, integrazione AI e architetture distribuite. Queste tendenze introducono nuove sfide di pianificazione, mentre si basano su principi fondamentali stabiliti nel corso di decenni di ricerca dei sistemi in tempo reale. Gli ingegneri devono rimanere attuali con le tecniche emergenti, mantenendo l'attenzione su approcci collaudati che forniscono un comportamento in tempo reale affidabile e prevedibile.

In definitiva, la selezione di algoritmi di programmazione di RTOS si riduce a capacità teoriche abbinate a esigenze pratiche, implementando con attenzione ai dettagli e convalidando accuratamente attraverso analisi e test.

Portachiavi per i praticanti

  • Inizia con chiare specifiche esigenze, inclusi tutti i vincoli di tempismo e le relazioni prioritarie
  • Scegli l'algoritmo di pianificazione più semplice che soddisfa le tue esigenze, evitando la sovraingegneria
  • Eseguire l'analisi di pianificazione precoce e aggiornarla man mano che il sistema si evolve
  • Misurare i tempi di esecuzione reali sull'hardware di destinazione piuttosto che affidarsi a stime
  • Attuare sempre i protocolli di ereditarietà o di massima priorità per le risorse condivise
  • Includere la gestione interrotta e l'interruttore di contesto in fase di analisi dei tempi
  • Test approfondito, compresi gli scenari peggiori e le condizioni di stress
  • Decisioni di programmazione del documento e mantenere la tracciabilità ai requisiti
  • Considerare l'utilizzo di modelli e simulazioni di sistema per convalidare le scelte di progettazione
  • Restare informati sulle capacità di RTOS e sulle tecniche di pianificazione emergenti

Per ulteriori esplorazioni dei concetti di pianificazione in tempo reale, ]Comunità di ingegneria dei sistemi incorporati] fornisce risorse estese e studi di casi. Istituto di ingegneria del software alla Carnegie Mellon University offre una ricerca completa sull'analisi monotonica dei tassi.