Pok-13-wyk-Slajd42

Środowisko czasu wykonania – system DPP(3)

Jeżeli język programowania zawiera mechanizm (instrukcję lub funkcję biblioteczną) pozwalającą jawnie zwolnić wskazany obiekt na stercie oraz pozwala kopiować wskaźniki, to może wystąpić problem z tzw. wiszącymi referencjami.

Jeśli więcej niż jedna zmienna wskaźnikowa wskazuje na ten sam obiekt, to po zwolnieniu go za pomocą dowolnej z nich pozostałe stają się wiszącymi referencjami. Kompilator powinien zapewnić mechanizm wykrywania wiszących referencji i obsługiwać błędy wynikające z próby dostępu do pamięci z ich wykorzystaniem, ale znaczna część implementacji tego nie robi. Błąd taki objawia się wtedy albo problemami z poprawnym funkcjonowaniem programu, albo naruszeniem ochrony i przerwaniem programu.

<< Poprzedni slajd | Spis treści | Następny slajd >>