Сеть Петри: графическое представление
Сеть состоит из: • вершин-позиций b1, …, b5; • вершин-переходов d1, …, d5;
-
фишек в вершинах b1 и b5.
Все переходы пассивны кроме d2. Переход d2 активен, т.к. он имеет единственную входную ветвь, и она соединяет его с вершиной-позицией, в которой находится фишка.
Условия возникновения тупиков
Для появления тупиков должны одновременно выполняться четыре условия:
-
взаимное исключение не запрещает монопольный доступ к разделяемым ресурсам (условие взаимного исключения);
-
удержание процессом захваченного ресурса на время ожидания доступа к недостающим для продолжения его работы разделяемым ресурсам (условие ожидания);
-
невозможность перераспределения ресурсов, захваченных процессами, находящимися в режиме ожидания (условие отсутствия перераспределения);
-
существование замкнутой цепи процессов, каждый из которых ожидает освобождения ресурсов, захваченных другими процессами, входящими в цепь (условие кругового ожидания).
Обход тупика
Обнаружить возможность тупика дает анализ последовательности действий процессов.
Установка операционной системы
После покупки нового компьютера обычно имеется 1 жесткий диск, который обзывается буквой С, которую можно переназначить.
Лучше иметь несколько разделов. На одном разделе система, на другом свои документы (либо другая операционная система).
Утилита fdisk.exe / fdisk.com предлагает разбивать диск на несколько разделов с определенными параметрами.
Программа Magic Partition представляет визуально представить дисковое пространство (с показанием распределенного и нераспределенного пространства). Имеет возможность записи на компакт-диск и запуск с него без операционной системы.
Компьютер без предустановленной операционной системы представляется в минимальной комплекции с MS DOS 7. Такие утилиты как MS DOS SYS, IO.SYS, command.com, cddriver.com позволяют с легкостью установить нужную операционную систему.
Установить операционную систему Windows можно с помощью установочного диска, который практически в автоматическом режиме устанавливает операционную систему. Вмешательства практически не требуется, кроме диалоговых окон и кнопок «Далее».
Современные жесткие диски выпускаются в двух модификациях:
-
Модификация самоопределения.
Системная плата предполагает использование двух контроллеров (IDE и SATA). Жесткие диск с технологией IDE сейчас являются антиквариатом, а современные используют контроллер SATA.
-
Использование перемычки с функциями «Загрузка с жесткого диска» и «Загрузка с жесткого диска».
Использование диска с готовым образом операционной системы (.iso). Этот образ записывается на диск и спокойно устанавливается на компьютер.
Установка еще не закончена потому что…
1) Установка драйверов для оптимальной работы, потому что система работает в минимально необходимой настройке.
2) Для обработки стандартных прерываний в операционной системе (BIOS) имеются стандартные функции, они выгружаются из жесткого диска в ОЗУ по четко определенным адресам (они называются векторами прерываний). Некоторые устройства компьютера пытаются использовать одинаковые адреса (векторы прерываний), но тогда возникает конфликт. Наличие конфликта можно обнаружить с помощью пункта «Диспетчер устройств» окна «Система» доступ к которой проходит через «Панель управления». Обновить драйвера можно с помощью компакт-диска, интернет и компакт-диска устройства.
Нюансы
Операционные системы одного и того же типа, но разных версий выпуска (например, Windows XP и Windows 7) надо устанавливать в хронологическом порядке их выпуска.
На один логический диск можно поставить 2 операционные системы, практика настоятельно рекомендует разносить их на разные разделы.
Все что устанавливается на диск с помощью Setup и подобным прописываются в системном реестре, поэтому удалять ненужные нужно только с помощью программы Uninstall, либо с помощью «Установки и удаления программ». Так как система не блокирует принудительное удаление чего-то с логического диска.