Что такое машина FFP? - PullRequest
       27

Что такое машина FFP?

2 голосов
/ 27 января 2010

В статье Р. Кента Дибвига "Три модели реализации для схемы" он говорит о "языках FFP" и "машинах FFP". Очевидно, существует некоторая корреляция между машинами FFP и сокращением строк на нескольких процессорах.

Google практически ничего не раскрывает с точки зрения объяснений или примеров.

Может кто-нибудь пролить свет на эту тему? Спасибо.

Ответы [ 4 ]

2 голосов
/ 21 мая 2018

FFP Machine - это очень мелкозернистая параллельная компьютерная архитектура: каждый процессор содержит один символ / атом / значение. Он использует модель вычисления строк, в которой самые внутренние приложения функций найдены и заменены их эквивалентный результат (нетерпеливая оценка). Если результат используется в нескольких местах, он имеет тенденцию пересматриваться вместо того, чтобы нести расходы на доступ к некоторому глобальному магазину (но см. статью Маго о копировании операндов и копировании результатов).

L-клетки, содержащие экспрессию FFP, снижаются общаться через древовидную структуру Т-клеток. Обратите внимание, что микросхемы в основном двумерные и с проводкой, схемы могут двигаться в направлении трехмерности в физическом пространстве. Взаимосвязанные сети, занимающие более высокие размеры (например, сети Hypercube, Omega, Banyan, Star и т. д.) в конечном итоге не сможет работать вблизи своего теоретического предела.

Эта сеть связи с коммутацией каналов, а не с коммутацией пакетов. Пакеты данных не содержат адресов и не нуждаются в маршрутизации. Пакеты из разных сокращений не могут встречаться, не могут конфликтовать и не может испытывать скопление друг с другом. Операция конфигурирования (называемая «Разделение») выполняется одним движением вверх по дереву, используя пригоршню логических операций над 3-битными сообщениями, оставляя "машины области" на своем пути, каждое из них создано для продвижения не более чем одного сводимого приложения. Хотя это технически логарифмически во времени, результирующие области машины могут начать общаться конвейерным способом позади волны разделения, практически стоит постоянного штрафа времени. (Демонтаж площадных машин остается во времени логарифмической стоимостью).

Пакеты в пределах одного сокращения должны и должны соответствовать и, таким образом, обеспечить часто полезную синхронизацию. Последовательности пакетов сортируются и объединяются по мере роста в пределах области, которая будет транслироваться из корня машины области. Операции Parallel Prefix и Parallel Suffix предоставляются сократить трафик в районе, так как остается потенциальное узкое место в рамках отдельного сводимого приложения. Это достигается без необходимости выставляться в Ультракомпьютер (Джек (Джейкоб?) Шварц в Нью-Йоркском университете) для отдельной кэш-памяти логарифмического размера в каждом узел связи. Каждая ячейка Т (внутренний узел дерева) нуждается только в буфере FIFO (для эффективности) размера больше, чем путь к верх дерева и обратно вниз. (Это последнее предположение мое, но кажется разумным). Поскольку дерево поддерживает порядок данных слева направо (в отличие от некоторых других объединяющих сетей) система включает ячейки вращать свои данные в логарифмическом, а не линейном времени, избегать вероятных заторов в корне машины. Стоит еще раз отметить, что параллелизм внутри области машина не зависит от одновременного параллелизма в других области машин, и имеет в своем распоряжении ряд процессоров пропорционально количеству данных в операнде.

2 голосов
/ 14 марта 2017

Советник Кента Дибвига, Дьюла А. Маго, опубликовал подробное описание в "Машине СЗП: Технический отчет 87-014" в 1987 году Маго и Станата.

На момент написания этой статьи PDF свободно доступен по адресу: http://www.cs.unc.edu/techreports/87-014.pdf

1 голос
/ 27 января 2010
1 голос
/ 27 января 2010

Формальная ФП. Подобно FP, но с обычным синтаксисом без сахара, для машинного исполнения это все, что я могу вам предложить.

См. Страница Wikis Fp .

...