Учебное пособие москва мади 2020 ббк 32. 81 В 683 Волосова, А. В. В683

разделить на две подгруппы с номерами от 0 до 40 и от 41 до 99? 
25. 
Реализуйте с использованием MPI метод Якоби по схеме DVM-
программы, приведенной в предыдущем параграфе. Сравните 

---

156 
полученную MPI-программу с аналогичной DVM-программой. 
Какие достоинства есть у каждой из этих программ? 
26. 
Объясните, в каких случаях вы отдали бы предпочтение именно 
системе Linda,MPI, OpenMP, DVM, mpC? 
 
15.2. Другие языки и системы программирования (Т-система, 
НОРМА)
Т-система 
Т-система 
‒ 
технология 
автоматического 
динамического 
распараллеливания программ. Т-системы была разработана в конце 80-х 
годов 20 века в Институте программных систем РАН (г. Переславль-
Залесский). 
Т-система использует парадигму функционального программирования 
для обеспечения динамического распараллеливания программ, что позволило 
реализовать в Т-системе формы для синхронизации или распределения 
нагрузки. Функциональный стиль Т-системы совмещается с традиционными 
языками программирования с помощью расширений языков С, C++ или 
языка Fortran. Явные параллельные конструкции в языке отсутствуют, и 
программист в тексте явно не указывает, какие части программы следует 
выполнять параллельно. Базовые принципы Т-системы опираются на 
результаты общей теории функционального программирования.
Пусть имеется сложное арифметическое выражение, включающее 
много подвыражений, заключенных в скобки. Эти
подвыражения можно 
вычислять в любом порядке. В теории функционального программирования 
этот закон арифметики обобщается на произвольные рекурсивные функции, 
что дает прямой метод для распараллеливания функциональных программ, 
построенных из "чистых" функций. Чистые функции ‒ это одно из базовых 
понятий Т-системы, обозначающее функции без побочных эффектов. В 
каждый момент времени необходимо выделять готовые к вычислению 
"подвыражения" и распределять их по имеющимся процессорам. За основу 

---

157 
берется граф, узлы которого представляют вызванные функции, а дуги 
соответствуют отношению "подвыражение ‒ выражение". 
Для добавления функциональной семантики в традиционный язык 
программирования вводится понятие неготового значения. В языке С это 
достигается введением дополнительного атрибута у описания переменных. 
Новое ключевое слово tval в описании "tval int i" определяет переменную, 
значение которой может быть целым числом или неготовым значением (пока 
не посчитанным). Для обозначения функций без побочных эффектов 
дополнительно используется слово tfun, выход Т-функции обозначается 
словом tout и т. д.