Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: communication dualism

Sortuj według:

Ogranicz wyniki do:

Communication Dualism in Distributed Systems with Petri Net Interpretation

Chrobot S., Daszczuk W.

Theoretical and Applied Informatics

2006

Vol. 18, nr 4

261-278

In the paper notion of communication dualism id formalized and explained in Petri net interpretation. We considcr communication dualism a basic property of communication in distributcd systems. The formalization is done in the Integrated Model of Distributed Systems (IMDS) where synchronous communication, as wcll as asynchronous message-passing and variable-sharing are modeled in a common framework. In the light of this property, communication in distributed systems can be seen as a two-dimensional phenomenon with passing being its spatial dimension and sharing its temporal dimension. Any distributed system can be modeled as a composition of message-passes asynchronous processes or as a composition of variable-sharing asynchronous processes. A method of automatic process extraction in Petri net interpretation of IMDS is presented.

W artykule zdefiniowano pojęcie dualizmu komunikacyjnego oraz przedstawiono jego interpretację w sieci Petri. Dualizm komunikacyjny jest uznawany przez autorów za fundamentalną własność komunikacji w systemach rozproszonych. Formalizację przeprowadzono przy użyciu Zintegrowanego Modelu Systemów Rozproszonych (IMDS), w którym wprowadzono elementy pamięciowe rezydujące w węzłach i elementy przesyłane adresowane do węzłów. Podstawowym elementem dynamicznym jest akcja polegająca na spotkaniu elementu pamięciowego z elementem przesyłanym i wygenerowanie na ich miejsce zbioru nowych elementów pamięciowych i przesyłanych. Formalizm IMDS w jednolitej strukturze obejmuje komunikację synchroniczną i asynchroniczną, zarówno opartą o przesyłanie meldunków jak i o współdzielenie zmiennych. Z punktu widzenia dualizmu komunikacyjnego komunikacja jest dwuwymiarowym zjawiskiem, w którym przesyłanie meldunków odbywa się w wymiarze przestrzennym a współdzielenie zmiennych w wymiarze czasowym. Każdy system rozproszony może być przedstawiony jako złożenie asynchronicznych procesów przesyłających komunikaty lub jako złożenie asynchronicznych procesów współdzielących zmienne. Przedstawiono dwie kanoniczne dekompozycje systemów na procesy rezydentne z jednej strony i procesy podróżne z drugiej. W dekompozycji na procesy rezydentne wartości zmiennych są wewnętrznym sposobem komunikacji w procesie, a przesyłanie meldunków jest komunikacją międzyprocesową. W dekompozycji na procesy podróżne meldunki stanowią wewnętrzną komunikację w procesie, a współdzielenie zmiennych jest komunikacją międzyprocesową. Wprowadzono interpretację elementów pamięciowych i przesyłanych jako miejsc w sieci Petri, wykonania akcji jako odpalenia przejścia w sieci Petri, oraz interpretację ciągu odpaleń przejść poprzez miejsca określonego typu jako procesów. Przedstawiono sposób powoływania i zakańczania procesów. Podano sposób automatycznego wyodrębnienia procesów rezydentnych i podróżnych systemu w interpretacji IMDS przy pomocy sieci Petri.

Sharing variables in distributed memory

Chrobot S.

Fundamenta Informaticae

2000

Vol. 44, Nr 1,2

63-81

In the classical shared-variable models, component processes reside on their processors and communicate by shared variables in memory shared by the processors. In this paper, we argue that shared memory is not necessary to share variables. Processes can share variables in local memories of processors if they travel among the processors. We present a formal distributed memory model in which a system can be decomposed into processes residing on processors and communicating by message passing or into processes travelling among processors and communicating by shared variables. We call this property communication dualism of distributed systems. We point out that the shared-memory monitor can be used in distributed memory and suggest that variable sharing is a convenient alternative to message passing. We also point out that a mobile agent is a kind of travelling process, but its prominent property, code mobility, is not related to shared-variable communication.