PREEMPT_RT transformira Linux kernel u operativni sustav u stvarnom vremenu, osiguravajući precizno određivanje vremena za kritične zadatke. Potpuno integriran u Linux 6.12 (objavljen 20. rujna 2024.), omogućuje mogućnosti u stvarnom vremenu za arhitekture poput x86, ARM64 i RISC-V. Evo što trebate znati:

• Ključne značajke:
  • Zamjenjuje tradicionalne spinlockove s preemptabilnim spavajućim zaključavanjima.
  • Pretvara rukovatelje prekidima u niti, čineći ih rasporedivim i preemptabilnim.
  • Implementira nasljeđivanje prioriteta kako bi se riješili problemi inverzije prioriteta.
  • Omogućuje potpuno preemptivne RCU (Read-Copy-Update) operacije.
• Primjene:
  • Koristi se u industrijama poput automobilske, robotske, telekomunikacijske i medicinske industrije gdje je precizno mjerenje vremena ključno.
  • Napaja sustave poput alata za industrijsku automatizaciju, kontrola leta i okruženja za hosting koja zahtijevaju virtualni privatni poslužitelji s niskom latencijom.
• Postavljanje:
  • Omogućiti CONFIG_PREEMPT_RT u konfiguraciji kernela.
  • Fino podešavanje postavki kao što su KONFIG_BROJ_HZ_PUN i CONFIG_RCU_BOOST za optimalne performanse.
  • Koristite alate poput ciklički test za mjerenje latencije i validaciju performansi.

PREEMPT_RT daje prioritet vremenu nad propusnošću, što Linux čini prikladnim za aplikacije gdje se rokovi ne mogu pregovarati. To je revolucionarna tehnologija za industrije koje zahtijevaju determinističke performanse.

Objašnjenje PREEMPT_RT: Izgradnja i optimizacija Linux kernela za rad u stvarnom vremenu i ultra nisku latenciju

sbb-itb-59e1987

Osnovne značajke PREEMPT_RT

PREEMPT_RT se fokusira na četiri glavne značajke osmišljene za smanjenje nepreuzimljivog koda i poboljšanje kontrole nad raspoređivanjem zadataka. Evo detaljnijeg pogleda na svaku od njih.

Potpuna preempcija kernela

Jedno od najvećih ažuriranja je transformiranje standardnih spinlockova (spinlock_t) i brave za čitanje i pisanje (rwlock_t) u spavajući spinlockovi temeljeni na mutexima. Tradicionalne spinlockove mogu uzrokovati kašnjenja jer onemogućuju preempciju, prisiljavajući zadatke u stanje zauzetog čekanja. PREEMPT_RT to mijenja uvođenjem zaključavanja koja omogućuju zadacima da miruju i budu preemptovani, čak i kada drže resurs.

To znači da zadaci visokog prioriteta mogu prekinuti one nižeg prioriteta, čak i ako zadaci nižeg prioriteta drže brave. Međutim, za određene kritične operacije - poput raspoređivača ili ulaznih točaka hardvera - PREEMPT_RT zadržava sirovo_spinlock_t, koji se ponaša kao originalne nepreuzimljive brave. Kao što Paul McKenney, ugledni inženjer, kaže:

""Ključna točka PREEMPT_RT zakrpe je minimiziranje količine kernel koda koji se ne može preemptiti, a istovremeno minimiziranje količine koda koji se mora promijeniti kako bi se osigurala ova dodatna preemptibilnost.""

Zatim, pogledajmo kako rukovanje prekidima ima koristi od ovog pristupa.

Prekidi s nitima

PREEMPT_RT prebacuje većinu hardverskih rukovatelja prekidima iz konteksta "tvrdog IRQ-a" u niti jezgre izvršavanje u kontekstu procesa. Ova prilagodba omogućuje davanje prioriteta, preempciju ili čak blokiranje rukovateljima prekidima.

U standardnoj Linux kernelu, dugotrajni program za obradu prekida može dovesti do neograničene latencije jer zaustavlja sva ostala izvršavanja. Nitni prekidi rješavaju ovaj problem. Prema zadanim postavkama, ovi prekidni niti se izvode s SCHED_FIFO prioritet od 50, ali administratori mogu prilagoditi svoje prioritete pomoću alata poput chrt. Na primjer, mogli biste dati prioritet prekidu mrežne kartice za industrijsku kontrolu, a istovremeno smanjiti prioritet za I/O diska. Budući da ove niti koriste spinlockove u stanju mirovanja umjesto sirovih spinlockova, izbjegavaju potrebu za onemogućavanjem hardverskih prekida dok drže zaključavanje.

Sada istražimo kako PREEMPT_RT rješava izazove povezane s prioritetima.

Nasljeđivanje prioriteta i Rtmutex

Inverzija prioriteta je glavni problem gdje zadatak visokog prioriteta zaglavi čekajući resurs koji drži zadatak niskog prioriteta, dok zadatak srednjeg prioriteta (kojem nije potreban resurs) preuzima zadatak niskog prioriteta. PREEMPT_RT to rješava s prioritetno nasljeđivanje, privremeno povećavajući prioritet zadatka niskog prioriteta kako bi se uskladio sa zadatkom najvišeg prioriteta koji čeka resurs.

The rtmutex primitiv je alat koji to omogućuje. Osigurava da kada dođe do sukoba, zadatak niskog prioriteta dobije pojačanje prioriteta kako bi završio svoj kritični dio bez ometanja zadataka srednjeg prioriteta. Ako se pojačani zadatak blokira na drugoj bravi, pojačanje prioriteta se kaskadno prenosi niz lanac ovisnosti. Kao što objašnjava dokumentacija Linux kernela:

"Nasljeđivanje prioriteta omogućuje dobro dizajniranim aplikacijama korištenje zaključavanja korisničkog prostora u kritičnim dijelovima niti visokog prioriteta, bez gubitka determinizma."

Da bi se to postiglo, rtmutex koristi zastavicu i stablo prema prioritetu za upravljanje zadacima čekanja, održavajući niske opterećenja na podržanim arhitekturama.

Konačno, pogledajmo kako PREEMPT_RT poboljšava RCU operacije.

Preemptabilni RCU (Čitanje-Kopiranje-Ažuriranje)

Čitaj-Kopiraj-Ažuriraj (RCU) je tehnika sinkronizacije koja se opsežno koristi u Linux kernelu. U standardnim kernelima, RCU sekcije za čitanje nisu preemptabilne, što može dovesti do nepredvidivih kašnjenja. PREEMPT_RT to mijenja tako što RCU sekcije za čitanje potpuno preemptabilno, osiguravajući da rokovi zadataka u stvarnom vremenu nisu ugroženi. Ova prilagodba je temelj postizanja predvidljivog ponašanja potrebnog u sustavima u stvarnom vremenu.

Kako konfigurirati i koristiti PREEMPT_RT

PREEMPT_RT je u potpunosti integriran u glavne Linux kernele, što znači da vanjske zakrpe više nisu potrebne. Međutim, primjena najnovijeg reda čekanja zakrpa i dalje je dobra ideja za bolju podršku arhitekture i poboljšanu grafiku. Nakon što je kernel spreman, morat ćete prilagoditi njegove postavke kako biste u potpunosti iskoristili njegove mogućnosti.

Postavke konfiguracije jezgre

Da biste omogućili potpuno preemptabilnu jezgru, uključite CONFIG_PREEMPT_RT. U novijim kernelima ova se postavka nalazi pod "Općim postavkama", ali možda ćete je morati omogućiti STRUČNJAK_ZA_KONFIGURACIJU prvo da bi bio vidljiv u izborniku za konfiguraciju.

Za proizvodnju namjenski poslužitelji i druga visokoučinkovita okruženja, dodatne opcije mogu dodatno optimizirati performanse:

• KONFIG_BROJ_HZ_PUNSmanjuje prekide sata raspoređivanja na zauzetim CPU-ima, što pomaže u smanjenju podrhtavanja.
• CONFIG_RCU_BOOSTSprječava odgodu razdoblja odgode kod preemptovanih RCU čitača.
• CONFIG_RCU_NOCB_CPUPrebacuje rukovanje povratnim pozivima RCU-a na određene CPU-ove, smanjujući smetnje u zadacima u stvarnom vremenu.

Također je ključno onemogućiti opcije otklanjanja pogrešaka koje mogu uzrokovati veliku latenciju. Isključite postavke poput CONFIG_DEBUG_LOCKDEP, CONFIG_DEBUG_PREEMPT, OBJEKTI_ZA_OTKLANJANJE_POGREŠAKA, i CONFIG_SLUB_DEBUG. Iako su ovi alati korisni za razvoj, mogu značajno naštetiti ciljevima latencije. Kao što objašnjava kernelconfig.io:

""Ova opcija pretvara kernel u kernel stvarnog vremena zamjenom raznih primitiva za zaključavanje (spinlockovi, rwlockovi itd.) s varijantama koje su svjesne prioritetnog nasljeđivanja i s kojima se može preemptibilno upravljati.""

Nakon što je kernel izgrađen i pokrenut, potvrdite da je PREEMPT_RT aktivan pokretanjem mačka /sys/kernel/realtime. Povratna vrijednost od 1 označava uspjeh. Također možete provjeriti "PREEMPT_RT" u izlazu uname -a.

Otklanjanje pogrešaka i optimizacija performansi

Fino podešavanje kernela ključno je za postizanje optimalnih performansi s radnim opterećenjima u stvarnom vremenu. Jedno ključno područje kojim se treba pozabaviti je mehanizam za regulaciju u stvarnom vremenu, koji prema zadanim postavkama rezervira 50 ms u sekundi za zadatke koji nisu u stvarnom vremenu. Ako je vaše radno opterećenje isključivo u stvarnom vremenu, ovaj mehanizam možete onemogućiti pisanjem -1 do /proc/sys/kernel/sched_rt_runtime_us. Kao što ističe Jan Altenberg, viši konzultant za otvoreni kod u OSADL-u:

""'Neuspješan' zadatak u stvarnom vremenu može izgladnjivati sustav. Kao mehanizam zaštite, vrijeme izvođenja zadataka u stvarnom vremenu može se ograničiti postavljanjem vrijednosti u mikrosekundama u /proc/sys/kernel/sched_rt_runtime_us."‘

Za poboljšani determinizam, izolirajte specifične CPU jezgre pomoću parametara poput isolcpus=2,3, rcu_nocbs=2,3, nohz_full=2,3, i postavite afinitet prema irkafizmu=0. To rezervira te jezgre isključivo za zadatke u stvarnom vremenu.

Za upravljanje prekidnim nitima koristite chrt alat. Ove niti se obično izvode s zadanim SCHED_FIFO prioritet 50, ali ih možete prilagoditi kako biste izbjegli sukobe s vašom aplikacijom. Na primjer, da biste postavili IRQ nit mrežne kartice na prioritet 98, upotrijebite naredbu: chrt -p -f 98.

Nakon dovršetka konfiguracije, ključno je testirati i validirati performanse latencije. Alati poput ciklički test može mjeriti latenciju (npr., ciklički test -S -m -p98 -i250), dok rtla (Analiza Linuxa u stvarnom vremenu) pomaže u identificiranju i analizi skokova latencije. Ovi alati osiguravaju da vaša postavka zadovoljava zahtjeve aplikacija u stvarnom vremenu.

Primjene i prednosti PREEMPT_RT

Primjeri upotrebe aplikacija u stvarnom vremenu

PREEMPT_RT se ističe u sustavima gdje je preciznost vremena neizbježna. zrakoplovstvo, osigurava da navigacija i kontrole leta rade bez mikrosekundnih kašnjenja, što bi inače moglo ugroziti sigurnost. Telekomunikacija Tvrtke računaju na njega za upravljanje usmjeravanjem podataka u stvarnom vremenu, osiguravajući nesmetane glasovne i video pozive uklanjanjem podrhtavanja i skokova latencije.

U automobilska industrija, to je temelj sustava upravljanja vozilima, a veliki igrači poput Continental Automotivea podržavaju njegovo usvajanje. industrijska automatizacija, PREEMPT_RT pokreće programabilne logičke kontrolere (PLC) i SCADA sustave, često radeći uz protokole poput EtherCAT-a kako bi održali sigurnost i učinkovitost u tvornicama. Robotika također se uvelike oslanja na ovu tehnologiju za precizno upravljanje aktuatorima i trenutne povratne informacije senzora, što robotima omogućuje trenutni odgovor na promjene u okolišu.

Možda su najkritičnije primjene u medicinski uređaji, gdje je preciznost najvažnija. Od monitora za pacijente do kirurških robota, PREEMPT_RT pruža determinističke performanse potrebne za besprijekorno funkcioniranje životno važnih sustava.

Prednosti za hosting okruženja

Prednosti PREEMPT_RT protežu se i na hosting okruženja, gdje je odziv u stvarnom vremenu jednako važan. VPS i dedicirani serveri, minimizira latenciju omogućujući raspoređivaču da prioritizira zadatke visokog prioriteta u odnosu na manje kritične. To osigurava dosljedno vrijeme odziva, što izravno utječe na korisničko iskustvo i pouzdanost usluge.

Model prekida s nitima sprječava "oluje prekida" koje preopterećuju sustave tijekom teških I/O operacija. rt_mutex, nasljeđivanje prioriteta osigurava da pozadinski zadaci niskog prioriteta ne blokiraju kritične usluge hostinga. Vremenski mjerači visoke rezolucije omogućuju točnost raspoređivanja na razini mikrosekundi, smanjujući podrhtavanje u virtualiziranim postavkama. Pružatelji hostinga, poput Serverion, nude prilagođene izgradnje kernela s PREEMPT_RT, dajući administratorima fleksibilnost finog podešavanja konfiguracija za specifična opterećenja. Korištenjem parametara kao što su izolcpus i afinitet prema irkafu, pružatelji usluga mogu namijeniti CPU jezgre za zadatke kritične za performanse, a istovremeno izolirati rutinske sistemske operacije.

Zaključak

Ovaj vodič je detaljno istražio kako PREEMPT_RT pretvara Linux u operativni sustav u stvarnom vremenu dajući raspoređivaču gotovo potpunu kontrolu. Od uključivanja u glavne kernele počevši od Linuxa 6.12 (rujan 2024.), eliminirao je potrebu za vanjskim zakrpama na arhitekturama poput x86, ARM64 i RISC-V.

Koncept je jednostavan: smanjiti nepreuzimljivi kod što je više moguće. Pretvaranjem spinlockova u spavajuće brave i pokretanjem rukovatelja prekidima kao niti, zadaci visokog prioriteta mogu preuzimati gotovo sve aktivnosti kernela. Značajke poput nasljeđivanja prioriteta sprječavaju zadatke niskog prioriteta da odgađaju kritične operacije, dok preuzimljivi RCU osigurava da čak ni kritični dijelovi na strani čitanja ne uzrokuju značajna kašnjenja. Sebastian Siewior, održavatelj PREEMPT_RT-a, prikladno navodi:

""Sva kontrola je na planeru.""

Ovaj tehnički skok nudi praktične koristi. Na primjer, Serverion Koristi prilagođene PREEMPT_RT kernele za fino podešavanje izolacije CPU-a i optimizaciju opterećenja u stvarnom vremenu, osiguravajući stabilno vrijeme odziva čak i pod intenzivnim I/O pritiskom.

Ono što izdvaja sustave u stvarnom vremenu nije samo brzina – to je predvidljivost. PREEMPT_RT minimizira podrhtavanje, osiguravajući da se zadaci izvršavaju precizno kada je potrebno. To je ključno za aplikacije poput industrijske automatizacije, telekomunikacija i hosting usluga kritičnih za performanse. Donosi vrstu determinističkog ponašanja koju standardne jezgre jednostavno ne mogu pružiti.

S integracijom u glavnu jezgru i podrškom od strane poslovnih distribucija poput Ubuntu Pro (od veljače 2023.), PREEMPT_RT je postao pristupačniji pružateljima hostinga i administratorima sustava. Pruža pouzdane performanse s niskom latencijom potrebne za današnja najzahtjevnija i vremenski osjetljiva okruženja.

FAQ

Trebam li PREEMPT_RT ili je dovoljan standardni Linux?

Standardna Linux jezgra, kada se kombinira s PREEMPT_RT zakrpa, dobiva mogućnosti rada u stvarnom vremenu. To ga čini jakim izborom za aplikacije gdje su niska latencija i konzistentno vrijeme odziva ključni. Međutim, sama po sebi, glavna Linux jezgra možda neće moći ispuniti stroge zahtjeve rada u stvarnom vremenu.

Hoće li PREEMPT_RT smanjiti ukupnu propusnost na mom sustavu?

Da bi se postigla izvedba u stvarnom vremenu, PREEMPT_RT fokusira se na smanjenje nepreuzimljivog kernel koda, što pomaže u poboljšanju odziva sustava. Ovaj pristup može dovesti do blagog smanjenja ukupne propusnosti, ali osigurava dosljedno i predvidljivo ponašanje – ključno za vremenski osjetljive aplikacije. Ovaj kompromis je namjeran i ključan za zadovoljavanje zahtjeva sustava u stvarnom vremenu.

Koja je ciljana latencija realna s PREEMPT_RT?

S PREEMPT_RT, postizanje latencije u rasponu od milisekundi realan je cilj i za stolna računala i za ugrađene sustave. Međutim, stvarne performanse uvelike ovise o tome koliko je sustav dobro konfiguriran i podešen kako bi zadovoljio specifične zahtjeve. Pravilno postavljanje ključno je za osiguranje željene razine odziva.

Povezani postovi na blogu

• Detekcija anomalija u stvarnom vremenu za AI radna opterećenja
• Testiranje latencije u sustavima za preokret: ključne metrike
• Vrhunski vodič za praćenje pohrane u oblaku u stvarnom vremenu
• Kako optimizirati web poslužitelje za nisku latenciju