Symulacja zjawisk zakleszczeń w systemach wielokomputerowych

• Autorzy: Oniszczuk W.

Warianty tytułu

EN

Deadlock simulation in multi-computer systems

• Języki publikacji: PL

Abstrakty

PL

W niniejszej pracy pokazano możliwości matematycznego modelowania połączonych serwerów, w których możliwe są ich blokady (czasowe przerwania transmisji danych) ze względu na ograniczone wymiary buforów oraz występują zjawiska zakleszczeń (całkowite przerwanie transmisji i pracy serwerów). W prezentowanym modelu występuje tzw. recykling zadań, to jest powtórna ich obsługa. To właśnie powtórna obsługa powoduje powstawanie zakleszczeń. W eksperymentach symulacyjnych zobrazowano skalę tego zjawiska i jego powiązania ze stopniem obciążenia serwerów.

EN

In this publication, the mathematical modelling of specialized multi-computer systems with blocking and deadlocks are presented. Generally, deadlock means that some process of accumulation of new tasks between two stations is temporarily suspended, when the buffer is full. In this special type of multistage network, at the end of a service in station B the task may returns to the station A (feedback) for additional service independently of all other events. Of course, in the network with feedback a deadlock may occur. We assume that a deadlock is detected instantaneously and resolved with some delay time by exchanging both the blocked tasks simultaneously. The results of experiments show that depending on the model parameters the mathematical modelling allows for finding the proper deadlock probabilities and adequate rate range for an input stream that guarantees congestion avoidance in the multi-computer systems.

Słowa kluczowe

PL

modelowanie matematyczne; systemy wielokomputerowe; symulacja zakleszczeń

EN

mathematical modelling; multicomputer systems; deadlock simulation

• Wydawca: Polskie Towarzystwo Symulacji Komputerowej
• Czasopismo: Symulacja w Badaniach i Rozwoju
• Rocznik: 2012
• Tom: Vol. 3, nr 3
• Strony: 141--148
• Opis fizyczny: Bibliogr. 8 poz., rys.

Twórcy

autor

Oniszczuk W.

• Politechnika Białostocka, Wydział Informatyki ul. Wiejska 45A, 15-351 Białystok

Bibliografia

• 1. Balsamo S., De Nito Persone V., Onvural R.: Analysis of Queueing Networks with Blocking, Kluwer Academic Publishers, Boston, 2001.
• 2. Filipowicz B.: Modelowanie i analiza sieci kolejkowych Wydawnictwa AGH, Kraków, 1997.
• 3. Kim C.S., Klimenok V., Tsarenkov G., Breuer L., Dudin A.: The BMAP/G/1->·/PH/1/M tandem queue with feedback and losses, Performance Evaluation, vol. 64, pp. 802-818, 2007.
• 4. Martin J.B.: Large Tandem Queueing Networks with Blocking, Queueing Systems, vol. 41(1/2), pp. 45-72, 2002.
• 5. Oniszczuk W.: Blocking and Deadlock Factors in Series Linked Servers with HOL Priority Feedback Service, Polish Journal of Environmental Studies, vol. 16(5B), pp. 145-151, 2007.
• 6. Oniszczuk W.: An Intelligent Service Strategy in Linked Networks with Blocking and Feedback, Studies in Computational Intelligence N. 134 "New Challenges in Applied Intelligence Technologies", N.T. Nguyen, R. Katarzyniak (Eds.), Springer-Verlag, Berlin, Heidelberg, pp. 351-361, 2008.
• 7. Oniszczuk W.: Semi-Markov-based approach for analysis of open tandem networks with blocking and truncation, International Journal of Applied Mathematics and Computer Science, vol. 19(1), pp. 151-163, 2009.
• 8. Perros H.G.: Queuing Networks with Blocking. Exact and Approximate Solution, Oxford University Press, New York, 1994.