Podstawy tworzenia systemów operacyjnych

System operacyjny (OS) to podstawowe oprogramowanie zarządzające zasobami sprzętowymi i programowymi komputera. To ono sprawia, że komputer jest użyteczny.

W tej lekcji omówimy najważniejsze koncepcje związane z tworzeniem systemów operacyjnych, zwłaszcza sposób wykorzystania języka Rust do budowy jądra zapewniającego kontrolę niskiego poziomu przy zachowaniu nowoczesnych gwarancji bezpieczeństwa.

Jądro to centralna część systemu operacyjnego. Jest pierwszym programem ładowanym podczas uruchamiania komputera i sprawuje pełną kontrolę nad jego działaniem.

Do jego głównych zadań należą:

• Zarządzanie pamięcią: Przydzielanie pamięci i ochrona jej obszarów.
• Zarządzanie procesami/zadaniami: Planowanie wykonywania uruchomionych programów i przełączanie między nimi.
• Obsługa sprzętu: Obsługa wejścia/wyjścia (I/O) oraz przerwań.
• Wywołania systemowe: Udostępnianie usług aplikacjom użytkownika.

Pamięć wirtualna to zaawansowana technika, która pozwala każdemu programowi korzystać z własnego, odizolowanego widoku pamięci. Stwarza to wrażenie, że każdy program ma do dyspozycji duży, ciągły blok pamięci, nawet jeśli pamięć fizyczna jest pofragmentowana.

Chroni ona programy przed wzajemnym zakłócaniem dostępu do pamięci i umożliwia efektywne wykorzystanie fizycznej pamięci RAM, ponieważ do pamięci ładowane są tylko niezbędne części programu.

Stronicowanie to popularna metoda implementacji pamięci wirtualnej. Pamięć jest dzielona na bloki o stałym rozmiarze nazywane stronami (dla adresów wirtualnych) i ramkami (dla adresów fizycznych).

System operacyjny utrzymuje tablice stron — struktury danych, które odwzorowują numery stron wirtualnych na numery ramek fizycznych. Gdy procesor uzyskuje dostęp do adresu wirtualnego, jednostka zarządzania pamięcią (MMU) tłumaczy go na odpowiadający mu adres fizyczny za pomocą tych tablic.

Zadanie (często nazywane procesem lub wątkiem) to niezależna jednostka pracy. Współczesne systemy operacyjne wykonują wiele zadań współbieżnie na jednym rdzeniu procesora.

Planista to komponent jądra, który w danym momencie decyduje, któremu zadaniu przydzielić procesor. Jego celem jest sprawiedliwe i efektywne rozdzielanie czasu procesora między wszystkie aktywne zadania, tworząc wrażenie wykonywania równoległego.

Gdy planista decyduje o przełączeniu z jednego zadania na inne, wykonuje przełączenie kontekstu. Jest to krytyczna operacja, która obejmuje:

• Zapisanie pełnego bieżącego stanu procesora (np. rejestrów, licznika rozkazów i wskaźnika stosu) w powiązanej strukturze danych zadania.
• Wczytanie zapisanego stanu procesora zadania, które ma zostać uruchomione.

Dzięki temu zadania mogą wznowić działanie dokładnie w miejscu, w którym je przerwano, co stwarza wrażenie ich jednoczesnego wykonywania.

Przerwanie to sygnał ze sprzętu (takiego jak klawiatura, mysz, napęd dyskowy lub zegar) do procesora, informujący o wystąpieniu zdarzenia wymagającego natychmiastowej obsługi.

Gdy wystąpi przerwanie, procesor:

• Wstrzymuje bieżące wykonywanie.
• Zapisuje swój bieżący stan.
• Przechodzi do procedury obsługi przerwania (ISR) — specjalnej funkcji w jądrze przeznaczonej do obsługi danego zdarzenia.

Po zakończeniu działania ISR procesor przywraca zapisany stan i wznawia poprzednią pracę.

Oprócz przerwań sprzętowych istnieją również przerwania programowe. Często nazywa się je wyjątkami i są wywoływane przez sam procesor w wyniku błędów w programie, takich jak:

• Dzielenie przez zero
• Uzyskanie dostępu do nieprawidłowego adresu pamięci (błąd segmentacji)
• Wykonanie niedozwolonej instrukcji

Innym rodzajem przerwania programowego jest wywołanie systemowe, które pozwala programom użytkownika jawnie zażądać usługi od jądra (np. odczytania pliku lub utworzenia nowego procesu).

Rust jest coraz częściej wybierany do tworzenia systemów operacyjnych ze względu na wyjątkowe połączenie:

• Bezpieczeństwa pamięci: System własności i pożyczania zapobiega już na etapie kompilacji typowym błędom pamięci, takim jak wskaźniki null, wielokrotne zwalnianie pamięci i wyścigi danych.
• Bezpieczeństwa współbieżności: System typów języka Rust pomaga pisać bezpieczny wątkowo kod, w wielu przypadkach bez jawnych blokad.
• Zgodności z pracą bezpośrednio na sprzęcie: Rust może działać bez złożonego środowiska uruchomieniowego i mechanizmu garbage collection, dzięki czemu doskonale nadaje się do niskopoziomowych środowisk jąder.

Funkcje te pozwalają programistom pisać solidny i wydajny kod jądra z mniejszą liczbą błędów.

Sprawdźmy, jak rozumiesz podstawowe pojęcia związane z systemami operacyjnymi.

W tej lekcji omówiliśmy podstawowe koncepcje tworzenia systemów operacyjnych:

• Zarządzanie pamięcią: Obejmuje pamięć wirtualną i stronicowanie, które izolują programy i pozwalają efektywnie wykorzystywać pamięć RAM.
• Planowanie zadań: Sposób, w jaki procesor przełącza się między różnymi zadaniami za pomocą przełączania kontekstu.
• Przerwania: Zarówno sygnały wyzwalane sprzętowo, jak i wyjątki oraz wywołania systemowe wyzwalane programowo, które pozwalają jądru reagować na zdarzenia.

Silne mechanizmy bezpieczeństwa języka Rust w połączeniu z kontrolą niskiego poziomu czynią go doskonałym językiem do tworzenia solidnego i niezawodnego kodu jądra działającego bezpośrednio na sprzęcie. To podstawowe zrozumienie ma kluczowe znaczenie dla każdego programowania na poziomie systemowym!