Loglan dla innych języków programowania - Historia wersji

AndrzejSalwicki: /* Łączenie maszyn wirtualnych w wieloprocesorowy wirtualny komputer */

2013-03-31T19:48:36Z

‎Łączenie maszyn wirtualnych w wieloprocesorowy wirtualny komputer

AndrzejSalwicki: /* Protokół obcego wołania metod w obiektach wątkach */

2013-03-30T17:31:26Z

‎Protokół obcego wołania metod w obiektach wątkach

AndrzejSalwicki: /* Protokół obcego wołania metod w obiektach wątkach */

2013-03-30T17:29:46Z

‎Protokół obcego wołania metod w obiektach wątkach

AndrzejSalwicki: /* Protokół obcego wołania metod w obiektach wątkach */

2013-03-29T13:30:17Z

‎Protokół obcego wołania metod w obiektach wątkach

AndrzejSalwicki: /* Kreczmara system zarządzania pamięcią obiektów */

2013-03-29T11:40:42Z

‎Kreczmara system zarządzania pamięcią obiektów

AndrzejSalwicki: /* Wyznaczanie bezpośredniej superklasy */

2013-03-29T11:38:27Z

‎Wyznaczanie bezpośredniej superklasy

AndrzejSalwicki: /* Bibliografia */

2013-03-26T10:46:39Z

‎Bibliografia

AndrzejSalwicki: /* Wyznaczanie bezpośredniej superklasy */

2013-03-26T10:38:45Z

‎Wyznaczanie bezpośredniej superklasy

AndrzejSalwicki: /* Bibliografia */

2013-03-26T10:38:18Z

‎Bibliografia

AndrzejSalwicki: /* Kreczmara system zarządzania pamięcią obiektów */

2013-03-20T11:07:58Z

‎Kreczmara system zarządzania pamięcią obiektów

@@ Linia 35: / Linia 35: @@
 ==  Łączenie maszyn wirtualnych w wieloprocesorowy wirtualny komputer ==
-Koncepcja sprawdzona w Loglanie'82 może być przydatna w innych systemach.
+Każda maszyna wirtualna Loglanu VLP ma zdolność łączenia się z innymi maszynami VLP (i rozłączania). Dzięki temu program podczas tworzenia nowego obiektu procesy może wskazać na którym komputerze ma być alokowany nowy obiekt procesu.
 == Przypisy ==

@@ Linia 30: / Linia 30: @@
 == Protokół obcego wołania metod w obiektach wątkach ==
-Ta oryginalna koncepcja zasługuje na uwagę. Niewątpliwie jest to odmiana protokołu RPC. Jest znacznie prostsza od RC, CORBA i RMI(Java) ponieważ porozumiewające się obiekty procesów  pochodzą z jednego programu rozproszonego w sieci. Dzięki temu mozna się obejść bez 'stubów' i 'skeletonów'.
+Ta oryginalna koncepcja zasługuje na uwagę. Niewątpliwie jest to odmiana protokołu RPC. Jest znacznie prostsza od RPC, CORBA i RMI(Java) ponieważ porozumiewające się obiekty procesów  pochodzą z jednego programu rozproszonego w sieci. Dzięki temu mozna się obejść bez 'stubów' i 'skeletonów'.
 Najważniejsze jest to, że komunikacja polega na wywoływaniu metod w zdalnym obiekcie procesu i że metody te sam proces może dynamicznie
 upubliczniać lub chować.

@@ Linia 30: / Linia 30: @@
 == Protokół obcego wołania metod w obiektach wątkach ==
-Ta oryginalna koncepcja zasługuje na uwagę. Ponieważ jest obiektowa.
+Ta oryginalna koncepcja zasługuje na uwagę. Niewątpliwie jest to odmiana protokołu RPC. Jest znacznie prostsza od RC, CORBA i RMI(Java) ponieważ porozumiewające się obiekty procesów  pochodzą z jednego programu rozproszonego w sieci. Dzięki temu mozna się obejść bez 'stubów' i 'skeletonów'.
-Także dlatego, że w odróżnieniu od koncepcji CORBA nie wymaga ani stubów ani skeletonów.
+Najważniejsze jest to, że komunikacja polega na wywoływaniu metod w zdalnym obiekcie procesu i że metody te sam proces może dynamicznie
 ==  Łączenie maszyn wirtualnych w wieloprocesorowy wirtualny komputer ==

@@ Linia 30: / Linia 30: @@
 == Protokół obcego wołania metod w obiektach wątkach ==
-Ta oryginalna koncepcja zasługuje na uwagę.
+Ta oryginalna koncepcja zasługuje na uwagę. Ponieważ jest obiektowa.
 ==  Łączenie maszyn wirtualnych w wieloprocesorowy wirtualny komputer ==
 Koncepcja sprawdzona w Loglanie'82 może być przydatna w innych systemach.

@@ Linia 26: / Linia 26: @@
 |'''Koszt'''|| Stały (nieduży) || Stały (nieduży). || Znaczny, zależny od liczby zmiennych wskazujących na obiekt i od łącznego rozmiaru pamięci obiektowej (koszt operacji ''gc()'').
 |-
-|'''Ryzyko'''<ref>wystąpienia błędu wiszącej referencji, bądź błędu zaśmiecenia pamięci (''ang''.memory leak)</ref>|| Brak(!).<br>Próba dostępu do obiektu ''o'' zgłosi wyjątek ''reference to none''.  || Duże prawdopodobieństwo błędu ''wiszących referencji''<br> Duże prawdopodobieństwo błędu sprzecznych informacji || Spore szanse na to, że programista zapomni usunąć, którąś referencję do niepotrzebnego obiektu.
+|'''Ryzyko'''<ref>wystąpienia błędu wiszącej referencji, bądź błędu zaśmiecenia pamięci (''ang''.memory leak)</ref>|| Brak(!).<br>Każda próba dostępu do obiektu ''o'' zgłosi wyjątek ''reference to none''.  || Duże prawdopodobieństwo błędu ''wiszących referencji''<br> Duże prawdopodobieństwo błędu sprzecznych informacji || Spore szanse na to, że programista zapomni usunąć, którąś referencję do niepotrzebnego obiektu.
 |}

← poprzednia wersja		Wersja z 11:38, 29 mar 2013
Linia 1:		Linia 1:
		+	Wiele rozwiązań wynalezionych podczas prac nad Loglanem może okazać się pomocne w innych, "młodszych" językach programowania.
	== Wyznaczanie bezpośredniej superklasy ==		== 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?''		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?''

@@ Linia 39: / Linia 39: @@
 # [Langmaack, Salwicki, Warpechowski 2008 ] {{cytuj pismo|nazwisko=Langmaack|imię=Hans|imię2=Andrzej|nazwisko2=Salwicki|imię3=Marek|nazwisko3=Warpechowski |tytuł=A deterministic algorithm elaborating direct superclasses in Java-like languages|czasopismo=Fundamenta Informaticae  |rok=2008 |strony=389-410|odn=tak }}
 # [Langmaack, Salwicki 2013 ] {{cytuj pismo|nazwisko=Langmaack|imię=Hans|imię2=Andrzej|nazwisko2=Salwicki| tytuł=Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce|czasopismo=Fundamenta Informaticae  |rok=2013 |strony=227 - 274|odn=tak }}
-# [Kreczmar, Cioni 1984]  {{cytuj książkę|nazwisko=Kreczmar|imię=Antoni| imię2=Gianna | nazwisko2=Cioni|tytuł=Programmed deallocation without dangling reference |czasopismo=Information Processing Letters |data=1984 |strony=179-187|odn=tak   }}
+# [Kreczmar, Cioni 1984]  {{cytuj pismo|nazwisko=Kreczmar|imię=Antoni| imię2=Gianna | nazwisko2=Cioni|tytuł=Programmed deallocation without dangling reference |czasopismo=Information Processing Letters |data=1984 |strony=179-187|odn=tak   }}
 # [Cioni,Kreczmar,Vitale 1989] {{cytuj książkę|odn=tak | nazwisko = Cioni | imię = Gianna | tytuł = Storage Management | wydawca = Academic Press | miejsce = London | data = 1989 | strony = 341-366 | isbn = 0121746909 | nazwisko2 = Kreczmar | imię2 = Antoni | nazwisko3 = Vitale | imię3 = Ricardo | tytuł tomu = Advanced Programming Methodologies}}

@@ 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?''
 Sformułowaliśmy warunki jakie ma spełniać rozwiązanie problemu i podaliśmy dwa algorytmy. Przeprowadziliśmy ich analizę.  Algorytm w wersji deterministycznej może być stosowany przez kompilatory Javy. Jego prostsza wersja może być stosowana w kompilatorach Loglanu.
-Zobacz [{{odn|ref=nie|Langmaack|Salwicki|Warpechowski|2009}},{{odn|ref=nie|Langmaack|Salwicki|Warpechowski|2008}},{{odn|ref=nie|Langmaack|Salwicki|Warpechowski|2013}}]
+Zobacz [{{odn|ref=nie|Langmaack|Salwicki|Warpechowski|2009}},{{odn|ref=nie|Langmaack|Salwicki|Warpechowski|2008}},{{odn|ref=nie|Langmaack|Salwicki|2013}}]
 == Kreczmara system zarządzania pamięcią obiektów ==

@@ Linia 5: / Linia 5: @@
 == Kreczmara system zarządzania pamięcią obiektów ==
-Prof. [http://pl.wikipedia.org/wiki/Antoni_Kreczmar Antoni Kreczmar](1945 - 1996) opracował kompletny system zarządzania obiektami[zob.{{odn|ref=nie|Kreczmar|Cioni|1984}},{{odn|ref=nie|Cioni|Kreczmar|Vitale|1989}}]. System dostarcza operacji
+Prof. [http://pl.wikipedia.org/wiki/Antoni_Kreczmar Antoni Kreczmar] opracował kompletny system zarządzania obiektami[zob.{{odn|ref=nie|Kreczmar|Cioni|1984}},{{odn|ref=nie|Cioni|Kreczmar|Vitale|1989}}]. System dostarcza operacji
 * wspomagających powstanie obiektu - '''new''',
 * sprawdzających legalność operacji dostępu do atrybutów obiektu,