- •Теоретичні Аспекти на Межі Продуктивності і Толерантність Дефекту в Паралельному Обчисленні
- •1 Вступ
- •1.1 Дослідницькі Питання
- •1.2 Дослідницька Методологія
- •1.3 Дослідницьке Сприяння
- •2 Багатопроцесорне Планування (Частина I)
- •2.1 Класифікація планування проблем
- •2.2 Межі і Складність на Багатопроцесорному Плануванні
- •3 Баланс Навантаження і толерантність дефекту (Частина 2)
- •3.1 Модель Дефекту
- •3.2 Надійність проти Доступності
- •4 Підсумок Статей
- •4.1 Частина 1
- •4,2 Частина 2
- •5 Робота в майбутньому.
- •1 Вступ
- •2 Попередні результати
- •3 Визначення і основні результати
- •3.1 Позначення
- •3.2 Визначення
- •3.3 Основні результати і план статті
- •4 Перетворення програми р в нову програму що містить вузьку і широку частину.
- •4.1 Програма р’ як м-ідентична копія програми р
- •4.2 Продовження процесів
- •4.3 Від чотирьох копій в три нові програми
- •4.4 Перетворення програмP в програму з «товстою» і «тонкою» частинами
- •5 Товста частина
- •5.1 Перетворення p в q
- •5.2 Перетворення q в q'
- •5.3 Властивості розміщення товстої частини
- •5.4 Обчислення товстої частини
- •6 Тонка частина
- •7 Об'єднання товстих і тонких частин
- •7.1 Знахідка оптимального розміщення, що користується класами розміщення
- •7.2 Гілково-граничний алгоритм
- •8 Твердження
- •9 Обговорення
- •10 Висновки
- •Стаття 2 Стаття 2 «Максимальна Вигода Збільшення Числа пріоритетних Переривань у Багатопроцесорному Плануванні»
- •Введення до роботи
- •2. Формування проблем, позначення і основні результати.
- •2.1. Формулювання завдання
- •2.2. Позначення і терміни
- •(Білі прямокутники показують неперервні роботи)
- •2.3. Основний результат
- •3. Докази
- •3.1. Методи доведення
- •3.2. Перевищення програми p'
- •4. Висновки
- •5. Обговорення
- •6. Список літератури
- •Стаття III Використання лінійок Голомбо для оптимальних відновлюючих системах в розподілених обчисленнях толерантних до помилок
- •1 Вступ
- •2 Формулювання задачі
- •3 Загальна нижчня межа b
- •4. Ощадні Схеми Відновлення
- •5 Лінійка Голомбо
- •6. Висновок
- •7. Список літератури
- •8. Додаток: Оптимальні Послідовності
- •1 Вступ
- •1. Формулювання задачі
- •Попередня робота
- •Ощадливі Схеми Відновлення і Схеми Відновлення Голомбо
- •Модульна Схема Відновлення
- •Схеми Голомбо проти схеми модуля
- •8. Висновки
- •8. Список літератури
- •1 Вступ
- •2. Проблемне формулювання
- •3. Попереднє дослідження
- •4. Схеми відновлення
- •4.1. Нижчий mv межі
- •4.2. Послідовність s
- •4.3. Приклад послідовності
- •4.4. Регулярна схема відновлення
- •4.5. Приклад схеми відновлення, заснованої на послідовності
- •5. Схеми відновлення чотирикутника з непаралельними сторонами проти схеми відновлення Голомбо
- •6. Обговорення і укладення
- •7. Список літератури
- •8. Додаток
- •1 Вступ
- •2. Проблемна область
- •3. Попереднє дослідження
- •4. Проблемне формулювання
- •4.1. Найгірша кількість справ, що розглядаються у визначений період
- •4.2. Послідовне балансування навантаження
- •4.3. Оптимальні схеми відновлення
- •5. Головні результати
- •5.1. Комп'ютерні ланцюги
- •5.2. Приклад послідовності
- •5.3. Нормальні послідовності
- •5.4. Приклади: Голомбо, Ощадливий і послідовності модуля
- •5.5. Наваньаження компенсації ланцюгами
- •6. Напруженість mv
- •6.1. Алгоритм
- •7. Обговорення і укладення
- •8. Список літератури
1.1 Дослідницькі Питання
У цій дисертації три основні питання знаходяться в центрі.
Частина 1: Межі продуктивності в Паралельному Обчисленні
1. Розглядаємо дві паралельних архітектури: Симетричний Мультипроцесор (SMP) з динамічним розподілом і розподілену систему (чи групу) із статичним розподілом. Накільки коротшим може час завершення паралельної програми бути на SMP, порівняно з розподіленою системою, за умови, що ми користуємося оптимальними графіками?
2. Розглядаємо мультипроцесор з ідентичними процесорами і паралельним програмним укладенням з незалежних процесів, і оптимального графіку з пріоритетними перериваннями. Якщо число пріоритетних переривань підвищене, наскільки великою може бути вигода при завершенні паралельної програми?
Частина, 2:, Завантажують балансування в Паралельному Обчисленні
3. Розглядаємо групу з рядом комп'ютерів. Розглядаємо сценарій аварійної відмови у випадку, коли самі несприятливі комбінації комп'ютерів ламаються.
Як може завантаження бути порівну і ефективно перерозподілене серед поточних комп'ютерів
(користування статичним повторним поширенням)?
1.2 Дослідницька Методологія
Відколи ми зацікавлені в найгірших сценаріях випадку екстремального значення в нескінченних множинах, ми не можемо користуйтеся емпіричним методом, щоб знайти відповіді на дослідницькі питання теоретичних технік, що призводять до використання явних найгірших програм. Коректність заснована на математичних доказах (Статтяи 1 і 2). До того ж, ряд випробувань на мультипроцесорі і поширення середовища SUN/Solaris були зроблені, щоб перевірити правильність і ілюструвати деякі з результатів в Статті1 . У Статті 2 ми скористалися теоретичним номером, формулою, заснованою на дереві Stern-Brocot. Статті 3 і 4 також засновані на теорії чисел. У Статті 3 ми показуємо схеми, які засновані на так званих правилах Голомбо.
Правила Голомбо раніше були використані в різних випадках, наприклад в радіо-астрономії (розміщення антен), Ретнгено-кристалографії , кодуванні даних, географічному розміщенні і хеш-таблицях.
У Статті 4 ми відобразимо більш докладно дані із Статті 3, додаючи новий вид правил "Правила Модуло", даючи результат, тобто дійсний у більших випадках, ніж у Статті 3. У Статті 5 ми знову розширюємо правила Голомбо, конструюємо нову схему відновлення, яка дає кращу продуктивність (швидкодію). У Статті 6 ми даємо вичерпну інформацію про випадки обчислення кращих можливих схем відновлення будь-якого числа пошкоджених комп'ютерів branch-and-bound алгоритмом.
1.3 Дослідницьке Сприяння
Основні заключення в цій дисертації є:
Частина 1: оптимальні межі:
• оптимальну межу на мінімальному часі завершення для усіх паралельних програм з n обробками і мірою деталізації синхронізації z, що виконується у багатопроцесорній системі із статичним розподілом з k процесорами і затримкою комунікації t, порівнюємо з системою динамічного розміщення з q процесорами (подивіться Статтю1 і Секцію 4.1.1) :
H(n, k, q, t, z) = minAH(A, n, k, q, t, z).
Тут А
означає розміщення процесів до процесорів,
де (aj)
– процеси, що розміщені на
j-ному
комп'ютері
Отже, розміщення представлене
послідовністю розміщення(a1,
…,
ak),
де.
До того ж H(A, n, k, q, t, z) = g(A, n, k, q)+ zr(A, n, k, t)
Де g(A,
n,
k,
q)=
і
Сума прийнята усі послідовності, що зменшуються ненегативні цілі числа таке, I= {i1, …, ik} що . ij
• оптимальна межа на мінімальному часі завершення паралельної програми виконується у багатопроцесорній системі з порівнянням процесорів м, графіками з двома різними номерами пріоритетних переривань i і j, де (подивіться Статтю2 і Секцію 4.1.2) :
Тут зображення знаками приходить від наступного визначення:
Визначення:, де максимум прийнято усю безліч цілих чисел і таким чином, m1, …, mc n1, …, nc що
, хоча і m1 + … + mc = m n1 + … + nc = n mk > 0 nk ≥ 0
(Lennerstad і Lundberg, [40]).
Частина, ДРУГА: алгоритми:
• Схема відновлення Голомбо (подивіться Статтю3 Секція 4.2.1)
• Схема відновлення Модуло (подивіться Статтю4 Секція 4.2.2)
• Трапеціальна схема відновлення(подивіться Статтю 5 Секція 4.2.4)
• Оптимальна Схема відновлення (подивіться Статтю 6 Секція 4.2.3)
