Параллельное машинное обучение

Параллельное машинное обучение
Парадигмы	Мультипарадигмальность : функциональная , императивная , модульная , параллельная.
Семья	ML : Стандартный ML
Впервые появился	1991 год ; 33 года назад
Веб-сайт	смл .cs .Чикаго .edu
Основные реализации
	СМЛ/Нью-Джерси , МЛтон , Мантикора
Под влиянием
	ML , Стандартный ML

Concurrent ML (CML) — это многопарадигмальный , назначения , высокоуровневый функциональный общего язык программирования . Это диалект языка программирования ML , который является параллельным расширением стандартного языка ML , характеризующимся способностью создавать составные коммуникационные абстракции , которые являются первоклассными , а не встроенными в язык. Конструкция CML и его примитивные операции были приняты в нескольких других языках программирования, таких как GNU Guile , ^[5] Ракетка , ^[6] и Мантикора. ^[4]

Концепции [ править ]

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

Объединение протоколов, специфичных для приложения, и многосторонней связи может быть затруднено из-за необходимости внедрения опроса и проверки блокировки в уже существующем протоколе. Concurrent ML решает эту проблему, уменьшая связанность концепций программирования за счет введения синхронизируемых событий . ^[7] События — это первоклассная абстракция, которую можно использовать с операцией синхронизации (называемой sync в CML и Racket), чтобы потенциально заблокировать, а затем получить некоторую ценность, возникающую в результате связи (например, данные, передаваемые по каналу).

В CML события можно комбинировать или манипулировать ими с помощью ряда примитивных операций. Каждая примитивная операция создает новое событие, а не изменяет его на месте, что позволяет создавать составные события, которые представляют желаемый шаблон связи. Например, CML позволяет программисту объединять несколько подсобытий для создания составного события, которое затем может сделать недетерминированный выбор одного из подсобытий. Другой примитив создает новое событие, которое изменяет значение, полученное в результате синхронизации с исходным событием. Эти события воплощают шаблоны взаимодействия, которые на языке, отличном от CML, обычно обрабатываются с использованием цикла опроса или функции с обработчиками для каждого типа событий.

Привет, мир [ править ]

Вот «Привет, мир!» программа , которая печатает на системную консоль . Он порождает один поток с каналом для строк и другой поток, который печатает строку, полученную по каналу. Он использует стандарт ML Нью-Джерси (SML/NJ) и CML. (На платформах, отличных от Linux-x86, имя кучи будет отличаться; строку с «cml_test.x86-linux», возможно, придется изменить на что-то другое.)

cml_test.cm

 библиотеки 
    Структура   Hello 
 — это 
     $c  ml  /  base  .   см 
     $c  мл  /  смл  .   см 
     cml_test  .   смл

cml_test.sml

структура   Hello   =   struct 
     open   CML 

     fun   hello   ()   =   let 
         val   c   :   string   chan   =   channel   () 
         in 
             spawn   (  fn   ()   =>   TextIO  .  print   (  recv   c  )); 
              send   (  c  ,   «Привет, мир!  \n  »  ); 
              выход   () 
         end 

     fun   main   (_,   argv  )   = 
         RunCML  .   doit   (  fn   ()   =>   игнорировать   (  spawn   hello  ),   NONE  ) 
 end

бить

$  ml-build   cml_test.cm   Hello.main 
  Standard ML of New Jersey v110.60 [создан: понедельник, 27 ноября, 14:19:21 2006] 
 [сканирование cml_test.cm] 
 [библиотека $cml/basis.cm стабильна] 
 [библиотека $cml/cml.cm стабильна] 
 [ синтаксический анализ (cml_test.cm):cml_test.sml] 
 [создание каталога .cm/SKEL] 
 [библиотека $cml/cml-internal.cm стабильна] 
 [библиотека $cml/core-cml.cm стабильна] 
 [библиотека $SMLNJ- BASIS/basis.cm стабилен] 
 [компиляция (cml_test.cm):cml_test.sml] 
 [создание каталога .cm/GUID] 
 [создание каталога .cm/x86-unix] 
 [код: 2170, данные: 42, env: 2561 байт] 
 [сканирование 18518-export.cm] 
 [сканирование (18518-export.cm):cml_test.cm] 
 [анализ (18518-export.cm):18518-export.sml] 
 [компиляция (18518-export.cm): 18518-export.sml] 
 [код: 309, данные: 37, оболочка: 42 байта] 
 $  heap2exec   cml_test.x86-linux   cml_test 
  $  ./cml_test 
  Привет, мир!

Внешние ссылки [ править ]

Официальный веб-сайт

Ссылки [ править ]

^ Реппи, Джон Х. (июнь 1991 г.). CML: параллельный язык высшего порядка . ПЛДИ.
^ «Что такое стандартный ML штата Нью-Джерси?» . Проверено 5 апреля 2021 г.
^ «Параллельная реализация MLI» . Проверено 5 апреля 2021 г.
^ Перейти обратно: ^а ^б Флейт, Мэтью; Бергстрем, Ларс; Форд, Ник; Рейни, Майк; Реппи, Джон; Шоу, Адам; Сяо, Инци (май 2009 г.). «Программирование на Мантикоре, гетерогенном параллельном функциональном языке» (PDF) . Проверено 11 июля 2018 г.
^ Уинго, Энди (29 июня 2017 г.). «Новое параллельное машинное обучение» . Проверено 11 июля 2018 г.
^ Флэтт, Мэтью; Финдлер, Роберт Брюс (2004). «Абстракции безопасной синхронизации». Материалы конференции ACM SIGPLAN 2004 по проектированию и реализации языков программирования . Том. 39. стр. 47–58. дои : 10.1145/996841.996849 . ISBN 1581138075 . S2CID 5547460 .
^ Реппи, Джон Х. (1993). «Параллельное машинное обучение: дизайн, применение и семантика». Функциональное программирование, параллелизм, моделирование и автоматическое рассуждение . Конспекты лекций по информатике. Том. 693. стр. 165–198. CiteSeerX 10.1.1.50.7965 . дои : 10.1007/3-540-56883-2_10 . ISBN 978-3-540-56883-4 .

[pldi91-1] Реппи, Джон Х. (июнь 1991 г.). CML: параллельный язык высшего порядка . ПЛДИ.

[2] «Что такое стандартный ML штата Нью-Джерси?» . Проверено 5 апреля 2021 г.

[3] «Параллельная реализация MLI» . Проверено 5 апреля 2021 г.

[manticore-4] Перейти обратно: ^а ^б Флейт, Мэтью; Бергстрем, Ларс; Форд, Ник; Рейни, Майк; Реппи, Джон; Шоу, Адам; Сяо, Инци (май 2009 г.). «Программирование на Мантикоре, гетерогенном параллельном функциональном языке» (PDF) . Проверено 11 июля 2018 г.

[5] Уинго, Энди (29 июня 2017 г.). «Новое параллельное машинное обучение» . Проверено 11 июля 2018 г.

[6] Флэтт, Мэтью; Финдлер, Роберт Брюс (2004). «Абстракции безопасной синхронизации». Материалы конференции ACM SIGPLAN 2004 по проектированию и реализации языков программирования . Том. 39. стр. 47–58. дои : 10.1145/996841.996849 . ISBN 1581138075 . S2CID 5547460 .

[cml-paper-7] Реппи, Джон Х. (1993). «Параллельное машинное обучение: дизайн, применение и семантика». Функциональное программирование, параллелизм, моделирование и автоматическое рассуждение . Конспекты лекций по информатике. Том. 693. стр. 165–198. CiteSeerX 10.1.1.50.7965 . дои : 10.1007/3-540-56883-2_10 . ISBN 978-3-540-56883-4 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]