Deadlock simulation in multi-computer systems

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.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