Nr 01 · Słownik · Teoria informatyki · Języki i teoria typów

Zarzadzanie pamiecia i wykonanie

15 pojęć w 9 podgrupach, z prostymi definicjami i źródłami.

Algorytmy gc · 2

  • 01algorytm mark-and-sweepMetoda odśmiecania w dwóch fazach: oznaczania obiektów osiągalnych od korzeni, a następnie zwalniania pozostałych nieoznaczonych.
  • 02odśmiecanie pokolenioweStrategia GC dzieląca obiekty na pokolenia wg wieku i częstsze przetwarzanie młodych obiektów, oparta na hipotezie, że większość obiektów żyje krótko.

Alokacja · 1

  • 01alokacja dynamicznaPrzydzielanie pamięci w trakcie wykonania programu, na żądanie, o rozmiarze i czasie życia nieznanych w czasie kompilacji.

Automatyczne zarzadzanie pamiecia · 2

  • 01odśmiecanie pamięciGC (garbage collection)Automatyczne odzyskiwanie obszarów sterty, do których program nie ma już osiągalnych referencji, bez jawnego zwalniania przez programistę.
  • 02zliczanie referencjiTechnika zarządzania pamięcią, w której każdy obiekt przechowuje licznik odwołań; obiekt jest zwalniany, gdy licznik osiąga zero.

Bledy pamieci · 1

  • 01wiszący wskaźnikdangling pointerWskaźnik odwołujący się do obszaru pamięci, który został już zwolniony lub przestał istnieć; jego użycie prowadzi do zachowania niezdefiniowanego.

Model pamieci wykonania · 2

  • 01ramka aktywacjirekord aktywacjiObszar stosu przydzielany wywołaniu funkcji, przechowujący jej argumenty, zmienne lokalne i adres powrotu.
  • 02stos wywołańStruktura pamięci typu LIFO przechowująca ramki aktywacji aktywnych wywołań procedur w trakcie wykonania programu.

Model wlasnosci · 3

  • 01czas życialifetimeZakres wykonania programu, w którym referencja lub zasób pozostaje ważny; w systemach typów weryfikowany statycznie dla bezpieczeństwa pamięci.
  • 02pożyczanieUzyskanie tymczasowej referencji do zasobu bez przejęcia jego własności, podlegające regułom wykluczania współbieżnego dostępu zapisującego.
  • 03własnośćReguła wiążąca każdy zasób z dokładnie jednym właścicielem odpowiedzialnym za jego zwolnienie, gwarantująca brak podwójnego zwolnienia i wycieków.

Model wykonania · 2

  • 01kod bajtowyPośrednia, kompaktowa reprezentacja programu z instrukcjami dla abstrakcyjnej maszyny, niezależna od architektury sprzętowej.
  • 02maszyna wirtualnaVMAbstrakcyjna maszyna wykonująca kod pośredni programu, definiująca własny model pamięci i zestaw instrukcji niezależny od sprzętu.

Wlasnosci bezpieczenstwa · 1

  • 01bezpieczeństwo pamięciWłasność programu gwarantująca brak dostępów poza przydzielony obszar, użycia po zwolnieniu i wiszących wskaźników.

Zarzadzanie deterministyczne · 1

  • 01RAIIResource Acquisition Is InitializationWzorzec wiążący czas życia zasobu z czasem życia obiektu: pozyskanie w konstruktorze, zwolnienie w destruktorze przy wyjściu z zakresu.

Pozostałe grupy — Języki i teoria typów

Grupa pojęć · Języki i teoria typów15 haseł