Eisenberg & McGuire алгоритмі - Eisenberg & McGuire algorithm - Wikipedia

The Eisenberg & McGuire алгоритмі - сыни бөлімдерге арналған алгоритм, жалпы нұсқасы философтар мәселесі. Ол 1972 жылы сипатталған Мюррей А. Эйзенберг және Майкл Р.Мкгуир.

Алгоритм

Бәрі n-процестер келесі айнымалылармен бөліседі:

енум мемлекет = {ЖҰМЫС ІСТЕМЕЙТІН, КҮТУ, БЕЛСЕНДІ};мемлекет жалаушалар[n];int бұрылу;

Айнымалы бұрылу 0 мен аралығындағы санға ерікті түрде орнатылады n−1 басында алгоритм.

The жалаушалар әр процеске арналған айнымалы, қашан енгізілетін болса, КҮТУ күйіне орнатылады маңызды бөлім. жалаушалар IDLE немесе WAITING немесе ACTIVE қабылдайды.
Бастапқыда жалаушалар әр процесс үшін айнымалы IDLE инициализацияланған.

 1    қайталау { 2 3		/* хабарлау бұл біз қажеттілік The ресурс */ 4		жалаушалар[мен] := КҮТУ; 5 6		/* сканерлеу процестер бастап The бір бірге The бұрылу жоғары дейін өзіміз. */ 7		/* қайталау егер қажетті дейін The сканерлеу табады барлық процестер жұмыс істемейтін */ 8		индекс := бұрылу; 9		уақыт (индекс != мен) {10			егер (жалаушалар[индекс] != ЖҰМЫС ІСТЕМЕЙТІН) индекс := бұрылу;11			басқа индекс := (индекс+1) мод n;12		}1314		/* қазір болжамды түрде Талап The ресурс */15		жалаушалар[мен] := БЕЛСЕНДІ;1617		/* табу The бірінші белсенді процесс сонымен қатар өзіміз, егер кез келген */18		индекс := 0;19		уақыт ((индекс < n) && ((индекс = мен) || (жалаушалар[индекс] != БЕЛСЕНДІ))) {20			индекс := индекс+1;21		}2223	   /* егер Ана жерде болды жоқ басқа белсенді процестер, ЖӘНЕ егер біз бар The бұрылу24	   немесе басқа кім болса да бар бұл болып табылады жұмыс істемейтін, содан кейін жалғастырыңыз.  Әйтпесе, қайталау25	   The тұтас жүйелі. */26    } дейін ((индекс >= n) && ((бұрылу = мен) || (жалаушалар[бұрылу] = ЖҰМЫС ІСТЕМЕЙТІН)));2728    /* Бастау туралы СЫН БӨЛІМ */2930	/* Талап The бұрылу және жалғастырыңыз */31	бұрылу := мен;3233    /* Сыни Бөлім Код туралы The Процесс */3435    /* Соңы туралы СЫН БӨЛІМ */3637    /* табу а процесс қайсысы болып табылады емес ЖҰМЫС ІСТЕМЕЙТІН */38	/* (егер Ана жерде болып табылады жоқ басқалар, біз болады табу өзіміз) */39	индекс := (бұрылу+1) мод n;40	уақыт (жалаушалар[индекс] = ЖҰМЫС ІСТЕМЕЙТІН) {41		индекс := (индекс+1) мод n;42	}4344	/* беру The бұрылу дейін біреу бұл қажеттіліктер бұл, немесе сақтау бұл */45	бұрылу := индекс;4647	/* біз'қайта аяқталды қазір */48	жалаушалар[мен] := ЖҰМЫС ІСТЕМЕЙТІН;4950    /* ҚАЛДЫРУ Бөлім */

Сондай-ақ қараңыз

Әдебиеттер тізімі

Сыртқы сілтемелер