Слайд 1 - Parallel C# Homepage

Download Report

Transcript Слайд 1 - Parallel C# Homepage

Расширение объектно-ориентированных языков
программирования параллельными
конструкциями для многопроцессорных и
распределенных систем
Гузев Вадим Борисович
[email protected]
Мультипроцессорность
повсюду…
2
Типичная картина при
выполнении программ…
3
2 подхода к созданию
параллельных языков
 Создание специализированных
параллельных языков
 Расширение существующих языков
программирования параллельными
конструкциями
4
Цель работы
Поддержка параллельного программирования
для многопроцессорных и распределенных
систем на базе существующих широко
распространенных объектноориентированных языков программирования.
5
Нужны языки, в которых…
 обеспечивалось абстрагирование от
физической среды исполнения;
 распределение нагрузки обеспечивалось
системой времени исполнения;
 обеспечивалась автоматическая передача по
сети сложноустроенных в памяти объектов;
 поддерживались синтаксические конструкции
для синхронизации параллельных потоков.
Ну и самое главное - языки должны быть лёгкими
для понимания и обучения!
6
Требования к параллельным
языкам программирования
Языки должны предоставлять возможность:
1. запуска функции в параллельном режиме
на текущем виртуальном узле вычислительной
системы
2. запуска функции в параллельном режиме
на наименее загруженном узле
вычислительной системы
3. синхронизации параллельно исполняемых
функций
4. многократного двустороннего обмена
объектами между параллельно исполняемыми
функциями (в т.ч. на разных виртуальных узлах)
7
Язык MC# – адаптация языка Polyphonic C#
на случай распределенных вычислений
8
3 типа функций MC#
9
Связки – средство синхронизации потоков
Polyphonic C#
Связка срабатывает только тогда, когда все методы объявленные в
связке были вызваны! В данном примере для срабатывания связки
должны быть вызваны Get2, c1 и c2
10
Каналы и обработчики
канальных сообщений MC#
Polyphonic C#:
long get() & async c(int x) { =>
return x * x;
}
MC#:
handler get long() & channel c(int x) {
return x * x;
}
Оператор отправки сообщений – “!”:
c ! ( 2 );
Оператор вызова обработчика канальных сообщений – “?”:
long z = (long) get ? ();
Пример передачи канала и обработчика в функцию:
movable fun( int x, handler long (int) get, channel (long) result ) {
result ! ( (long) get ? (x) );
}
11
Недостатки языка MC#
 Каналы семантически дублируют
асинхронные методы
 Отсутствие строгой типизации
 Различный синтаксис для обработчиков и
каналов, лишние операции ? и !
 Отсутствие возможности объявления
статических перемещаемых функций и
связок
 Затруднена возможность использования
«непараллельного» кода базового языка
12
Дано: объявление некоторого метода f в классе A
class A {
public long f(int x);
}
Требуется: из перемещаемого метода m вызвать на
родительском виртуальном узле у экземпляра класса A
метод f.
Решение:
class B { class B {
static movable m( <ссылка на метод> myMethod )
A a;
{
handler h long
(int x) & channel c() {
return a.f( long
x ); x = myMethod(2);
// Делаем что-то полезное с переменной x…
}
}
movable m( handler
long(int) myMethod, channel () dummyChannel )
public static void Main(string[] args) {
{
new A().f );
dummyChannelB.m(
! ();
}
long x = (long)
myMethod ? (2);
// Делаем }что-то полезное с переменной x…
}
public static void Main(string[] args) {
B b = new B();
b.a = new A();
b.m( b.h, b.c );
}
13
}
Объекты функциональных типов
Пусть имеется некоторая функция:
long square( int x ) {
return x * x;
}
Объекты функциональных типов
можно передавать другим функциям:
void fun1( (int) => long s ) {
Console.WriteLine( s( 2 ) );
}
…
fun1( square );
Сигнатура данной функции:
(int) => long
Либо инициализировать ссылкой на
функцию:
(int) => long fun2 = square;
Console.WriteLine( fun2( 2 ) );
14
Автоматическая генерация
прокси-функций
15
Parallel C# – это MC# без каналов и
обработчиков канальных сообщений
16
Технология расширения
языков программирования
Объектноориентированный язык
программирования
+
1
Асинхронные функции
+
Объекты функциональных
типов
+
2
Перемещаемые функции
3
+
3, 4
Автоматическая генерация
прокси-функций
Связки функции
+
Распределенный
параллельный язык
программирования
Параллельный язык
программирования
4
+
Автоматическая
сериализация и
десериализация объектов
4
17
Реализация
На данный момент на сайте проекта доступны два вида систем
исполнения, оформленные как проект с открытым исходным кодом:

Parallel C# Many Core Edition – система программирования,
позволяющая компилировать и исполнять программы в
локальном режиме на Windows-машинах.

Parallel C# Cluster Edition – система программирования,
позволяющая компилировать и исполнять программы на
Linux-кластерах.
18
Реализация
19
Пример: вычисление чисел Фибоначчи
fib(1) = 1; fib(2) = 1; fib(n) = fib(n - 1) + fib(n - 2)
01
02
03
04
public class Fib {
public long Get2() & async Result1(long x) & async Result2(long y) {
return x + y;
}
05
long Get() & async Result(long x) { return x; }
06
07
08
09
10
11
12
13
14
async Compute(long n, (long) => async result) {
if (n < 2) result(n);
else {
Fib f = new Fib();
f.Compute(n - 1, f.Result1);
f.Compute(n - 2, f.Result2);
result(f.Get2());
}
}
15
16
17
18
19
20
21
public static void Main(string[] args) {
int n = int.Parse(args [0]);
Fib fib = new Fib();
fib.Compute(n, fib.Result);
Console.WriteLine("Fibonacci " + n + " is " + fib.Get());
}
}
20
Пример: вычисление чисел Фибоначчи
fib(1) = 1; fib(2) = 1; fib(n) = fib(n - 1) + fib(n - 2)
21
Пример: вычисление чисел Фибоначчи
(распределенный вариант)
01
02
03
04
public class Fib {
public long Get2() & async Result1(long x) & async Result2(long y) {
return x + y;
}
05
long Get() & async Result(long x) { return x; }
06 movable
Compute(long n, (long) => async result) {
07
08
09
10
11
12
13
14
if (n < 2) result(n);
else {
Fib f = new Fib();
f.Compute(n - 1, f.Result1);
f.Compute(n - 2, f.Result2);
result(f.Get2());
}
}
15
16
17
18
19
20
21
public static void Main(string[] args) {
int n = int.Parse(args [0]);
Fib fib = new Fib();
fib.Compute(n, fib.Result);
Console.WriteLine("Fibonacci " + n + " is " + fib.Get());
}
}
22
Пример: вычисление чисел Фибоначчи
(распределенный вариант)
23
Пример: перемножение матриц
public async Multiply( int N, double[,] A, double[,] B, double[,] C, int from, int to, () => async stop )
{
for ( int i = from; i < to; i++ )
for ( int j = 0; j < N; j++ )
for ( int k = 0; k < N; k++ )
C [i, j] += A [i, k] * B [k, j];
stop();
}
…
public class Program {
public static void Main( string[] args ) {
int N = System.Convert.ToInt32( args [0] );
double[,] A = new double [N, N], B = new double [N, N], C = new double [N, N];
ReadMatrix( A, B );
Program p = new Program();
int N2 = N / 2;
p.Multiply( N, A, B, C, 0, N2, p.stop );
p.Multiply( N, A, B, C, N2, N, p.stop );
p.getStop(); p.getStop();
WriteMatrix(C);
}
public void getStop() & async stop() { return; }
}
24
Пример: перемножение матриц
2.08
2.06
Ускорение
2.04
2.02
2.00
1.98
1.96
1.94
500
600
700
800
900
1000
1100
1200
1300
1400
1500
Размер матрицы (N x N)
Перемножение матриц на языке Parallel C#, по сравнению с версией на языке C#.
Замеры делались на компьютере с процессором Intel Core 2 CPU 6400 @2.13GHz,
система Parallel C# Many Core Edition, ОС: Windows XP
25
Пример: поиск вхождений слов
в текст
public class Program {
static void Main( string[] args ) {
Program p = new Program();
…
movable Map(string fileName, string[] words,
// число используемых процессоров в кластере
(string[], int[]) => async Reduce)
int np = CommWorld.Size;
{
string[] words = ReadTheWords( args [0] );
int[] counts = new int [words.Length];
int n = Math.Min( words.Length, np );
using ( FileStream file = new FileStream( fileName,
int portion = words.Length / n;
FileMode.Open, FileAccess.Read ) ) {
// отправка порции слов на обработку
TextReader tr = (TextReader) new StreamReader( file );
for( int i = 0; i < n; i++ ) {
string line = tr.ReadLine();
string[] chunkOfWords = new string [portion];
while ( line != null ) {
Array.Copy( words, i * portion,
for ( int j = 0; j < words.Length; j++ )
chunkOfWords, 0, portion);
counts[j] += Regex.Matches( line, words[j] ).Count;
p.Map( args [1], chunkOfWords, p.Reduce );
line = tr.ReadLine();
}
}
for ( int i = 0; i < n; i++ )
}
p.Pulse();
Reduce( words, counts );
PrintTheResult( p.dic );
}
}
Hashtable dic = new Hashtable();
…
void Pulse() & async Reduce( string[] words, int[] counts ) {
for ( int i = 0; i < words.Length; i++ )
dic.Add( words [i] , counts [i] );
}
}
26
Примеры: поиск вхождений
слов в текст
35
30
Ускорение
25
20
15
10
5
0
2
4
8
Количество процессоров
16
32
Полученное
Линейное
Поиск 32 слов в тексте размером 64 Mb на разных количествах
процессоров (кластер СКИФ «Первенец-М»)
27
||-исчисление
||-исчисление – модификация формального
исчисления для языка MC# 2.0 [Y.Serdyuk, “A
formal basis for the MC# programming
language”]. Основные отличия следуют из:
 Отправка сообщений => вызовы методов
 Каналы => асинхронные методы
 Хендлеры => синхронные методы
28
Семантика ||-исчисления (1/2)
29
Семантика ||-исчисления (2/2)
30
Основные выводы (1/3)


Предложена
технология
расширения
существующих
объектно-ориентированных языков программирования с
помощью следующего набора элементов: асинхронных и
перемещаемых методов, объектов функциональных типов,
связок асинхронных и синхронных методов, автоматической
генерации прокси-функций и автоматической сериализации и
десериализации
объектов
при
пересылке
между
виртуальными узлами. Описан формальный базис для
получаемого семейства языков (||-исчисление).
Разработаны правила трансляции предложенных
синтаксических конструкций в базовые языки и представлена
в качестве демонстрации практическая реализация данных
правил на примере языка Parallel C# (расширение
существующего языка C#). Стоит отметить, что с помощью
данных конструкций можно расширить многие другие языки
программирования, например, Java, Nemerle и др.
31
Основные выводы (2/3)

Разработаны транслятор и две системы исполнения
для языка Parallel C# - для многопроцессорных и
кластерных архитектур. Реализованы тестовые
программы и произведены замеры
производительности этих программ на кластере,
показавших приемлемый уровень ускорения на
разном числе процессоров.
32
Основные выводы (3/3)

Разработанная в диссертации технология
расширения существующих языков
программирования позволяет повысить
эффективность работы программистов при
написании параллельных программ за счет
компактного и понятного синтаксиса, а также
автоматической генерации кода при трансляции в
базовые языки. Кроме того, т.к. модель предполагает
внесение минимальных изменений в существующие
языки программирования, то существенно
сокращаются расходы на обучение программистов
уже знакомых с базовым (расширяемым) языком, что
является сегодня существенным барьером для
распространения параллельных технологий.
33
Спасибо за внимание!
Адрес проекта Parallel C#:
34
Апробация работы
Материалы исследования базируются на тезисах докладов и
опубликованных статьях, получивших положительную оценку в
различных научных форумах/журналах:









“Журнал “Информационные технологии” (входит в список ВАК), №4, 2008 г.
“PDPTA'08 - The 2008 International Conference on Parallel and Distributed Processing
Techniques and Applications”, Monte Carlo Resort, Las Vegas, Nevada, USA, July 14-17,
2008
“XLIV Всероссийской Конференции по Проблемам Математики, Информатики,
Физики и Химии, секция “Программные Системы”, г. Москва, Российский Университет
Дружбы Народов, 21-25 апреля 2008 г.
“C# and .NET Technologies'2003, 1st International Workshop on C# and .NET
Technologies on Algorithms, Computer Graphics, Visualization, Distributed and WEB
Computing”, University of West Bohemia, Plzen, Czech Republic, 5-7 February, 2003
“Технологии Microsoft в научных исследованиях и высшем образовании”, Научнотехническая конференция по программированию, Москва, 15-17 июня, 2003 г.
“Международная конференция PACT'2003”, Нижний Новгород, Россия, 15-19
сентября 2003
“XII-ой международной конференции по вычислительной механике и современным
прикладным программным системам”, г. Владимир, Россия, 30 июня - 5 июля 2003 г.
“II-й Белорусский космический конгресс”, 25-27 октября 2005 г., Минск
“Всероссийская научная конференция "Научный сервис в сети Интернет: технологии
распределенных вычислений”, г. Новороссийск, 19-24 сентября 2005 г.
35
Основные публикации

Guzev V. Parallel C#: The usage of chords and
higher-order functions in the design of parallel
programming languages. In proc. of "The 2008
International Conference on Parallel and Distributed
Processing Techniques and Applications", Las
Vegas, USA, CSREA Press, 2008, p. 833-837.

Гузев В.Б. Использование связок и функций
высшего порядка для разработки языков
параллельного программирования. Труды XLIV
Всероссийской Конференции по Проблемам
Математики, Информатики, Физики и Химии,
секция "Программные Системы", М.:Изд-во РУДН,
2008, c. 5-14.
36
Грамматика (обозначения)
 o – имена объектов
 sm – синхронные методы, am –
асинхронные методы, mm –
перемещаемые методы
 s, r – имена сайтов
 конечный список выражений обозначается
~
как: E
37
Грамматика (1/2)
38
Грамматика (2/2)
39