justify"> 2. Модель повинна визначати трудомісткість обслуговування запитів - кількість операцій, яку повинен виконати процесор при обслуговуванні запиту на рахунок, і кількість символів вводиться-виведеної інформації;
. Модель повинна відображати обчислювальні процеси як реалізації випадкового процесу, тобто породжувати запити у випадкові моменти часу і характеризувати трудомісткість запитів випадковими величинами;
Обчислювальні процеси, породжувані моделлю, повинні відповідати реальним процесам з точністю до збігу, принаймні, математичних очікувань їх однойменних характеристик.
Перші дві вимоги виділяють коло відомостей про обчислювальних процесах, найбільш істотно впливають на порядок функціонування ВС. На даному рівні розгляду питань інші відомості про обчислювальних процесах не приймаються до уваги, тобто алгоритми та обчислювальні процеси вважаються різними остільки, оскільки вони розрізняються за кількістю і характером запитів на обслуговування. Необхідність третьої вимоги продиктована результативністю імовірнісного підходу до дослідження різноманітних процесів, якими є обчислювальні процеси. Фактор випадковості, що вводиться в модель, дозволяє породжувати нескінченне число реалізацій обчислювального процесу, що характерно для процесів виконання алгоритму. Остання вимога визначає мінімальну норму "точності" моделі. Звичайно, ідеальна модель повинна представляти реальні процеси з точністю до рівності розподілів відповідних випадкових величин описують обчислювальні процеси. Однак від побудови ідеальної моделі доводиться відмовитися з наступних причин:
в переважній більшості випадків відомості про алгоритми, для виконання яких створюється система, далеко не повні. У кращому випадку відомі оцінки математичних очікувань характеристик алгоритму і лише іноді їх дисперсії. Тому марно вводити в модель параметри, значення яких не вдається визначити;
- виправдане прагнення отримати спільне рішення задачі, нехай і наближене, змушує ідеалізувати обчислювальні процеси - представляти їх у вигляді, забезпечує разрешимость завдання аналітичними методами. Звичайно, завжди повинна встановлюватися ступінь достовірності результатів, одержуваних на основі ідеалізованих моделей.
З урахуванням перерахованих вище вимог побудуємо модель обчислювального процесу, породжуваного алгоритмом із заданою трудомісткістю.
Нехай для вирішення деякої задачі в оперативній пам'яті виділяється розділ, в якому умовно можна вказати дві частини: область програми і область даних.
Область програми має ємність, достатню для розміщення, підмножини завантажувальних модулів, які повинні одночасно бути присутнім в оперативній пам'яті в процесі виконання завдання. Тут ми розглянемо н...