69300

Базові поняття процесів і потоків

Лекция

Информатика, кибернетика и программирование

Однозначна відповідність між програмою і процесом встановлюється тільки в конкретний момент часу: один процес у різний час може виконувати код декількох програм код однієї програми можуть виконувати декілька процесів одночасно.

Украинкский

2014-10-02

39.5 KB

7 чел.

Лекція № 4

Тема: Базові поняття процесів і потоків

План

  1.  Процеси і потоки в сучасних ОС
  2.  Моделі процесів і потоків
  3.  Складові елементи процесів і потоків

Процеси і потоки в сучасних ОС

У сучасній операційній системі одночасно виконуються код ядра (що належить до його різних підсистем) і код програм користувача. При цьому відбуваються різні дії: одні програми і підсистеми виконують інструкції процесора, інші зайняті введенням-виведенням, ще деякі очікують на запити від користувача або інших застосувань. Для спрощення керування цими діями в системі доцільно виділити набір елементарних активних елементів і визначити інтерфейс взаємодії ОС із цими елементами. Коли активний елемент системи зв'язати із програмою, що виконується, ми прийдемо до поняття процесу.

Дамо попереднє означення процесу.

Під процесом розуміють абстракцію ОС, яка об'єднує все необхідне для виконання однієї програми в певний момент часу.

Програма - це деяка послідовність машинних команд, що зберігається на диску, в разі необхідності завантажується у пам'ять і виконується. Можна сказати, що під час виконання програму представляє процес.

Однозначна відповідність між програмою і процесом встановлюється тільки в конкретний момент часу: один процес у різний час може виконувати код декількох програм, код однієї програми можуть виконувати декілька процесів одночасно.

Для успішного виконання програми потрібні певні ресурси. До них належать:

♦ ресурси, необхідні для послідовного виконання програмного коду (передусім
процесорний час);

♦ ресурси, що дають можливість зберігати інформацію, яка забезпечує виконання програмного коду (регістри процесора, оперативна пам'ять тощо).

Ці групи ресурсів визначають дві складові частини процесу:

♦ послідовність виконуваних команд процесора;

♦ набір адрес пам'яті (адресний простір), у якому розташовані ці команди і дані для них.

Виділення цих частин виправдане ще й тим, що в рамках одного адресного простору може бути кілька паралельно виконуваних послідовностей команд, що спільно використовують одні й ті ж самі дані. Необхідність розмежування послідовності команд і адресного простору підводить до поняття потоку.

Потоком (потік керування, нитка, thread) називають набір послідовно виконуваних команд процесора, які використовують загальний адресний простір процесу. Оскільки в системі може одночасно бути багато потоків, завданням ОС є організація перемикання процесора між ними і планування їхнього виконання. У багатопроцесорних системах код окремих потоків може виконуватися на окремих процесорах.

Тепер можна дати ще одне означення процесу.

Процесом називають сукупність одного або декількох потоків і захищеного адресного простору, у якому ці потоки виконуються.

Захищеність адресного простору процесу є його найважливішою характеристикою. Код і дані процесу не можуть бути прямо прочитані або перезаписані іншим процесом; у такий спосіб захищаються від багатьох програмних помилок і спроб несанкціонованого доступу. Природно, що неприпустимим є тільки прямий доступ (наприклад, запис у пам'ять за допомогою простої інструкції перенесення даних); обмін даними між процесами принципово можливий, але для цього мають бути використані спеціальні засоби, які називають засобами міжпроцесової взаємодії (див. розділ 6). Такі засоби складніші за прямий доступ і працюють повільніше, але при цьому забезпечують захист від випадкових помилок у разі доступу до даних.

На відміну від процесів потоки розпоряджаються загальною пам'яттю. Дані потоку не захищені від доступу до них інших потоків за умови, що всі вони виконуються в адресному просторі одного процесу. Це надає додаткові можливості для розробки застосувань, але ускладнює програмування.

Захищений адресний простір процесу задає абстракцію виконання коду на окремій машині, а потік забезпечує абстракцію послідовного виконання команд на одному виділеному процесорі.

Адресний простір процесу не завжди відповідає адресам оперативної пам'яті. Наприклад, у нього можуть відображатися файли або регістри контролерів введення-виведення, тому запис за певною адресою в цьому просторі призведе до запису у файл або до виконання операції введення-виведення. Таку технологію називають відображенням у пам'ять (memory mapping).

Моделі процесів і потоків

Максимально можлива кількість процесів (захищених адресних просторів) і потоків, які в них виконуються, може варіюватися в різних системах.

В однозадачних системах є тільки один адресний простір, у якому в кожен момент часу може виконуватися один потік.

У деяких вбудованих системах теж є один адресний простір (один процес), але в ньому дозволене виконання багатьох потоків. У цьому разі можна організовувати паралельні обчислення, але захист даних застосувань не реалізовано.

У системах, подібних до традиційних версій UNIX, допускається наявність багатьох процесів, але в рамках адресного простору процесу виконується тільки один потік. Це традиційна однопотокова модель процесів. Поняття потоку в даній моделі не застосовують, а використовують терміни «перемикання між процесами», «планування виконання процесів», «послідовність команд процесу» тощо (тут під процесом розуміють його єдиний потік).

У більшості сучасних ОС (таких, як лінія Windows XP, сучасні версії UNIX) може бути багато процесів, а в адресному просторі кожного процесу - багато потоків. Ці системи підтримують багатопотоковість або реалізують модель потоків. Процес у такій системі називають багатопотоковим процесом.

Надалі для позначення послідовності виконуваних команд вживатимемо термін «потік», за винятком ситуацій, коли обговорюватиметься реалізація моделі процесів.

Складові елементи процесів і потоків

До елементів процесу належать:

♦ захищений адресний простір;

♦ дані, спільні для всього процесу (ці дані можуть спільно використовувати всі його потоки);

інформація про використання ресурсів (відкриті файли, мережні з'єднання тощо);

інформація про потоки процесу. Потік містить такі  елементи:

+ стан процесора (набір поточних даних із його регістрів), зокрема лічильник поточної інструкції процесора;

+ стек потоку (ділянка пам'яті, де перебувають локальні змінні потоку й адреси повернення функцій, що викликані у його коді).

Питання для самоконтролю:

  1.  Визначення процесу, програми, потоку.
  2.  Ресурси для успішного виконання програми.
  3.  Адресний простір процесів та потоків.
  4.  Складові частини процесу.
  5.  Моделі процесів і потоків
  6.  Складові елементи процесів і потоків


 

А также другие работы, которые могут Вас заинтересовать

49911. ОПРЕДЕЛЕНИЕ ТИПА МЫШЛЕНИЯ ЧЕЛОВЕКА 2.08 MB
  Можно сделать вывод что задача успешно решена то есть с помощью нейронной сети мы можем однозначно определить доминирующий тип мышления испытуемого а так же понять на сколько развиты другие типы мышления данного человека. Целью данной работы является попытка использования нейронных сетей в психологии а точнее для определения типа мышления человека. На основе полученных результатов можно будет сказать какие профессии предпочтительнее для данного человека с тем или иным типом мышления.
49912. Определение вероятности получить работу с помощью нейросетевых технологий 372 KB
  Методы искусственного интеллекта позволили создать эффективные компьютерные программы в самых разнообразных, ранее считавшихся недоступными для формализации и алгоритмизации, сферах человеческой деятельности, таких как медицина, биология, социология, культурология, политология, экономика, бизнес, криминалистика и т.п. идеи обучения...
49913. Создание нейронной сети в среде Нейросимулятор v 1.0 789 KB
  Нейронные сети на финансовом рынке Обзор основных нейропакетов. Архитектура сети. Обучение сети Тестирование. Но по сей день нейросети воспринимаются как перспективный но экзотический слабо изученный на российском рынке инструмент.
49914. Методы фокус-групп для сбора социологической информации 177 KB
  Место фокус-групп в системе социологических и маркетинговых методов Понятие метода фокус-групп Соотношение фокус-групп с групповыми методами и интервью Соотношение фокус-групп и наблюдения
49915. Овариоэктомия кошки 425 KB
  Оба длинных тонких рога матки cornu uteri имеют одинаковую толщину и трубчатую форму но не всегда одинаковую длину. Диаметр рога матки у небеременной кошки составляет 34 мм длина рогов матки колеблется между 90 и 100 мм. Каждый рог матки описывает выгнутую вентрально дугу; в каудальной части оба рога матки соединяются. Затем они сливаются полностью образуя тело матки corpus uteri.
49916. Разработка элементов систем искусственного интеллекта с использованием логической модели представления знаний 283.52 KB
  Используя предикаты parent(symbol,symbol), man(symbol), woman(symbol), married(symbol,symbol), записать факты, описывающие Вашу семью. Записать 8 правил вывода для любых родственных отношений в Вашей (или вымышленной)семье (например: мать, отец, сестра, брат, племянница, племянник, тетя, дядя, внучка, внук, бабушка, дедушка, двоюродная сестра, двоюродный брат и т.д.).
49917. Разработка элементов систем искусственного интеллекта с использованием логической модели представления знаний 320.9 KB
  По заданию было построено дерево родственных отношений, составлено 19 фактов и 13 правил, которые описывают родственные связи в моей семье. Используя язык логического программирования Prolog, написана программа, в которой отображаются все родственные отношения с помощью заданных правил и фактов. Использовались такие предикаты, как parent(string, string), man(string), woman(string), married(string ,string).
49918. Правоведение. Курс лекций 810 KB
  В конспекте лекций по курсу Правоведение в 1 части рассмотрены основы теории права без знания которых невозможна полноценная правовая подготовка современных специалистов и изучение конкретных отраслей права системы права России. Во 2 части рассмотрены основы важнейших отраслей системы права России – конституционного государственного права гражданского права семейного права трудового права экологического права административного права.ОСНОВЫ ТЕОРИИ ПРАВА Лекция...
49919. Разработка инструментальной среды для проектирования и выполнения нейропроектов 509 KB
  В течение последних 10 лет искусственные нейронные сети получили широкое распространение в качестве инструмента для решения различных задач анализа данных и распознавания образов. Разработать универсальный инструментарий при помощи которого можно создавать различные нейропроекты приложения использующие нейронные сети как универсальные так и специализированные. Модули для работы сетями включают в себя модуль для работы со структурой сети модули реализующие различные алгоритмы обучения а также модули содержащие...