W niniejszej pracy, ograniczając się do klasy zamkniętych systemów sekwencyjnych procesów cyklicznych, określono warunki wystarczające, gwarantujące cykliczny przebieg asynchronicznie realizowanych procesów. Podano zależności łączące pojemność całkowitą systemu ze zbiorem dopuszczalnych reguł rozstrzygania konfliktów zasobowych oraz zbiorem dopuszczalnych stanów początkowych. Wyznaczone warunki wykorzystano w syntezie procedur sterowania rozproszonego w systemach produkcji rytmicznej.
EN
In the paper a class of closed system of sequential cyclic processes (SSCP) is considered. The sufficient conditions which guarantee a cyclic behaviour of processes realized asynchronicallly are determined. The relation linking the total capacity of the system to the set of admissible realization of constituent processes is given. The obtained conditions have been used to design distributed control procedure for a system of repetitive manufacturing processes.
Wzajemne wykluczanie jest jednym z podstawowych mechanizmów synchronizacji występujących w przetwarzaniu współbieżnym. Klasyczne wzajemne wykluczanie (typu '1 z n') polega na takim rozstrzyganiu konfliktów zasobowych, w którym dostęp do zasobu wspólnego posiada każdorazowo tylko jeden z procesorów współzawodniczących o dostęp do niego. Uogólnione wzajemne wykluczanie polega na udostępnianiu zasobu dzielonego więcej niż jednemu procesowi na raz (tzw. 'm z n', gdzie m =< n). W pracy przedstawiono zastosowanie protokołu typu 'Token Ring' do implementującego tryb współpracy procesów oparty o mechanizm uogólnionego wzajemnego wykluczania. Protokół ten oparty o stosowaną w sieciach komputerowych regułę krążącego znacznika zapewnia jego bezblokadową i bezzagłodzeniową prace.
EN
Mutual exclusion is one of basic way of synchronisation in concurrent processing. Main problem is construction and allotment rules of resolving resource conflict. In this paper is present protocol of resolving resources conflict based on a 'token ring' rules, used in computer networks. This protocol have for one's object solution problems like deadlock and starvation.
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ć.