Int val; /* значение одного семафора */
struct semid_ds *buf; /* параметры массива семафоров в
целом (количество, права доступа,
статистика доступа)*/
ushort *array; /* массив значений семафоров */
}
Пример. Использование разделяемой памяти и семафоров. В рассматриваемом примере моделируется двухпроцессная система, в которой первый процесс создает ресурсы разделяемая память и массив семафоров. Затем он начинает читать информацию со стандартного устройства ввода, считанные строки записываются в разделяемую память. Второй процесс читает строки из разделяемой памяти. Данная задача требует синхронизации, которая будет осуществляться на основе механизма семафоров. Стоит обратить внимание на то, что с одним и тем же ключом одновременно создаются ресурсы двух разных типов (в случае использования ресурсов одного типа подобные действия некорректны).
/* 1-ый процесс */
#include <stdio.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <string.h>
#define NMAX 256
int main(int argc, char **argv)
{
key_t key;
int semid, shmid;
struct sembuf sops;
char *shmaddr;
char str[NMAX];
/* создаем уникальный ключ */
key = ftok(“/usr/ter/exmpl”, ’S’);
/* создаем один семафор с определенными правами доступа */
semid = semget(key, 1, 0666 | IPC_CREAT | IPC_EXCL);
/*создаем разделяемую память на 256 элементов */
shmid = shmget(key, NMAX, 0666 | IPC_CREAT | IPC_EXCL);
/* подключаемся к разделу памяти, в shmaddr – указатель на
буфер с разделяемой памятью */
shmaddr = shmat(shmid, NULL, 0);
/* инициализируем семафор значением 0 */
semctl(semid, 0, SETVAL, (int) 0);
sops.sem_num = 0;
sops.sem_flg = 0;
/* запуск цикла */
do
{
printf(“Введите строку:”);
if(fgets(str, NMAX, stdin) == NULL)
/* пишем признак завершения – строку “Q” */
strcpy(str, “Q”);
/* в текущий момент семафор открыт для этого процесса*/
/* копируем строку в разд. память */
strcpy(shmaddr, str);
/* предоставляем второму процессу возможность войти */
sops.sem_op = 3; /* увеличение семафора на 3 */
semop(semid, &sops, 1);
/* ждем, пока семафор будет открыт для 1го процесса –
для следующей итерации цикла*/
sops.sem_op = 0; /* ожидание обнуления семафора */
semop(semid, &sops, 1);
} while (str[0] != ‘Q’);
/* в данный момент второй процесс уже дочитал из
разделяемой памяти и отключился от нее – можно ее удалять*/
shmdt(shmaddr); /* отключаемся от разделяемой памяти */
/* уничтожаем разделяемую память */
shmctl(shmid, IPC_RMID, NULL);
/* уничтожаем семафор */
semctl(semid, 0, IPC_RMID, (int) 0);
return 0;
}
/* 2-ой процесс */
#include <stdio.h>
#include <sys/types.h>
#include <sys/ipc.h>
#include <sys/sem.h>
#include <string.h>
#define NMAX 256
int main(int argc, char **argv)
{
key_t key;
int semid, shmid;
struct sembuf sops;
char *shmaddr;
char str[NMAX];
/* создаем тот же самый ключ */
key = ftok(“/usr/ter/exmpl”, ’S’);
semid = semget(key, 1, 0666);
shmid = shmget(key, NMAX, 0666);
/* аналогично предыдущему процессу –
инициализация ресурсов */
shmaddr = shmat(shmid, NULL, 0);
sops.sem_num = 0;
sops.sem_flg = 0;
/* запускаем цикл */
do
{
printf(“Waiting...\n”);
/* ожидание на семафоре */
sops.sem_op = -2;
/* будем ожидать, пока “значение семафора” + ”значение
sem_op” не станет неотрицательным, т.е. пока значение
семафора не станет, как минимум, 2 (2 - 2 >= 0) */
semop(semid, &sops, 1);
/* теперь значение семафора равно 1 */
/* критическая секция - работа с разделяемой памятью –
в этот момент первый процесс к разделяемой памяти
доступа не имеет */
/* копируем строку из разд. памяти */
strcpy(str, shmaddr);
if(str[0] == ‘Q’)
/* завершение работы - освобождаем разд. память*/
shmdt(shmaddr);
/* после работы – обнулим семафор */
sops.sem_op = -1;
semop(semid, &sops, 1);
printf(“Read from shared memory: %s\n”, str);
} while (str[0] != ‘Q’);
return 0;
}
- Содержание
- 1 Введение 5
- 2 Управление процессами 87
- 3 Реализация межпроцессного взаимодействия в ос Unix 114
- 4 Файловые системы 152
- 4.1 Основные концепции 152
- 5 Управление оперативной памятью 181
- 6 Управление внешними устройствами 196
- Введение
- Пакетная обработка заданий.
- Развитие языков и систем программирования.
- Этапы эволюции.
- Основы архитектуры вычислительной системы
- Структура вс
- Структура вычислительной системы.
- Аппаратный уровень вс
- Управление физическими ресурсами вс
- Пример зависимости от драйвера.
- Управление логическими/виртуальными ресурсами
- Системы программирования
- Этапы проектирования.
- Кодирование.
- Тестирование.
- Каскадная модель.
- Каскадная итерационная модель.
- Спиральная модель.
- Прикладные системы
- Первый этап развития прикладных систем.
- Второй этап развития прикладных систем.
- Третий этап развития прикладных систем.
- Пакет программ Microsoft Office.
- Пакет MathCad.
- Система BaaN.
- Выводы, литература
- Структура организации вычислительной системы.
- Основы компьютерной архитектуры
- Структура, основные компоненты
- Структура компьютера фон Неймана.
- Базовая архитектура современных компьютеров.
- Оперативное запоминающее устройство
- Ячейка памяти.
- Контроль четности.
- Озу без расслоения памяти — один контроллер на все банки.
- Озу с расслоением памяти — каждый банк обслуживает отдельный контроллер.
- Центральный процессор
- Структура организации центрального процессора.
- Регистровая память
- Устройство управления. Арифметико-логическое устройство
- Общая схема работы кэШа.
- Аппарат прерываний
- Использование иерархической модели регистров прерывания.
- Использование вектора прерываний.
- Этап программной обработки прерываний.
- Внешние устройства
- Внешние устройства.
- Внешние запоминающие устройства
- Магнитная лента.
- Принцип устройства магнитного диска.
- Принцип устройства магнитного барабана.
- Принцип устройства памяти на магнитных доменах.
- Модели синхронизации при обмене с внешними устройствами
- Синхронная и асинхронная работа с ву.
- Потоки данных. Организация управления внешними устройствами
- Непосредственное управление центральным процессором внешнего устройства.
- Синхронное/асинхронное управление внешними устройствами с использованием контроллеров внешних устройств.
- Использование контроллера прямого доступа к памяти (dma) или процессора (канала) ввода-вывода при обмене.
- Иерархия памяти
- Иерархия памяти.
- Аппаратная поддержка операционной системы и систем программирования
- Требования к аппаратуре для поддержки мультипрограммного режима
- Мультипрограммный режим.
- Проблемы, возникающие при исполнении программ
- Вложенные обращения к подпрограммам.
- Перемещаемость программы по озу.
- Фрагментация памяти.
- Регистровые окна
- Регистровые окна.
- Регистровые окна. Вход и выход из подпрограммы.
- Системный стек
- Системный стек.
- Виртуальная память
- Страничная организация памяти.
- Страничная организация памяти. Преобразование виртуального адреса в физический.
- Страничная организация памяти. Схема преобразования адресов.
- Многомашинные, многопроцессорные ассоциации
- Классификация мкмд.
- Numa-система.
- Терминальные комплексы (тк)
- Терминальные комплексы.
- Компьютерные сети
- Компьютерные сети.
- Организация сетевого взаимодействия. Эталонная модель iso/osi
- Модель организации взаимодействия в сети iso/osi.
- Логическое взаимодействие сетевых устройств по I-ому протоколу.
- Семейство протоколов tcp/ip. Соответствие модели iso/osi
- Семейство протоколов tcp/ip.
- Взаимодействие между уровнями протоколов tcp/ip.
- Система адресации протокола ip.
- Маршрутизация дейтаграмм.
- Основы архитектуры операционных систем
- Структура ос
- Структурная организация ос.
- Структура ос с монолитным ядром.
- Структура ос с микроядерной архитектурой.
- Логические функции ос
- Типы операционных систем
- Структура сетевой ос.
- Структура распределенной ос.
- Управление процессами
- Основные концепции
- Модели операционных систем
- Типы процессов
- Типы процессов: однонитевая (а) и многонитевая (б) организации.
- Контекст процесса
- Реализация процессов в ос Unix
- Процесс ос Unix
- Разделение сегмента кода.
- Базовые средства управления процессами в ос Unix
- Пример использования системного вызова fork().
- Пример использования системного вызова execl().
- Пример использования схемы fork-exec.
- Жизненный цикл процесса. Состояния процесса
- Жизненный цикл процессов.
- Формирование процессов 0 и 1
- Формирование нулевого и первого процессов.
- Инициализация системы.
- Планирование
- Взаимодействие процессов
- Разделяемые ресурсы и синхронизация доступа к ним
- Гонка процессов.
- Пример тупиковой ситуации (deadlock).
- Способы организации взаимного исключения
- Пример двоичного семафора.
- Классические задачи синхронизации процессов
- Обещающие философы.
- Реализация межпроцессного взаимодействия в ос Unix
- Базовые средства реализации взаимодействия процессов в ос Unix
- Способы организации взаимодействия процессов.
- Сигналы
- Неименованные каналы
- Именованные каналы
- Модель межпроцессного взаимодействия «главный–подчиненный»
- Общая схема трассировки процессов.
- Система межпроцессного взаимодействия ipc (Inter-Process Communication)
- Очередь сообщений ipc
- Очередь сообщений ipc.
- 0666 Определяет права доступа */
- Разделяемая память ipc
- Массив семафоров ipc
- Int val; /* значение одного семафора */
- Сокеты — унифицированный интерфейс программирования распределенных систем
- Файловые системы
- Основные концепции
- Структурная организация файлов
- Атрибуты файлов
- Основные правила работы с файлами. Типовые программные интерфейсы
- Модель одноуровневой файловой системы.
- Модель двухуровневой файловой системы.
- Модель иерархической файловой системы.
- Подходы в практической реализации файловой системы
- Структура «системного» диска.
- Модели реализации файлов
- Модель непрерывных файлов.
- Модель файлов, имеющих организацию связанного списка.
- Модели реализации каталогов
- Модели организации каталогов.
- Соответствие имени файла и его содержимого
- Пример жесткой связи.
- Пример символической связи.
- Координация использования пространства внешней памяти
- Квотирование пространства файловой системы
- Квотирование пространства файловой системы.
- Надежность файловой системы
- Проверка целостности файловой системы
- Проверка целостности файловой системы. Непротиворечивость файловой системы соблюдена.
- Проверка целостности файловой системы. Зафиксирована пропажа блока.
- Проверка целостности файловой системы. Зафиксировано дублирование свободного блока.
- Проверка целостности файловой системы. Зафиксировано дублирование занятого блока.
- Проверка целостности файловой системы. Контроль жестких связей.
- Примеры реализаций файловых систем
- Организация файловой системы ос Unix. Виды файлов. Права доступа
- Логическая структура каталогов
- Логическая структура каталогов.
- Внутренняя организация файловой системы: модель версии System V
- Структура файловой системы версии System V.
- Работа с массивами номеров свободных блоков
- Работа с массивами номеров свободных блоков.
- Работа с массивом свободных индексных дескрипторов
- Индексные дескрипторы. Адресация блоков файла
- Индексные дескрипторы.
- Адресация блоков файла.
- Файл-каталог
- Файл-каталог.
- Установление связей.
- Достоинства и недостатки файловой системы модели System V
- Внутренняя организация файловой системы: модель версии Fast File System (ffs) bsd
- Структура файловой системы версии ffs bsd.
- Стратегии размещения
- Стратегия размещения последовательных блоков файлов.
- Внутренняя организация блоков
- Внутренняя организация блоков (блоки выровнены по кратности).
- Выделение пространства для файла
- Выделение пространства для файла.
- Структура каталога ffs
- Структура каталога ffs bsd.
- Блокировка доступа к содержимому файла
- Управление оперативной памятью
- Одиночное непрерывное распределение
- Одиночное непрерывное распределение.
- Распределение неперемещаемыми разделами
- Распределение неперемещаемыми разделами.
- Распределение перемещаемыми разделами
- Распределение перемещаемыми разделами.
- Страничное распределение
- Страничное распределение.
- Иерархическая организация таблицы страниц.
- Использование хеш-таблиц.
- Инвертированные таблицы страниц.
- Замещение страниц. Алгоритм «Часы».
- Сегментное распределение
- Сегментное распределение.
- Сегментно-страничное распределение
- Сегментно-страничное распределение. Упрощенная модель Intel.
- Управление внешними устройствами
- Общие концепции
- Архитектура организации управления внешними устройствами
- Модели управления внешними устройствами: непосредственное (а), синхронное/асинхронное (б), с использованием контроллера прямого доступа или процессора (канала) ввода-вывода.
- Программное управление внешними устройствами
- Иерархия архитектуры программного управления внешними устройствами.
- Планирование дисковых обменов
- Планирование дисковых обменов. Модель fifo.
- Планирование дисковых обменов. Модель lifo.
- Планирование дисковых обменов. Модель sstf.
- Raid 2. Избыточность с кодами Хэмминга (Hamming, исправляет одинарные и выявляет двойные ошибки).
- Raid 3. Четность с чередующимися битами.
- Raid 5. Распределенная четность (циклическое распределение четности).
- Работа с внешними устройствами в ос Unix
- Файлы устройств, драйверы
- Системные таблицы драйверов устройств
- Ситуации, вызывающие обращение к функциям драйвера
- Включение, удаление драйверов из системы
- Организация обмена данными с файлами
- Организация обмена данными с файлами.
- Буферизация при блок-ориентированном обмене
- Борьба со сбоями