- •Кафедра программного обеспечения информационных технологий
- •«Операционные системы и системное программирование»
- •40 01 01
- •Содержание
- •Введение
- •Разработка программ в ос unix
- •1.1 Отличительные черты ос unix
- •1.2 Основы архитектуры операционной системы unix
- •1.3 Ядро системы
- •1.4 Пользователи системы, атрибуты пользователя
- •1.5 Системные вызовы и функции стандартных библиотек
- •1.6 Описание программы, переменные окружения
- •1.7 Аргументы и опции программы
- •1.8 Обработка ошибок
- •2 Файлы и файловая система
- •2.1 Файлы
- •2.2 Типы файлов
- •2.2.1 Обычные файлы
- •2.2.2 Каталоги
- •2.2.3 Файлы символичной связи (ссылки)
- •2.2.4 Файлы устройства
- •2.2.5 Именованные каналы
- •2.2.6 Сокеты
- •2.3 Владельцы файлов и права доступа к файлу
- •2.4 Дополнительные атрибуты файла
- •2.5 Файловый ввод/вывод
- •Открытие файла
- •2.6 Мультиплексированный ввод/вывод
- •2.7 Векторный ввод/вывод
- •2.8 Файлы, отображающиеся в памяти
- •2.9 Каталоги, работа с каталогами
- •2.9.1 Создание каталога
- •2.9.2 Удаление каталога
- •2.9.3 Чтение информации из каталога
- •2.9.4 Закрытие каталога
- •2.10 Создание жестких ссылок
- •2.11 Символическая ссылка
- •2.12 Удаление ссылки (или имени файла)
- •2.13 Переименование файла
- •2.14 Файловая система ос unix
- •2.14.1 Организация файловой системы ext2
- •2.15 Файлы устройств
- •3 Процессы
- •3.1 Виды процессов
- •3.2 Создание процесса
- •3.3 Вызовы семейства exec
- •3.4 Функции завершения процесса
- •3.5 Ошибки
- •3.6 Копирование при записи
- •3.7 Системные вызовы ожидания завершения процесса
- •3.8 Системный вызов system
- •3.9 Основные параметры, передаваемые процессу
- •3.10 Сеансы и группы процессов
- •4 Взаимодействие процессов
- •4.1 Сигналы
- •4.1.1 Отправка (генерация) сигнала
- •4.1.2 Наборы сигналов
- •4.1.3 Блокировка сигналов
- •4.2 Неименнованные каналы (трубы)
- •4.2.1 Размер канала и взоимодействие процессов при передаче данных
- •4.3 Именнованные каналы
- •4.4 Дополнительные средства межпроцессного взоимодействия
- •4.5 Механизмы межпроцессорного взаимодействия
- •4.5.1 Очереди сообщений
- •4.5.2 Семафоры Семафоры как теоретическая конструкция
- •4.5.3 Разделяемая память
- •4.5.4 Потоки
- •Int pthread_setschedparam(pthread_t tid, int policy, const struct sched_param *param);
- •Int pthread_getschedparam(pthread_t tid, int policy, struct schedparam *param);
- •5 Операционные системы
- •5.1 Понятие операционной системы
- •5.2 Характеристики современных ос
- •5.2.1 Многопоточность
- •5.2.2 Распределенные ос
- •5.2.3 Концепция ос на основе микроядра
- •5.2.4 Функции микроядра.
- •5.3 Принципы построения ос
- •5.4 Концептуальные основы ос
- •5.4.1 Процессы
- •Модель работы процесса с двумя приостановочными состояниями
- •Варианты решения:
- •Решение задачи взаимного исключения. Алгоритм Деккера.
- •Решение задачи взаимного исключения. Алгоритм Пэтерсона..
- •Синхронизирующие примитивы (семафоры).
- •Задача “производитель-потребитель” Общие семафоры
- •Задача “производитель-потребитель”, буфер неограниченного размера(Спящий парикмахер)
- •Задача “производитель-потребитель”, буфер ограниченного размера
- •5.4.2 Распределение ресурсов. Проблема тупиков
- •Алгоритм банкира
- •Применение алгоритма банкира
- •5.4.3 Монитороподобные средства синхронизации
- •Механизм типа «критическая область»
- •5.4.4 Виртуализация
- •5.4.5 Подсистема управления памятью
- •5.4.6 Виртуальная оперативная память
- •5.5 Аппаратные особенности процессоров Intel-архитектуры, направленных на поддержку многозадачности
- •5.5.1 Сегментация памяти. Ia-32
- •5.5.2 Распределение памяти в реальном режиме
- •5.5.3 Организация защиты в процессоре
- •5.5.4 Поддержка многозадачности в процессорах архитектуры ia-32
3.4 Функции завершения процесса
Прототипы:
#include <unistd.h>
#include <stdlib.h>
void _exit(int exit_code);
void exit(int status);
int atexit(void(*func)(void));
Выполнение системного вызова _exit приводит к освобождению сегмента данных, сегмента стека и закрытию всех открытых дескрипторов файлов для процесса, который вызвал _exit;
Но запись в таблице процессов, в которой был зарегистрирован этот процесс, не удаляется, т.е. она ещё не может быть занята другим процессом. Процесс переходит в состояние “зомби”, т.к. его дальнейшее выполнение не планируется. Удалить запись может только родительский процесс с помощью вызова wait и waitpid.
Если процесс порождает сына и заканчивается раньше, чем процесс-сын, то системный процесс init становится управляющим для процесса-сына, и после его завершения удаляет запись о нём в таблице процессов.
Аргумент _exit - код завершения процесса, причём родителю передаются только 8 младших бит. Нулевое значение свидетельствует об успешном завершении, ненулевое - о завершении процесса с ошибкой или по причине какой-либо ситуации.
Библиотечная функция exit является надстройкой над системным вызовом _exit. Она дополнительно очищает буфер и закрывает все открытые потоки для вызывающего процесса. Затем она вызывает все функции, которые были зарегистрируемы с помощью функции atexit. После этого вызывается системный вызов _exit.
Помимо exit программа может завершать свою работу обычным образом, при этом компилятор сам подставляет _exit перед завершением.
Завершение работы программы может быть инициировано оператором возврата return. В этом случае компилятор так же автоматически подставляет _exit.
Хорошим стилем программирования считается явное использование функции _exit.
При завершении процесса-сына ядро ОС посылает специальный сигнал SIGCHLD процессу-предку. По умолчанию этот сигнал игнорируется, но в процессе можно написат функцию-обработчик данного сигнала.
3.5 Ошибки
Все системные вызовы в случае ошибок возвращают -1. Введена внешняя переменная extern errno, которая в этом случае содержит код ошибки. Она не обнуляется успешно завершенными вызовами.
|
Код |
Значение |
|
EAGAIN |
Ресурс временно недоступен (переполнена системная таблица) |
|
EBADF |
Недопустимый дескриптор файла |
|
ECHILD |
Нет доченрых процессов |
|
EEXIST |
Файл уже существует |
|
EINVAL |
Недопустимый аргумент |
|
EIO |
Ошибка ввода-вывода |
|
EMFILE |
Процессом открыто слишком много файлов |
|
ENFILE |
Переполнение в таблице открытых файлов |
|
EINTR |
Системный вызов прерван сигналом |
Прототипы:
include <string.h>
#include <errno.h>
#include <stdio.h>
char *strerror(int errnum);
void perror(const char *s);
Функция strerror принимает код ошибки и возвращает указатель на строку, в которой находится сообщение об ошибке.
Пример:
#include <errno.h>
#include <stdio.h>
main(int argc,char *argv[])
{
fpritf(stderr,”ENOMEM:%s\n”,strerror(ENOMEM);
errno=ENOEXEC;
perror(argv[0]);
}
