Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Пример ограниченного буфера с семафорами


Семафоры

Примитивы межпроцессного взаимодействия

Алгоритм Петерсона для двух процессов.

Нестрогое чередование

Глобальные переменные:

int turn; //переключатель

int N=2//кол-в процессов

Bool interested[N]//очередь кто хочет войти в КС

 

Процедура входа в КС

Void Enter_CS(int process)// process=0 или process=1

{

int other=1-process;

interested[process]=true;

turn= process;//кто хочет войти в КС

while (tune== process && interested[other]);//активное ожидание своей очереди

}

 

Процедура выхода из КС

Void leave_CS(int process)

{

interested[process]=false;

}

Процесс захотевший войти в КС вызывает процедуру Enter_CS со своим номером. Если доступ разрешен, то процесс успешно выходит из этой процедуры и продолжает выполняться. Иначе процесс ожидает завершение другого процесса.

 

Примитивы межпроцессного взаимодействия применяются вместо активного ожидания, в которых лишь напрасно расходуется процессорное время.

Эти примитивы блокируют процессы, в случае запрета на вход в критическую секцию.

Самая простая пара примитивов – sleep и wakeup.

Sleep – системный запрос, который блокирует вызывающий процесс, поток его не запустит другой процесс.

Wakeup – системный запрос, запускающий процесс, определяемый в атрибутах запроса.

 

#define N 100 Массивное количество элементов в буфере

Int count = 0; Текущее количество элементов в буфере

 

Void procedure(Void)

{

int : item;

 

While ( TRUE ) бесконечный

{

Item = produce_item(); сформировать следующий элемент

If (count == N) sleep; если буфер полный, то уйти в ожидание

Insert_item(item); поместить элемент в буфер

Count = count+1; увеличить количество элементов в буфере

If (count ==1) wakeup(consumer); был ли буфер пуст

}

}

 

Void consumer(void)

{

int : item;

While ( TRUE ) бесконечный цикл

{

If (count==0) sleep();если буфер пуст, то уйти в ожидание

Item = remove_item( ); забрать элемент из буфере



Count = count-1; уменьшить счетчик количества элементов в буфере

If (count ==N-1) wakeup(produser); был ли буфер полон

Consume_item(item); отправить элемент на печать

}

}

 

Семафор – это целая переменная, над которой можно совершать только три действия:

1. Можно инициализировать в неотрицательное значение

2. Уменьшать значение Down. Если процесс становиться <=0 процесс засыпает.

3. Увеличение значения UP. Если до увеличения процесс спал, он просыпается.

Семафор это объект ядра.

Первый семафор f – подсчет заполненых элементов буфера. Второй е-подсчет пустых сегментов. Третий Т – дл предотвращения ситуации одновременного доступа к буферу – двоичный семафор.

Начальное состояние ф=0, е=N, Т=1.

Поток писатель сначала проверяет условие единоличного доступа к буферу Down(T). Если Т=0, уходит спать. Если Т>0, уменьшает Т и выполняет операцию DOWn(e) для проверки наличия свободного элемента буфера. Если е=0, то поток-писатель засыпает. Если е больше 0 , то уменьшается число свободных буферов и записывается информация в очередной свободный буфер (увеличивается число занятых буферов UP(F)). Освобождается доступ к буферу команодй Up(t).

Поток читатель сначала проверяет условие единоличного доступа к буферу Down(T). Если Т=0, уходит спать. Если Т>0, уменьшает Т и выполняет операцию DOWn(e) для проверки наличия свободного элемента буфера. Если f=0, то поток-читатель засыпает. Если е больше 0 , то уменьшается число свободных буферов и записывается информация в очередной свободный буфер (увеличивается число занятых буферов UP(e)). Освобождается доступ к буферу командой Up(t).

 

<== предыдущая лекция | следующая лекция ==>
По способу взаимодействия с системой | Голодание

Дата добавления: 2014-01-04; Просмотров: 233; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:

  1. I. Затрудненный выброс крови из желудочков (например, стеноз аорты, клапанный стеноз a, pulmonalls и коарктация аорты)
  2. IV. Примеры расчетов потребностей в сырье по индивидуальным и среднегодовым нормам.
  3. LZ-алгоритмы распаковки данных. Пример 13.6
  4. LZ-алгоритмы распаковки данных. Примеры
  5. LZ77-алгоритм распаковки данных. Пример 12.4
  6. Билет№5:Методологические основы менеджмента. Ситуационный, системный и процессный подход к принятию управленческих решений (привести примеры).
  7. БУНТ - массовое действие, имеющее очень высокую степень интенсивности, активности его участников, но еще больше ограниченного временем протекания, причиной его вызвавшей.
  8. В приведенном примере укажите тезис (если тезис явно не выражен, сформулируйте его), определите способ аргументации.
  9. В ст.131 ГК установлены основные положения о примерном перечне вещных прав, подлежащих регистрации, обязательности государственной регистрации и органе, ее осуществляющем.
  10. Виды и примерная структура документов
  11. Вопрос 68. Филогенез опорно-двигательной системы. Онтофилогенетические пороки костной и мышечной систем. Примеры.
  12. Вопрос 70. Филогенез кровеносной системы хордовых животных. Онтофилогенетические пороки развития сердца и кровеносных сосудов. Примеры.

studopedia.su - Студопедия (2013 - 2021) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.002 сек.