wł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.
Karta hasła
- typcecha
- nadrzmodel zarządzania pamięcią
- kat.Teoria informatyki · Języki i teoria typów · Zarzadzanie pamiecia i wykonanie
- grupaZarzadzanie pamiecia i wykonanie
Zobacz też
- własnośćpożyczanie
- własnośćczas życia
Powiązane pojęcia · Języki i teoria typów
- 01analiza przepływu danychStatyczne wyznaczanie faktów o wartościach i zmiennych w punktach programu przez propagację informacji po grafie przepływu sterowania.
- 02blok podstawowyMaksymalny ciąg kolejnych instrukcji, do którego sterowanie wchodzi tylko na początku i opuszcza tylko na końcu, bez rozgałęzień wewnątrz.
- 03graf przepływu sterowaniaCFG (control-flow graph)Graf skierowany, którego węzły to bloki podstawowe, a krawędzie reprezentują możliwe przejścia sterowania między nimi podczas wykonania.
- 04alokacja rejestrówPrzydzielanie zmiennych programu do skończonej liczby rejestrów procesora, często modelowane jako kolorowanie grafu kolizji.
- 05generacja koduKońcowa faza kompilatora tłumacząca reprezentację pośrednią na kod docelowy maszyny, wybierając instrukcje i przydzielając zasoby.
- 06optymalizacja koduPrzekształcanie programu zachowujące jego semantykę, mające poprawić wydajność (szybkość, rozmiar, zużycie zasobów) wynikowego kodu.