Покидаю-ка я сюда разные мысли насчёт системы команд вычислителя будущего.

[thesz]

Comments

[golosptic]

Есть перспективы реализации в железе?

[nealar]

В ПЛИС прошить?

[thesz]

Я всё делаю так, чтобы это можно было реализовать. Хотя бы на куче FPGA.

А так нет, чисто хобби. ;)

[nicka_startcev]

А почему за основу выбран регистрово-стековый процессор, а не чисто стековый?

Плюсы чисто-стекового:
- не надо туда-сюда гонять в стек и обратно регистры при вызове функций
- простое ABI, при котором можно локально оптимизировать то, что у регистровых машин пришлось бы оптимизировать глобально
- маленький контекст.
- точнее, контекст не маленький, а резиновый: делаем кэш вершины стека любого удобного размера, сораняем/восстанавливаем его совершенно прозрачно.
- все локальные переменные лежат на стеке, компилятору проще
- вызываемая функция может загадить ровно столько регистров, сколько нужно. Вызывающей не надо заморачиваться с сохранением/восстановлением регистров до/после вызова.

[nealar]

У стека голова одна, как мы будем параллелить вычисления на несколько процессорных ядер? Которых может быть более-менее любое количество

[nicka_startcev]

Параллелить - явно и вручную, на этапе компиляции.

Компилятор - он заведомо умнее и прозорливее процессора, ибо знает весь контекст и, в принципе, ему можно всякие хинты давать.

Если алгоритм в принципе параллелится, его лучше распараллелить на этапе написания/компиляции, а не на этапе исполнения.

ps: интересно, а чисто стековый vliw бывает? :)

[nealar]

Параллелить - явно и вручную, на этапе компиляции.
Предлагаю начать параллелить прям щаз. Как несколько ядер будут доступать к одному стеку?

боюсь, что оффтопик

[bormotov]

и мало шансов, но вдруг вы еще этого не видели: Мультиклет http://www.multiclet.com/index.php/ru/our-projects

Re: боюсь, что оффтопик

[thesz]

Дистанцируются от потока данных, но на самом деле таковым являются. См. "интеллектуальная система выборки результатов", которая является ассоциативной памятью.

Далее критиковать не буду, лучше своими делами займусь. Мне за выходные надо написать ядрышко (corelet;), процессор и тест к ним обоим. ;)