Указания к выполнению работы

1. Реализовать программу на основе шаблона, представленного выше.

2. Модифицировать программу п.1 следующим образом: 1. программа должна содержать три рабочих сопрограммы; 2. дескрипторы рабочих сопрограмм включены в очередь дескрипторов; 3. в качестве очереди использовать тип данных vector или queue; 4. программа должна содержать сопрограмму-диспетчер; 5. рабочие сопрограммы передают управление сопрограмме-диспетчеру; 6. после получения управления сопрограмма-диспетчер принимает решение о том, какой из рабочих сопрограмм передать управление; 7. решение принимается следующим образом: - дескриптор приостанавливаемой рабочей сопрограммы ставится в конец очереди дескрипторов; - из начала очереди дескрипторов извлекается дескриптор рабочей сопрограммы; - этой сопрограмме передается управление.

Вопросы для самопроверки

1. Дайте определение понятия «сопрограмма».

2. Чем сопрограммы отличаются от процедур?

3. Приведите примеры реализации сопрограмм.

4. Объясните, каким способом сопрограммы моделируют невытесняющую многозадачность.

5. Перечислите элементы, которые в обязательном порядке должна включать сопрограммы.

6. Перечислите этапы создания сопрограммы.

Литература

1. https://msdn.microsoft.com/ru-ru/library/windows/desktop/ms682661(v=vs.85).aspx

2. http://man7.org/linux/man-pages/man3/setcontext.3.html

3. http://man7.org/linux/man-pages/man2/sigaltstack.2.html

4. http://man7.org/linux/man-pages/man3/makecontext.3.html

Раздел 6. Мониторы синхронизации процессов

12. Взаимодействие потоков через буфер, реализованный на условных переменных

Цель работы – знакомство с механизмом взаимодействия потоков через буфер, построенный на условных переменных.

Общие сведения

Буферизация является средством согласования скорости записи данных одним потоком и скорости чтения данных другим потоком. При этом буфер является общим, разделяемым объектом для пишущего и читающего потоков.

Существуют следующие требования к алгоритмам функционирования буфера:

1. нельзя записать сообщение в полный буфер; поток, делающий такую попытку, должен быть блокирован до появления свободной ячейки в буфере;

2. нельзя прочитать сообщение из пустого буфера; поток, делающий такую попытку, должен быть блокирован до появления сообщения в буфере.

Как правило, механизмы синхронизации записи в буфер и чтения из буфера являются скрытыми для программиста, которому предоставляются лишь примитивы СОЗДАТЬ БУФЕР, УНИЧТОЖИТЬ БУФЕР, ЗАПИСАТЬ ДАННЫЕ В БУФЕР и ПРОЧИТАТЬ ДАННЫЕ ИЗ БУФЕРА, внешне напоминающие работу с файлами.

Шаблон потока записи данных в буфер

Шаблон потока, записывающего данные в буфер, выглядит следующим образом:

пока (условие завершения потока не выполнено) {

сгенерировать данные;

записать данные в буфер;

задержать на время;

}

Шаблон потока чтения данных из буфера

Шаблон потока чтения данных из буфера выглядит следующим образом:

пока (условие завершения потока не выполнено) {

прочитать данные из буфера;

обработать данные;

задержать на время;

}