We give two different notions of deadlock for systems based on active objects and futures. One is based on blocked objects and conforms with the classical definition of deadlock by Coffman, Jr. et al. The other one is an extended notion of deadlock based on blocked processes which is more general than the classical one. We introduce a technique to prove deadlock freedom of systems of active objects. To check deadlock freedom an abstract version of the program is translated into Petri nets. Extended deadlocks, and then also classical deadlock, can be detected via checking reachability of a distinct marking. Absence of deadlocks in the Petri net constitutes deadlock freedom of the concrete system.
Przedstawiono pewne narzędzia programowania rozproszonego. Mają one dwie istotne cechy: zwięzły, przejrzysty oraz jednolity mechanizm programowania do obliczeń rozproszonych i obliczeń współbieżnych, a także mechanizm w pełni obiektowy, wprowadzający protokół obcego wywołania metody procesu przez inny proces. Mechanizm ten został zrealizowany w języku programowania Loglan'82. Porównano to narzędzie z narzędziami oferowanymi przez Javę. Język programowania Java zawiera rozbudowany mechanizm programowania współbieżnego, którego podstawę stanowi predefiniowana klasa Thread (czyli wątek). Ponadto Javie towarzyszy odrębny mechanizm programowania rozproszonego, tzw. RMI. Jednak RMI nie jest częścią Javy.
EN
The paper presents certain tools of distributed programming, both sharing two important features: concise, transparent and unified programming mechanism for distributed and concurrent computing, and a fully objectoriented mechanism introducing a protocol for alien call of process method by another process. Such a mechanizm has been implemented in the Loglan'82 programming language. This tool has been compared to tools provided by Java. The Java programming language includes an extensive mechanism for concurrent programming, based on the pre-defined Thread. Additionally, Java is complemented by a separate distributed programming mechanizm known as RMI. Hovever, RMI is not a part of Java.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.