Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Генинсон, Борис Абрамович
05.13.11, 05.13.13
Кандидатская
1984
Москва
152 c. : ил
Стоимость:
499 руб.
Глава I. СИНХРОНИЗАЦИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ В ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ
§ I. Основные задачи синхронизации параллельных
процессов в вычислительных системах .... Л § 2. Основные средства синхронизации параллельных процессов
§ 3. Влияние конфликтов на производительность
многопроцессорной системы
§ 4. Способы уменьшения потерь, связанных с синхронизацией параллельных процессов
Выводы к первой главе
Глава 2. ОПТИМАЛЬНЫЕ ПРАВИЛА РАЗРЕШЕНИЯ КОНФЛИКТОВ В ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ ПРИ РАВНОЦЕННЫХ
РЕСУРСАХ
§ I. Математическая модель конфликтов в вычислительной системе
§ 2. Общие замечания относительно модели конфликтов В вычислительной системе
§ 3. Оптимальное правило разрешения конфликтов в многопроцессорной системе: случай одного неделимого ресурса
§ 4. Экспериментальная проверка эффективности оптимального правила для модели с одним неделимым ресурсом
§ 5. Оптимальное взаимодействие между двумя параллельными процессами с несколькими критическими участками
§ 6. Аналитическая оценка эффективности оптимального правила разрешения конфликтов для двух процессов с несколькими критическими участками . ^50 § 7. Оптимальное правило разрешения конфликтов между слабосвязанными параллельными процессами . -5%
§ 8. Экспериментальная проверка эффективности оптимального правила для модели слабосвязанных
процессов
§ 9. Возможные обобщения рассмотренных ситуаций . . <
Выводы ко второй главе
Глава 3. ОПТИМАЛЬНЫЕ ПРАВИЛА РАЗРЕШЕНИЯ КОНФЛИКТОВ С
УЧЕТОМ НЕРАВНОЦЕННОСТИ РЕСУРСОВ
§ I. Модель конфликтов в многопроцессорной системе
с учетом неравноценности ресурсов
§ 2. Понятие оптимальности в и его свойства
§ 3. Управляемые марковские цепи с векторными штрафами
§ 4. Свойства управляемых марковских цепей с векторными штрафами
§ 5. Человеко-машинная процедура отыскивания оптимальной стратегии при существовании функции полезности
§ б. Применение разработанного аппарата к задаче
разрешения конфликтов
Выводы к третьей главе
Приложение к третьей главе
Глава 4. РЕАЛИЗАЦИЯ АЛГОРИТМОВ РАЗРЕШЕНИЯ КОНФЛИКТОВ
В ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ
§ I. Алгоритмы разрешения конфликтов в вычислительных системах
§ 2. Целесообразный табличный алгоритм разрешения
конфликтов и его модификации
§ 3. Обоснование выбора алгоритма ^ для разрешения конфликтов между параллельными процессами
§ 4. Оценка эффективности табличных алгоритмов на
имитационной модели
§ 5. Использование алгоритма разрешения конфликтов
в системах мультипрограммирования
§ б. Синхронизация параллельных процессов на уровне передачи сообщений. Реализация алгоритма разрешения конфликтов в вычислительном комплексе ПС-3000
Выводы к четвертой главе
Приложение к четвертой главе
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ (Акты о внедрении)
+tf-f£>Cc*)=Са'-а'>г «лг; - ?:>;j.
Методом математической индукции можно убедиться, что Vn ^ (ЙК, (р), откуда при fl 'А получим
-
2. И для данной модели доказательство теоремы в случае критерия 2 вытекает из предыдущего в силу асимптотического поведе-
ния критерия i) при Т-> оо , т.к. цепь Маркова
в пространстве М при фиксированном правиле разрешения конфликтов имеет единственный эргодический класс £Гз 0J
Следует отметить,что результат, полученный для рассматриваемой модели и результат для предыдущей модели согласованы между собой (если в предыдущей модели считать, что n=z , а в рассматриваемой модели, что уп= У ).
§ б. Аналитическая оценка эффективности оптимального правила разрешения конфликтов для двух процессов с несколькими критическими участками
Для модели, рассмотренной в § 5, эффективность оптимального правила разрешения конфликтов можно оценить аналитически. С этой целью найдем среднюю частоту конфликтов при оптимальном правиле разрешения конфликтов Sc . Заметим, что в силу С2°3
-2 X (АА) ,
где ^ А*) - стационарная вероятность состояния при фиксированном правиле Se
Для вероятностей 71~s0 (/1*>Аг), с , можно выписать
Название работы | Автор | Дата защиты |
---|---|---|
Разработка интеллектуальной системы для поддержки проектирования человеко-компьютерного взаимодействия в веб-приложениях | Бакаев, Максим Александрович | 2012 |
Методы создания и эквивалентных преобразований параллельных программ с учетом информационных зависимостей | Шичкина, Юлия Александровна | 2014 |
Разработка категорных средств анализа формальных языков на основе теории конических типов | Семынина, Татьяна Валерьевна | 2005 |