Realaus laiko OS

Realaus laiko OS - tai tam tikros operacinės sistemos, kurios yra padarytos taip, kad gali užgarantuoti vykdomai programai, kad jei įvyks koks nors įvykis (pvz., koks nors daviklis ar šiaip koksai prietaisas perduos kompiuteriui signalą, tai su tuo susijusi programa gaus laiku pakankamai resursų, kad galėtų tą signalą normaliai kaip reikia apdirbti.

Formaliai žiūrint, tokiose OS teisingo įvykdymo sąlyga laikoma ne tik loginė sudedamoji, bet ir laiko sudedamoji - t.y., teisingas rezultatas bus tik tada, jei jis bus laiku.

Iš to seka keli reikalavimai:

• OS turi veikti taip, kad nuo signalo gavimo iki valdymo perdavimo programai praeitų ne daugiau, nei nustatytas laiko tarpas, visiškai nepriklausomai nuo to, kas su kompiuteriu bevyktų
• OS turi veikti taip, kad valdymą gavusi programa galėtų per konkretų laiko tarpą gauti tiek procesoriaus ciklų, kad galėtų padaryti tai, ką reikia, visiškai nepriklausomai nuo to, kas su kompiuteriu bevyktų
• OS turi veikti taip, kad programa galėtų laiku, per ne daugiau, nei nustatytą laiko tarpą, perduoti signalą išorės įrenginiui, visiškai nepriklausomai nuo to, kas su kompiuteriu bevyktų

Žodžiu, neturi būti taip, kad, pvz., mašina, valdoma kompiuterio, kažkur važiavo, bet kompiuteris užsiswapino, nes tuo metu kažką tenai dar darė, o todėl mašina nesureagavo į kliūtį, nes tą reagavimą atidėjo pusei minutės į priekį. Jei taip bus, tai akivaizdu, kad bus avarijos ir iš mašinos nieko neliks. Taigi, OS turi būti realaus laiko, ji turi veikti taip, kad niekas iš principo negalėtų užsiswapinti ir kaip nors atsidėti į priekį.

Iš esmės, tai reiškia, kad OS turi veikti gerokai kitaip, nei įprasta, ir daugelis paplitusių OS, pvz., dauguma Windows versijų, yra iš principo dėl savo architektūros nepajėgios veikti, kaip realaus laiko OS. Dalis kitų OS gali būti pajėgios, nors gali ir nebūti. Pvz., dalis Linux variantų tą gali, taip pat gali ir kai kurios komercinės specialiai įrangos valdymui kurtos OS, kaip kad QNX.