Методология императивного параллельного программирования

Методология [императивного] параллельного программирования– подход, в котором предлагается использование явных конструкций для параллельного исполнения выбранных фрагментов программ.

Происхождение.Анализ эффективности решений сложных вычислительных задач показал, что скорость вычислений можно значительно улучшить, если использовать не одно, а несколько устройств одновременно. Создание многопроцессорных систем привело к крупным исследованиям в этой области. Ещё одна причина возникновения этой методологии связана с появлением сложных программ, требующих поддержки явного параллелизма (например, операционных систем).

Методы и концепции.Метод синхронизации исполняемого кода – заключается в использовании специальных атомических операций для осуществления взаимодействия между одновременно исполняемыми фрагментами кода. Метод поддерживается концепцией примитивов синхронизации.

Класс задач.Методология может очень эффективно применяться для обработки больших однородных массивов данных. Такие массивы часто встречаются в реализации вычислительных и статистических методов. Кроме этого, данная методология успешно применяется при моделировании, в операционных системах и системах реального времени.

Методология логического параллельного программирования

Методология логического параллельного программирования– подход, обобщающий логическую методологию на параллельное выполнение доказательств.

Происхождение.ЯзыкConcurrent Prolog, предложенный Э. Шапиро развивает логический подход к абстрактным спецификациям и включает несколько идей Дейкстры (в том числе, идею охраняемого предложения). При этом подходе ПрО описывается как формальная теория в некотором логико-математическом языке.

Контрольные вопросы

Вопросы к §2.1

1. Дайте определение понятию «методология» («методологический подход»).

2. Какие атрибуты связаны с каждой методологией?

3. Дайте определение понятию «парадигма программирования».

Вопросы к §2.2

4. Поясните рассмотренный в разделе принцип классификации методологий.

5. Перечислите основные ядра методологий.

6. Перечислите специфики методологий и методологии с этими спецификами.

7. Приведите примеры смешанных методологий.

8. Приведите примеры известных методологий, не вошедших в классификацию.

9. Приведите примеры мало известных методологий, не вошедших в классификацию.

10. Как определяется поддержка методологиями классов решаемых задач?

Вопросы к §2.3

11. Охарактеризуйте практическую точку зрения на происхождение методологий?

12. Охарактеризуйте алгоритмическую точку зрения на происхождение методологий? Приведите модели алгоритмов и соответствующие методологии.

13. Охарактеризуйте структурно-языковую точку зрения на происхождение методологий? Приведите отображения структур и соответствующие методологии.

Вопросы к §2.4

14. В чём суть методологии императивного программирования?

15. В чём суть методологии объектно-ориентированного программирования?

16. В чём суть методологии функционального программирования?

17. В чём суть методологии логического программирования?

18. В чём суть методологии сентенциального программирования?

19. В чём суть методологии ограничительного программирования?

20. В чём суть методологии структурного императивного программирования?

21. В чём суть методологии императивного параллельного программирования?

22. В чём суть методологии логического параллельного программирования?