Loglan dla innych języków programowania: Różnice pomiędzy wersjami
Z Lem
(→Kreczmara system zarządzania pamięcia obiektów) |
(→Kreczmara system zarządzania pamięcia obiektów) |
||
| Linia 2: | Linia 2: | ||
Nasze doświadczenie uzyskane podczas pracy nad Loglanem'82 okazało się przydatne w sformułowaniu i rozwiązaniu natępującego zagadnienia występującego w języku Java: ''w jaki sposób należy wyznaczać bezpośrednią superklasę danej klasy?'' | Nasze doświadczenie uzyskane podczas pracy nad Loglanem'82 okazało się przydatne w sformułowaniu i rozwiązaniu natępującego zagadnienia występującego w języku Java: ''w jaki sposób należy wyznaczać bezpośrednią superklasę danej klasy?'' | ||
== Kreczmara system zarządzania pamięcia obiektów == | == Kreczmara system zarządzania pamięcia obiektów == | ||
| + | Prof. Antoni Kreczmar opracował kompletny system zarządzania obiektami.''rozwiń to!'' | ||
| + | |||
Porównaj sposoby pozbywania się niepotrzebnych obiektów | Porównaj sposoby pozbywania się niepotrzebnych obiektów | ||
{| class="wikitable" | {| class="wikitable" | ||
| Linia 7: | Linia 9: | ||
! !! Loglan'82 !! C++ !! Java, Python | ! !! Loglan'82 !! C++ !! Java, Python | ||
|- | |- | ||
| − | | '''Przed''' || Na pewien obiekt ''o'' wskazują zmienne ''x<sub>1</sub>, | + | | '''Przed''' || Na pewien obiekt ''o'' wskazują zmienne ''x<sub>1</sub>,x<sub>2</sub>, ... , x<sub>n</sub>''. || Na pewien obiekt ''o'' wskazują zmienne ''x<sub>1</sub>,x<sub>2</sub>, ... , x<sub>n</sub>''. || Na pewien obiekt ''o'' wskazują zmienne ''x<sub>1</sub>,x<sub>2</sub>, ... , x<sub>n</sub>''. |
|- | |- | ||
| − | | '''Instrukcja''' || kill( | + | | '''Instrukcja''' || kill(x<sub>i</sub>) || delete(x<sub>i</sub>) || ''x<sub>1</sub>=null;x<sub>2</sub>=null; ... x<sub>n</sub>=null;''Po wykonaniu instrukcji ''gc()'' obiekt zostanie usunięty. |
|- | |- | ||
| − | | '''Po''' || wszystkie zmienne przyjęły wartość '''none'''. Obiekt został usunięty. Próba dostępu do obiektu podnosi wyjątek ''reference to none''. || Obiekt ''o'' został usuniety. Zmienna x ma wartość null. Inne zmienne wskazują na zwolnione pole - jest to groźna ''wisząca referencja''. || Obiekt został usuniety. | + | | '''Po''' || wszystkie zmienne przyjęły wartość '''none'''. Obiekt został usunięty. Próba dostępu do obiektu podnosi wyjątek ''reference to none''. || Obiekt ''o'' został usuniety. Zmienna x ma wartość null. Inne zmienne wskazują na zwolnione pole - jest to groźna ''wisząca referencja''. || Obiekt został usuniety, pod warunkiem, że nie zapomniano o żadnej zmiennej wskazującej na obiekt ''o''.<ref>Sytuacja w Pythonie wymaga dłuzszego opisu.</ref> |
|- | |- | ||
|'''Koszt'''|| Stały (nieduży) || Stały (nieduży). Duże prawdopodobieństwo błędu ''wiszacych referencji'' || Znaczny, zależny od liczby zmiennych wskazujących na obiekt i od łącznego rozmiaru pamięci obiektowej. | |'''Koszt'''|| Stały (nieduży) || Stały (nieduży). Duże prawdopodobieństwo błędu ''wiszacych referencji'' || Znaczny, zależny od liczby zmiennych wskazujących na obiekt i od łącznego rozmiaru pamięci obiektowej. | ||
Wersja z 15:17, 6 mar 2013
Wyznaczanie bezpośredniej superklasy
Nasze doświadczenie uzyskane podczas pracy nad Loglanem'82 okazało się przydatne w sformułowaniu i rozwiązaniu natępującego zagadnienia występującego w języku Java: w jaki sposób należy wyznaczać bezpośrednią superklasę danej klasy?
Kreczmara system zarządzania pamięcia obiektów
Prof. Antoni Kreczmar opracował kompletny system zarządzania obiektami.rozwiń to!
Porównaj sposoby pozbywania się niepotrzebnych obiektów
| Loglan'82 | C++ | Java, Python | |
|---|---|---|---|
| Przed | Na pewien obiekt o wskazują zmienne x1,x2, ... , xn. | Na pewien obiekt o wskazują zmienne x1,x2, ... , xn. | Na pewien obiekt o wskazują zmienne x1,x2, ... , xn. |
| Instrukcja | kill(xi) | delete(xi) | x1=null;x2=null; ... xn=null;Po wykonaniu instrukcji gc() obiekt zostanie usunięty. |
| Po | wszystkie zmienne przyjęły wartość none. Obiekt został usunięty. Próba dostępu do obiektu podnosi wyjątek reference to none. | Obiekt o został usuniety. Zmienna x ma wartość null. Inne zmienne wskazują na zwolnione pole - jest to groźna wisząca referencja. | Obiekt został usuniety, pod warunkiem, że nie zapomniano o żadnej zmiennej wskazującej na obiekt o.[1] |
| Koszt | Stały (nieduży) | Stały (nieduży). Duże prawdopodobieństwo błędu wiszacych referencji | Znaczny, zależny od liczby zmiennych wskazujących na obiekt i od łącznego rozmiaru pamięci obiektowej. |
Bibliografia
- [Langmaack, Salwicki, Warpechowski 2009 ] Hans Langmaack, Andrzej Salwicki, Marek Warpechowski. On an algorithm determining direct superclasses in Java and similar languages with inner classes—Its correctness, completeness and uniqueness of solutions. „Information and Computation”, s. 389-410, 2009.
Błąd rozszerzenia cite: Istnieje znacznik <ref>, ale nie odnaleziono znacznika <references/>
