А.В. Столяров - Введение в операционные системы (1114673), страница 32
Текст из файла (страница 32)
Çàòåì ÿäðî ìîíòèðóåò ôàéëîâóþ ñèñòåìó ñ êîðíåâîãî äèñêîâîãîóñòðîéñòâà â êà÷åñòâå êîðíåâîãî êàòàëîãà ñèñòåìû. Îáû÷íî êîðíåâîé êàòàëîãìîíòèðóåòñÿ â ðåæèìå òîëüêî ÷òåíèå.Ïîñëå òîãî êàê ÿäðî ãîòîâî ê ðàáîòå è ñìîíòèðîâàëî êîðíåâîå óñòðîéñòâî,îíî ñîçäàåò ïðîöåññ ñ íîìåðîì 0. Ýòîò ïðîöåññ ñóùåñòâóåò òîëüêî íà ýòàïåçàãðóçêè, è îñíîâíàÿ åãî ðîëü − ñîçäàòü ñ ïîìîùüþ fork() ïðîöåññ ñ íîìåðîì1. Ïîñëå ýòîãî íóëåâîé ïðîöåññ ïðåêðàùàåò ñóùåñòâîâàíèå, ò.å. â ñèñòåìå ñýòîãî ìîìåíòà åñòü òîëüêî ïðîöåññû, ñîçäàííûå ñ ïîìîùüþ fork().Ïðîöåññ íîìåð 1 âûïîëíÿåò âûçîâ execve(), ÷òîáû çàãðóçèòü â ïàìÿòüïðîãðàììó init (îáû÷íî ýòî ôàéë /sbin/init; ÿñíî, ÷òî îí äîëæåí íàõîäèòüñÿ íà êîðíåâîì äèñêîâîì óñòðîéñòâå). Ýòî óæå ñîâåðøåííî îáû÷íàÿ ïðîãðàììà, íàïèñàííàÿ íà C5 èëè (òåîðåòè÷åñêè) íà ëþáîì äðóãîì êîìïèëèðóåìîìÿçûêå ïðîãðàììèðîâàíèÿ.
Ïðîöåññ init ðàáîòàåò âñå âðåìÿ ðàáîòû ÎÑ; åãîçàâåðøåíèå âëå÷åò îñòàíîâ ñèñòåìû. Èìåííî ïðîöåññ init âûïîëíÿåò ïðîâåðêó äèñêîâ, ïåðåìîíòèðóåò êîðíåâîé ðàçäåë â ðåæèì ÷òåíèå/çàïèñü è4 Íåòàê äàâíî ïîÿâèëñÿ íîâûé çàãðóç÷èê, GRUB, îáëàäàþùèé áîëåå ðàçâèòîé ôóíêöèîíàëüíîñòüþ,÷åì LILO. Íåêîòîðûå äèñòðèáóòèâû ÎÑ Linux ïðåäëàãàþò èñïîëüçîâàíèå LILO èëè GRUB íà âûáîð.5  íåêîòîðûõ ñèñòåìàõ ìîæíî äàæå çàãðóçèòü âìåñòî init êàêóþ-ëèáî äðóãóþ ïðîãðàììó, íàïðèìåðèíòåðïðåòàòîð êîìàíäíîé ñòðîêè äëÿ âûïîëíåíèÿ äåéñòâèé ïî îáñëóæèâàíèþ ñèñòåìû146ìîíòèðóåò îñòàëüíûå ôàéëîâûå ñèñòåìû.Çàòåì ïðîöåññ init äîëæåí èíèöèàëèçèðîâàòü ïîäñèñòåìû ÎÑ, íàïðèìåð,ñêîíôèãóðèðîâàòü èíòåðôåéñû ðàáîòû ñ ëîêàëüíîé ñåòüþ; çàïóñòèòü ñèñòåìíûå ïðîöåññû-äåìîíû; è, íàêîíåö, çàïóñòèòü íà èìåþùèõñÿ òåðìèíàëüíûõëèíèÿõ ïðîãðàììû getty, îòâå÷àþùèå çà çàïðîñ âõîäíîãî èìåíè è ïàðîëÿïîëüçîâàòåëåé. Ïðîãðàììà getty ñîçäàåò ñåàíñ, ñâÿçàííûé ñ åå òåðìèíàëîì,è, ïîñëå óñïåøíîé àóòåíòèôèêàöèè ïîëüçîâàòåëÿ, çàïóñêàåò ñ ïîìîùüþ execèíòåðïðåòàòîð êîìàíäíîé ñòðîêè.
Êîãäà ïðîöåññ èíòåðïðåòàòîðà çàâåðøàåòñÿ, ïðîãðàììà init ñíîâà çàïóñêàåò getty íà îñâîáîäèâøåéñÿ òåðìèíàëüíîéëèíèè.Òàêèì îáðàçîì, ôóíêöèîíàëüíîñòü ïðîãðàììû init îêàçûâàåòñÿ äîñòàòî÷íî ñëîæíîé.  ñâÿçè ñ ýòèì îáû÷íî âûïîëíåíèå áîëüøèíñòâà äåéñòâèé,ñâÿçàííûõ ñ èíèöèàëèçàöèåé ñèñòåìû, âîçëàãàåòñÿ íà ñêðèïòû ñèñòåìíîéèíèöèàëèçàöèè (â çàâèñèìîñòè îò ñèñòåìû ýòî ìîæåò áûòü ôàéë /etc/rc,/etc/rc.d/rc è ò.ï.) Ïðîãðàììå init òîãäà äîñòàòî÷íî óêàçàòü (÷åðåç êîíôèãóðàöèîííûé ôàéë èëè â êà÷åñòâå ïàðàìåòðà êîìïèëÿöèè), ãäå íàõîäèòñÿñîîòâåòñòâóþùèé ñêðèïò. Ñêðèïòû ñèñòåìíîé èíèöèàëèçàöèè îáû÷íî ïðåäñòàâëÿþò ñîáîé ïðîãðàììû, íàïèñàííûå íà ÿçûêå ñòàíäàðòíîãî êîìàíäíîãîèíòåðïðåòàòîðà (Bourne Shell).Îòìåòèì, ÷òî è ïðîöåäóðà êîððåêòíîãî îñòàíîâà ñèñòåìû äëÿ ïåðåçàãðóçêè èëè âûêëþ÷åíèÿ êîìïüþòåðà òàêæå âîçëàãàåòñÿ íà init, êîòîðûé, â ñâîþî÷åðåäü, çàïóñêàåò äëÿ ýòîãî ñïåöèàëüíî ïðåäíàçíà÷åííûé ñêðèïò.
 ýòîìñêðèïòå ñîäåðæàòñÿ êîìàíäû ïî óíè÷òîæåíèþ ðàáîòàþùèõ ïðîöåññîâ (ñíà÷àëà ñ ïîìîùüþ ñèãíàëà SIGTERM, çàòåì, ïîñëå ïàóçû, − ñèãíàëîì SIGKILL),ðàçìîíòèðîâàíèÿ âñåõ ôàéëîâûõ ñèñòåì, êðîìå êîðíåâîé (åå ðàçìîíòèðîâàòüíåâîçìîæíî), ïåðåâîä êîðíåâîé ñèñòåìû â ðåæèì òîëüêî ÷òåíèå, ñèíõðîíèçàöèÿ êîðíåâîé ñèñòåìû (çàïèñü íåäîçàïèñàííûõ äàííûõ èç áóôåðîâ, åñëèòàêîâûå åñòü). Ïîñëå ýòîãî âûïîëíÿåòñÿ ñîáñòâåííî îñòàíîâ ñèñòåìû.147Ëåêöèÿ 122727.1Âçàèìîèñêëþ÷åíèÿÑèòóàöèÿ ãîíîê (race condition)Ïðè îäíîâðåìåííîì äîñòóïå íåñêîëüêèõ ïðîöåññîâ ê ðàçäåëÿåìûì äàííûì ìîãóò âîçíèêàòü îïðåäåëåííûå ïðîáëåìû, ñâÿçàííûå ñ î÷åðåäíîñòüþäåéñòâèé.Ðàññìîòðèì ñëåäóþùèé ïðèìåð. Äâà ðàçëè÷íûõ ïðîöåññà èìåþò äîñòóïê ðàçäåëÿåìîé ïàìÿòè, â êîòîðîé ñîäåðæèòñÿ öåëî÷èñëåííàÿ ïåðåìåííàÿ.Ïóñòü åå íà÷àëüíîå çíà÷åíèå ðàâíî 5.
Îáà ïðîöåññà â íåêèé ìîìåíò ïûòàþòñÿ óâåëè÷èòü çíà÷åíèå ïåðåìåííîé íà 1 (òî åñòü â èòîãå ïåðåìåííàÿ äîëæíàïîëó÷èòü çíà÷åíèå 7). Äëÿ ýòîãî íåîáõîäèìî çàãðóçèòü çíà÷åíèå â ðåãèñòð,óâåëè÷èòü çíà÷åíèå ðåãèñòðà íà 1 è âûãðóçèòü åãî çíà÷åíèå îáðàòíî â ïàìÿòü1 .Ïðåäñòàâèì, ÷òî ïåðâûé ïðîöåññ âûïîëíèë êîìàíäó mov äëÿ çàãðóçêè çíà÷åíèÿ ïåðåìåííîé â ðåãèñòð (òî åñòü â ðåãèñòðå òåïåðü ñîäåðæèòñÿ ÷èñëî 5),è â ýòîò ìîìåíò ïðîèçîøëî ïðåðûâàíèå ïî òàéìåðó, â ðåçóëüòàòå êîòîðîãîïðîöåññ îêàçàëñÿ ñíÿò ñ èñïîëíåíèÿ è ïîìåùåí â î÷åðåäü ïðîöåññîâ, ãîòîâûõê âûïîëíåíèþ.  ýòî âðåìÿ âòîðîé ïðîöåññ òàêæå âûïîëíÿåò êîìàíäó mov,ïîòîì êîìàíäó inc äëÿ óâåëè÷åíèÿ çíà÷åíèÿ â ðåãèñòðå è êîìàíäó mov äëÿâûãðóçêè ñîäåðæèìîãî ðåãèñòðà â ïàìÿòü. Ïåðåìåííàÿ òåïåðü ðàâíà 6.Ìåæäó òåì, ïåðâûé ïðîöåññ äîæäàëñÿ ñâîåé î÷åðåäè è ñíîâà ïîñòàâëåí íàâûïîëíåíèå. Ïåðâóþ êîìàíäó mov îí óæå âûïîëíèë, òàê ÷òî â åãî ðåãèñòðåñåé÷àñ ÷èñëî 5.
Îí âûïîëíÿåò êîìàíäó inc (â ðåãèñòðå òåïåðü 6) è êîìàíäómov (çíà÷åíèå 6 âûãðóæàåòñÿ â ïàìÿòü).Òàêèì îáðàçîì, ïîëó÷àåòñÿ, ÷òî â èòîãå çíà÷åíèå ïåðåìåííîé îêàçàëîñüðàâíî 6, à íå 7. Çàìåòèì, ÷òî çíà÷åíèåì áûëî áû èìåííî 7, åñëè áû ïåðâûé ïðîöåññ íå îêàçàëñÿ ïðåðâàí ïîñëå ïåðâîé êîìàíäû. Òàêæå çàìåòèì, ÷òîóçíàòü, áûë ïðîöåññ ïðåðâàí èëè íåò, âîîáùå ãîâîðÿ, íåâîçìîæíî, êàê è çàïðåòèòü ïðåðûâàòü ïðîöåññ.Ïîëó÷àåòñÿ òàê, ÷òî êîíå÷íûé ðåçóëüòàò çàâèñèò îò òîãî, â êàêîé êîíêðåòíî ïîñëåäîâàòåëüíîñòè ïðîèçîéäóò ñîáûòèÿ â íåçàâèñèìûõ ïðîöåññàõ.Ýòî íàçûâàåòñÿ ñèòóàöèåé ãîíîê (àíãë.
race condition ); âñòðå÷àåòñÿ òàêæåïåðåâîä ñèòóàöèÿ ñîñòÿçàíèÿ.1 Íàíåêîòîðûõ ñîâðåìåííûõ ïðîöåññîðàõ âîçìîæíî ïðèðàùåíèå çíà÷åíèÿ íåïîñðåäñòâåííî â ïàìÿòè,òîãäà ýòîò ïðèìåð íå ñðàáîòàåò, ò.ê. êàæäàÿ èíñòðóêöèÿ ïðîöåññîðà âûïîëíÿåòñÿ àòîìàðíî. Ýòî, îäíàêî,íå îçíà÷àåò íåïðàâèëüíîñòè ïðèìåðà: ïðåäñòàâüòå ñåáå, ÷òî ÷èñëî õðàíèòñÿ â ïàìÿòè â âèäå ñòðîêîâîãîïðåäñòàâëåíèÿ − â ýòîì ñëó÷àå îïåðàöèÿ åãî ïðèðàùåíèÿ íèêàê íå ñìîæåò áûòü àòîìàðíîé148Ðàññìîòðèì áîëåå ñåðüåçíûé ïðèìåð.
Èìååòñÿ áàçà äàííûõ, ñîäåðæàùàÿîñòàòêè äåíåã íà áàíêîâñêèõ ñ÷åòàõ. Äîïóñòèì, íà ñ÷åòàõ ïîä íîìåðàìè 301,515 è 768 ñîäåðæèòñÿ, ñîîòâåòñòâåííî, $1000, $1500 è $2000. Îäèí îïåðàòîðïðîâîäèò òðàíçàêöèþ ïî ïåðåâîäó ñóììû â $100 ñî ñ÷åòà 301 íà ñ÷åò 768,à äðóãîé − òðàíçàêöèþ ïî ïåðåâîäó $200 ñî ñ÷åòà 768 íà ñ÷åò 515. Åñëè ýòèäåéñòâèÿ ïðîâåñòè â ðàçíîå âðåìÿ, îñòàòêè íà ñ÷åòàõ ñîñòàâÿò, ïîíÿòíîå äåëî,$900, $1700 è $1900.Òåïåðü ïðåäñòàâèì ñåáå, ÷òî ïðîöåññ, çàïóùåííûé âòîðûì îïåðàòîðîì,áûë ïðåðâàí ïîñëå îïåðàöèè ÷òåíèÿ îñòàòêîâ íà ñ÷åòàõ 515 è 768. Ïðî÷èòàííûå îñòàòêè (ñîîòâåòñòâåííî, $1500 è $2000) ïðîöåññ ñîõðàíèë â ñâîèõñòðóêòóðàõ äàííûõ, è èìåííî â ýòîò ìîìåíò ïðîøëî ïðåðûâàíèå òàéìåðà, âðåçóëüòàòå êîòîðîãî óïðàâëåíèå ïîëó÷èë ïðîöåññ, çàïóùåííûé ïåðâûì îïåðàòîðîì. Ýòîò ïðîöåññ ïðîèçâåë ÷òåíèå îñòàòêîâ ñ÷åòîâ 301 è 768 (ïðî÷èòàâ,ñîîòâåòñòâåííî, $1000 è $2000), âû÷èñëèë íîâûå çíà÷åíèÿ îñòàòêîâ ($900 è$2100) è çàïèñàë èõ â áàçó äàííûõ, ïîñëå ÷åãî çàâåðøèëñÿ.
Çàòåì â ñèñòåìåñíîâà áûë çàïóùåí íà âûïîëíåíèå ïåðâûé ïðîöåññ, óæå ñ÷èòàâøèé îñòàòêè;îí âû÷èñëÿåò íîâûå îñòàòêè äëÿ ñ÷åòîâ 515 è 768 íà îñíîâå óæå ïðî÷èòàííûõ($1500 è $2000), ïîëó÷àÿ $1700 è $1800. Èìåííî ýòè îñòàòêè îí è çàïèñûâàåòâ áàçó äàííûõ. èòîãå âëàäåëåö ñ÷åòà 768 îáíàðóæèò íà ñ÷åòó íåäîñòàòîê ñóììû â $100(îñòàòîê îêàæåòñÿ ðàâåí $1800 âìåñòî $1900). Êàê íåòðóäíî óáåäèòüñÿ, îáùàÿñóììà îñòàòêîâ íà ñ÷åòàõ 301, 515 è 768 óìåíüøèëàñü íà $100, òî åñòü äåíüãèêëèåíòà ïîïðîñòó áåññëåäíî èñ÷åçëè.Ìîãëî áûòü, êñòàòè, è íàîáîðîò: åñëè áû ïîñëå ÷òåíèÿ ïðåðâàí áûë ïåðâûéïðîöåññ, à âòîðîé â ýòî âðåìÿ âûïîëíèë ñâîþ îïåðàöèþ, êëèåíò, íàîáîðîò,îáíàðóæèë áû íà ñâîåì ñ÷åòó ëèøíèå $200 ($2100 âìåñòî $1900). Êëèåíò,âîçìîæíî, îêàçàëñÿ áû ýòèì äîâîëåí, ÷åãî íå ñêàæåøü îá àêöèîíåðàõ áàíêà.Ïðåäñòàâèì ñåáå òåïåðü òðåòèé ïðîöåññ, âû÷èñëÿþùèé îáùóþ ñóììóîñòàòêîâ íà ñ÷åòàõ âñåõ êëèåíòîâ áàíêà.
Î÷åâèäíîå ðåøåíèå − ïðî÷èòàòü âöèêëå îñòàòêè íà êàæäîì ñ÷åòå è ïðîñóììèðîâàòü èõ. Îäíàêî, åñëè âî âðåìÿðàáîòû ýòîãî ïðîöåññà êàêîé-ëèáî äðóãîé ïðîöåññ ïðîèçâåäåò ïåðåâîä äåíåãñ îäíîãî èç ñ÷åòîâ â êîíöå òàáëèöû (òî åñòü èç òåõ, îñòàòêè êîòîðûõ åùå íåó÷òåíû) íà îäèí èç ñ÷åòîâ â íà÷àëå (òî åñòü èç òåõ, îñòàòêè êîòîðûõ óæåó÷òåíû), ïîëó÷åííàÿ â ðåçóëüòàòå èòîãîâàÿ îáùàÿ ñóììà áóäåò îòëè÷àòüñÿîò ðåàëüíîé (êàê ðàç íà ñóììó òðàíçàêöèè ïî ïåðåâîäó, ïîñêîëüêó ïåðåâåäåííûå äåíüãè îêàæóòñÿ íå ïîïàâøèìè â ïîäñ÷åò íè íà íîâîì, íè íà ñòàðîììåñòå − âåäü íà íîâûé ñ÷åò îíè ïðèøëè óæå ïîñëå òîãî, êàê îí áûë ó÷òåí, àñî ñòàðîãî ñíÿòû äî òîãî, êàê îí áûë ó÷òåí). Òàêèì îáðàçîì, íåæåëàòåëü-íûå ýôôåêòû âîçìîæíû äàæå òîãäà, êîãäà îäèí èç ó÷àñòíèêîâ íåïðîèçâîäèò íèêàêèõ èçìåíåíèé, à òîëüêî ÷èòàåò äàííûå.14927.2Âçàèìîèñêëþ÷åíèÿ.
Êðèòè÷åñêèå ñåêöèèÎ÷åâèäíûì ñïîñîáîì èçáåæàíèÿ ñèòóàöèè ãîíîê ÿâëÿåòñÿ òàêîå ïîñòðîåíèå ðàáîòû, ïðè êîòîðîì ïðîöåññû, ðàáîòàþùèå ñ ðàçäåëÿåìûìè äàííûìè,íå ìîãóò ðàáîòàòü îäíîâðåìåííî: íàïðèìåð, ïîêà ðàáîòàåò îäèí ïðîöåññ, îáðàùàþùèéñÿ ê áàçå äàííûõ, äðóãîé ïðîöåññ, êîòîðîìó òàêæå íóæíà ýòà áàçàäàííûõ, áëîêèðóåòñÿ ïðè çàïóñêå äî òåõ ïîð, ïîêà ïåðâûé íå çàâåðøèòñÿ.Òàêîå ðåøåíèå ïðåäñòàâëÿåòñÿ íåóäà÷íûì, ïîñêîëüêó âíåñåíèå èçìåíåíèéâ áàçó äàííûõ ìîæåò áûòü íå åäèíñòâåííîé çàäà÷åé ïðîöåññà.
Âïîëíå âîçìîæíî, ÷òî ïðîöåññ áîëüøóþ ÷àñòü âðåìåíè çàíèìàåòñÿ ðàáîòîé, íèêàê ñðàçäåëÿåìûìè äàííûìè íå ñâÿçàííîé, ïðè÷åì âðåìÿ æèçíè ïðîöåññà ìîæåòîêàçàòüñÿ ñëèøêîì áîëüøèì, ÷òîáû íà âñå ýòî âðåìÿ çàïðåùàòü äîñòóï êäàííûì êîìó áû òî íè áûëî åùå. Íàïðèìåð, âïîëíå ìîæíî ïðåäñòàâèòü ñåáå ïîñòîÿííî ðàáîòàþùèé ñåðâåð, ñ ïîìîùüþ êîòîðîãî êëèåíòû áàíêà ìîãóòóçíàâàòü îñòàòêè íà ñâîèõ ñ÷åòàõ. Íåïîñðåäñòâåííî îí äîñòàòî÷íî ðåäêî îáðàùàåòñÿ ê áàçå äàííûõ, íî ïðè ýòîì ðàáîòàòü ìîæåò ìåñÿöàìè áåç ïåðåðûâà.ßñíî, ÷òî áëîêèðîâàòü íà âñå ýòî âðåìÿ äîñòóï ê áàçå äàííûõ äðóãèõ ïðîöåññîâ íåëüçÿ, âåäü ýòî ïàðàëèçîâàëî áû ðàáîòó áàíêà. ñâÿçè ñ ýòèì ââîäèòñÿ ïîíÿòèå êðèòè÷åñêîé ñåêöèè.
Ïîä êðèòè÷åñêîéñåêöèåé ïîíèìàåòñÿ òàêàÿ ÷àñòü ïðîãðàììû, â êîòîðîé ïðîèçâîäÿòñÿ ëîãè÷åñêè ñâÿçàííûå ìàíèïóëÿöèè ñ ðàçäåëÿåìûìè äàííûìè.Òàê, â ïðèìåðàõ ïðåäûäóùåãî ïàðàãðàôà êðèòè÷åñêèìè ñåêöèÿìè â ïðîöåññàõ, îñóùåñòâëÿþùèõ ïåðåâîä äåíåã ñî ñ÷åòà íà ñ÷åò, ÿâëÿþòñÿ äåéñòâèÿñ ìîìåíòà ÷òåíèÿ ïåðâîãî îñòàòêà äî ìîìåíòà çàïèñè ïîñëåäíåãî îñòàòêà; âïðîöåññå, ïîäñ÷èòûâàâøåì ñóììó âñåõ îñòàòêîâ, êðèòè÷åñêàÿ ñåêöèÿ íà÷èíàåòñÿ â ìîìåíò íà÷àëà ñóììèðîâàíèÿ è çàêàí÷èâàåòñÿ ñ åãî îêîí÷àíèåì.ßñíî, ÷òî î êðèòè÷åñêîé ñåêöèè ìîæíî ãîâîðèòü òîëüêî â ïðèìåíåíèèê êîíêðåòíûì ðàçäåëÿåìûì äàííûì. Òàê, åñëè äâà ïðîöåññà îáðàùàþòñÿ êðàçíûì äàííûì, ïóñòü è ðàçäåëÿåìûì ñ êåì-òî åùå, ýòî íå ìîæåò ïðèâåñòèê îøèáêàì.
Ïîýòîìó ÷àñòî ìîæíî âñòðåòèòü âûðàæåíèå êðèòè÷åñêàÿ ñåêöèÿïî ïåðåìåííîé x èëè êðèòè÷åñêàÿ ñåêöèÿ ïî ôàéëó f, è ò.ï.Òàêàÿ îðãàíèçàöèÿ ðàáîòû ïðîöåññîâ, ïðè êîòîðîé äâà (è áîëåå) ïðîöåññàíå ìîãóò îäíîâðåìåííî íàõîäèòüñÿ â êðèòè÷åñêèõ ñåêöèÿõ ïî îäíèì è òåì æåäàííûì, íàçûâàåòñÿ âçàèìíûì èñêëþ÷åíèåì (àíãë. mutual exception ).Ñëåäóåò îòìåòèòü, ÷òî âçàèìíûå èñêëþ÷åíèÿ ìîãóò ïîðîäèòü äîïîëíèòåëüíûå ïðîáëåìû, òàê ÷òî ïðè âûáîðå ìåòîäà èõ ðåàëèçàöèè ñëåäóåò ñîáëþäàòü îñòîðîæíîñòü.Ñôîðìóëèðóåì òðåáîâàíèÿ, íàëàãàåìûå íà ìåõàíèçì âçàèìíîãî èñêëþ÷åíèÿ:1.
Äâà è áîëåå ïðîöåññà íå äîëæíû íè ïðè êàêèõ óñëîâèÿõ íàõîäèòüñÿ150îäíîâðåìåííî â êðèòè÷åñêèõ ñåêöèÿõ, ñâÿçàííûõ ñ îäíèìè è òåìè æåäàííûìè.2.  ïðîãðàììå íå äîëæíî áûòü íèêàêèõ ïðåäïîëîæåíèé î ñêîðîñòè âûïîëíåíèÿ ïðîöåññîâ è î êîëè÷åñòâå ïðîöåññîðîâ â ñèñòåìå2 .3. Ïðîöåññ, íàõîäÿùèéñÿ âíå êðèòè÷åñêèõ ñåêöèé, íå äîëæåí ïðè ýòîìáûòü ïðè÷èíîé áëîêèðîâêè äðóãèõ ïðîöåññîâ.4. Íåäîïóñòèìà ñèòóàöèÿ âå÷íîãî îæèäàíèÿ (òî åñòü òàêàÿ ñèòóàöèÿ,ïðè êîòîðîé íåêîòîðûé ïðîöåññ íèêîãäà íå ïîëó÷èò äîñòóï â íóæíóþåìó êðèòè÷åñêóþ ñåêöèþ).5. Ïðîöåññ, çàáëîêèðîâàííûé â îæèäàíèè ðàçðåøåíèÿ íà âõîä â êðèòè÷åñêóþ ñåêöèþ, íå äîëæåí ðàñõîäîâàòü ïðîöåññîðíîå âðåìÿ (òî åñòü íåäîëæíî áûòü àêòèâíîãî îæèäàíèÿ)3 .27.3Óñòàðåâøèå ïîäõîäû ê îðãàíèçàöèè âçàèìíîãî èñêëþ÷åíèÿÂñå ïîäõîäû, ïåðå÷èñëåííûå â ýòîì ïàðàãðàôå, èñïîëüçóþò àêòèâíîå îæèäàíèå.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
