LynxOS
Deweloper | Lynx Software Technologies, Inc. |
---|---|
Napisane w | Ada , C , C++ , Rust |
Rodzina OS | Uniksowy system operacyjny czasu rzeczywistego |
Stan roboczy | Aktualny |
Model źródłowy | Zamknięte źródło |
Pierwsze wydanie | 1986 |
Najnowsze wydanie | 7.1 / 20 lutego 2020 |
Cel marketingowy | Systemy wbudowane |
Dostępne w | język angielski |
Platformy | Motorola 68010 , Intel 80386 , architektura ARM , PowerPC |
Typ jądra | Monolityczny , dynamicznie rozbudowywalny |
Domyślny interfejs użytkownika |
Interfejs linii komend |
Licencja | Prawnie zastrzeżony |
Oficjalna strona internetowa |
LynxOS RTOS to podobny do systemu Unix system operacyjny czasu rzeczywistego firmy Lynx Software Technologies (wcześniej „LynuxWorks”). Czasami znany jako system operacyjny Lynx , LynxOS jest w pełni zgodny z POSIX , a ostatnio także z Linuksem . LynxOS jest najczęściej używany w systemach wbudowanych czasu rzeczywistego , w aplikacjach dla awioniki , lotnictwa , wojska, sterowania procesami przemysłowymi i telekomunikacji . W związku z tym jest kompatybilny z wojskowym protokołem bezpieczeństwa, takim jak wolfSSL , popularna biblioteka Transport Layer Security (TLS/SSL).
Historia
Pierwsze wersje LynxOS zostały napisane w 1986 roku w Dallas w Teksasie przez Mitchella Bunnella i przeznaczone dla niestandardowego komputera opartego na Motoroli 68010 . Pierwszą platformą, na której działał LynxOS, był Atari 1040ST z rozwojem krzyżowym wykonanym na maszynie Integrated Solutions UNIX. W latach 1988-1989 LynxOS został przeniesiony na Intel 80386 . Około 1989 roku dodano zgodność interfejsu binarnego aplikacji (ABI) z UNIX System V .3. Kompatybilność z innymi systemami operacyjnymi, w tym z Linuksem.
jądro zapewnia pełną obsługę jednostki zarządzania pamięcią w celu zapewnienia niezawodności chronionej pamięci i zwiększenia wydajności adresów wirtualnych. Obsługiwana jest również architektura PowerPC , aw lutym 2015 Lynx ogłosił planowane wsparcie dla rodziny ARM Cortex A.
Komponenty LynxOS są zaprojektowane z myślą o absolutnym determinizmie (twarda wydajność w czasie rzeczywistym), co oznacza, że reagują w znanym okresie czasu. Przewidywalne czasy odpowiedzi są zapewnione nawet w przypadku dużej liczby wejść/wyjść (I/O) dzięki unikalnemu modelowi wątkowania jądra , który pozwala na bardzo krótkie i szybkie procedury przerwań .
Lynx posiada wygasły patent na technologię używaną przez LynxOS do utrzymania wydajności w czasie rzeczywistym. Patent US 5,469,571 został przyznany firmie Lynx 21 listopada 1995 r.: „Architektura systemu operacyjnego wykorzystująca obsługę przerwań opartą na zadaniach z lekkim jądrem o wielu priorytetach”.
W 2003 roku Lynx wprowadził wyspecjalizowaną wersję LynxOS o nazwie LynxOS-178, szczególnie do użytku w aplikacjach awioniki, które wymagają certyfikacji zgodnie ze standardami branżowymi, takimi jak DO-178B .
do certyfikowanego zestawu narzędzi dla LynxOS-178 i LynxElement unikernel dodano obsługę języka programowania Rust .
Grupa dyskusyjna Usenet comp.os.lynx jest poświęcona dyskusji na temat LynxOS.
Linki zewnętrzne
- Oficjalna strona internetowa
- Patent nr 5 469 571: „Architektura systemu operacyjnego LynuxWorks wykorzystująca obsługę przerwań opartą na zadaniach z lekkim jądrem o wielu priorytetach”.
- Oficjalny dokument: Używanie mikroprocesorowej jednostki MMU do ochrony oprogramowania w systemach czasu rzeczywistego
- Aplikacje wykorzystujące LynxOS i inne systemy operacyjne Lynx