Леонид! Речь идёт о крупнозернистом параллелизме (параллельное выполнение разных конкретизаций) или мелкозернистом (параллельное выполнение команд языка сборки)? Просто второе, как мне кажется, бессмысленно оптимизировать на многопроцессорных машинах. Накладные расходы всё пожрут. А вот распараллеливание конкретизаций вполне нормально. Этой темой когда-то у нас Сергей Скоробогатов занимался, потом забросил.
Скиньте, пожалуйста, диплом, когда будет такая возможность. С уважением, Александр Коновалов From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru] Sent: Thursday, February 21, 2019 8:53 AM To: refal@botik.ru Subject: Re: Потенциальная востребованность Да, это так. Можно и не FPGA, а просто на многоядерных процессорах. Лучше берите язык сборки. Наиболее важно распараллеливание. У меня был дипломник в МИФИ, Александр Фролов,он тут немного поработал. Сейчас он начальник отдела в НИЦЭВТ-е, занимается другой тематикой. Его диплом у меня есть, написан аккуратно. Для старта у вас был бы явно полезен. Но там Рефал-2, для внутреннего машинного языка он вполне подходит за исключением мелочей. 21.02.2019, 08:31, "Александр Коновалов a.v.konovalov87_AT_mail.ru" <refal@botik.ru <mailto:refal@botik.ru> >: Леонид! Крутая тема. Хотелось бы в этом поучаствовать. Значит, надо начинать с магистерского диплома про FPGA. С уважением, Александр Коновалов From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru <mailto:refal@botik.ru> ] Sent: Thursday, February 21, 2019 8:24 AM To: refal@botik.ru <mailto:refal@botik.ru> Subject: Re: Потенциальная востребованность Это я с коллегами пытаюсь запустить через Минобр пять первоочередных тем по суперкомпьютерным технологиям.Четыре из них "земные", относятся к проблеме импортозамещения. А пятое направление - экзотика. 5.2 - это вообще исследования по архитектуре сверхпроводниковыхсуперкомпьютеров, скорее всего, это будут квантовые клеточные автоматы (QCA). Тема 5.1 относится также к экхотическому направлению пост-Муровских технологий, это проект не фон-Неймановского суперкомпьютера с внутренним языком высокого уровня и с глубоким автоматическим распрараллеливанием и локализацией программ и данных в процессе счета. Здесь также применимы клеточные автоматы, как в статье у меня было в 77-м году прошлого века. Время настало. Можно считать, что это продолжение темы символьного процессора в современных условиях. Символьный процессор - условно, можно считать и что суперкомпьютер под ИИ.Это типа того о чем раньше говорили, Лисп-машины и т.д. Л.Эйсымонт 21.02.2019, 08:10, "Александр Коновалов a.v.konovalov87_AT_mail.ru" <refal@botik.ru <mailto:refal@botik.ru> >: Доброе утро, Леонид! Прошу прощения, а что это за тема 5.1? Александр Коновалов From: Eisymont Leonid verger-lk_AT_yandex.ru [mailto:refal@botik.ru <mailto:refal@botik.ru> ] Sent: Wednesday, February 20, 2019 11:44 PM To: refal@botik.ru <mailto:refal@botik.ru> Subject: Re: Потенциальная востребованность Андрей, вот и тема 5.1 созревает... 20.02.2019, 21:36, "Andrei Klimov andrei_AT_klimov.net" <refal@botik.ru <mailto:refal@botik.ru> >: On Wed, Feb 20, 2019 at 8:46 PM Александр Коновалов a.v.konovalov87_AT_mail.ru <http://a.v.konovalov87_AT_mail.ru/> <refal@botik.ru <mailto:refal@botik.ru> > wrote: Добрый вечер, Леонид! «В семидесятых-восьмидесятых были даже Лисп-машины и Пролог-процессоры, позиционировались для решения задач ИИ, особенно это Лиспа касалось.» Вы забыли упомянуть сопроцессор Рефала: http://www.keldysh.ru/papers/2003/prep99/prep2003_99.html Кстати, прекрасная тема для магистерской дипломной работы для пары-тройки студентов, которые могут работать вместе: * Реализация рефал-процессора на FPGA. Один, пожалуй, не потянет, а такая команда – вполне. Чтобы у каждого была своя дипломная работа, думаю, вполне можно разбить на зоны ответственности, выделив не сильно связанные части. Разработку системы команд проведут вместе и с научным руководителем, делать могут с пересечением, а описать – каждый свою часть. Например, хорошо отделяемая часть – компилятор в выбранную систему команд. Чтобы уложиться в сроки дипломной работы надо максимально упростить: делать как можно проще и компактнее, жертвуя эффективностью. Для такой работы демонстрация реализуемости в разумные сроки важнее эффективности. Не думаю, что стоит брать язык сборки, разработанный Сергеем Романенко для Рефала-2, как в упомянутой работе по сопроцессору. Может, лучше бы подошел соответствующий промежуточный язык – набор элементарных операций из реализации Рефала Плюс, но он, кажется, нигде не описан. Думаю, взглянув свежим взглядом, да еще с позиции современных технологий, можно сделать проще. Может, стоит взять за основу язык типа RL, который появился в руках Сергея, когда он делал самопримение специализатора (ссылка взята со страницы публикаций Сергей <https://pat.keldysh.ru/~roman/doc/> ): * С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.: ИПМ им. М.В. Келдыша АН СССР, 1987, препринт N 26. - 35 с. <https://pat.keldysh.ru/~roman/doc/1987-Romanenko--Generator_kompilyatorov__porozhdennyj_samoprimeneniem_specializatora--ru.pdf> PDF <https://pat.keldysh.ru/~roman/doc/1987-Romanenko--Generator_kompilyatorov__porozhdennyj_samoprimeneniem_specializatora--ru.djvu> DJVU Андрей
