Компьютер из альтернативной реальности

[PavelZX]

Вообще Erlang OTP это не просто язык программирования, мне интересно было бы просто сделать аппаратную машину вместо виртуальной, для его работы. А дополнив это дело квадрологикой можно вообще чего нибудь интересного добиться. Есть исходники виртуальной машины Эрланга, запускаемой вообще без операционной системы: https://github.com/cloudozer/ling

- - - Добавлено - - -

https://felixit.blog/erlixir/

- - - Добавлено - - -

Если взять за основу задумки реализацию аппаратного BEAM (байт кода Эрланга и Эликсира), то здесь можно будет использовать наработки, которые есть для этих языков. Хоть Эликсир и мало популярен, но на нём есть мощный фреймворк для создания веб-приложений, созданный сторонниками небезызвестного Ruby on Rails (RoR), который хоть сейчас и теряет свою популярность, стал родоначальником современной веб-разработки.

[PavelZX]

Возвращаюсь к теме. Думаю, что сообществу спектрумистов интересно будет узнать (кто знал, то вспомнить), что компьютеры (вычислители) были не только цифровыми, но и аналоговыми: http://www.nsc.ru/win/elbib/data/show_page.dhtml?77+87 Цифровые компьютеры, в свою очередь, только относительно недавно обзавелись больше чем одним вычислительным ядром, хотя разного рода сопроцессоры для ввода-вывода, выполнения математических операций, появились достаточно давно. Впрочем, параллельные вычисления, даже в многопроцессорной системе, в большинстве своём, выполняются единым потоком команд, пусть и делящимся на разного рода нити и течения. При жестком разделении кода данных и команд... В аналоговых компьютерах был упор на поток данных, а логика задавалась коммутацией вычислительных блоков. Но существует альтернатива, когда вместо потока команд (или данных) вычислительная система оперирует смешанным потоком команды и данные, более того можно вообще отказаться от такого разделения в принципе, как и от централизации вычислений. Скажем именно так работает живая управляюще-вычислительная система, начиная от червяка и заканчивая мозгом высших животных.

- - - Добавлено - - -

Сам по себе термин "компьютер" настолько стал общим, что этим словом называют что угодно. Поэтому мы не задумываемся о том, что это мутировавший калькулятор, который в своё время заменил счёты. Практически всё это придумывалось, чтоб можно было что-то рассчитывать и в первую очередь это было связано с коммерцией, на чём основано западное общество. Только позже появилось такое понятие как управляющая информационная система:
Военная: https://encyclopedia.mil.ru/encyclop...morfDictionary
Промышленная: http://www.incomsystem.ru/index.php/...shchie-sistemy
Хозяйственная: http://samag.ru/archive/article/3137

[Raydac]

сейчас сложно найти платформу для которой нет миллионов строк наработок, так что можно брать практически любую (кроме померших десятки лет назад)

Ruby on Rails (RoR), который хоть сейчас и теряет свою популярность, стал родоначальником современной веб-разработки.

он стал родоначальником веб-разработки для тех кто начал веб-разработку с этого языка

[PavelZX]

он стал родоначальником веб-разработки для тех кто начал веб-разработку с этого языка

Имел ввиду современную веб-разработку, исходя из наиболее популярных на данный момент решений. Я с Питона и Джанго начал в 2007, если что... А до этого была только статика и табличная вёрстка в 2001)

- - - Добавлено - - -

Почему, кстати, делаю акцент такой сильный на веб-разработке. Так это современный тренд, множество современных программ понемногу перебираются на клиент-серверную технологию. Существует огромное количество сервисов, когда на вашем смартфоне, планшете или ПК есть SPA (одностраничное веб-приложение) или нативный клиент, а значительная часть логики и база данных крутится на отдельном сервере в дата центре или в так называемом облаке. Даже самая последняя из ИТ технологий, интернет вещей, работает по тому же принципу. Каждое такое устройство, это маленький сервер, заточенный под узкий круг задач...

- - - Добавлено - - -

Заходя, через интернет, на такое устройство через SPA или нативное приложение, вы можете узнать погоду на своей даче, к примеру, если это миниатюрная метеостанция, или наоборот, отдыхая на даче, можете наблюдать за работой посудомоечной и стиральной машины, или робота-пылесоса)

[Eltaron]

Имел ввиду современную веб-разработку, исходя из наиболее популярных на данный момент решений.

MVC? Spring же джавовский, ещё во времена серв- и апплетов появился.
А на данный момент так популярней SPA на реактивщине уже нет ничего. В бэке один веб-API остался.

[PavelZX]

MVC? Spring же джавовский, ещё во времена серв- и апплетов появился.
А на данный момент так популярней SPA на реактивщине уже нет ничего. В бэке один веб-API остался.

Да, глянул, правда 2003 год где-то Spring появился, я позже стал этим интересоваться более менее серьёзно и что-то упустил... Майскрософт свои аппликации вроде ещё раньше в IE применил и они тоже как-то там с сервером взаимодействовали. Ладно не так важно это, наверное плюс минус пару лет всё это параллельно развивалось)

Я к чему всё это веду, что ту же метеостанцию можно сделать на элементарном МК, а вот что-то сложнее робота-пылесоса, тут задачка поинтереснее. Вот примерно подобную задачу можно сделать на FPGA структуру, заточенную на определённый круг задач. Тот же простой сервер на Эликсире (Эрланге), логические цепи на квадрологике, которые будут работать параллельно, реализуя одновременное моделирование окружения, предсказание, самообучение и сохранение на сервер результатов, чтоб другие подобные устройства могли этим пользоваться...

- - - Добавлено - - -

Для начала можно сделать аналоги обычным бинарным элементам в квадрологике, которые будут иметь разную реакцию, в зависимости от состояния осторожное или рискованное решение, будут получать возможность использовать случайное значение от генератора шума, получать приблизительный результат через аналоговые вычислители или запрашивать расчёт более точных значений от математического ядра (сопроцессора). Потребуется продумать, как такие узлы можно будет объединять в облака решений, либо задавая их коммутацию жёстко, для выполнения часто используемых задач, либо организовать их реконфигурацию на ходу...

- - - Добавлено - - -

Да, читается это как фантазия какая-то. Есть такие, кто начинает интересоваться, но начиная вникать в детали пасуют из-за сложности восприятия. Проще тем, кто просто на аналогиях каких-то всё это начинает принимать. К примеру, я был удивлён такой аналогией, что мол это все те же квантовые вычисления, где есть некий принцип неопределённости... Но это тоже не так важно, главное, это наличие обратной связи, через оценку изменений окружения в результате воздействия на него, в том числе и если это всё происходит в некоемом виртуальном окружении, созданном на основе существующего в результате прогнозирования возможных вариантов развития ситуации в будущем)

Самое сложное было, для меня, переступить некий порог в сознании, когда надо было решить, как же можно качественно оценить окружение в текущий момент времени и в результате тех или иных изменений. Интеллектуальному агенту это должно понравится или наоборот вызвать отторжение! Не много не мало. Без внутренних чувств это невозможно решить. Но к "умным машинам" мы вроде бы привыкли, а вот машина испытывающая внутренние переживания, которой может нравится или не нравится, то что она делает, это сложно принять...

[Raydac]

Тот же простой сервер на Эликсире (Эрланге), логические цепи на квадрологике, которые будут работать параллельно, реализуя одновременное моделирование окружения, предсказание, самообучение и сохранение на сервер результатов, чтоб другие подобные устройства могли этим пользоваться...

в плане минимализма ресурсов и кроссплатформенности я бы Go взял тогда, а не Эрланг

[PavelZX]

в плане минимализма ресурсов и кроссплатформенности я бы Go взял тогда, а не Эрланг

Go lang становится очень популярным, в последнее время, для микросервисов, вроде проскакивала информация где-то, что есть его реализация без ОСи, как я писал выше про Эрланг. Поэтому согласен, что для интернета вещей его интересно будет применить, но что-то более сложное вызовет лавинообразное разрастание объёма кода... Система легковесных процессов Эрланга уникальна, её можно переписать на Си или Го ланг (я видел библиотеку на Лиспе, реализующую что-то подобное), но зачем?

[Raydac]

Go lang становится очень популярным, в последнее время, для микросервисов, вроде проскакивала информация где-то, что есть его реализация без ОСи, как я писал выше про Эрланг.

го позволяет без плясок с бубном получить экзешник под платформы вплоть до распберри пай, не требует установок виртуальных машин и юзает легковесные потоки при помощи своего собственного скедулера как эрланг

[PavelZX]

Пытаюсь как-то представить архитектуру целиком... Вообще тут начинается сложность перехода от последовательной архитектуры с разделением кода и данных к параллельной без такого разделения. У нас должна быть всё-таки некая шина, к которой будет подключатся устройства разного плана. С одной стороны параллельная смешанного данные-код потока, работающая с Языком Образов, а с другой последовательная с разделением, от обычной отличающаяся только возможностью понимать квадрологику)

- - - Добавлено - - -

го позволяет без плясок с бубном получить экзешник под платформы вплоть до распберри пай, не требует установок виртуальных машин и юзает легковесные потоки при помощи своего собственного скедулера как эрланг

Признаюсь, что с Go lang знаком очень поверхностно. Вот статья на Хабре есть по теме: https://habr.com/ru/company/avito/blog/466495/

На счёт экзешника не спорю, но это имеет смысл для обычного процессора. Если нам надо будет делать устройства для работы с базой данных и любое другое устройство ввода-вывода, то легче будет использовать готовые решения в железе и соответствующем ему софте. Но если задаться целью использовать единую кодовую базу, не только для ввода-вывода, но и обработку событий в распределённых структурах, о которых я писал выше (ни как не придумаю название, если честно), то можно в этих структурах реализовать аппаратную машину аналогичную виртуальной Эрланга или к примеру LLVM...