Page 131 - 6571
P. 131

повинен  у  нього  перейти.  Процес  може  збільшити  лічильник
            процесів, що перебувають в стані очікування і виконати операцію
            V(e), але не може виконати операцію P для семафора затримки.
                  Описаний  метод  програмування  називається  передачею

            естафети  через  спосіб  вироблення  сигналів  семафорами.  Коли
            процес  виконується  всередині  критичної  секції,  вважається,  що
            він отримав естафету, яка підтверджує його право на виконання.

            Передача естафети відбувається у випадку, коли процес доходить
            до  фрагмента  програми  SIGNAL.  Якщо  певний  процес  очікує
            стану  при  якому  умова  B  задовольняє  значенню  «істина»,  то

            естафета передається одному із таких процесів, який у свою чергу
            виконує критичну секцію і передає естафету наступному процесу.
            В  іншому  випадку  естафета  передається  наступному  процесу,

            який  вперше  намагається  увійти  в  критичну  секцію,  тобто
            наступному процесу, що виконує операцію P(e).


                  Запитання для самоперевірки

                  1. Яке формулювання задачі про філософів, що обідають?
                  2. Які операції повинні бути реалізовані для вирішення задачі

            про філософів, що обідають?
                  3. У чому полягає суть взаємного блокування процесів?
                  4. Яким чином уникнути процедури взаємного блокування?
                  5. Яке формулювання задачі про читачів та письменників?

                  6. Яких  предметних  областей  стосується  задача  про  читачів
            та письменників?
                  7. У чому полягає рішення задачі про читачів та письменни-

            ків як задачі взаємного виключення?
                  8. У чому полягає рішення задачі про читачів та письменни-
            ків з використанням умовної синхронізації?
                  9. У чому полягає рішення задачі про читачів та письменни-

            ків через метод передачі естафети?
                  10. Що  собою  представляє  метод  програмування  під  назвою
            «передача естафети»?














                                                        130
   126   127   128   129   130   131   132   133   134   135   136