4. Взаємодія процесів через загальну область даних. Когерентність

Два процеси можуть спільно використати об'єкт «проектований файл». При цьому, за допомогою функції MapViewOfFile кожен процес проектує цей об'єкт на свій адресний простір і використають цю частину адресного простору як поділювану область даних. Загальний механізм такий: один процес створює об'єкт «проектований файл» за допомогою функції CreateFileMapping і породжує інший процес, передаючи йому в спадщину описувачем цього об'єкта. Дочірній процес може користуватися цим описувачем нарівні з батьківським. Проблема складається тільки в тім, як повідомити дочірньому процесу, який з переданих йому в спадщину описувачів є описувачем «проецируемого файлу». Це можна зробити будь-яким способом. Наприклад передачею параметрів при запуску процесу, через змінні середовища, передачею повідомлення в головне вікно процесу й так далі.

Загальна область даних може бути створена не тільки шляхом проектування файлу, але й шляхом проектування частини файлу підкачування. Для цього у функцію CreateFileMapping необхідно передати як параметр не описувач раніше відкритого файлу, а -1. У цьому випадку необхідно задати розміри виділюваної області. Крім того, у параметрі IpName можна задати ім'я об'єкта, що є глобальним у системі. Якщо це ім'я задається в системі вперше, то процесу виділяється нова область даних, а якщо ім'я було вже задане, те іменована область даних надається для спільного використання.

Рис 10.2 - Взаємодія процесів через загальну область даних. Когерентність.

Якщо один процес міняє поділювану область даних, то вона міняється й для іншого процесу. Операційна система забезпечує когерентність поділюваної області даних для всіх процесів. Але для забезпечення когерентності процеси повинні працювати з одним об'єктом «проектований файл», а не з одним файлом.

5. Купи

Купи (heaps) - області, що розподіляють динамічно, даних. При породженні процесу йому надається купа «за замовчуванням», розміром 1Mb. Розмір цієї купи може змінюватися параметром /HEAP при побудові модуля, що виконує. CRT - функції (malloc. free і т.д.) використають функціональність куп (див. 4.3)

Для одержання описувача купи «за замовчуванням» використається функція

HANDLE GetProcessHeap( VOID )

Використовуючи поверта цією функцією описатель (handle) можна здійснювати роботу з купою. Для цього призначені функції:

LPVOID HeapAlloc( HANDLE hHeap, DWORD dwFlags, DWORD dwSize )

виділяє блок пам'яті заданого розміру з купи й повертає покажчик на цей блок;

LPVOID HeapReAlloc( HANDLE hHeap, DWORD dwFlags, LPVOID IpOldBlock, DWORD dwSize)

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

BOOL HeapFree(HANDLE hHeap, DWORD dwFlags, LPVOID IpMem )

звільняє виділений блок пам'яті з купи.

Існує ще ряд функція роботи з купами, повний опис яких утримується в документації.

Іноді має сенс користуватися додатковими купами. Для їхнього створення використається функція

HANDLE HeapCreate(DWORD dwFlags, DWORD dwInitialSize, DWORD dwMaximumSize )

Причин доцільності використання додаткових куп може бути трохи:

1. Для захисту друг від друга різних структур даних.

Рис 10.3 - Структури.

2. Для підвищення ефективності керування пам'яттю.

У системах зі сторінковою організацією відсутня проблема фрагментації фізичної пам'яті1. Однак існує проблема фрагментації адресного простору. В 4Gb адресному просторі ця проблема не актуальна, але вона має значення в 1Mb купі. Якщо елементи якої-небудь структури мають один розмір, а елементи іншої структури - інший розмір, то корисно розміщати ці структури в різних купах.

3. Для зменшення робочої безлічі процесу.

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

Рис 10.4 - Кучі.

Лекція 12

Тема: Вікна