Unikanie typowych błędów pamięci

Błędy pamięci często pozostają ukryte aż do awarii programu w najgorszym momencie. Mojo zostało zaprojektowane tak, aby wykrywać wiele z nich na earlym etapie. 🛡️

Klasycznym błędem jest use-after-free: odwołanie do pamięci, która została już zwolniona. Dane mogą już nie istnieć lub zostać ponownie użyte, powodując nieprawidłowe wyniki albo awarię.

Reguły ownership w Mojo śledzą, kto posiada każdą wartość, dzięki czemu kompilator może wskazać kod, który używałby wartości po jej zwolnieniu.

Zwolnienie tej samej pamięci dwa razy to double free. Ponieważ każda wartość ma jednego jasno określonego właściciela, Mojo zapobiega temu z założenia.

Leak to pamięć, którą zaalokowano, ale nigdy nie zwolniono. Automatyczne porządkowanie Mojo po zakończeniu zakresu wartości znacznie zmniejsza prawdopodobieństwo wycieków.

Wiszące odwołanie wskazuje pamięć, która została już zwolniona. Śledzenie czasu życia w Mojo pomaga zachować ważność odwołań.

Domyślna semantyka wartości w Mojo zapewnia każdej zmiennej własną kopię, więc zmiana jednej nigdy po cichu nie uszkodzi danych innej.

Odczyt poza końcem bufora często powoduje awarię. Bezpieczne typy kolekcji sprawdzają granice, dzięki czemu pozostaje Pan/Pani w obszarze prawidłowej pamięci.

Najprostszą ochroną jest używanie typów takich jak List, które zarządzają pamięcią za Pana/Panią, zamiast ręcznego operowania surowymi wskaźnikami.

Wiele błędów pamięci w Mojo ujawnia się jako błędy kompilacji, a nie tajemnicze awarie w czasie działania, więc można je naprawić, zanim kod trafi do użytkowników.

Mojo ma zapewniać szybkość na poziomie C, a jednocześnie chronić pamięć za pomocą tych zabezpieczeń — to rzadkie i potężne połączenie.

Własność, czasy życia i semantyka wartości pozwalają Mojo wcześnie wykrywać użycie zwolnionej pamięci, podwójne zwalnianie i wycieki. Bezpieczne typy utrzymują pamięć w nienaruszonym stanie. 🎯